[論文レビュー] The arithmetic Hodge index theorem for adelic line bundles II

Xinyi Yuan, Shou-Wu Zhang|arXiv (Cornell University)|Apr 12, 2013

Algebraic Geometry and Number Theory参考文献 32被引用数 14

ひとこと要約

本稿は、ℚ over の有限生成体上の射影的代数多様体におけるアデール的線束に対して、数論的ホッジ指数定理を確立し、数体上での先行結果を拡張する。ネフ性および有界性の条件下で、整数的アデール的線束の平方が構造準同型に関して自明な押し出しをもつことと、それが基本体からの引き戻しであることとは同値であり、代数的力学系における前周期的点の剛性に関する応用をもつ。

ABSTRACT

This is the second paper of a series. It extends the results of the first paper from number fields to finitely generated fields, based on the recent theory of adelic line bundles of the same authors. We prove an arithmetic Hodge index theorem for these adelic line bundles, and apply the theorem to obtain a rigidity property of the sets of preperiodic points of polarizable algebraic dynamical systems over any field.

研究の動機と目的

• 数体からℚ over の有限生成体へと数論的ホッジ指数定理を一般化すること。
• そのような体上の極化代数的力学系における前周期的点の剛性定理を確立すること。
• アラケロフ幾何学における先行研究を基盤として、有限生成体上の準射影的多様体におけるアデール的線束の理論を拡張すること。
• 適切な正則性および有界性条件の下で、アデール的線束の平方の押し出しの数的自明性が、その線束が基本体からの引き戻しであることと同値であることを証明すること。

提案手法

• [YZ2] で開発された、有限生成体上のアデール的 ℚ-線束の理論を用い、ネフおよび整数的クラスを定義する。
• 正則性の概念を導入：擬効果的、数的自明性、およびアデール的線束に対する「≫0」と「有界性」の条件。
• デリーニのペアリングおよび絶対的交点積を用いて、多様体上の交点数を基本体上の交点数と関連付ける。
• モデル上のネフなヒルベルト線束の列を用いた極限論法により、M² の押し出しの数的自明性を示す。
• [YZ2, Thm. 5.3.3] における基本的不等式を高さ関数および本質的最小値に適用し、成長を制御し、交点数の消滅を導出する。
• ベルティーニの定理および極限論法を用いて、Q が任意の d 個の豊富な線束と交わるときの交点が消えることを示し、数的自明性を導く。

実験結果

リサーチクエスチョン

• RQ1 アデール的線束の平方の押し出しの、基本体上での数的自明性はどのような条件下で成立するか？
• RQ2 押し出しの数的自明性が、線束が基本体からの引き戻しであることと同値となる条件は何か？
• RQ3 数論的ホッジ指数定理を数体からℚ over の有限生成体へどのように拡張できるか？
• RQ4 正則性および有界性の条件が、アデール的線束の引き戻しを特徴付ける際に果たす役割は何か？
• RQ5 準射影的多様体上のアデール的線束の理論は、代数的力学系における前周期的点の研究をどのように支援するか？

主な発見

• π による M²·L₁⋯Lₙ₋₁ の押し出しは、ŜPic(K)ₙₜ において数的自明である。ただし、M·L₁⋯Lₙ₋₁ = 0 かつ各 Lᵢ がネフかつ豊富であるとき。
• 各 Lᵢ ≫ 0 かつ M が Lᵢ-有界であるとき、押し出しは数的自明であることと、M が ŜPic(K)ₙₜ 上で π* の像にあることは同値である。
• この証明は、Q の類が ŜPic(V_Q/ℚ) で数的自明であることを示すことに依拠し、高さ関数の有界性と基本的不等式の適用による。
• 豊富なヒルベルト線束の本質的最小値は、全高さの (d+1) 乗の定数倍で下から有界であり、これにより交点数が消える。
• すべての豊富な H に対して Q·H^d = 0 ならば、すべてのヒルベルト線束 Hᵢ に対して Q·H₁⋯H_d = 0 であることが示され、数的自明性が確立される。
• この結果により、数論的ホッジ指数定理がℚ over の有限生成体へと一般化され、数体および関数体上での先行研究が拡張される。