[论文解读] Rationality of complete intersections of two quadrics

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Mar 21, 2019

Algebraic Geometry and Number Theory参考文献 32被引用 6

一句话总结

该论文证明了在非代数闭域（如 $\mathbb{C}((T))$、$\mathbb{C}(T)$ 或 $p$-进域）上，$\bar{P}^5$ 中的一般光滑二次曲面完全交线不是稳定有理的。通过使用专一化技术以及来自伽罗瓦上同调和无瑕上同调的非平凡非有理化障碍，作者证明了这些三空间尽管具有有理点且具有平凡的布饶尔群，仍不满足稳定有理化。

ABSTRACT

We study rationality problems for smooth complete intersections of two quadrics. We focus on the three-dimensional case, with a view toward understanding the invariants governing the rationality of a geometrically rational threefold over a non-closed field.

研究动机与目标

• 理解在非代数闭域（特别是 $p$-进域或函数域）上几何有理三空间的有理化不变量。
• 研究在 $\mathbb{P}^5$ 中两个二次曲面的完全交线是否在 $\mathbb{C}((T))$ 或 $\mathbb{F}_q((T))$ 等域上是稳定有理的。
• 在该类三空间中，识别超越平凡佩克尔群与布饶尔群之外的有理化障碍。
• 通过非有理化塔型退化与二次曲面丛结构，将专一化方法推广至三空间。
• 阐明中间雅可比簇与有理曲线在二次曲面完全交线有理化问题中的作用。

提出的方法

• 采用沃辛与 CTP 的专一化方法，通过在 $k((\tau))$ 上退化为非有理塔型三空间，将其应用于两个二次曲面的完全交线。
• 应用无瑕上同调技术，构造 $H^{n+2}_{nr}(K_n(X_n), \mathbb{Z}/2)$ 中的非平凡类，证明 $CH_0$-群的非平凡性。
• 分析 $X$ 的中间雅可比簇，证明其为 $k$ 上的亏格 2 曲线的雅可比簇，并研究其扭曲形式与伽罗瓦作用。
• 通过变量数 $s_i$ 的递归论证，证明伽罗瓦上同调中上积的非平凡性。
• 将 $X$ 视为 $\mathbb{C}$ 上的四维流形，其在 $\mathbb{P}^1 \times \mathbb{P}^1$ 上具有二次曲面丛结构，从而应用 [HPT18] 中关于稳定有理化的结果。
• 利用有理点的存在性及 $k$ 上直线与斜直线的几何性质，约束有理化可能性，表明有理化迫使出现特殊构型。

实验结果

研究问题

• RQ1 在非代数闭域（如 $\mathbb{C}((T))$ 或 $\mathbb{F}_q((T))$）上，两个二次曲面在 $\mathbb{P}^5$ 中的完全交线的稳定有理化是否可能受阻？
• RQ2 中间雅可比簇及其伽罗瓦扭化在确定几何有理三空间的有理化性中起何作用？
• RQ3 若基域 $k$ 上存在有理曲线或直线，是否意味着此类三空间具有有理化或稳定有理化？
• RQ4 能否为这些完全交线构造非平凡的无瑕上同调类？这些类是否阻碍有理化？
• RQ5 退化为非有理塔型三空间如何揭示稳定有理化的障碍？

主要发现

• 在 $k = \mathbb{C}((T))$、$\mathbb{C}(T)$ 或 $p \neq 2$ 的 $p$-进域上，$\mathbb{P}^5$ 中的一般光滑两个二次曲面的完全交线不是稳定有理的，这是通过退化为非有理塔型三空间的专一化方法证明的。
• 存在一个非平凡的无瑕上同调类 $\alpha_n \in H^{n+2}_{nr}(K_n(X_n), \mathbb{Z}/2)$，其不能从基域上拉回，这证明了 $X_n$ 不是 $CH_0$-平凡的，因而不是稳定有理的。
• 当 $n=0$ 时，类 $((u+v)/v, a) \in \mathrm{Br}(X_0)$ 是非平凡且无瑕的，表明 $X_0$ 不是有理的，且不能在 $k$ 上包含一对共轭斜直线。
• 中间雅可比簇 $\mathrm{IJ}(X)$ 同构于 $k$ 上的亏格 2 曲线的雅可比簇，其伽罗瓦结构是理解有理化障碍的核心。
• 若 $X$ 有理，则其必须在 $k$ 上存在一条直线，而中间雅可比簇中奇数次曲线迫使此类直线存在，从而将几何与有理化联系起来。
• 该构造给出了 $\mathbb{F}_q((T))$、$\mathbb{C}((T_1))((T_2))$ 和 $\mathbb{Q}_p$ 上光滑两个二次曲面完全交线的显式例子，这些例子即使具有有理点，也不是稳定有理的。