A proof of $p$-adic Gross--Zagier theorem via BDP formula

あなたは、数字というピースで構成された巨大な宇宙のパズルを解こうとしていると想像してください。ただし、それは単なる数字ではありません。これらは「素数」と呼ばれる、算術の原子のような神秘的な存在です。何世紀もの間、数学者たちは、二つの全く異なる世界——幾何学（空間に浮かぶ形、曲線、点）の世界と、解析学（滑らかな曲線、微分、関数の流れ）の世界——を結びつけようと試みてきました。それはまるで、バイオリンの弦の振動の音が、池に広がる波紋のパターンと全く同じであることを証明しようとするようなものです。

数論と呼ばれるこの特定の数学の領域には、「グロス・ツァイガー公式」と呼ばれる有名な架け橋が存在します。これは、幾何学的な図形上の特別な点の「高さ」（ヘーグナー点）と、特定の場所における複素関数（L関数）の「傾き」を結びつけるものです。この「高さ」を登山家が山をどれだけ登ったかとするならば、「傾き」は山の頂上における山の険しさのようなものです。もし山が平坦（傾きがゼロ）であれば、登山家は底にいます。もし山が険しければ、登山家は高い場所にいます。このつながりは、数字がどのように振る舞うか、特に楕円曲線（おしゃれなドーナツ型の方程式）とそのL関数（方程式が持つ解の数を伝える秘密のコードのようなもの）に関する深い秘密を理解する上で極めて重要です。

長い間、このつながりを証明するには、幾何学から作られた巨大で複雑な機械と、解析学から作られたもう一つの機械を比較する必要がありました。しかし、もしショートカットがあったらどうでしょう？ もし、塔全体を登り切ることなく、城の別の部屋へ移動するために、秘密のドア（「壁越え」戦略）を通って直接行けるとしたら？ これこそが、この論文が提示している手法です。

---

論文：城の壁を通る新しいショートカット

Kâzım BüyükbodukとPeter Neamtiによって書かれたこの論文は、p進グロス・ツァイガー定理の新しい統一的な証明を提供しています。数学の世界において「p進」とは、日常生活で使う通常の距離ではなく、特定の素数（ここでは p としましょう）に焦点を当てた特別な数値の測り方のことです。著者たちは、特定の関数の「傾き」が、数値が扱いにくい状況（数学者が「非通常の（non-ordinary）」シナリオと呼ぶ状況）においても、幾何学的な点の「高さ」と直接結びついていることを証明しようとしています。

旧来の方法 vs 新しい方法

以前は、数学者たちは二つの別々の巨大なエンジンを構築することで、この定理を証明していました。一つのエンジンは幾何学的な高さを計算し、もう一つのエンジンは解析的な傾きを計算します。そして、それら二つのエンジンの出力が一致するかどうかを確認しなければなりませんでした。それは、二つの異なる時計が同じ時刻を示しているかどうかを確認するために、両方の時計のすべての歯車をチェックするようなものでした。これは、特に「時計」が壊れていたり、奇妙な挙動を示したりする場合（例えば、形式の重さが2より大きい場合や、素数 p が形式のレベルをややこしい方法で割る場合）には非常に困難でした。

本論文の著者たちは、「別のアプローチを試そう」と言います。二つのエンジンを直接比較する代わりに、彼らは壁越え（wall-crossing）戦略を用います。あなたが多くの部屋を持つ城の中にいると想像してください。旧来の方法は、城全体を歩いて幾何学の部屋から解析の部屋へと移動することでした。新しい方法は、それらを直接つなぐ秘密のドア（「壁」）を見つけることです。

秘密のドア：BDP公式とベイリンソン・フラフ要素

この秘密のドアの鍵となるのは、BDP公式（Bertolini, Darmon, および Prasannaにちなんで名付けられたもの）と呼ばれる有名な公式です。BDP公式を、あるメッセージを別の言語へと正確に翻訳するための魔法の地図だと考えてください。

この地図を使うために、著者たちは二つの主要な登場人物を紹介しています。

1. ヘーグナー・サイクル： 山を登る幾何学的な登山家です。
2. ベイリンソン・フラフ要素： 傾きのデータ（情報を）運ぶ解析的な伝令官です。

論文では、これら二つの登場人物が、実は異なる衣装を着た同一人物であることを示しています。**ルビンの様式の公式（Rubin-style formula）**という道具を用いることで、著者たちは、幾何学的な登山家の「高さ」が、特定の代数的な因子（山の大きさや登山家のバックパックの重さなど）を考慮すれば、解析的な伝令官の「傾き」と正確に等しくなることを示しています。

大きな発見

この論文の主要な発見は、p進L関数の導関数とヘーグナー・サイクルのp進高さとを結びつける精密な方程式（定理A）です。その式は次のように表されます：

$$\text{傾き} \propto \text{高さ}$$

しかし、著者たちは単に「それらは関連している」と言っているだけではありません。彼らは、素数 p が形式のレベルを割るか否かに依存する特定の数値を含め、それらが具体的にどのように関連しているかという正確なレシピを提示しています。

この論文が証明していること：

• 「悪い」ケースでも機能する： 従来の証明は、形式の重さが2より大きい場合や、素数 p が「非通常（non-ordinary）」な挙動を示す場合（数値がうまく機能しない場合）に苦戦してきました。この論文は、重さ $k > 2$ の場合や、特定の数値のp進付値が正である場合を含む、これらの困難なシナリオにおいても、公式が機能することを証明しています。
• 理論の統一： 数値がうまく機能する「簡単な」ケースと、そうでない「難しい」ケースを、全く同じ手法で扱っています。もはや、異なる問題に対して異なる道具を使う必要はありません。
• 「大きな（Big）」要素の使用： 著者たちは、「大きな」ヘーグナー類と「大きな」ベイリンソン・フラフ要素を使用しています。これらは、単一の数値だけでなく、一連の数値の族を一度に扱うことができる、標準的な要素のスーパーバージョンだと考えてください。これにより、一連の形式に対して同時に結果を証明することが可能になります。

この論文が対象外としていること

この論文は、自身がカバーしていない範囲についても非常に慎重に述べています。彼らの手法は、素数 p が形式のレベルを割り（$p | N_f$）、かつ特定の数値 $a_p(f)$ が $p^{k/2}$ に等しいという、非常に特殊でトリッキーなケースには適用できないことを明示しています。著者たちは、このケースは依然として謎であり、他の数学者たちが取り組んでいる最中であることを認めています。また、特定の条件（NVとラベル付けされたもの）が満たされない場合、公式は単に「0 = 0」と言うだけであり、それは技術的には正しいものの、あまり役に立たないものであるとも指摘しています。しかし、それらの条件が満たされている場合、公式は意味のある、ゼロではない答えを与えることを彼らは示しています。

どの程度の確信があるのか？

著者たちの自信は極めて高いものです。彼らは単に「これが正しいかもしれない」と示唆しているのではなく、厳密で段階的な証明を提供しています。彼らは、セルマー・コンプレックス（重要な数値をキャッチするセーフティネットのようなもの）や、オイラー・システム（最初のドミノを倒せば、連鎖的に全体が倒れることが証明されるドミノ倒しのようなもの）といった、確立された道具を使用しています。その論理は、数値が十分に複雑であることを保証する技術的な要件である「大きな像（Big Image）」の条件や、幾何学的な点が確実に存在することを保証する「ヘーグナー仮説」に基づいた、強固な土台の上に築かれています。

要約すると、BüyükbodukとNeamtiは、幾何学の世界と解析の世界の間に、新しくエレガントな架け橋を築きました。彼らはただ橋を渡っただけではありません。橋が建設中であったり、天候が荒れていたりする場合でも機能する、秘密のトンネルを私たちに示したのです。この証明は、点の高さと関数の傾きの間の深い結びつきが、たとえ混沌とした非通常のシナリオであっても、数の宇宙における根本的な真実であることを裏付けています。