[論文レビュー] Rational Points of Bounded Height on Compactifications of Anisotropic Tori

Victor V. Batyrev, Yuri Tschinkel|ArXiv.org|Nov 15, 1994

Algebraic Geometry and Number Theory参考文献 10被引用数 21

ひとこと要約

本稿は、数体上の非可逆的トーラスの滑らかなコンパクト化における有理点の有界高さの漸近的分布を、アデール積分とポアソン和公式を用いて確立する。この研究は、このような多様体におけるバティリューヴ＝マニン予想を証明し、点の数が $ B(\log B)^{r-1} $ のように増加することを示す。ここで $ r $ はピカールランクであり、定数はタマガワ数、ブラウアー群、有効コーンの幾何学的性質を含む。

ABSTRACT

We investigate the analytic properties of the zeta-function associated with heights on equivariant compactifications of anisotropic tori over number fields. This allows to verify conjectures about the distribution of rational points of bounded height.

研究の動機と目的

• 等変コンパクト化された非可逆的トーラス上の有界高さの有理点のバティリューヴ＝マニン予想を検証すること。
• これらの多様体上の高さゼータ関数の解析的性質をアデール積分を用いて分析すること。
• 有界高さの有理点の数の漸近公式における主要項を計算すること。
• 漸近的増加を支配する正確な算術的および幾何的不変量（たとえばタマガワ数やブラウアー群）を特定すること。

提案手法

• アデール群 $ T(\mathbf{A}_K) $ 上で離散部分群 $ T(K) $ を用いてポアソン和公式を適用し、ゼータ関数とそのフーリエ変換を関連付ける。
• トーリック多様体上のラインバンドルに、各 $ v $-進距離を標準的に構成し、高さ関数 $ H_{\cal L}(x) $ を局所的ウェイル関数の積として定義する。
• ゼータ関数 $ Z_{\Sigma}(\varphi) $ のメロモルフィックな拡張と留数の計算により、漸近的主項を抽出する。
• ドラクスルの手法を用いて、局所的高さ関数のフーリエ変換を分析し、特に $ T(\mathcal{O}_v) $-不変性に注目する。
• $ s_1 = \cdots = s_r = 1 $ におけるゼータ関数の留数を計算し、漸近公式における主要係数を導出する。
• ピカール群と有効除援のコーンの構造に依存して、有理点の増加率を特定する。

実験結果

リサーチクエスチョン

• RQ1 数体 $ K $ 上の非可逆的トーラスの滑らかなコンパクト化における、有界高さの $ K $-有理点の数の漸近的挙動は何か？
• RQ2 高さゼータ関数 $ Z_{\cal L}(s) $ は解析的にどのように振る舞い、そのメロモルフィック構造は何か？
• RQ3 有界高さの有理点の漸近公式における主要係数を決定づける算術的および幾何的不変量は何か？
• RQ4 タマガワ数 $ \tau_{\cal K}({\bf P}_{\Sigma}) $、ブラウラー群、有効コーンは、漸近的定数にどのように寄与するか？
• RQ5 Fano 多様体であるという仮定なしに、非可逆的トーラスコンパクト化に対してバティリューヴ＝マニン予想を検証できるか？

主な発見

• 有界高さが $ B $ 以下の $ K $-有理点の数は、$ B \to \infty $ のとき、$ \frac{\Theta(\Sigma,K)}{(r-1)!} B(\log B)^{r-1}(1+o(1)) $ のように漸近的に増加する。ここで $ r $ はピカールランクである。
• 主要係数 $ \Theta(\Sigma,K) $ は $ \alpha({\bf P}_{\Sigma}) \beta({\bf P}_{\Sigma}) \tau_{\cal K}({\bf P}_{\Sigma}) $ として与えられ、タマガワ数、ブラウラー群、有効コーンの幾何学的性質を含む。
• ゼータ関数 $ Z_{\Sigma}(\varphi) $ は、$ s=1 $ において位数 $ r-1 $ の極を持つメロモルフィックな拡張をもつ。これは増加率に対応する。
• $ s_1 = \cdots = s_r = 1 $ における留数は、アデール群上のポアソン和公式とフーリエ解析を用いて計算され、漸近的定数が得られる。
• この手法により、Fano でない場合でも非可逆的トーラスコンパクト化におけるバティリューヴ＝マニン予想が確認される。
• 定数 $ \Theta(\Sigma,K) $ は、有効除援のコーン $ \Lambda_{\rm eff}(\Sigma) $、ブラウラー群、および標準的線分束のタマガワ数に依存する。