[論文レビュー] Lectures on height zeta functions: At the confluence of algebraic geometry, algebraic number theory, and analysis

Antoine Chambert-Loir|ArXiv.org|Dec 4, 2008

Algebraic Geometry and Number Theory参考文献 12被引用数 7

ひとこと要約

本稿は、数体上の代数的多様体における高さゼータ関数を統一的に扱う枠組みを構築する。代数幾何、数論、解析学を統合し、ゼータ関数のメロモーフィックな拡張を確立するとともに、高さ有界な点の体積に対する漸近公式を導出し、主項が境界除部分多様体の幾何とアデール的測度に依存することを示している。

ABSTRACT

This is a survey on the theory of height zeta functions, written on the occasion of a French-Japanese winter school, held in Miura (Kanagawa, Japan) in Jan. 2008. It does not presuppose much knowledge in algebraic geometry. The last chapter of the survey explains recent results obtained in collaboration with Yuri Tschinkel concerning asymptotics of volumes of height balls in analytic geometry over local fields, or in adelic spaces.

研究の動機と目的

• 代数幾何、数論、解析学の交差する分野における高さゼータ関数の体系的アプローチを確立すること。
• 代数的多様体上の有理点の高さ有界なものの数の漸近的挙動を分析すること。
• ゼータ関数の技法を用いて、アデール空間における高さ有界集合の正確な体積推定を導出すること。
• アデール的積分と局所ゼータ関数を用いて、古典的結果（円問題やマニンの予想）を一般化すること。
• ガロア加群構造と局所因子を用いて、漸近展開の主項の幾何的解釈を提供すること。

提案手法

• 数体上の射影的多様体におけるメトライズドラインバンドルを用いた高さ関数を用いる。
• 高さ有界な点の数え上げ関数とゼータ関数 $ Z(s) $ を関係付けるためにメリン変換を適用する。
• 局所ゼータ関数と収束因子 $ \lambda_v $ を用いて、$ Z(s) $ の収束性とメロモーフィックな拡張を確立する。
• ワイエルの積分公式を用いて、局所因子をアデール空間上の測度として表現し、幾何と解析を結びつける。
• 一般化されたイケハラのTauber定理を適用し、$ Z(s) $ の極構造から体積関数 $ V(B) $ の漸近的挙動を導出する。
• $ s=1 $ における留数を用いて漸近展開の主項を導出し、デデキンドゼータ関数とアデール的測度を含む。

実験結果

リサーチクエスチョン

• RQ1 多様体上の高さ有界な有理点の漸近的数え上げは、その幾何的・算術的不変量とどのように関係するか？
• RQ2 高さゼータ関数の正確なメロモーフィックな拡張の性質は何か？その極はどこにあるか？
• RQ3 有限および実数的場における局所ゼータ関数は、グローバルゼータ関数およびその解析的性質にどのように寄与するか？
• RQ4 アデール空間における高さ有界集合の体積公式の主項に幾何的意味は何か？
• RQ5 高さ有界な点の分布は、ある条件下で標準的なアデール的測度に弱収束するか？

主な発見

• 高さゼータ関数 $ Z(s) $ は $ \operatorname{Re}(s) > 1 $ で絶対収束し、$ \{ \operatorname{Re}(s) > 1 - \delta \} $ にメロモーフィックに拡張可能であり、$ s = 1 $ に唯一の極をもち、その位数はラインバンドルの境界除部分多様体の既約成分の集合 $ \mathscr{A} $ の元の個数 $ \operatorname{Card}(\mathscr{A}) $ に等しい。
• $ s = 1 $ における留数は $ \lim_{s\to1}(s-1)^{\operatorname{Card}(\mathscr{A})} Z(s) = \tau_X(X(\mathbb{A}_F)) \prod_{\alpha \in \mathscr{A}} d_\alpha^{-1} $ で与えられ、主項がアデール的体積と局所次数に結びつく。
• 体積関数 $ V(B) = \tau_{(X,L)}(\{x \in U(\mathbb{A}_F) \mid H_L(x) \leq B\}) $ は漸近的に $ V(B) \sim \left( (a-1)! \prod_{\alpha \in \mathscr{A}} d_\alpha \right)^{-1} \tau_X(X(\mathbb{A}_F)) B (\log B)^{a-1} $ を満たし、ここで $ a = \operatorname{Card}(\mathscr{A}) $ である。
• 高さ有界な点における正規化された数え上げ測度は、$ B \to \infty $ のとき、$ X(\mathbb{A}_F) $ 上の標準的なアデール的測度 $ \frac{1}{\tau_X(X(\mathbb{A}_F))} \mathrm{d}\tau_X(x) $ に弱収束する。
• 本手法により、漸近展開の主項に対する正確な解析的公式が得られ、円問題やマニンの予想といった古典的結果を一般化する。
• $ Z(s) $ の解析的構造はデデキンドゼータ関数と局所因子 $ \zeta_{F,v}(1 + d_\alpha(s-1)) $ によって制御され、収束は $ \lambda_v $-因子によって保証される。