[論文レビュー] The strong $ABC$ conjecture over function fields (after McQuillan and Yamanoi)

Carlo Gasbarri|ArXiv.org|Nov 19, 2008

Meromorphic and Entire Functions参考文献 16被引用数 3

ひとこと要約

本稿では、対数的多様体形式に基づくMcQuillanのグローバル手法と、Ahlfors理論およびNevanlinna理論を用いたYamanoiのローカル手法の2つの異なる手法を用いて、関数体上の強い$ABC$予想の証明を提示する。主な結果として、切断の高さと除数の根基との間の鋭い不等式が確立され、関数体設定における予想の確認がなされ、高次元多様体への一般化のための基盤が提供される。

ABSTRACT

The $abc$ conjecture predicts a highly non trivial upper bound for the height of an algebraic point in terms of its discriminant and its intersection with a fixed divisor of the projective line counted without multiplicity. We describe the two independent proofs of the strong $abc$ conjecture over function fields given by McQuillan and Yamanoi. The first proof relies on tools from differential and algebraic geometry; the second relies on analytic and topological methods. They correspond respectively to the Nevanlinna and the Ahlfors approach to the Nevanlinna Second Main Theorem.

研究の動機と目的

• 関数体上での強い$ABC$予想を確立し、古典的$abc$予想を幾何学的および算術的設定へ一般化する。
• McQuillanのグローバル解析的手法とYamanoiのローカルNevanlinna理論的手法の2つの補完的アプローチを用いて、予想の厳密な証明を提供する。
• 関数体の場合の予想は数体の場合よりも単純であるが、重要な族が非等曲的であることから、深いつながりを持つ解析的および幾何学的道具を必要とすることを示す。
• 高次元多様体や一般型の曲面への$ABC$予想の一般化の基盤を、高さ、分岐、除数論の相互作用を分析することで築く。
• 予想が、双曲的曲線上の整数点の有効的有限性および数体上での2変数のディオファントス方程式の解に対する有効的境界を示すことを示す。これは数体における影響と類似している。

提案手法

• McQuillanの手法は、対数的多様体形式と半安定曲線の$p$-進および複素幾何学を用いて、高さと除数の根基を含むグローバル不等式を導出する。
• Yamanoiの手法は、境界付きリーマン面からモジュライ空間への解析的写像に、Ahlfors理論およびNevanlinna理論を適用し、前像の面積と境界長さを含むローカル不等式を導出する。
• 証明には、モジュライ空間${\cal M}_{0,n}$上の canonical バンドル$K_n$にメトリックを構成し、1番目のチャーン類$c_1(K_n)$を用いて高さ関数を定義する。
• 重要な技術的ステップとして、境界長さの積分を制御するためのコーシー＝シュワルツ不等式が用いられ、それが面積関数の成長と結びつけられる。
• 証明は背理法に基づく：予想が成り立たないと仮定すると、Nevanlinna理論における非可積分性結果（定理\ref{nonintyama}で形式化）に矛盾する。
• 2つの手法は補完的であることが示され、McQuillanのグローバル手法とYamanoiのローカル手法を組み合わせることで、高次元における予想の証明への道筋が示唆される。

実験結果

リサーチクエスチョン

• RQ1 Nevanlinna理論およびAhlfors理論からの解析的手法を用いて、関数体上での強い$ABC$予想を証明できるか？
• RQ2 McQuillanの多様体形式手法とYamanoiの境界長さ制御手法という、グローバルおよびローカルな$ABC$予想のアプローチは、適用性および強さの観点でどのように比較できるか？
• RQ3 関数体上の$ABC$予想は、高次元多様体や一般型の曲面への一般化がどの程度可能か？
• RQ4 モジュライ空間${\cal M}_{0,n}$およびそのタウトロジカルラインバンドルは、幾何学的表現における予想の定式化において果たす役割は何か？
• RQ5 双曲的曲線上の整数点の有効的有限性は、予想から導けるか？もし可能であれば、高さの境界は数体の判別式および次数にどのように依存するか？

主な発見

• 関数体上での強い$ABC$予想は、McQuillanのグローバル解析的手法とYamanoiのローカルNevanlinna理論的手法の2つの独立した手法を用いて証明された。
• 予想が、双曲的曲線上の整数点の有効的有限性および数体上での2変数のディオファントス方程式の解に対する有効的境界を示すことを示した。
• 重要な不等式が確立された：$A(F,f^*c_1(K_n)) \leq n({\cal D}_n,f) + R_g + \epsilon A(F,f^*c_1(K_n)) + C\deg(g)(A(R,g^*\eta) + n({\cal D}_{n-1},\iota) + \chi^+(R) + \ell(\partial F,f^*c_1(K_n)))$、これは$ABC$予想を含意する。
• 証明は背理法に依拠している：予想が成り立たないと仮定すると、Nevanlinna理論における既知の結果に反する非可積分関数が得られる。
• 主結果の特別な場合として、多項式における$abc$予想の幾何的類似物であるMasonの定理が回復される。
• 著者らは、McQuillanのグローバル手法とYamanoiのローカル技術を組み合わせたハイブリッド的手法が、高次元における予想の証明への最も有望な道筋である可能性を示唆している。