Tropical and algebraic elliptic plane curves with fixed j-invariant

あなたは、ある橋を架けようとしている建築家だと想像してください。あなたには特定の設計図（橋の形）があり、使用しなければならない柱の数も決まっています。しかし、ここにはひねりがあります。真っ直ぐな木の板だけを使ってその橋を建てる方法が何通りあるのか、そして、しなやかで曲がりくねった蔓（つる）を使って建てる方法が何通りあるのかを、正確に知りたいと考えているのです。数学の世界において、これは「代数的な」曲線（硬くて精密な設計図）と、「トロピカルな」曲線（直線で作られた簡略化された、ブロック状のバージョン）の違いです。

数学者たちは、長い間、「楕円曲線」と呼ばれる特別な種類の曲線に魅了されてきました。これらは、紙の上に引き伸ばされた輪ゴムのような、ループ（輪）だと考えてください。このループの重要な特徴は、「$j$-不変量」と呼ばれるものです。$j$-不変量は、その曲線の「指紋」や「固有のIDカード」のようなものであり、そのループを紙の上でどのように回転させたり引き伸ばしたりしても変わらない、特定の形と大きさを教えてくれます。何十年もの間、数学者たちは、平面上の特定の散らばった点を通るループがいくつ存在するかを数えようとしてきました。彼らは、硬い代数的なループについては公式を見つけ出しました。しかし、簡略化されたトロピカル版のループを数えようとしたとき、その数は元の公式とは一致しませんでした。それはまるで、壁の影を見てレンガの数を数えようとしているのに、その影の形が壁の設計図と一致しないことに気づいたようなものでした。

Alessio CelaとSae Koyamaによるこの論文は、この不一致を修正するために登場しました。著者たちは、既存の「影」による計数法を取り入れ、「ウェル・スペーシング（適切に配置された）」条件という新しいルールを用いて、それを洗練させました。彼らは、トロピカルなループを正しく数えるとき（ループがどのように配置され、重み付けされているかに細心の注意を払うことで）、そのカウントが元の代数的なループの公式と完璧に一致することを証明しました。彼らは単に推測したのではなく、任意の数の点と任意の特定のループの形（非常に特殊で稀な数種類の形を除いて）に対して機能する、厳密でステップ・バイ・ステップの証明を提供しました。これにより、彼らはトロピカルな世界が、これらの特定の曲線において代数的な世界の完璧な鏡であることを確認し、二つの計数法の間の溝をようやく埋めたのです。

ループと影の物語

冒険に飛び込みましょう。あなたが広大で平坦なフィールド（数学者はこれを「射影平面」と呼びます）にいると想像してください。あなたは地面に $3d - 1$ 個の石を落としました。あなたの目標は、すべての石を通過するループ（楕円曲線）を描くことです。しかし、一つ条件があります。そのループは、$j$-不変量として知られる特定の「指紋」を持っていなければなりません。

長い間、パンダリパンデという数学者が、複雑な代数を用いて、これらのループがいくつ存在するかを正確に解明してきました。彼は、もし石の数を使って少し計算を行えば答えが出るという、整った公式を見つけ出しました。しかし、問題がありました。他の数学者たちが「トロピカル幾何学」（滑らかな曲線を、直線で作られたギザギザでブロック状の形に変える手法）を用いて同じパズルを解こうとしたとき、彼らは異なる答えを得たのです。それはまるで、トロピカルな手法が、実際には存在しない幽霊を数えていたり、あるいは実在するものを数え漏らしていたりするかのようでした。

問題は「重み」にありました。トロピカル幾何学においては、すべてのループが平等ではありません。いくつかのループは他のものよりも「重要」であり、正しい合計を得るためには、それらを複数回カウントする必要があります。以前の試みでは、パズルをうまく見せるために作られた、一種の推測のような重みが使われていました。それらは見た目の数字を綺麗にするには機能しましたが、本来表すべき実在の物理的なループを実際には反映していませんでした。著者たちは、これらの重みが原因であることに気づきました。それらは「アドホック（場当たり的）」、つまりパズルに適合するように作られたものであり、実際のゲームのルールから導き出されたものではなかったのです。

「ウェル・スペーシング（適切に配置された）」による解決策

これを修正するために、著者たちは「ウェル・スペーシング（適切に配置された）」曲線と呼ばれる、より新しく厳格なルールへと目を向けました。想像してみてください、あなたがキャンプファイアの周りに友人たちを配置しているところを。もし一方向に人が密集しすぎて、もう一方が空っぽであれば、火は不均一に燃えます。「ウェル・スペーシング」された配置とは、全員がバランスが取れており、火に近すぎたり遠すぎたりしない状態を意味します。数学の世界におけるこの「ウェル・スペーシング」条件は、トロピカルなループが、実在の代数的なループを完璧に模倣するように、バランスが取れていることを保証します。

この論文は、これらのバランスの取れたループを数える新しい方法を紹介しています。彼らは、二つの極端なシナリオを調査しました：

1. 巨大なループ： ループが非常に長く引き伸ばされ、細長い紐のように見えるシナリオ。
2. 小さなループ： ループがほとんど何もなくなってしまうほど縮小されたシナリオ。

これら二つの極端な状況を研究することで、著者たちはループがどのように振る舞うかを知ることができました。彼らは、これら「ウェル・スペーシング」のルールを適用し、正しい重み（彼らがループの核となる幾何学に基づいて計算したもの）を用いると、トロピカルなカウントが突如として定まることを発見しました。それは、パンダリパンデの代数的な公式と正確に一致します。

彼らが見つけたこと（そして見つけなかったこと）

主な発見は、力強い「イエス」です。この論文は、$j$-不変量が固定された $3d - 1$ 個の点を通るトロピカル楕円曲線の数は、代数曲線の数と正確に等しいことを証明しています。その公式は以下の通りです：
$$E_{d,j} = \binom{d-1}{2} N_d$$
（ここで $N_d$ は、より単純な、ループを持たない曲線についてコンツェヴィッチによって計算された有名な数です）。

しかし、この論文は、自身が「行わないこと」についても非常に慎重に述べています。彼らは、ケルバーとマルヴィグが用いた古い手法を明確に退けています。彼らの手法は最終的な数値こそ正しかったものの、著者たちは、その結果に至る「プロセス」に欠陥があったことを示しています。古い手法は、実在の代数曲線に対応しない重みを使用していました。新しい手法は、実在の曲線に対応する重みを使用しています。また、この論文は、これが単なるシミュレーションや推測ではなく、数学的な証明であることを明確にしています。それは、一般的な点および一般的な $j$-不変量に対して成立します。

一つだけ小さな例外があります。論文では、二つの非常に特殊で稀な $j$-不変量（0と1728）については、カウントに微調整（3または2で割ること）が必要であると言及しています。これは、それらの特定のループが、多くの角度から見ても同じに見える雪の結晶のような、余分な対称性を持っているためです。しかし、ほとんどの他のケースにおいて、この公式は完璧に機能します。

なぜこれが重要なのか

なぜ、平面上のループを数えることが、好奇心旺盛なティーンエイジャーにとって重要なのでしょうか？ それは、この論文が数学の二つの異なる言語を橋渡ししているからです。これは、簡略化されたブロック状の世界であるトロピカル幾何学が、単なるラフスケッチではなく、複雑で滑らかな代数幾何学の世界の、精密で信頼できる地図であることを示しています。計数のルールを修正することで、著者たちは数学者に新しい強力なツールを与えました。彼らは今、複雑な形状に関する難しい問題を、より単純なブロック状のパズルに変換することで、得られた答えが真実の答えであることを確信しながら解くことができるようになったのです。それは、もしレゴブロックでモデルを作ったとしても、正しい組み立て方の指示に従えば、本物の城の中にいくつのブロックがあるかを正確に予測できることを発見したようなものです。