2021年 に入ってすぐに、とんでもないニュースが飛び込んできました。もちろん、数学のニュースです。
東北大学の研究チームによる論文のプレプリントがarXivで公開されました。タイトルは "Constellations in prime elements of number fields" で、こちらのリンクからアクセスできます:
Constellations in prime elements of number fields
Wataru Kai, Masato Mimura, Akihiro Munemasa, Shin-ichiro Seki, Kiyoto Yoshino
https://arxiv.org/abs/2012.15669
Wataru Kai, Masato Mimura, Akihiro Munemasa, Shin-ichiro Seki, Kiyoto Yoshinoの5名により発表されたプレプリントです。著者の一人であるShin-ichiro Seki(関真一朗)さんの名前は、今回の記事で何度か登場します。
上記の原稿はプレプリントですので、査読がなされたわけではありません。したがって、証明されたかどうかを確認するためには、自分で証明を読み込んで確認するほかありません。
普段、このようなプレプリントはなるべく紹介しないようにしているのですが、今回ばかりはどうしてもブログでご紹介したくなりました。というのも、証明されたとされる結果があまりにすごいからです!
英語で書かれた論文ですが、主定理の名称を日本語でいうなら
ということになります。いかにも興味をそそられる内容ですよね!
この「数体の素元星座定理」なる日本語訳については、関真一朗さんご自身のツイートから拝借させていただきました。
これに対し、我々はTerence Taoの予想を全ての数体に対して精密な形で解決しました。名付けて「数体の素元星座定理」
— せきゅーん (@integers_blog) 2021年1月1日
今回の記事では、上記のプレプリントについて
- 「星座」とはいったいどういう概念なのか?
- この論文の主定理はどういう結果なのか?
- どれぐらいすごいのか?
ということに関して、私の理解できた内容をなるべく噛み砕いた上でご紹介したいと思います。
大変興奮する内容となっていますので、ぜひご覧になってください!
目次:
「星座」とは何か
プレプリントの内容を紹介するにあたって、重要なキーワードは「星座(constellation)」です。ここではまず、テレンス・タオ(2006年)による「星座定理」を紹介したいと思います。テレンス・タオはフィールズ賞を受賞している超有名な数学者ですね。
通常の意味での素数とは、 のように、整数を素因数分解したときに出てくる数のことでした。整数は数直線の上に等間隔に並んだ点として表すことができます。今回考えたいのは、もう一つの軸である虚数軸を加えた複素数の世界です。複素数の実部と虚部がどちらも整数であるような数を ガウス整数 といいます。
ガウス整数の中でも「素数的な存在」を考えることができて、これを ガウス素数 といいます。次の図の黒丸のところがガウス素数にあたります。
同様にガウス素数とは、 以外のガウス整数で割り切れないような単数()を除くガウス整数 のことです。たとえば
といった数がガウス素数の一例ですね。
ガウス素数を黒い四角でプロットすると次のようになります:
より広い範囲を調べてみると、次のようになります:
狭い範囲ではそれなりの密度でガウス素数が分布しているように見えますが、範囲を広げれば広げるほど、ガウス素数の分布は薄くなっていきます。
このガウス素数の各点をつないでできる図形が、今回の主役である「星座」という概念です。たとえば、図のような図形は星座です。
ガウス素数を1つの星と見立てて、星々を繋いで星座を作っているイメージですね。
(ちなみに、上の図はギリシャ文字の "ζ" をイメージして作った星座です。笑)
まず、有限個のガウス整数からなる集合のことを 「形状」 といいます。ある形状 が与えられたときに、 を拡大や平行移動して得られる集合を の「星座」といいます。
ガウス整数全体の集合 は2次元の格子点で表せますので、これを と( 加群として)同一視します。形状 は の有限な部分集合として定義されます。また、拡大・平行移動を次で定義します:
拡大・・・1以上の整数 に対して、 を の拡大という( は のすべての成分を 倍したもの)
平行移動・・・ に対して、 を の平行移動という( は と の各成分を足したもの)
ある1以上の整数 と が存在して と表される集合を星座と言います。
用語を定義したところで、天才数学者テレンス・タオが証明した驚くべき定理を紹介しましょう。
任意の形状に対して、その形状の「星座」であって、星座内のすべての点がガウス素数であるものが必ず存在するというのです。「任意の形状」ということは、あんな形状やこんな形状であっても、星座として存在するというわけです。
しかも、単に1つ存在するというだけでなく無数にです!「無数に」というのは要するに無限個存在するということです。これはやばいですね!
以前、日曜数学会というイベントにて、ガウス素数の星座定理について発表したことがありました。そのときは「おうし座」や「オリオン座」などのいくつかの「星座」の例を実際にガウス素数から探索して、それを紹介したりしました。
nico.ms
次のページでは、私が探した星座がガウス整数のどこにあるのかを実際に観察することができます。こうやって観察すると「任意の形状の星座が存在する」という驚くべき定理も、なんだか納得できそうな気がしてきます。
tsujimotter.info
数体の素元星座定理(主定理)
いよいよ、今回のプレプリントの主定理に話を進めたいと思います。
ガウス整数という「2次元の整数の世界」において、その素数全体という部分集合に対して「任意の形状の星座」が存在するという定理を紹介しました。このように聞くと、こんな一般化を考えたくなるかもしれません。
ガウス整数を 次元に一般化したような整数の世界において、その「素数」に対して「任意の形状の星座」は存在するか?
この問題にトライしたのが今回のプレプリントだったのです。「 次元に一般化」と書いたところは、実際は「数体」という一般化を考えることになります。これについて前提となる最低限の概念を簡単に紹介しましょう。
この拡張は少し機械的な感じがする拡張ですが、今回のプレプリントによる拡張はより「自然」だと感じられるような定式化となっています。
有理数を係数とする 次の多項式 の根( の解のこと)となる複素数を 代数的数 といいます。
- たとえば、1次方程式
の解 は有理数ですが、これは代数的数です。
- 虚数単位 は ですから、 の解となります。これも代数的数ですね。
代数的数 を根に持つような次数最小の多項式を最小多項式といいます。
数体 とは、有理数体 に代数的数 を添加して得られる体 のことです。四則演算が滞りなく行える集合を体といい、 は と の和集合を含む最小の体として定義されます。
の最小多項式を としたとき、 の次数 を数体 の拡大次数と言います。このとき、 の任意の元は、 個の有理数 を用いて
と表せます。 は、ちょうど 次元の( 上の)ベクトル空間として表せるわけですね。
数体 の整数とは、 次元のベクトル空間における格子点のような存在です。 の元 であって、 の最小多項式として最高次の係数が1である整数係数多項式を取れるものを の整数といいます。 の整数全体は環(足し算・引き算・掛け算ができる集合)をなし、これを と表します。
抽象的な定義が続いたので具体例を示しますね。
- 有理数体 は、拡大次数は の数体と考えることができます。その整数環は です。拡大次数は です。
- ガウス数体 は、 の最小多項式が であるため、拡大次数は です。また、その整数は ( は整数)という形の数全体であり、 と表します。これがガウス整数の集合です。ガウス整数は、2次元の格子点になっていましたね。
- 他にも2次元の例は無数に考えることができます。 を平方因子を持たない整数として があります。 の最小多項式は なので、拡大次数は です。その整数は ( は整数)という形の数全体であり、 です。ここで は に応じて か となります。いずれにしても整数環 は2次元の格子点として表せるわけです。
- 変わった例としては、 があります。 の最小多項式は であり、拡大次数は です。その整数は ( は整数)という形の数全体であり、 と表します。この場合は、3次元の格子点ですね。
- 他にも各 について、拡大次数が であるような無数の数体が存在します。
一般に、数体 の拡大次数を としたとき、 は 次元のベクトル空間だと思うことができます。 もまた 次元の格子点とみなせます。
また、一般の数体の整数環 に対しても「素数」に相当する概念を定義することができて、それを 素元 といいます。
には、素数の拡張として「素元」と「既約元」の2種類を考えることができますが、両者は異なる概念です。
一般に「素元」ならば「既約元」なので
ということになります。ガウス素数は素元かつ既約元だったわけですが、星座定理を一般に拡張する上では、素元か既約元かのどちらを選ぶか検証する必要があります。素元だけで星座定理が成り立つならば、より強い定理ということになります。
実際、素元で十分だというのが、次の主定理の結果です。
さて、これにてプレプリントの主定理を述べる準備が整いました。
数体 の整数環 に対して、ガウス整数のときと同様に 次元の形状 を定義します。ここで、 の元を 次元の格子点とみなしています。これらを拡大したり、平行移動したりして得られる集合 を の星座といいます。
このとき 任意の形状に対して、 の素元で構成される星座が存在する というのがプレプリントの定理の主張です。まさにガウス整数の星座定理の 次元への一般化 というわけですね。
定理の主張を引用しましょう:
日本語に訳すとこうなると思います:
すばらしいですね! こんなことが本当に成り立つとしたら、それはすごいことだと思うのです!
「数体の素元星座定理」のすごさ
とはいっても、ここまでの説明で「すごさ」はまだ十分伝わっていない気がするので、それをもう少しだけ説明したいと思います。
もっとも簡単なケースである のとき、すなわち のとき、 の星座定理を考えましょう。任意の形状を考えてよいので、 として
というものも考えてよいでしょう。 この を 倍し、 だけ平行移動させると
となります。これは初項 、公差 であるような 長さ の等差数列 ということになります。
この長さ の等差数列がすべて素数によって構成されるような が存在するといっているわけですね。これは、
ことを意味します。これは グリーン・タオの定理 と呼ばれる大定理です。
たとえば、
は、どちらも素数からなる等差数列であり、それぞれ長さ3, 5のものです。他にも、コンピュータを使って、素数からなる長さ27までの等差数列が2019年に発見されているそうです。しかしながら、グリーン・タオの定理は、素数からなる 任意の長さの 等差数列があると主張しているわけですね。
グリーン・タオの定理の証明は、それ自体大変難しいものです。そのような大定理を一番簡単なケースとして含んでいるわけですね。
興味がある方は、関さんご自身によるMathpowerの講演をご覧ください。グリーン・タオの定理のすごさがわかるかと思います。
www.nicovideo.jp
元々、関さんはこの分野の研究者ではなかったようですが、2017年のMathpowerに向けて尋常ではない熱意のもと勉強されていました。その結果として上記の素晴らしい講演となったわけですね。また、この講演がきっかけとなり今回の研究に繋がったとのことです。
グリーン・タオの定理を の定理と見たときに、 に対する定理がテレンス・タオによるガウス素数の星座定理です。
ここまででも十分難しい問題というわけですが、さらに数体 に一般化することは、素人目にも簡単なことではなさそうに思います。実際、よく知られていることとして、一般の数体の整数環 において素因数分解(正確には既約元分解)の一意性は保たれません(UFDではない)。単数群も複雑になります。
タオ自身も数体への一般化を構想していたようですが、「少なくとも整数環がUFDかつ単数群が有限群(10個しかない)の場合には証明できるだろう」と予想していたようです。
今回のプレプリントでは、その条件の一切を取っ払って、任意の数体に対して 星座定理を示してしまったと主張しています。これはとんでもないことだとは思いませんか!!
実は、今回のプレプリントでは、上で紹介した定理1.3の結果をさらに強めることに成功しています。それが系1.5です。これもこのプレプリントのすごさの一つだと思います。
これはどういう主張か説明しましょう。
整数環には 単数 と呼ばれる数が存在します。整数の場合 、ガウス整数の場合 です。 のような数だと思っていただければと思います。ある数 に単数 を掛けてできる数 を考えたとき、 と は 同伴 であるといいます。
単数の個数が小さい場合はあまり気にならないかもしれませんが、たとえば の場合は を基本単数として ( は整数)と書ける数がすべて単数となります。無限に単数があるわけですね。つまり、一つの数 に対して同伴な数は無限に存在するわけです。
したがって、単数が十分に多い場合は、一つの数を使って同伴な数をたくさん作り、その数を使って星座を構成できてしまうかもしれません。これは少し「ずるい」感じがします。
しかしながら、上の系1.5は 同伴なペアを一切含まないような星座を取ることができる といっていて、定理1.3より強い結果になっていることがわかりますね。実際、定理1.4が肝になっていて、これによって強い主張をいうことができるようです。
もちろん、私は証明の一切をまだ読めてはいないので、技術的な部分については何も知りません。細部まで理解することができたら、より深い感動を味わえるのだと思います。しかしながら、定理の主張だけでもこれだけ感動できるというのは、なかなかないことだと思います。
個人的には、関さんとは以前から親しくさせていただいており、尊敬すべき数学者であり、なおかつ日曜数学の仲間だと思っています。そのため、今回の結果を知って、感慨深い気持ちです。2016年の数学カフェで一緒に講演したときに、グリーン・タオの定理の主張を教えていただきました。その頃は、関さん自身はグリーン・タオの定理については、まだ十分に理解できていないと話していた記憶があります。その後、Mathpowerの講演を準備しているところも、ブログを通して見てきました。その熱意は本当に鬼気迫る感じで、講演でもその熱量に圧倒されました。あのときの講演がこのような形で味を結んだのですね。本当に嬉しく思います。
定理1.6について
上で説明した定理1.3・系1.5だけでも十分味わい深いのですが、プレプリントにはもう一つ面白い結果(定理1.6)が載っています。最後にそれを味わってから終わりにしたいと思います。
この定理1.6は 2次形式の表現する素数 に関する定理です。
2次形式とは
のような式のことです。どちらもすべての項の次数が「ちょうど2」となっていますね。
一般の(2元)2次形式は、整数 を用いて
と表せる式として定義されます。整数 によって素数 が と書けるとき、 は によって表現されるといいます。
2次形式によって表現される素数の法則は、古くから数学者の興味を掻き立ててきました。
フェルマーは と表せる素数の必要十分条件は または であることを発見しました。
ラグランジュは、 であるような素数に対して
が成り立つことを示しました。
こんな風に2次形式で表せる素数 の法則が、 を で割ったあまりで表せるというのが大変興味深いです。もちろん、法則が「 で割ったあまり」で表せないものもあって、これがまた面白いのですが。
ここまでが古典的な結果です。定理1.6では、2次形式について が素数を表現するような 全体の集合 について考えています。
たとえば、 が素数を表現するような の集合は、次の図の左側になります。
このような集合 で構成されるような2次元の星座が存在するかどうかを考えたいと思います。
定理1.3との関係を述べましょう。2次形式 を考えます。素数 がこの によって表現されるとき
と分解され、右辺はガウス整数の共役な積になっています。したがって、このような素数 はガウス整数の集合 においてガウス素数の積に分解されるということですね。 によって表現される素数を分解して得られるガウス素数全体は、ガウス素数全体の部分集合になります。このように考えると、2次元の星座定理の拡張になっていると思えます。
また、2次形式 を考えると、これは
のように分解されますが、これは環 を考えていることになります。
ところで、 の整数環(極大整環)は でしたから、この場合は整数環と一致しません。つまり、整数環とは限らない一般の整環も視野に入れた問題設定 というわけですね。拡張になっているわけです。
その上で同様に2次元の星座を定義したときに、星座定理が成り立つかどうか考えたいと思います。
いくつか細かな仮定を入れます。
素数を表現するためには、 の係数 の最大公約数が1である必要があります。最大公約数が1より大きな であるとすると、表現されるすべての数が で割り切れてしまうからです。このような2次形式を原始的(primitive)といいます。
また、判別式 が完全平方数(perfect square)ではない、負定値(negative definite; が負の値しか表現しない)ではないという条件も仮定します。
これらは当然仮定すべき条件というものであって、特殊な条件では全くないことに注意しましょう。
このように設定した上で
というのが定理1.6の主張です。すなわち、形状 (有限集合)に対して、 の拡大・平行移動して得られる星座 が存在するというわけです。
これはすごいですね!
しかも!!
このとき 星座 が表現する素数はすべて異なる素数 になります!!!
おおお、面白い!!!
実際、こんなことが成り立つのか、具体例で確認してみましょう。
2次形式として を考えて、 が素数を表現する 全体の集合を としましょう。
また、形状 として7点集合「北斗七星」を考えます。
を拡大・平行移動して得られる星座 であって、 に含まれるものを探しましょう。
実際、 の範囲で探すと、次のような星座が見つかりました!
ちょっと見辛いかもしれませんが、グレーの点が の点、赤い点が見つけた星座 です。せっかくなので の座標も表示しておきましょう。
ここで、 によって が表現する素数を計算すると
となります。たしかに、どれも相異なる素数となっていますね!!
いやー、面白いな!!
補足:プレプリントの正しさについて
最後になりますが、念のために論文の正しさということについて、一点注意を述べておきたいと思います。
学術論文というのは、一般に論文誌に投稿され、数名の査読者によって内容が十分に精査されてから論文誌として出版されます。この過程によって、内容の正しさが一定程度保証されるわけですね。もちろん、査読をクリアしたからといって証明が正しいと保証されているわけではなく、出版後もさまざまな研究者によって検証されていくわけです。
今回のものは、論文誌に投稿前(あるいは査読中)の原稿を事前公表する「プレプリント」と呼ばれるものであり、まだ査読が入っていない原稿です。したがって、(著者が万全のチェックをした上で出していることは仮定してよいとは思いますが)十分に正しさが保証されたものとはいえません。内容の正しさは、あくまで読者自身が確認することが前提というわけですね。
そのため、まだプレプリントの段階の内容を紹介する際には、その点を十分に配慮する必要があると考えています。今回の記事について述べておくと、数体の素元星座定理が「証明された」とは一切書いておりません。