[论文解读] Intersection lattices of cubic fourfolds

Evgeny Mayanskiy|arXiv (Cornell University)|Dec 4, 2011

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

一句话总结

本文通过判别形式和局部 p-进不变量的算术条件，对立方四叠面中原始代数循环 $A_0(X)$ 与超越循环 $T(X)$ 的可能晶格进行分类。利用 Torelli 定理与中间上同调晶格 $H^4(X,\mathbb{Z}) \cong L_0$ 的几何性质，建立了给定偶晶格作为 $A_0(X)$ 或 $T(X)$ 的必要与充分条件。主要贡献在于通过判别群与 Hasse 不变量的条件，对可实现晶格进行了完整表征。

ABSTRACT

We study the lattices of algebraic and transcendental cycles of cubic fourfolds.

研究动机与目标

• 确定哪些偶晶格可作为立方四叠面 $X$ 中原始代数循环 $A_0(X)$ 的晶格。
• 表征哪些偶晶格可作为立方四叠面的超越晶格 $T(X)$ 出现。
• 利用判别群的算术不变量，建立晶格同构于 $A_0(X)$ 或 $T(X)$ 的必要与充分条件。
• 将这些结果应用于立方四叠面的有理性问题与自同构群结构。
• 通过在立方四叠面背景下发展晶格分类，拓展与 $K3$ 表面的类比。

提出的方法

• 使用立方四叠面的 Torelli 定理，将自同构识别为保持超平面类的 Hodge 同构。
• 应用 p-进晶格与判别形式的分类，分析晶格 $A_0(X)$ 的局部条件。
• 利用 Hasse 不变量与局部-整体原理，确定 p-进晶格在无根的情况下能否拼合成全局整晶格。
• 对判别群 $A_S$ 及其 $p$-分量施加条件，包括不变量 $v_p$、$\theta_p$ 与 $l(A_S)$。
• 利用符号条件 $\text{sign}(S) \leq \text{sign}(L_0)$ 与存在类 $a \in A$ 满足 $Q(a,a) = 3$，将晶格 $A_0$ 定义为正交补。
• 应用 Nikulin 的晶格理论与 $\mathbb{Z}_p$ 上二次型的理论，推导判别形式的拼接条件。

实验结果

研究问题

• RQ1 哪些签名 $(\rho-1,0)$ 的偶晶格可作为立方四叠面 $X$ 中原始代数循环 $A_0(X)$ 的晶格实现？
• RQ2 在何种条件下，给定的签名 $(21-\rho,2)$ 的偶晶格 $T$ 可本原地嵌入 $L_0$，且其正交补不包含根与长根？
• RQ3 判别群 $A_S$ 的哪些算术条件可确保晶格 $S$ 作为某立方四叠面 $X$ 的 $A_0(X)$ 实现？
• RQ4 若晶格在所有素数处均有局部根，但无全局根，是否仍可实现为 $A_0(X)$？
• RQ5 不变量 $v_p$、$\theta_p$ 与 $l(A_S)$ 如何决定 $A_0(X)$ 的可实现性？

主要发现

• 对于 $2 \leq \rho \leq 11$，任何无根的签名 $(\rho-1,0)$ 的偶晶格 $A_0$ 均可作为某立方四叠面 $X$ 的 $A_0(X)$ 实现。
• 对于 $13 \leq \rho \leq 21$，若晶格 $T$ 本原地嵌入 $L_0$ 且其正交补不包含根与长根，则其可作为 $T(X)$ 实现。
• 晶格 $S$ 可实现为 $A_0(X)$ 当且仅当其判别形式满足涉及 $l(A_S)$、$l((A_S)_3)$ 与希尔伯特符号 $\left(\frac{\cdot}{p}\right)$ 的三组条件之一。
• 存在无全局根的偶晶格（例如 $4x^2 + 4y^2 + 6z^2 + 8w^2$），其在所有 $p$-进完备化中均有根，但仍可作为某立方四叠面 $X$ 的 $A_0(X)$ 实现。
• 存在类 $a \in A$ 满足 $Q(a,a) = 3$，且 $A_0$ 中无范数为 2 或 6 的某些循环，是 $A$ 同构于 $A(X)$ 的必要与充分条件。
• $p$-进晶格拼合成全局晶格的过程由 Hasse 不变量与条件 $(-1)^{t_{-}(t_{-}-1)/2} = \prod_p \epsilon_p(S_p)$ 控制。