[論文レビュー] The Geometric Bogomolov Conjecture for Small Genus Curves

Xander Faber|ArXiv.org|Mar 6, 2008

Algebraic Geometry and Number Theory参考文献 9被引用数 8

ひとこと要約

本稿は、特徴標数 0 の関数体上の genus 2 から 4 のすべての曲線について、幾何的ボゴモロフ予想の有効な形を証明し、Jacobian 上の非捩れ点のネロン＝ターゲ高度に一様で正の下界を与える。メトリックグラフ理論と安定曲線の標準的モデルを用いて、半安定還元型と genus に依存する明示的な下界を導出し、既知の結果を拡張するとともに、genus 3 および 4 の曲線の下界を改善する。

ABSTRACT

The Bogomolov Conjecture is a finiteness statement about algebraic points of small height on a smooth complete curve defined over a global field. We verify an effective form of the Bogomolov Conjecture for all curves of genus at most 4 defined over a function field of characteristic zero. We recover the known result for genus 2 curves and in many cases improve upon the known bound for genus 3 curves. For many curves of genus 4 with bad reduction, the conjecture was previously unproved.

研究の動機と目的

• 特徴標数 0 の関数体上の genus 2 から 4 の曲線について、幾何的ボゴモロフ予想の有効な形を確立すること。
• このような曲線のJacobian上での非捩れ点の正規化高さに対して、一様で実際に計算可能な正の下界を提供すること。
• 特に、悪い還元を示す genus 3 および 4 の曲線について、既存の下界を拡張・改善すること。
• メトリックグラフと対称多項式を用いた計算フレームワークを構築し、鋭い高さ下界を導出すること。

提案手法

• 高さギャップ原理を用い、問題を次数 1 で有理数係数を持つ除数 $ \xi = K_C / (2g - 2) $ の正規化高さの下界を求める問題に還元する。
• 半安定還元理論を適用し、曲線が半安定還元を達成する有限拡大に移行し、最小正則モデルの使用を可能にする。
• メトリックグラフおよびその標準的モデルを用いて、特に異なるタイプのノード特異点に注目し、特別なファイバーの幾何を分析する。
• 辺長さの対称多項式 $ \sigma_1, \sigma_2, \sigma_3 $ を用いて、高さ関数 $ \varphi(\overline{\Gamma}) $ を下界づける不等式を導出する。
• 対称平均の不等式を適用し、全長 $ \ell(\Gamma) $、辺長さの和 $ \sigma_1 $、および高次対称和との関係を関係づける。
• すべての genus 2 から 4 の非可約な立方 pm-グラフについて、Mathematica を用いた正確な記号計算を行い、最小定数 $ A $ を計算し、$ c(g) $ の有効な下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 特徴標数 0 の関数体上の genus 2 から 4 のすべての曲線について、幾何的ボゴモロフ予想を実際に検証可能か？
• RQ2 このような曲線のJacobian上での非捩れ点の正規化高さの鋭い有効な下界は何か？
• RQ3 半安定モデルにおけるタイプ $ i $ のノード数を数える不変量 $ \delta_i $ は、高さ下界にどのように影響するか？
• RQ4 メトリックグラフ理論と対称多項式の不等式を用いて、小規模な genus のすべての曲線に対して一様で計算可能な高さ下界を導出可能か？
• RQ5 高さギャップが $ c(g) \cdot \delta_0 + \sum_{i \in (0,g/2]} \frac{2i(g-i)}{g} \delta_i $ で下から抑えられる最小の定数 $ c(g) $ は何か？

主な発見

• 特徴標数 0 の関数体上の genus 2 から 4 のすべての曲線について、幾何的ボゴモロフ予想が有効に成立する。
• genus 2 では最適な定数は $ c(2) = \frac{1}{27} $ であり、モデルが滑らかであるとき下界は $ \frac{3}{d(g-1)} $ となる。
• genus 3 では定数は $ c(3) = \frac{2}{81} $ であり、以前の下界を改善する。
• genus 4 では定数 $ c(4) = \frac{1}{36} $ が達成され、多くの悪い還元を示す曲線について初めて有効な下界が得られる。
• 本手法により、genus、基底体拡大の次数 $ d $、および半安定モデルの $ \delta_i $ 不変量にのみ依存する $ a'(D) $ の一様な下界が得られる。
• 著者らは、鍵となる不等式における定数 $ A = \frac{7(g-1)^2}{6g(3g-5)} $ が最適な下界を与えると予想し、$ c(g) = \frac{g-1}{27g} $ が得られると予想するが、これはすべての genus 2–4 の pm-グラフについての計算で裏付けられている。