[论文解读] Isotrivial elliptic K3 surfaces and Lagrangian fibrations

Justin Sawon|arXiv (Cornell University)|Jun 4, 2014

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

一句话总结

本文利用 Weierstrass 模型对同构的椭圆 K3 表面进行分类，并通过阿贝尔簇上的群作用构造了新的具有同构拉格朗日纤维化的全纯对称双叉轨道流形。关键贡献在于，在六维及更高维构造出具有同构拉格朗日纤维化但不具有对称双叉化简的轨道流形，从而提供了具有非平凡奇点的原始对称双叉 V-流形的新例子。

ABSTRACT

A fibration is said to be isotrivial if all of its smooth fibres are isomorphic to a single fixed variety. We classify the elliptic K3 surfaces that are isotrivial, and use them to construct Lagrangian fibrations that are isotrivial. We then modify the construction to produce new examples of holomorphic symplectic orbifolds, that also admit isotrivial Lagrangian fibrations.

研究动机与目标

• 利用 Weierstrass 模型和复环面上的群作用对同构的椭圆 K3 表面进行分类。
• 构造新的全息对称双叉轨道流形，其具有同构拉格朗日纤维化。
• 证明在六维及更高维中，此类轨道流形不具有对称双叉化简。
• 通过将群作用限制到子群，扩展 Matsushita 的构造方法，从而在基空间上生成具有平凡 canonical 类的新奇点对称双叉代数簇。

提出的方法

• 通过分析其 j-不变量并利用 Weierstrass 模型描述具有有限单值群的奇异纤维，对同构的椭圆 K3 表面进行分类。
• 将全息对称双叉轨道流形构造为商空间 $E^{2n}/\Gamma$，其中 $\Gamma$ 是 $\mathrm{Sp}(n,\mathbb{C})$ 的有限子群，作用于椭圆曲线的乘积。
• 通过在同构 K3 表面上使用 Hilbert 赋值构造，生成具有同构拉格朗日纤维化的高维全息对称双叉轨道流形。
• 通过将群作用限制到子群 $\Gamma' < \Gamma$（例如 $\Gamma' = \langle (a_1,\dots,a_n) \in G^n, \tau \in \mathfrak{A}_n \mid a_1\cdots a_n = 1 \rangle$）来生成新例子。
• 通过分析局部奇点同构于 $\mathbb{C}^4/\pm 1$ 的性质，证明所得轨道流形不具有对称双叉化简。
• 通过验证偶数因子上存在唯一的 $\Gamma'$-不变全纯 $n$-形式，证明纤维化的基空间为 Calabi-Yau $n$-流形。

实验结果

研究问题

• RQ1 哪些椭圆 K3 表面是同构的？它们能否通过 Weierstrass 模型和单值群考虑进行分类？
• RQ2 能否在六维及以上维度的全息对称双叉轨道流形上构造同构拉格朗日纤维化？
• RQ3 所构造的全息对称双叉轨道流形是否具有对称双叉化简？若无，原因是什么？
• RQ4 将群作用限制到子群 $\Gamma'$ 会对商轨道流形的对称双叉结构和纤维化结构产生何种影响？

主要发现

• 所有同构的椭圆 K3 表面均通过 Weierstrass 模型分类，其奇异纤维对应于具有有限单值群的 Kodaira 类型，如 $I_0^*$、$II^*$、$III^*$ 和 $IV^*$。
• 通过构造全息对称双叉轨道流形 $E^{2n}/\Gamma$，在 $n \geq 3$ 时得到在 $\mathbb{P}^n$ 上的同构拉格朗日纤维化，其中 $\Gamma$ 通过循环群与对称群的半直积作用。
• 通过将群作用限制到子群 $\Gamma'$ 构造的轨道流形 $E^{2n}/\Gamma'$ 是一个原始对称双叉 V-流形，满足 $h^{2,0}(Z) = 1$ 且 $h^{1,0}(Z) = 0$（$n \geq 3$），其基空间为 Calabi-Yau $n$-流形。
• 轨道流形 $E^{2n}/\Gamma$ 不具有对称双叉化简，因为其包含局部同构于 $\mathbb{C}^4/\pm 1$ 的奇点，这类奇点在对称双叉范畴中已知不可化简。
• 轨道流形 $E^{2n}/\Gamma'$ 同样不具有对称双叉化简，原因在于其具有类似 $\mathbb{C}^4/G$ 型的局部奇点，其中 $G$ 是 $\mathrm{SL}(2,\mathbb{C})$ 的有限子群，符合 Fu 的推论 3.5。
• 对于 $n \geq 3$，$E^{2n}/\Gamma'$ 的奇点局部形式为 $({{\mathbb{C}}}^{4}/G)\times{{\mathbb{C}}}^{2n-4}$，由于 $\mathbb{C}^4/G$ 不具有对称双叉化简，因此整个轨道流形亦不具有。