[論文レビュー] Manin's conjecture for a certain singular cubic surface

Derenthal, Ulrich|ArXiv.org|Apr 1, 2005

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

ひとこと要約

この論文は、$x_1x_2^2 + x_2x_0^2 + x_3^3 = 0$ で定義される $\mathrm{E}_6$ 特異点をもつ特異な立方曲面に対して、マニンの予想を証明する。特異点を除いた唯一の有理数直線の補集合における有理点の数は、$cB(\log B)^6$ のように漸近的に増加し、定数 $c$ はペイアの予想と一致する。証明は普遍 torsor 法と解析的整数論を用い、互いに素な条件を満たす 10 次元 torsor 上の整数点を数える。

ABSTRACT

We prove Manin's conjecture for a singular cubic surface S with a singularity of type E6. If U is the open subset of S obtained by deleting the unique line from S, then the number of rational points in U with anticanonical height bounded by B behaves asymptotically as cB(log B)^6, where the constant c agrees with the one conjectured by Peyre.

研究の動機と目的

• 3 次の場合で、これまで未解決であった $\mathrm{E}_6$ 特異点をもつ特異な立方曲面に対して、マニンの予想を確立すること。
• 漸近公式における主要定数が、タマガワ型定数についてペイアの予想した式と一致することを検証すること。
• 非常に特異な $\mathrm{E}_6$ 点をもつ曲面に対して、普遍 torsor 法を高次元的・幾何的・算術的困難を克服しながら拡張すること。
• 唯一の有理数直線を除いた開部分集合における、有理点の有界高さの数え上げの正確な漸近的増加率を求めること。

提案手法

• 普遍 torsor の構成を用いて、特異な立方曲面からの数え上げ問題を $\mathbb{Z}$ 上の 10 次元アフィン超曲面へと持ち上げる。
• ヒース・ブラウンおよびドゥ・ラ・ブレテッシュのアプローチにインspされ、torsor 上の 10 個の座標間の明示的な互いに素な条件を直接的手段で導出する。
• アンチカノニカル高さ関数を torsor 上に持ち上げ、座標に制限を課して高さ条件をモデル化する。
• 初等的手法（ペロンの公式、ゼータ関数の正則化など）を用いて、10 個の変数のうち 3 つについて和を取る。
• 残りの 7 個の変数に関しては多重ゼータ関数とディリクレ級数を用いて解析し、主要項が $s = 1/6$ における 7 階の極から生じることを示す。
• 線形積分と凸性評価を用いて誤差項を制御し、最終的に主要項が $cB(\log B)^6$ であることを証明する。ここで $c$ はペイアの予想と一致する。

実験結果

リサーチクエスチョン

• RQ1 特異な立方曲面に $\mathrm{E}_6$ 特異点をもつ場合、特に $x_1x_2^2 + x_2x_0^2 + x_3^3 = 0$ で定義される曲面に対して、マニンの予想は成り立つか？
• RQ2 有理点の有界高さに関する漸近公式における主要定数は、ペイアの精密化された予想によるものと等しいか？
• RQ3 非トーリックで非常に特異な $\mathrm{E}_6$ 点をもつ立方曲面に対し、普遍 torsor 法を効果的に適用できるか？
• RQ4 唯一の直線を除いた部分集合における有理点の数え上げ関数 $N_{U,H}(B)$ の正確なオーダーと関数的形は何か？

主な発見

• アンチカノニカル高さ $\leq B$ である有理点の数は、開部分集合 $U = S \setminus \ell$ において、$cB(\log B)^6$ のように漸近的に増加する。ここで $c$ はペイアによって予想された定数である。
• 主要項は、関連するゼータ関数における 7 階の極から生じており、これは $\mathrm{E}_6$ 特異点の解体不変量に対応する。
• 定数 $c = \alpha(\widetilde{S}) \beta(\widetilde{S}) \omega_H(\widetilde{S})$ は明示的に計算され、$\alpha(\widetilde{S}) = 1/(6! \cdot 2 \cdot 3 \cdot 4 \cdot 3 \cdot 4 \cdot 5 \cdot 6) = 1/6220800$、$\beta(\widetilde{S}) = 1$、$\omega_H(\widetilde{S}) = \omega_\infty \cdot \omega_0$ である。
• 局所因子 $\omega_p = (1 - 1/p)^7 (1 + 7/p + 1/p^2)$ は、torsor の幾何と $\mathrm{E}_6$ ルート系から導出される。
• 誤差項は $O(B(\log B)^2)$ で有界であり、漸近的挙動が低次の項を除いて正確であることが確認される。
• 証明により、普遍 torsor 法と解析的整数論の組み合わせが、非トーリックの高次元的特異点をもつ曲面に対しても有効であることが確認された。