The Relative Manin-Mumford Conjecture

あなたは、あらゆる数学的な図形が異なる種類の本として表されている、広大で目に見えない図書館の中に立っていると想像してください。中には単純なループを記述している本もあれば、私たちの目には見えない方法でねじれ、回転する複雑な多次元のドーナツを記述している本もあります。ここは数論と幾何学の世界であり、数学者たちが数と図形がどのように相互作用するかという隠れたパターンを見つけ出そうとしている領域です。この図書館の中にある最も有名なパズルの一つは、「特別な点」がどこに存在するのかを解明することです。これらの特別な点を、チョコレート工場の中に隠された「ゴールデンチケット」だと考えてください。これらの図形の世界において、ゴールデンチケットは**ねじれ点（torsion points）**と呼ばれます。これらは、図形の上にある点であり、何度も自分自身を足し合わせ続けていくと、最終的に始まりの地点（ゼロ点）に戻ってくるような点のことです。

長い間、数学者たちはこう疑問に思ってきました。もし、これらの巨大な数学的ドーナツの中に描かれた特定の経路や、より小さな図形があったとしたら、その図形はこれらのゴールデンチケットで覆われているのでしょうか？ それとも、チケットは非常にまばらに散らばっており、パターンを作るのに十分な数を見つけることはできないのでしょうか？ 答えは、その経路がドーナツ自体と比較してどれほど「ねじれているか」によって決まります。もし経路が単純すぎれば、それはわずかなチケットにしか触れないかもしれません。しかし、もし経路が十分に複雑であれば、それはチケットで覆われる可能性があるのです。この問いは、**マニン・ムンフォード予想（Manin–Mumford Conjecture）**として知られています。これは、ある都市の道路が金貨で舗装されているのか、それとも単にいくつかのコインが散らばっているだけなのかを問うようなものです。この問題を解くことは、数と図形がどのように組み合わさるかという、深く隠されたルールを理解する助けとなり、暗号技術から宇宙の根本的な構造の理解に至るまで、あらゆるものにとって極めて重要です。

ここで、単一のドーナツではなく、ドーナツの「家族（ファミリー）」全体を想像してみてください。例えば、道に沿って移動するにつれて、ドーナツの形がわずかに変化し、大きくなったり、ねじれ方が変わったりするかもしれません。これは数学者が「アーベル多様体の族（具体的にはアーベル・スキーム）」と呼ぶものです。大きな問いは、この変化し続けるドーナツの家族全体を通り抜ける経路を描いたとき、その経路はゴールデンチケットで覆われるのかどうか、ということです。これが**相対的マニン・ムンフォード予想（Relative Manin–Mumford Conjecture）**であり、ドーナツが静止しておらず、動いているターゲットであるため、より難しいパズルとなります。

この論文において、Ziyang GaoとPhilipp Habeggerは、標数0（私たちが通常扱う標準的な数学の世界）におけるアーベル多様体（アーベル・スキーム）の家族に関するこのパズルをようやく解きました。彼らはある重要な方向性を証明しました。もしあなたの経路が「ザリスキー稠密（Zariski dense）」（これは、非常に小さくて退屈な隅に留まっているのではなく、空間全体を実際に探索していることを意味する、少し凝った言い方です）であり、かつゴールデンチケットで覆われているならば、その経路は少なくともドーナツ自体と同じ程度の複雑さを持っていなければならない、ということです。言い換えれば、面白いと言えるほど多くのチケットで覆われているのに、単純な経路であるということはあり得ないのです。つまり、複雑さは、チケットで覆われるための必要条件なのです。

著者たちは単に推測したわけではありません。彼らは、巧妙な道具の組み合わせを用いて、絶対的な確信を持ってこれを証明しました。彼らは、**ピラ・ザニエ・メソッド（Pila–Zannier method）と呼ばれる手法を用いました。これは、非常に特定的で組織的な方法で有理点（ゴールきデンチケット）を数えることで、それらを見つけ出すハイテクな金属探知機のようなものです。また、彼らはベッティ写像（Betti map）**と呼ばれるものも使用しました。これは、これらの図形の座標系、あるいはGPSのように機能します。ベッティ写像を、ドーナツの複雑でねじれた形状を、単純で平坦な数のグリッドへと翻訳する方法だと想像してください。この平坦なグリッド上で経路がどのように動くかを見ることで、その経路が「退化（degenerate）」しているのか（特定のパターンに固執しているのか）、あるいは「非退化（non-degenerate）」しているのか（自由に動いているのか）を見極めることができました。

彼らの証明の鍵となる部分は、2つのシナリオをチェックすることでした。第一に、経路が「退化」している、つまり、チケットを数えるのが容易になるような特定の退屈なパターンに陥っている場合を検討しました。もし退化していれば、証明は単純でした。しかし、もし経路が退化していなければ、彼らは**高さ不等式（height inequality）**と呼ばれる強力なツールを使う必要がありました。「高さ」を、数の複雑さの尺度だと考えてください。著者たちは、もし経路が退化していないならば、関与する数の「高さ」は限定される（bounded）ことを示し、それがどれほど多くのゴールデンチケットが存在し得るかを制限することを証明しました。彼らは、これらの図形の振る舞いに関する定理（アックス・シャヌエル定理 / Ax–Schanuel theorem）と組み合わせることで、もし経路が十分に複雑であれば、それはチケットで覆われなければならないことを示しました。

この論文の最もエキサイティングな結果の一つは、曲線に対する「一様マニン・ムンフォード予想（Uniform Manin–Mumford Conjecture）」をも証明していることです。これは、ある特定の複雑さ（種数 $g$）を持つ任意の曲線に対して、その曲線がどれほどどのように描かれようとも、決して $c$ 個を超えるゴールデンチケットを持つことはない、という特定の数 $c$（$g$ にのみ依存する）が存在するというルールを見つけたことを意味します。これは非常に大きな成果です。なぜなら、これらの特別な点の数は、無限に増え続けるのではなく、限定されており、予測可能であることを意味するからです。

著者たちはまた、次のようなトリッキーな問いにも取り組みました。「逆は真か？ つまり、経路が十分に複雑であれば、必ずゴールデンチケットで覆われるのか？」 彼らは、経路が完全に覆われるために満たされなければならない、「ベッティ階数（Betti rank）」（平坦なグリッド上で経路がどれほどねじれているかの尺度）に関する特定の条件があることを証明しました。もしこの条件が満たされない場合、たとえ複雑な経路であっても、ゴールデンチケットを見逃してしまう可能性があります。これは、複雑さとゴールデンチケットの関係が、微妙かつ精密であることを示しています。つまり、複雑さは覆われるための必要条件ではありますが、それ自体では十分ではないのです。

要約すると、GaoとHabeggerは、アーベル多様体の家族において、ゴールデンチケットがどこに存在するのかを示す完全な地図を作り上げました。彼らは、単純でありながらチケットで覆われているような経路は存在し得ないことを示し、複雑な経路がいつ覆われるのかについての正確なルールを提示しました。彼らの研究は単にパズルを解いただけではありません。数における幾何学の隠れた構造を探索するための、新しく強力なツールキットを提供しており、最も抽象的な数学の隅においても、魔法が起こる場所を支配する厳格で美しいルールが存在することを証明したのです。