[论文解读] Rational points on log Fano threefolds over a finite field

Yoshinori Gongyo, Yusuke Nakamura+1 more|arXiv (Cornell University)|Dec 15, 2015

Algebraic Geometry and Number Theory参考文献 27被引用 9

一句话总结

该论文通过证明两个关键性质——$W\mathcal{O}$-有理奇点和有理链连通性——建立了在特征 >5 的有限域上，三维 klt Fano 三叠面具有有理点。这些性质导致高阶 Witt 向量上同调的消失，从而推出同余式 $\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$，这保证了至少存在一个有理点。

ABSTRACT

We prove the $W\mathcal{O}$-rationality of klt threefolds and the rational chain connectedness of klt Fano threefolds over a perfect field of characteristic $p>5$. As a consequence, any klt Fano threefold over a finite field has a rational point.

研究动机与目标

• 将 Esnault 在光滑 Fano 代数簇上的定理推广到有限域上的奇异 Fano 型三叠面。
• 在特征 >5 的有限域上，建立 klt Fano 三叠面存在有理点。
• 证明在特征 >5 的完美域上，klt 三叠面具有 $W\mathcal{O}$-有理奇点。
• 证明在特征 >5 的条件下，klt Fano 三叠面是有理链连通的。
• 在 Fano 型情形下，建立高阶 Witt 向量上同调 $H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ 对于 $i>0$ 的消失。

提出的方法

• 通过极小模型程序（MMP）的归纳法证明 klt 三叠面的 $W\mathcal{O}$-有理性，利用 pl-收缩与 pl-翻转。
• 在 MMP 操作下，对 plt 中心使用正规化技术，以保持 $W\mathcal{O}$-有理性。
• 应用 Lefschetz 跟踪公式以及 [BBE] 的结果，将上同调消失与模 $q$ 的有理点计数联系起来。
• 通过全局与相对 MMP 技术建立有理链连通性，归约为 Fano 型曲面。
• 使用 Leray 谱序列将光滑化上的上同调与具有 $W\mathcal{O}$-有理奇点的奇异代数簇上的上同调联系起来。
• 利用 $W\mathcal{O}$-有理奇点与有理链连通性共同蕴含 $H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ 对于 $i>0$ 消失的事实。

实验结果

研究问题

• RQ1 在特征 >5 的有限域上，klt Fano 三叠面是否具有有理点？
• RQ2 $W\mathcal{O}$-有理性在特征 >5 的三维域上的极小模型程序下是否保持不变？
• RQ3 在特征 >5 的完美域上，klt Fano 三叠面是否是有理链连通的？
• RQ4 在特征 >5 的 Fano 型三叠面中，$H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ 对于 $i>0$ 是否消失？
• RQ5 同余式 $\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$ 是否可从光滑 Fano 代数簇推广到奇异 Fano 型三叠面？

主要发现

• 在特征 >5 的有限域上的任意 klt Fano 三叠面都具有有理点，因为 $\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$。
• $W\mathcal{O}$-有理奇点对所有在特征 >5 的完美域上的 klt 三叠面成立，即在光滑化 $\varphi: V \to X$ 上有 $R^i\varphi_*(W\mathcal{O}_{V,\mathbb{Q}}) = 0$ 对于 $i>0$。
• 在特征 >5 的条件下，klt Fano 三叠面是有理链连通的，推广了 Campana 与 Kollár–Miyaoka–Mori 在特征零时的结果。
• 对于在特征 >5 的完美域上的任意 klt Fano 三叠面，高阶 Witt 向量上同调 $H^i(X, W\mathcal{O}_{X,\mathbb{Q}})$ 对于 $i>0$ 消失。
• 有理点计数模 $q$ 满足 $\#X(\mathbb{F}_q) \equiv 1 \pmod{q}$，将 Esnault 定理推广到了奇异 Fano 型情形。
• 对于 $\mathbb{F}_q$ 上的有理同构 klt 三叠面，同余式 $\#X(\mathbb{F}_q) \equiv \#Y(\mathbb{F}_q) \pmod{q}$ 成立，保持了模 $q$ 的有理点计数。