[論文レビュー] Birational geometry for number theorists

Dan Abramovich|ArXiv.org|Jan 3, 2007

Algebraic Geometry and Number Theory参考文献 45被引用数 20

ひとこと要約

この論文は、代数的多様体上の有理点および整数点の分布を決定する幾何的不変量（特にコイカラ次元と canonical ダイバーゲンス）に注目することで、双有理幾何と算術幾何を結びつける。Vojta予想とCampanaのオルビフォールド予想がABC予想を統合的かつ一般化することを確立し、主な結果として、特定のオルビフォールド曲線における整数点の有限性がABC予想から導かれること、および高次元のVojta予想が非特別多様体における有理点の有限性を示すことの可能性を示している。

ABSTRACT

Awfully idiosyncratic lecture notes from CMI summer school in arithmetic geometry July 31-August 4, 2006. Does not include: rationality problems, techniques of the minimal model problem and much of the rest. Includes: Lecture 0: geometry and arithmetic of curves Lecture 1: Kodaira dimension and properties, rational connectendess, Lang's and Campana's conjectures. Lecture 2: Campana's program; Campana constellations framed in terms of b-divisors, to allow for a definition of Kodaira dimension directly on the base. A speculative notion of firmaments which may deserve further investigation, especially the arithmetic side. Lecture 3: the minimal model program: very short discussion of bend-and-break; even shorter discussion of finite generation and the existence of flip. Lecture 4: Vojta's conjectures, Campana's conjectures, and ABC.

研究の動機と目的

• 幾何と算術の深い関係、特に双有理不変量が有理点および整数点の分布をどのように支配するかを明らかにすること。
• Vojtaの予想とCampanaのオルビフォールド予想が、ディオファントス的有限性結果を統合する枠組みとしてどのように機能するかを説明し、文脈化すること。
• ABC予想が、3点を持つP^1上の有理点に関するVojtaの予想の特別な場合であることを示すこと。
• 一般型のオルビフォールド曲線に対するCampanaの予想（soft S-整数点の有限性）がABC予想から導かれるということを示すこと。
• 高次元のVojta予想が、非特別多様体における有理点の非Zariski稠密性を示す可能性を示唆すること、特に分岐因子Dの特異点集合付近での有理点の挙動に注目して。

提案手法

• 曲線上のcanonical ダイバーゲンスと線束を用いて、K_CおよびK_X(D)の次数といった幾何的不変量を定義し、それらが算術的性質を支配することを示す。
• Vojtaの予想において、高さ関数と対数的判別式項を用いて、多様体上の算術的データと幾何的データを比較する。
• オルビフォールド曲線上の整数点の研究を、重み付き分岐因子を持つP^1上の有理点の研究に還元し、Belyi写像と重複度条件を活用する。
• ABC予想を、N^{(1)}_S(D,P)とh_{K_X(D)}(P)を含む高さ不等式に翻訳することで、Vojtaの予想の特別な場合と等価であることを示す。
• P^1上での最小分岐型（2,3,7）、（2,4,5）などの構造を分析し、ABCから整数点の有限性が導かれる場合を分類する。
• |a|,|b|,|c|の最大値とabcの素因数積の不等式を用いて解を評価し、1/n₀ + 1/n₁ + 1/n∞ < 1 という条件に依存する。

実験結果

リサーチクエスチョン

• RQ1 コイカラ次元やcanonical ダイバーゲンスといった幾何的不変量が、代数的多様体上の有理点の稠密性または有限性をどのように決定するか。
• RQ2 P^1に3点の分岐因子を持つ有理点の文脈において、Vojtaの予想がABC予想をどの程度包含・一般化するか。
• RQ3 一般型のオルビフォールド曲線に対するCampanaの予想（soft S-整数点の有限性）は、ABC予想に還元可能か。
• RQ4 高次元のVojta型予想において、分岐因子Dの特異点集合が有理点の稠密性の失敗に果たす役割は何か。
• RQ5 Campanaの構成における分岐因子の重複度条件が、ABCを介して整数点の有限性をどのように導くか。

主な発見

• ABC予想は、3点に分岐するP^1上のVojtaの予想の特別な場合と等価であり、h(P) ≤ (1+ε)N^{(1)}_S(D,P) + O(1) が成り立つ。
• 分岐重みが(2,3,7)、(2,4,5)、(3,3,4)、(2,2,2,3)、または(2,2,2,2,2)であるCampanaの定数曲線では、soft S-整数点の有限性がABC予想から導かれる。
• 1/n₀ + 1/n₁ + 1/n∞ < 1 が成り立つ場合、ABC予想によりmax(|a|,|b|,|c|)が有界であることが示され、したがってそのようなオルビフォールド曲線上には有限個の整数点しか存在しない。
• M^{1/n₀ + 1/n₁ + 1/n∞} ≥ ∏_{p|abc} p という不等式とABC予想を組み合わせることで、M^{1−ε} < C（あるε > 0）が得られ、解の有界性が証明される。
• 高次元のVojta予想は、非特別多様体上の有理点がZariski稠密でないことを示唆し、特に分岐因子Dの特異点集合に近づく点の挙動に顕著に現れる。
• Vojtaの予想4.2.1と4.2.2の等価性が確立され、元の定式化において次元Xの判別式因子は不要であることが示された。