Effective surjectivity of Galois representations of products of elliptic curves over function fields

数の宇宙を、すべての整数が秘密の正体を持つ、広大で賑やかな都市だと想像してみてください。この都市には、「楕円曲線」と呼ばれる特別な形が存在します。これらを、滑らかで転がるような丘としてではなく、非常に厳格なルールに従う、複雑でループするジェットコースターとして考えてください。これらの形は、フェルマーの最終定理の有名な証明から、あなたのオンラインバンキングを守るセキュリティコードに至るまで、数学の最も深い謎を解く鍵を握っているため、現代数論におけるスーパーヒーローなのです。

次に、これらのジェットコースターには「ねじれ点（torsion points）」という隠された層があると考えてください。これは、特定の席にしか座ることのできない、小さくて目に見えない乗客です。あなたが「ガロア表現」と呼ばれる数学的なレンズを通してこれらの乗客を見るとき、あなたは、セキュリティガード（数体系の対称性）が全員を入れているのか、それとも特定のグループをブロックしているのかを確認していることになります。数学者たちが数十年にわたり問い続けてきた大きな疑問は、「乗客のグループは、セキュリティガードが完全に全員を受け入れるまでに、どのくらい大きくなる必要があるのか？」ということです。もし答えが「非常に大きい」のであれば、それはシステムが最大限に混沌として予測不能であることを意味し、暗号理論や純粋数学にとって素晴らしいことです。この論文は、この都市の特定の近所、つまり単一の点ではなく、曲線の風景の上に構築された曲線のような「関数体（function fields）」の世界へと深く入り込みます。著者たちは、これらのジェットコースサーブをいくつも連結して、巨大な多車両の列車にしたとき、同じ「最大セキュリティ」のルールが適用されるのかを知りたいと考えています。

この論文の著者であるアリナ・カルメン・コジョラルーとフレデリック・サイア（ベンジャミン・バッカーの助けを借りて）は、これらの特定の関数体において、複数の異なる非同一の楕円曲線を連結したとき、ガロア表現が「有効的に全射（effectively surjective）」になることを証明することに成功しました。平易な言葉で言えば、彼らは具体的な計算可能な閾値を見つけ出したのです。もし、ある素数がこの閾値よりも大きければ、乗客（ねじれ点）を見たとき、セキュリティガードは全員を受け入れます。つまり、表現の像は数学的に可能な限り大きくなります。彼らは単に推測したのではなく、厳密な数学的議論を用いてこれを証明しました。

この結論に達するために、チームは「イソジェニー（isogenies）」というトリッキーなパズルを解かなければなりませんでした。イソジェニーとは、2つの異なるジェットコースターを繋ぐ特別な橋のようなものだと考えてください。もし2つのコースターがこのような橋で結ばれていれば、それらは共通の秘密のDNAを共有しています。著者たちは、これらの特定の種類の曲線間における「橋」がいかに長く複雑にもなり得ないか、つまり、橋がどれほど「大きく」なれるかについて、厳格な制限があることを証明する必要がありました。彼らは、グリフォン＝パズキ（Griffon–Pazuki）やバッカー＝ツィマニアン（Bakker–Tsimerman）による先行研究に基づき、これらの「橋の長さ」の制限を確立しました。これらの橋が短く管理可能であることを示すことで、セキュリティガードが混乱したり、制限されたりして、全員を受け入れることを妨げる可能性を排除することができたのです。

この論文は、曲線が「イソトリバリアル（isotrivial）」（つまり、単一の曲線を動かしただけのコピーであること）であったり、「イソジェナス（isogenous）」（つまり、あまりにも似すぎていて、多くの秘密を共有していること）であったりするという考えを明確に否定しています。もし曲線が似すぎていれば、セキュリティガードは限定された小さなグループしか入れず、「最大混沌」の結果は失敗してしまうでしょう。著者たちは、設定した特定の条件下において、自身の結果に非常に自信を持っています。すなわち、曲線は互いに異なり、非同一であり、特定のタイプの関数体上で定義されていなければなりません。彼らは、これがあらゆる可能な数学的風景に対して機能すると主張しているのではなく、構築された特定の、明確に定義された設定に対して機能すると述べています。

彼らの発見の最もエキサイティングな部分は、彼らが見つけた閾値――最大混沌を保証するために超えなければならない数――が、基礎となる曲線の「種数（genus）」のみに依存していることです。種数を、ドーナツの穴の数だと考えてください。球には穴がゼロ、ドーナツには一つ、プレッツェルには三つの穴があります。著者たちは、この閾値となる数が、この「穴の数」と、バッカーとツィマニアンの研究から導かれたいくつかの定数によってのみ決定され、個々のジェットコースターの詳細や、それらをいくつ連結するかには依存しないという公式を見つけ出しました。これは強力な簡略化です。これは、あなたの楕円曲線の列車がいかに複雑になろうとも、その上に置かれた風景がある特定の形を持っている限り、システムを完全にオープンにするために素数がどれだけ大きくなる必要があるかを正確に知ることができる、ということを意味しています。

証明の中で、著者たちは「双分離性（biseparability）」という概念、つまり、曲線間の橋が「クリーン」であり、基礎となる体の算術と絡み合っていないという概念に注意を払う必要がありました。彼らは、研究対象としている曲線については、これらの橋が実際にクリーンであることを示しました。また、彼らは「合同（congruences）」、つまり異なる曲線の乗客間のマッチングパターンのような、トリッキーな領域もナビゲートしなければなりませんでした。彼らは、バッカーとツィマニアンによる最近の結果を用いて、これらのマッチングパターンが永遠に続くことはあり得ないこと、つまり、最終的にはパターンが崩れ、曲線が十分に区別された状態であることを証明しました。これは、曲線が独自の性質を維持することを保証します。

最終的な結果は、具体的な数、すなわち $c(g)$ という「魔法の閾値」であり、これは種数 $g$ と、バッカーとツィマニアンの研究から派生した定数 $N(g)$ を用いた特定の公式によって計算されます。論文は、任意の素数 $\ell$ が $c(g)$ より大きい場合、ガロア表現は全射であると述べています。著者たちは、数体（number fields）の世界の確立された手法を用い、それを関数体（function field）の設定に適応させることで、この証明に自信を持っています。彼らは、$N(g)$ が現在は単純な形式で完全には明示的ではないものの、構築した枠組みによって、必要に応じて計算可能であることを認めています。

では、これは好奇心旺盛なティーンエイジャーにとって何を意味するのでしょうか？ それは、数学的な宇宙において、複雑なシステムがどのように相互作用するかを支配するルールが存在するということです。たとえ多くの複雑なシステムを積み重ねたとしても、ある地点において、その複雑さは非常に豊かになり、最も「ランダム」で「自由」な振る舞いを見せるようになります。著者たちは、境界線を引き、「この地点を超えれば、システムは完全に開放される」と言ったのです。それは、パーティーに何人の人を招待しようとも、部屋が十分に大きく（種数）、ゲストが互いに異なっている（非イソジェナス）ならば、パーティーはやがて、誰もが誰とでも踊れるような、完璧で混沌とした楽しい状態に到達することを突き止めるようなものです。論文は、適切な数のゲスト（素数）が到着するのを待てば、この状態が保証されることを証明しています。