Quintic surfaces with 18 cusps

あなたは、数学的な粘土を用いて彫刻を設計する建築家であると想像してください。代数幾何学の世界では、この粘土は4次元空間の中に浮かぶ曲面として形作られます（ただし、私たちは一度に3次元分しか見ることができません）。何世紀もの間、数学者たちはこれらの彫刻に現れる「ひび割れ」や「へこみ」に魅了されてきました。あるへこみは「ノード」と呼ばれる単純な隆起ですが、別のものは「カスプ（尖点）」と呼ばれる、より鋭く劇的な点であり、それは針の先や、2枚の紙が合わさって鋭いスパイク状に折れ曲がる場所のように見えます。

この分野における大きな疑問は、一つの彫刻にどれほどの数のこれらの鋭いスパイクを詰め込むことができるか、ということです。より単純な形状であれば、答えは分かっています。しかし、「五次曲面（quintic surface）」と呼ばれる特定の種類の彫刻（これは5次までの項を持つ複雑な方程式によって定義されます）の場合、その限界は謎に包まれてきました。20個を超えることはできないと分かっていますが、20個を備えた完璧なものを構築することには成功していません。これまでの記録保持者は、わずか16個または17個しか実現できていません。それは、まるで、できるだけ多くの不安定なブロックを積み上げようとしているようなものです。ブロックを増やせば増やすほど、全体が崩れてめちゃくちゃになる可能性が高まります。

この論文は、レフ・ボリス（Lev Borisov）とカルロス・リート（Carlos Rito）という二人の数学者が、この積み上げ問題に取り組むことに決めた物語です。彼らは単に推測したわけではありません。彼らは、ブロックを固定するための新しい種類の足場を築きました。彼らの主要な発見は、通常17個の鋭いスパイクを持つ五次曲面の族を、彼らが構築することに成功したことです。さらに印象的なことに、設計を微調整することで、壊れることなく18個のスパイクを保持できる特定の例を見つけ出しました。彼らはこれらをコンピュータ・シミュレーションの中で見つけたのではありません。デジタル的な探偵工作と高精度な数学を巧みに組み合わせることで、これらの例の一つを単純な数の世界から、真の複素数の世界へと引き上げ、それが確実に存在することを証明したのです。

設計図：隠されたパターンを見つける

彼らがどのように行ったのかを理解するために、五次曲面を巨大で目に見えないパズルだと考えてみてください。数学者たちは、もし多くのスパイク（カスプ）があるならば、それらは単にランダムに散らばっているのではなく、秘密のコードに従っていることを知っていました。このコードは、特定のパッチが完璧に整列していなければならないキルトの模様のようなものです。

彼らは「バース＝ラムス分解（Barth–Rams decomposition）」と呼ばれる既知の手法から着手しました。複雑な形状があり、それを2つの単純な形状（例えば2つの立方体）を組み合わせ、そこから3つ目の形状を引くことによって記述できると考えてみてください。この場合、「スパイク」はこれらの形状が非常に特定の方法で接触する場所に現れます。通常、この手法では12個のスパイクを持つ曲面が得られます。著者たちは、もしこのパターンが同時に2つ発生するように強制できれば、より多くのスパイクが得られるのではないかと考えました。

彼らは、曲面が2つの異なる「バース＝ラムス」の規則を同時に満たさなければならないというシステムを設定しました。このようにすると、2つの12個のスパイクのセットが7箇所で重なり合いました。24個のスパイクを持つ代わりに、17個のユニークなスパイク（12 + 12 - 7）を持つことになったのです。これにより、17個のスパイクが自然に備わった、巨大な6次元の曲面の族が作成されました。それは、自動的に17個のカスプを持つ彫刻を生み出す機械を構築するようなものでした。

ブレイクスルー：18番目のスパイクを解く

17個のカスプを持つ曲面を作る機械を持つことは素晴らしいことでしたが、目標は18でした。著者たちは、スパイクを一つ追加するには、わずか2つの追加条件（例えば、2つの特定のネジを締め付けること）が必要であるということを知っていました。彼らは「有限体（finite fields）」の観点からこの問題を見ることで、18個のカスプを持つ曲面を探そうとしました。

有限体を、数字が循環するビデオゲームの世界だと考えてみてください。1, 2, 3, ... と永遠に数える代わりに、1, 2, 3, 4, 5, 1, 2... と再びカウントするような世界です。このような小さな、循環する世界では、数学の計算がはるかに高速になります。チームは、これらの小さなデジタル世界を探索するためのコンピュータ・プログラムを作成しました。彼らは、曲面が正確に18個のスパイクを持つ例をいくつか発見しました。

しかし、「循環する」ビデオゲームの中にある曲面を見つけることは、現実の無限の数学の世界に存在する曲面を証明することと同じではありません。この溝を埋めるために、彼らは「ニュートン・ヘンゼル・リフティング（Newton–Hensel lifting）」と呼ばれる技術を使用しました。想像してみてください、顔のぼやけた写真があるとします。そこに人がいることは分かっていますが、細部は不鮮明です。「リフティング」とは、そのぼやけた写真を使い、ピクセルごとに、顔が鮮明になるまで超強力なズームレンズを使って解像度を高めていく作業のようなものです。彼らは有限体からの18個のカスプを持つ例から出発し、この方法を用いて極限の精度で「ズームイン」し、数値を精緻化することで、その曲面を正確に記述できるようにしました。

最終的な証明：純粋数学の曲面

正確な数値を得た後、彼らはLLL（数字の中に隠れたパターンを見つけるタイプの数学的探偵工作）という強力なツールを使用して、その曲面の正確な代数的レシピを導き出しました。彼らは、その曲面が次数22の「数体（number field）」の数を用いて記述できることを発見しました。これは、関わっている数字は複雑ですが、明確に定義されており、実在しているということを意味する高度な言い回しです。

最後に、彼らは顕微鏡の下にその曲面を置きました。彼らは、そこには正確に18個の通常のカスプが存在し、それ以外には何も存在しないこと（余計な隆起も、奇妙なひび割れも、隠れたサプライズもないこと）を、あらゆる点についてチェックしました。彼らは、その曲面が安定しており、予測通りに正確であることを確認しました。

したがって、20個のカスプを持つ五次曲面を見つけるという究極の夢が、将来への「かもしれない」という課題として残っているとしても、この論文は18が可能であることを確実に証明しています。彼らは単にそれが真実かもしれないと示唆したのではなく、曲面を構築し、それをデジタルな近似から正確な数学的対象へと引き上げ、それがどのような姿をしているかを私たちに示したのです。これは、数学的な彫刻がどれほどの数の鋭い点を保持できるかという限界を理解するための、確かな一歩となりました。