[论文解读] Extremal rays and automorphisms of holomorphic symplectic varieties

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Jun 26, 2015

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

一句话总结

本文利用布里吉兰稳定性与晶格理论方法，研究了复辛几何体中极端射线与自同构的性质，特别是K3曲面的希尔伯特概形。研究证明，自同构可将极端射线映射至非极端类，从而表明仅凭 $H^2(X,\mathbb{Z})$ 上的Hodge结构无法确定 ample 锥，解决了赫布雷希茨提出的问题。

ABSTRACT

We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.

研究动机与目标

• 理解K3型复辛几何体中自同构作用下极端射线的行为。
• 解决赫布雷希茨关于极化复辛流形 ample 锥是否可由 $H^2(X,\mathbb{Z})$ 上的 Hodge 结构恢复的问题。
• 提供一种通用机制，用于构造具有预定双有理收缩的希尔伯特概形。
• 回应大西与萨蒂关于通过晶格理论构造方法研究希尔伯特概形自同构的问题。

提出的方法

• 利用 Bayer-Macrì 机制与布里吉兰稳定性条件，对 K3 型几何体的极端双有理收缩（模单值群）进行分类。
• 应用晶格理论技术，扩展 Beauville-Bogomolov 形式，并研究扩展晶格 $\widetilde{\Lambda}$ 上的单值群作用。
• 利用同态 $\theta^\vee: \widetilde{\Lambda} \twoheadrightarrow H_2(X,\mathbb{Z})$ 将上同调类与 Mori 锥中的曲线类关联。
• 通过 Nikulin 理论与具体晶格作用，显式构造 $H^2(X,\mathbb{Z})$ 上不保持极端射线的自同构 $\alpha$。
• 分析 $\alpha^*$ 作用下极端射线的像，表明 $\alpha^*(R)$ 可能不属于任何极端射线的单值轨道。
• 利用 Torelli 定理将上同调上的自同构提升为超凯勒流形的同构，通过同源 K3 曲面构造新例子。

实验结果

研究问题

• RQ1 极化复辛流形的 ample 锥是否可由 $H^2(X,\mathbb{Z})$ 上的 Hodge 结构确定？
• RQ2 自同构 $H^2(X,\mathbb{Z})$ 是否保持 Mori 锥中极端射线的单值轨道？
• RQ3 能否通过晶格理论数据显式构造具有预定极端收缩的希尔伯特概形？
• RQ4 Mukai 向量 $v$ 在分类极端收缩及其单值轨道中起什么作用？

主要发现

• 极化复辛流形（K3 型）的 ample 锥无法从 $H^2(X,\mathbb{Z})$ 上的 Hodge 结构恢复，解决了赫布雷希茨提出的问题。
• 显式构造了一个 $H^2(X,\mathbb{Z})$ 上的自同构 $\alpha$，其将极端射线 $R$ 映射至类 $\alpha^*(R)$，该类不属于任何极端射线的单值轨道。
• 原始极端射线相关的晶格 $\mathcal{H}_1$ 的判别式为 $-49$，而像晶格 $\mathcal{H}_2$ 不等价，且不与任何极端射线相关。
• 该构造产生了一个射影例子，满足 $\alpha^*(\text{在 }X\text{ 上有效曲线的锥}) \subsetneq \text{在 }Y\text{ 上有效曲线的锥}$，表明有效锥的像是严格更小的。
• 该方法提供了一种通用机制，可通过晶格数据与自同构构造具有预定双有理收缩的希尔伯特概形。
• 本文证实，极端射线在任意自同构下并不保持，即使上同调晶格同构，凸显了单值群在分类中的作用。