[論文レビュー] Manin's conjecture for certain biprojective hypersurfaces

Damaris Schindler|arXiv (Cornell University)|Jul 26, 2013

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

ひとこと要約

本稿は、ボックスサイズを変化させる際の整数点の数え上げに円法を適用することで、特定の滑らかな双射影空間内の超曲面に対してマニン予想を確立する。漸近的公式 $ N_{U,H}(P) \sim cP\log P $ を証明し、次元が次数および特異点集合の次元に対して十分に大きい場合に、有理点の有界な反 canonical 高さにおける予測された対数的増加が確認される。

ABSTRACT

Using the circle method, we count integer points on complete intersections in biprojective space in boxes of different side length, provided the number of variables is large enough depending on the degree of the defining equations and certain loci related to the singular locus. Having established these asymptotics we deduce asymptotic formulas for rational points on such varieties with respect to the anticanonical height function. In particular, we establish a conjecture of Manin for certain smooth hypersurfaces in biprojective space of sufficiently large dimension.

研究の動機と目的

• 次元および特異点の条件の下で、双射影空間内の滑らかな超曲面に対してマニン予想を検証すること。
• 双射影空間内の完全交差における有界な反 canonical 高さの有理点を数えること。
• 変化するボックスサイズにおける双斉一次方程式系の整数解の数に対する漸近的公式を確立すること。
• 有理点の数え上げが低次元部分多様体からの寄与を避けるために、Zariski 開部分集合 $ U \subset X $ を分離すること。
• 有理点の漸近的公式における予測された対数的増加率 $ P\log P $ が、マニン予想と一致することを確認すること。

提案手法

• 異なる辺長のボックスにおける双斉一次方程式系の整数解の数え上げに、ハリー＝リトルウッドの円法を適用する。
• $ {\mathbf{x}} $ および $ {\mathbf{y}} $ の $ L^\infty $-ノルムを $ n_i - Rd_i $ で重み付けした高さ関数 $ H({\mathbf{x}};{\mathbf{y}}) $ を導入し、反 canonical 高さを定義する。
• ビーカーの非特異性基準に従い、$ {\mathbf{x}} $ もしくは $ {\mathbf{y}} $ におけるファイバーがあまりに特異でない点を除外することで、Zariski 開部分集合 $ U = U_1 \times U_2 $ を構成する。これにより局所密度が非退化となることを保証する。
• 円法を用いて整数解の数 $ \Upsilon_h(P) $ の漸近的公式を導出し、その後モービウス反転を適用して原始的解の数 $ N_{U,H}(P) $ を抽出する。
• 特異点集合 $ V_1^* $ および $ V_2^* $ の境界に依存し、収束を保証するための条件 $ n_1 + n_2 - \max\{\dim V_1^*, \dim V_2^*\} > 3 \cdot 2^{d_1+d_2} d_1 d_2 R^3 $ を要求する。
• ゼータ関数および円法における誤差項の絶対収束により、特異級数および積分の収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 次元が次数および特異点集合の次元に対して十分に大きい場合、双射影空間内の滑らかな超曲面に対してマニン予想は成り立つか。
• RQ2 反 canonical 高さの下で、双射影空間内の完全交差における有理点の数え上げに円法を適応できるか。
• RQ3 このような多様体における有界な反 canonical 高さの有理点の正確な漸近的増加率は何か。
• RQ4 特異点集合は有理点の分布にどのように影響するか。また、予測された漸近的公式を回復するために、どのようにしてそれらを除外できるか。
• RQ5 漸近的公式の主要定数が、円法によるペイリの予想と整合的か。

主な発見

• 本稿は $ N_{U,H}(P) = (4\zeta(n_1 - Rd_1)\zeta(n_2 - Rd_2))^{-1} \sigma P\log P + C_1 P + O(P^{1-\eta}) $ を確立し、マニン予想が予測する $ P\log P $ の増加が確認される。
• 主要定数 $ \sigma $ は円法から生じ、単位ボックス $ [-1,1]^{n_1+n_2} $ における期待される実密度と一致する。
• 漸近的公式は条件 $ n_1 + n_2 - \max\{\dim V_1^*, \dim V_2^*\} > 3 \cdot 2^{d_1+d_2} d_1 d_2 R^3 $ の下で成り立ち、収束性および非退化な局所密度を保証する。
• 開部分集合 $ U \subset X $ は明示的に $ U_1 \times U_2 $ として構成され、$ U_i $ は $ {\mathbf{x}} $ もしくは $ {\mathbf{y}} $ におけるファイバーがあまりに特異でない点を除外することで定義される。これはビーカーの非特異性基準に従う。
• モービウス反転の段階により、原始的解の数 $ N_{U,H}(P) $ が $ \Upsilon_h(P) $ と同じ漸近的形を、$ \zeta(n_i - Rd_i)^{-1} $ を含む定数因子を除いて継承することが確認される。
• 誤差項は $ O(P^{1-\eta}) $（$ \eta > 0 $）であり、$ \beta_i = n_i - Rd_i \geq 2 $ により特異級数の収束は絶対的である。