[论文解读] Rational points on some Fano cubic bundles

Victor V. Batyrev, Yuri Tschinkel|ArXiv.org|Feb 17, 1996

Algebraic Geometry and Number Theory参考文献 4被引用 69

一句话总结

本文建立了某些 Fano 三次包丛 $X_{n+2} \subset \mathbb{P}^n \times \mathbb{P}^3$ 上有界反 canonical 高度的有理点数的下界，表明当 $n \geq 3$ 时，对于包含 $\mathbb{Q}(\sqrt{-3})$ 的域 $F$，任意非空 Zariski 开子集中的 $F$-有理点数至少以 $cB(\log B)^3$ 的速度增长，这与 Manin 猜想的预期相矛盾。

ABSTRACT

We consider some families of smooth Fano hypersurfaces $X_{n+2}$ in ${\bf P}^{n+2} imes {\bf P}^3$ given by a homogeneous polynomial of bidegree $(1,3)$. For these varieties we obtain lower bounds for the number of $F$-rational points of bounded anticanonical height in arbitrary nonempty Zariski open subset $U \subset X_{n+2}$. These bounds contradict previous expectations about the distribution of $F$-rational points of bounded height on Fano varieties.

研究动机与目标

• 研究定义在数域上的 Fano 三次包丛上，有界反 canonical 高度的有理点分布。
• 检验 Manin 猜想在非 toric 或 flag 簇的 Fano 簇类中的有效性。
• 确定有理点数的预期渐近增长 $cB(\log B)^{t-1}$ 在这些情形下是否成立。
• 通过高度函数分析纤维和投影的几何结构，推导点计数下界。
• 确定有理点数增长超过标准猜想预测速度的条件。

提出的方法

• 作者研究了定义为 $\sum_{i=0}^3 l_i(\mathbf{x}) y_i^3 = 0$ 的 Fano 超曲面 $X_{n+2} \subset \mathbb{P}^n \times \mathbb{P}^3$，其中 $l_i$ 是 $x_0,\dots,x_n$ 的线性形式。
• 他们使用投影 $\pi: X_{n+2} \to \mathbb{P}^n$，并分析了在 Zariski 开子集 $U_P \subset \mathbb{P}^n$ 中点处的纤维，其中 $l_i(\mathbf{x})$ 非零。
• 每个纤维是 $\mathbb{P}^3$ 中的光滑对角三次曲面，已知其在开子集中有理点的高增长为 $cB(\log B)^3$。
• 他们通过有限态射 $\varphi: \mathbb{P}^3 \to \mathbb{P}^3$，$\varphi(z) = (z_0^3: \dots : z_3^3)$，从 $\mathbb{P}^n$ 提升有理点来构造 $X_{n+2}$ 上的有理点。
• 对于 $n \geq 3$，他们证明了对于任意满足 $F \supset \mathbb{Q}(\sqrt{-3})$ 的域，任意非空开子集 $U \subset X_{n+2}$ 中，反 canonical 高度 $\leq B$ 的 $F$-有理点数满足 $N(U, -K_{X_{n+2}}, \gamma, B) \geq cB(\log B)^3$。
• 对于 $n=2$ 和 $n=1$，他们证明了类似的下界，但需要依赖于该簇或开集的 $\mathbb{Q}(\sqrt{-3})$ 的有限扩张 $F_0$。

实验结果

研究问题

• RQ1 Fano 三次包丛上，有界反 canonical 高度的有理点数是否如 Manin 猜想所预测的那样增长？
• RQ2 在非 toric 或 flag 簇的 Fano 簇中，标准渐近公式 $cB(\log B)^{t-1}$ 是否可能被违反？
• RQ3 $\mathbb{Q}(\sqrt{-3})$ 在这些纤维化中存在有理点方面起什么作用？
• RQ4 纤维和投影映射的几何结构如何影响点的分布？
• RQ5 能否通过有限态射从基空间提升构造总空间上的有理点？

主要发现

• 当 $n \geq 3$ 时，对于任意满足 $F \supset \mathbb{Q}(\sqrt{-3})$ 的域，任意非空 Zariski 开子集 $U \subset X_{n+2}$ 中，反 canonical 高度 $\leq B$ 的 $F$-有理点数满足 $N(U, -K_{X_{n+2}}, \gamma, B) \geq cB(\log B)^3$，对所有 $B > 0$ 和某个 $c > 0$ 成立。
• 当 $n = 2$ 时，该下界对所有包含 $\mathbb{Q}(\sqrt{-3})$ 的有限扩张 $F_0$ 的域 $F$ 成立，其中 $F_0$ 仅依赖于 $X_{n+2}$。
• 当 $n = 1$ 时，该下界对所有包含 $\mathbb{Q}(\sqrt{-3})$ 的有限扩张 $F_0$ 的域 $F$ 成立，其中 $F_0$ 依赖于开子集 $U$。
• 增长速率 $cB(\log B)^3$ 与 Manin 猜想的预期相矛盾，后者预测为 $cB(\log B)^{t-1}$，其中 $t = \text{rank Pic}(X_{n+2}) = 2$，即 $t-1 = 1$，但此处指数为 3。
• 结果表明，Manin 猜想不适用于这一类 Fano 三次包丛，因为实际点的增长速度超过了预测的阶。
• 该构造依赖于通过有限态射 $\varphi(z) = (z_0^3: \dots : z_3^3)$ 从基空间 $\mathbb{P}^n$ 提升有理点，从而确保纤维为对角三次曲面，其点增长已知。