[论文解读] Moduli of double EPW-sextics

Kieran G. O’Grady|arXiv (Cornell University)|Nov 6, 2011

Geometric and Algebraic Topology参考文献 33被引用 13

一句话总结

本文研究了在 $\mathrm{SL}_6$ 作用下，对 $\Lambda^3 \mathbb{C}^6$ 中拉格朗日子空间的参数化之辛格拉斯曼ian 的 GIT 商，构造了光滑双 EPW 六次曲面模空间的紧化。通过一参数子群与锥分解算法，作者确定了稳定点集，并描述了 GIT 边界的不可约分支，表明该模空间与周期域中三个特定超平面相关的 Looijenga 紧化同构。

ABSTRACT

We study the GIT quotient of the symplectic grassmannian parametrizing lagrangian subspaces of \bigwedge^3{\mathbb C}^6 by the natural action of SL_6, call it M. This is a compactification of the moduli space of smooth double EPW-sextics. We determine the stable points, the irreducible components of the GIT boundary and their dimensions. There are strong analogies with the moduli space of cubic 4-folds: we prove a result which is analogous to a theorem of Laza stating that cubic 4-folds with simple singularities are stable. Our final goal (not achieved in the present paper) is to understand the period map from M to the Baily-Borel compactification of the relevant period domain modulo an arithmetic group. With this goal in mind we analyze the locus in the GIT-boundary of M where the period map is not regular: we prove that it has two irreducible components, one of dimension 3, the other of dimension 1. Our results suggests that M is isomorphic to Looijenga's compactification associated to 3 specific hyperplanes in the period domain.

研究动机与目标

• 通过辛格拉斯曼ian的 GIT 商构造光滑双 EPW 六次曲面模空间的紧化。
• 确定在 $\mathrm{SL}_6$ 作用下 $\Lambda^3 \mathbb{C}^6$ 中拉格朗日子空间上的 GIT 商中的稳定点与半稳定点。
• 描述双 EPW 六次曲面模空间 GIT 边界的不可约分支，并分析周期映射失效的点集。
• 研究 GIT 紧化与周期域的 Baily-Borel 紧化的关联。
• 建立与 Laza 和 Looijenga 在四次超曲面研究中的工作之间的类比，特别是在稳定性与周期映射方面。

提出的方法

• 应用锥分解算法对一参数子群进行分类，并通过普吕克坐标上的权值确定稳定性。
• 利用希尔伯特-莫伊兹兹准则，通过评估一参数子群在辛格拉斯曼ian的普吕克嵌入上的权值，分析半稳定性。
• 分析具有大稳定子群的拉格朗日子空间（例如被 $\mathrm{PGL}(3)$、$\mathrm{PGL}(4)$ 或 $\mathrm{PSO}(4)$ 稳定的）以分类非稳定层。
• 为每个标准非稳定层构建 GIT 设置，并计算一参数子群作用在 $\Lambda^3 \mathbb{C}^6$ 基底上的权值。
• 对一参数子群在八维三重向量空间上的作用进行详细情形分析，使用权值表与不变量 $d_0(A_i)$、$d_1(A_i)$ 上的不等式。
• 将 GIT 边界分支与周期域的 Baily-Borel 紧化进行比较，识别出与紧化相关的三个特定超平面。

实验结果

研究问题

• RQ1 在 $\mathrm{SL}_6$ 作用下，$\Lambda^3 \mathbb{C}^6$ 中哪些拉格朗日子空间是稳定的，它们如何被刻画？
• RQ2 双 EPW 六次曲面模空间的 GIT 边界有哪些不可约分支？
• RQ3 周期映射在 GIT 边界上的行为如何，它在何处不正则？
• RQ4 GIT 紧化在多大程度上与周期域中三个特定超平面相关的 Looijenga 紧化同构？
• RQ5 双 EPW 六次曲面的稳定性能否通过其对应平面六次曲面的几何性质来刻画，如同四次超曲面类比中的情形？

主要发现

• GIT 商中的稳定点集恰好对应于光滑双 EPW 六次曲面，且该模空间与极化形式为平方为 2 的 $K3^{[2]}$-型超凯勒 4-流形模空间有双有理同构。
• GIT 边界由有限多个不可约分支组成，每个分支对应一个标准非稳定层，且通过一参数子群作用显式描述。
• 从 GIT 紧化到 Baily-Borel 紧化的周期映射在边界的一个特定点集上不正则，该点集已得到详细分析。
• 本文证明了具有简单奇点的拉格朗日子空间（类比于 Laza 对四次超曲面的结果）是稳定的，从而扩展了双 EPW 六次曲面与四次超曲面之间的类比。
• GIT 紧化与周期域中三个特定超平面相关的 Looijenga 紧化同构，这一结论由边界结构与周期映射行为所支持。
• 对普吕克坐标上权值的分析导出了涉及 $d_0(A_i)$ 与 $d_1(A_i)$ 的显式不等式，这些不等式决定了每个一参数子群轨道的稳定性，其中临界阈值如 $12(2d_0(A_0) + 2d_0(A_2) - 3) \leq -12$ 表明不稳定。