[論文レビュー] Manin's conjecture for toric varieties

Victor V. Batyrev, Yuri Tschinkel|ArXiv.org|Oct 26, 1995

Algebraic Geometry and Number Theory参考文献 6被引用数 48

ひとこと要約

本論文は、数体上の滑らかで射影的なトーリック多様体に対してManin予想を証明し、有界な反標準的高さをもつ有理点の数の漸近公式を確立する。高さゼータ関数、アデール的トーラス上のポアソン和分公式、および凸錐のX関数の理論を用いて、タマガワ数と幾何的不変量を用いて主要定数を計算し、予測された対数的成長率が明示的な算術的・幾何的定数を伴って確認される。

ABSTRACT

We prove an asymptotic formula conjectured by Manin for the number of $K$-rational points of bounded height with respect to the anticanonical line bundle for arbitrary smooth projective toric varieties over a number field $K$.

研究の動機と目的

• 数体上の滑らかで射影的なトーリック多様体に対してManin予想を証明すること。これは、有界な反標準的高さをもつ有理点の漸近的成長を予測する。
• 有理点の数の漸近公式における主要定数を計算し、その定数をトーリック多様体のタマガワ数と幾何的不変量の形で表現すること。
• 高さゼータ関数を複素化されたピック群に拡張し、積分表現および凸錐のX関数を用いてその解析的性質を分析すること。
• 標準的計量とアデール的積分を介して、トーリック多様体の幾何と有理点の算術の間の明確な関係を確立すること。

提案手法

• トーリック多様体のすべてのラインバンドに一様な同時計量を導入し、稠密なトーラス上の有理点と複素化されたピック群との間の高さペアリングを可能にする。
• 複素化されたピック群上に多変数の高さゼータ関数 $ Z_{\bar{\Sigma}}(\mathbf{s}) $ を定義し、錐 $[\mathcal{K}^{-1}] + \Lambda_{\rm eff}$ の内部で正則であることを保証する。
• トーラスの乗法的群構造を用いて、ゼータ関数をアデール的トーラス $ T(\mathbb{A}_K) $ 上の $ \mathbf{A}_K $-不変関数として表現し、$ T(K) \cdot \mathbf{K}_T $ に対して不変であることを示す。
• ポアソン和分公式を適用し、局所的ゼータ積分と測度を含むアデール的積分によるゼータ関数の積分表現を得る。
• 特に有効錐に関連する $ \mathcal{X}_{\Lambda_{\rm eff}} $-関数を用いて、凸錐の $ \mathcal{X} $-関数の理論を用いてゼータ関数の解析的性質を分析する。
• 一変数制限 $ \zeta_\Sigma(s) $ のメロモルフィックな拡張と極構造を導出し、$ s = 1 $ において $ k = \text{rk Pic}(\mathbf{P}_\Sigma) $ の位数の極を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的なトーリック多様体上の $ K $-有理点の反標準的高さが $ B $ 以下であるものの数の正確な漸近的成長率は何か？
• RQ2 Manin予想における主要定数は、トーリック多様体の幾何的および算術的不変量をどのように表現できるか？
• RQ3 高さゼータ関数の解析的構造は何か？ また、有効錐の幾何とどのように関係しているか？
• RQ4 標準的計量を用いたトーリック多様体上の高さゼータ関数に、ポアソン和分公式を効果的に適用できるか？
• RQ5 反標準的バンドルのタマガワ数は、トーリック多様体上の有理点の漸近的数え上げとどのように関係するか？

主な発見

• 高さゼータ関数 $ \zeta_\Sigma(s) $ は $ \text{Re}(s) > 1 - \delta $ にメロモルフィックに拡張され、$ s = 1 $ において $ k = \text{rk Pic}(\mathbf{P}_\Sigma) $ の位数の極を持つ。
• 極の主要係数は $ \Theta(\Sigma) = \alpha(\mathbf{P}_\Sigma) \beta(\mathbf{P}_\Sigma) \tau_{\mathcal{K}}(\mathbf{P}_\Sigma) $ である。ここで $ \tau_{\mathcal{K}} $ は反標準的バンドルのタマガワ数である。
• 稠密なトーラス軌道内の $ K $-有理点で反標準的高さ $ \leq B $ を満たすものの数は、$ B \to \infty $ のとき $ N(T, \mathcal{K}^{-1}, B) = \frac{\Theta(\Sigma)}{(k-1)!} B (\log B)^{k-1} (1 + o(1)) $ を満たす。
• 定数 $ \beta(\mathbf{P}_\Sigma) $ はアデール的トーラス上の標準的測度の体積から生じる。$ \alpha(\mathbf{P}_\Sigma) $ はファングの構造に関連する幾何的係数である。
• タマガワ数 $ \tau_{\mathcal{K}}(\mathbf{P}_\Sigma) $ は有効錐の $ \mathcal{X} $-関数を用いて計算され、Peyreの予想における主要定数と一致する。
• この方法により、漸近公式が $ \mathcal{K}^{-1} $-蓄積部分多様体を含まない開部分集合 $ U' \supset T $ の選択に依存しないことが確認されたが、本論文ではこれを証明していない。