[论文解读] Hyper-Kähler fourfolds and Grassmann geometry

Olivier Debarre, Claire Voisin|arXiv (Cornell University)|Apr 25, 2009

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

一句话总结

该论文通过在 $G(6,V_{10})$ 上使用 10 维向量空间 $V_{10}$ 上的三形式 $σ \in \bigwedge^3 V_{10}^*$，利用格拉斯曼流形几何，构建了一个新的 20 维代数超凯勒四fold 家族 $Y_{\sigma}$。证明了 $Y_{\sigma}$ 与一个度数为 22 的 K3 表面的第二个点状 Hilbert 模间是形变等价的，通过与 $G(3,V_{10})$ 中一个 Fano 型超曲面 $F_\sigma$ 的对应关系，提供了此类四fold 的新几何实现，且其 $H^2$ 与 $H^{20}$ 上的有理霍奇结构同构。该构造产生了一个第二贝蒂数为 23 的四fold，确认了其超凯勒性质。

ABSTRACT

We construct a new 20-dimensional family of algebraic hyper-Kaehler fourfolds and prove that they are deformation-equivalent to the second punctual Hilbert scheme of a K3 surface of degree 22.

研究动机与目标

• 通过在 10 维向量空间上使用格拉斯曼流形几何与三形式，构造一个新的代数超凯勒四fold 家族。
• 在 $Y_\sigma$ 与 $G(3,V_{10})$ 中的 Fano 型超曲面 $F_\sigma$ 之间建立几何对应关系。
• 证明 $Y_\sigma$ 与一个度数为 22 的 K3 表面的第二个点状 Hilbert 模间形变等价，即使未明确识别出显式的同构局部。

提出的方法

• 构造从一个三形式 $\sigma \in \bigwedge^3 V_{10}^*$ 开始，通过 $\mathrm{PGL}(V_{10})$ 商构造出一个 20 维的模空间。
• 在 $G(6,V_{10})$ 中定义一个四fold $Y_\sigma$ 为满足 $\sigma|_W = 0$ 的 6 维子空间 $W \subset V_{10}$ 的集合，并通过正交补条件在 $G(3,V_{10})$ 中定义一个超曲面 $F_\sigma$。
• 构造一个相对维数为 9 的自然对应关系 $G_\sigma \subset Y_\sigma \times F_\sigma$，该关系诱导出 $H^2(Y_\sigma, \mathbb{Q})_{\mathrm{van}}$ 与 $H^{20}(F_\sigma, \mathbb{Q})_{\mathrm{van}}$ 上有理霍奇结构的同构。
• 使用上同调技术，包括柯曾分解与博特定理，证明某些扩张群与上同调群的消失性与单射性，确保该对应关系诱导出霍奇同构。
• 计算出 $Y_\sigma$ 的第二贝蒂数为 23，确认其为不可约的超凯勒结构。
• 通过奇异退化与胡布雷希茨定理中关于双有理等价与形变等价的比较，确立了 $Y_\sigma$ 与度数为 22 的 K3 表面 $S$ 的 $S^{[2]}$ 之间的形变等价性。

实验结果

研究问题

• RQ1 能否通过在 10 维空间上使用格拉斯曼流形几何与三形式，构造一个新的 20 维代数超凯勒四fold 家族？
• RQ2 $Y_\sigma$ 是否与一个度数为 22 的 K3 表面的第二个点状 Hilbert 模间形变等价，即使未识别出显式的同构局部？
• RQ3 在 $Y_\sigma$ 与 $F_\sigma$ 之间的对应关系是否诱导出 $H^2$ 与 $H^{20}$ 上的有理霍奇结构同构？
• RQ4 $Y_\sigma$ 的 Picard 数行为如何？其是否在模空间的超曲面上跳跃，可能暗示其同构于 $S^{[2]}$？
• RQ5 度数为 1452 的四fold $Y_\sigma$ 是否可能同构于一个亏格为 16 或 21 的 K3 表面的第二个 Hilbert 模间，考虑到其度数与向量丛数据匹配？

主要发现

• $Y_\sigma$ 是一个第二贝蒂数为 23 的不可约超凯勒流形，确认了其超凯勒结构。
• 存在一个自然的对应关系 $G_\sigma \subset Y_\sigma \times F_\sigma$，其相对维数为 9，该关系诱导出 $H^2(Y_\sigma, \mathbb{Q})_{\mathrm{van}}$ 与 $H^{20}(F_\sigma, \mathbb{Q})_{\mathrm{van}}$ 上有理霍奇结构的同构。
• $H^{20}(F_\sigma, \mathbb{Q})_{\mathrm{van}}$ 上的霍奇结构具有霍奇数 $h^{9,11} = h^{11,9} = 1$ 与 $h^{10,10} = 20$，其余所有霍奇数均为零。
• $Y_\sigma$ 与一个度数为 22 的 K3 表面 $S$ 的第二个点状 Hilbert 模间 $S^{[2]}$ 形变等价，其特定极化通过 $S \times S$ 的爆破与例外除子定义。
• 此类 $Y_\sigma$ 的模空间为 20 维，且该族与此前已知的家族（如三次超曲面或奥格雷迪构造）不构同。
• 尽管 $Y_\sigma$ 与度数为 16 或 21 的 K3 表面的 $S^{[2]}$ 具有相同的度数（1452）与向量丛数据，但其典范丛的陈数不匹配，排除了这些情况下的同构可能性。