[论文解读] Cycle class maps and birational invariants

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Aug 1, 2019

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

一句话总结

该论文通过周期类映射到中间雅可比簇的主齐性空间，为几何有理三维流形引入了新的双有理不变量。它证明了在域 $k$ 上，$\mathbb{P}^5$ 中两个二次曲面的光滑完备交是有理的，当且仅当其定义了一个在 $k$ 上的直线，从而通过曲线的几何及其佩科德群的结构，给出了一个精确的有理性判别准则。

ABSTRACT

We introduce new obstructions to rationality for geometrically rational threefolds arising from the geometry of curves and their cycle maps.

研究动机与目标

• 通过周期类映射和曲线的几何，为几何有理三维流形开发新的有理性障碍。
• 通过研究中间雅可比簇上的主齐性空间，将克莱门斯-格里菲斯方法推广到非代数闭域。
• 通过基域上存在有理直线，刻画 $\mathbb{P}^5$ 中两个二次曲面的完备交的有理性。
• 通过托雷利定理和 $\ell$-进阿贝尔-雅可比映射，将三维流形的有理性与曲线上佩科德群的结构联系起来。

提出的方法

• 从曲线上的零维周期类定义到中间雅可比簇 $J^2(X)$ 上的主齐性空间的周期类映射。
• 在非代数闭域上，将 $\ell$-进阿贝尔-雅可比映射用作周期类映射的几何实现。
• 在 $k$ 上曲线的佩科德群，特别是 $\operatorname{Pic}^e(C)$（其为 $J^1(C)$ 上的主齐性空间）的背景下，研究周期类映射的像。
• 应用托雷利定理，从雅可比簇识别曲线，当亏格 $\geq 2$ 时，确保曲线 $C$ 的唯一性。
• 分析直线族 $F_1(X)$ 作为 $J^1(C)$ 上的主齐性空间的行为，关键关系为 $2[F_1(X)] = [\operatorname{Pic}^1(C)]$。
• 利用主齐性空间 $F_1(X)$ 的平凡性蕴含 $k$ 上存在有理直线的事实，将有理性与主齐性空间上的有理点存在性联系起来。

实验结果

研究问题

• RQ1 当一个几何有理三维流形的 Néron-Severi 群秩为一且中间雅可比簇分裂时，它在什么情况下不是有理的？
• RQ2 周期类映射到 $J^2(X)$ 上的主齐性空间如何作为非代数闭域上理性障碍？
• RQ3 曲面 $X$ 上曲线的几何需满足何种条件，才能使周期类映射的像落在非平凡主齐性空间中，从而阻碍有理性？
• RQ4 能否仅通过基域上存在有理直线，完全刻画 $\mathbb{P}^5$ 中两个二次曲面的完备交的有理性？
• RQ5 曲面 $X$ 上曲线的佩科德群如何与中间雅可比簇的结构及有理性相关联？

主要发现

• 在域 $k \subset \mathbb{C}$ 上，$\mathbb{P}^5$ 中两个二次曲面的光滑完备交是 $k$ 上有理的，当且仅当其定义了一个在 $k$ 上的直线。
• 直线族 $F_1(X)$ 是 $J^1(C)$ 上的主齐性空间，其中 $C$ 是与二次曲面线性系关联的亏格二曲线。
• 关系式 $2[F_1(X)] = [\operatorname{Pic}^1(C)]$ 成立，且有理性蕴含 $F_1(X)$ 作为主齐性空间是平凡的，因此 $F_1(X)(k) \neq \emptyset$。
• 托雷利定理确保当 $g \geq 2$ 时，曲线 $C$ 由 $J^1(C)$ 唯一确定，因此该不变量是良定义的。
• 从次数为 $d$ 的曲线出发的周期类映射落在 $J^2(X)$ 上的主齐性空间中，且当 $J^2(X) \simeq J^1(C)$ 时，有理性迫使该主齐性空间为平凡。
• 不变量 $\tau$ 通过 $\operatorname{Pic}^e(C)$ 的结构检测有理性，其平凡性等价于存在一条有理直线。