[論文レビュー] An overview of Manin's conjecture for del Pezzo surfaces

T. D. Browning|ArXiv.org|Nov 2, 2005

Algebraic Geometry and Number Theory参考文献 31被引用数 24

ひとこと要約

本稿は、デル・ペッツォ表面におけるアーティンの予想に関する進展を包括的に調査し、高さが有界な有理点の漸近的分布に焦点を当てる。次数 $ d \geq 5 $ のデル・ペッツォ表面に対して、予想される漸近公式 $ N_{U,H}(B) = c_{V,H} B (/log B)^{\rho_V - 1} (1 + o(1)) $ を確立し、次数5および6に対して明示的な検証を実施。また、次数4、3、2の低次の表面における未解決問題を強調する。

ABSTRACT

This paper surveys recent progress towards the Manin conjecture for (singular and non-singular) del Pezzo surfaces. To illustrate some of the techniques available, an upper bound of the expected order of magnitude is established for a singular del Pezzo surface of degree four.

研究の動機と目的

• デル・ペッツォ表面におけるアーティンの予想の現状をサーベイすること、特に高さが有界な有理点の漸近的数え上げに焦点を当てる。
• 非特異的デル・ペッツォ表面（次数 $ d \geq 5 $）に対して、予想される漸近公式 $ N_{U,H}(B) = c_{V,H} B^{n+1-d} (\log B)^{\rho_V - 1} (1 + o(1)) $ を明確化すること。
• 次数 $ d \leq 7 $ のデル・ペッツォ表面における蓄積的部分多様体（特に直線）の役割を特定・分析し、数え上げ関数に与える影響を明らかにすること。
• 高さゼータ関数と解析的数論的手法を用いて、特定のケース（次数5および6の表面）における予想される漸近的挙動を提示・検証すること。
• 特に次数4、3、2のデル・ペッツォ表面において未解決の問題を強調し、算術幾何における未解決課題を提示すること。

提案手法

• 有理点の分布を分析するために高さゼータ関数を用いる。高さは整数座標の絶対値の最大値によって定義される。
• 次数 $ d \geq 5 $ のデル・ペッツォ表面に対して、トロイカル多様体の理論を適用する。これらは $ \mathbb{G}_m^2 $-作用が稠密であるトロイカル多様体に同型である。
• 双有理幾何と最小特異点解消を用いて、特異的デル・ペッツォ表面の研究をその滑らかなモデルに還元し、高さの関手的性質を保持する。
• ヘイズ・ブラウンの $ \delta $-法とサルバージャーの射影技法を適用し、特に直線を含む表面に対して、有理点の数の鋭い上界を得る。
• 二重分割と多変量平均化技法を用いて、高さと幾何的制約から生じるディオファントス方程式系の整数解の数を推定する。
• 変数（例：$ Y_{ij} $）の相対的サイズに基づくケース解析を用い、不等式と和の推定を組み合わせて誤差項を制御する。

実験結果

リサーチクエスチョン

• RQ1 非特異的次数5のデル・ペッツォ表面に対して、アーティンの予想は成り立つか？特に予想される漸近的挙動 $ N_{U,H}(B) \sim c_{V,H} B (\log B)^4 $ が成立するか？
• RQ2 非特異的立方曲面（次数3）に対して、$ 4/3 $-バリアを打ち破れるか？すなわち、$ N_{U,H}(B) = O(B^\theta) $ かつ $ \theta < 4/3 $ を示せるか？
• RQ3 フェルマーの立方曲面 $ x_0^3 + x_1^3 = x_2^3 + x_3^3 $ に対して、下界 $ N_{U,H}(B) \gg B (\log B)^3 $ が確立されているか？
• RQ4 次数2のデル・ペッツォ表面（$ t^2 = F(x_0,x_1,x_2) $ で定義され、$ F $ が四次形式）に対して、$ N(F;B) = O_{\varepsilon,F}(B^{2+\varepsilon}) $ を示せるか？
• RQ5 非有理的デル・ペッツォ表面（例：$ \mathbb{Q} $ 上のイスキョフシク表面）に対しても、アーティンの予想は成り立つか？

主な発見

• 非特異的次数 $ d \geq 5 $ のデル・ペッツォ表面に対して、アーティンの予想が確立され、漸近的公式 $ N_{U,H}(B) = c_{V,H} B (\log B)^{\rho_V - 1} (1 + o(1)) $ が成り立つ。ここで $ \rho_V = 10 - d $ である。
• 次数5のデル・ペッツォ表面に対して、高さゼータ関数法とトロイカル幾何を用いて、予想される漸近的挙動 $ N_{U,H}(B) \sim c_{V,H} B (\log B)^4 $ が確認された。
• 次数6のデル・ペッツォ表面に対して、トロイカル構造と指数和の技法を用いて、期待される $ (\log B)^3 $ の増加が確認された。
• 本稿では、次数 $ d \leq 7 $ のデル・ペッツォ表面からすべての有理直線を除いた開部分集合 $ U $ に対して、$ N_{U,H}(B) = o_V(B^2) $ を証明した。これにより、直線が数え上げ関数を支配しないことが示された。
• 次数4のデル・ペッツォ表面については、予想は未解決であり、$ N_{U,H}(B) \sim c_{V,H} B (\log B)^4 $ を確立することが未解決問題として挙げられている。
• 次数2のデル・ペッツォ表面に対しては、ブロベルグによる結果により、$ N(F;B) = O_{\varepsilon,F}(B^{9/4 + \varepsilon}) $ が得られているが、予想される $ O(B^{2+\varepsilon}) $ は未解決のままである。