[论文解读] 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 $，与马宁猜想一致。

提出的方法

• 将 Hardy-Littlewood 圆法应用于不同边长框内双齐次方程组的整数解计数。
• 引入一个基于 $ {\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) $ 的渐近公式，然后应用 Möbius 反演以提取本原解的数量 $ 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 $ 以保证收敛性。
• 通过 zeta 函数和圆法中误差项的绝对收敛性，建立级数和积分的收敛性。

实验结果

研究问题

• RQ1 当维度相对于次数和奇异点集维度足够大时，双射空间中光滑超曲面的马宁猜想是否成立？
• RQ2 圆法能否被调整以计数双射空间中完全交集中具有反 canonical 高度的有理点？
• RQ3 此类代数簇上具有有界反 canonical 高度的有理点的精确渐近增长速率为何？
• RQ4 奇异点集如何影响有理点的分布？如何排除它们以恢复预测的渐近行为？
• RQ5 渐近公式中的首项常数是否与通过圆法得到的 Peyre 预测一致？

主要发现

• 本文建立了 $ 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}} $ 上的纤维过于奇异的点，依据的是 Birch 的非奇异准则。
• Möbius 反演步骤表明，本原解计数 $ 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 $，级数的绝对收敛性得以保证。