2025-11-15T16:52:12.119164

Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms

Bertini, Grossi, Mauri et al.
Terminalizations of symplectic quotients are sources of new deformation types of irreducible symplectic varieties. We classify all terminalizations of quotients of Hilbert schemes of K3 surfaces or of generalized Kummer varieties, by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. We determine their second Betti number and the fundamental group of their regular locus. In the Kummer case, we prove that the terminalizations have quotient singularities, and determine the singularities of their universal quasi-étale cover. In particular, we obtain at least nine new deformation types of irreducible symplectic varieties of dimension four. Finally, we compare our deformation types with those in [FM21; Men22]. The smooth terminalizations are only three and of K$3^{[n]}$-type, and surprisingly they all appeared in different places in the literature [Fuj83; Kaw09; Flo22].
academic

Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms

基本信息

  • 论文ID: 2401.13632
  • 标题: Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms
  • 作者: Valeria Bertini, Annalisa Grossi, Mirko Mauri, Enrica Mazzon
  • 分类: math.AG (代数几何)
  • 发表期刊: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 14
  • 论文链接: https://arxiv.org/abs/2401.13632

摘要

本文研究了紧致超Kähler流形商空间的终端化，这是不可约辛簇新变形类型的重要来源。作者完整分类了由K3曲面的Hilbert概型或广义Kummer簇通过底层K3或阿贝尔曲面诱导的有限辛自同构群所得商空间的所有终端化。文章确定了这些终端化的第二Betti数和正则轨迹的基本群。在Kummer情形中，证明了终端化具有商奇点，并确定了其万有拟étale覆盖的奇点结构。特别地，获得了至少八个新的四维不可约辛簇变形类型。

研究背景与动机

问题背景

  1. 不可约辛簇的分类问题: 在Kodaira维数为零的簇分类中，不可约辛簇起着关键作用。根据Beauville-Bogomolov分解定理，任何紧致Kähler空间若其典范类数值平凡且具有klt奇点，都承认一个拟étale覆盖，可写成复环面、严格Calabi-Yau簇或不可约辛簇的乘积。
  2. 已知例子的稀缺性: 目前已知的光滑不可约辛流形变形类型在每个维数下最多只有三种：
    • K3曲面S的n点Hilbert概型 S^n
    • 与阿贝尔曲面A相关的广义Kummer簇 K_n(A)
    • O'Grady在6维和10维构造的两个例外例子
  3. 构造新例子的方法: 通过辛商空间的终端化可以产生更多例子，这正是本文的研究动机。

研究意义

  • 预期每个维数下不可约辛簇的变形类型数量是有限的
  • 寻找新的不可约辛簇是该领域的核心问题
  • 终端化方法为系统性构造提供了途径

核心贡献

  1. 完整分类结果: 分类了所有由诱导辛自同构作用在S^n或K_n(A)上的有限群G所得商空间X/G的终端化
  2. 拓扑不变量计算: 确定了终端化Y的第二Betti数b_2(Y)和正则轨迹基本群π_1(Y^{reg})的群论公式
  3. 新变形类型: 获得了至少八个新的四维不可约辛簇变形类型
  4. 奇点结构分析: 证明了Kummer情形的终端化都具有商奇点，并详细分析了奇点类型
  5. 光滑终端化的完全刻画: 证明只有三种情况产生光滑终端化，且都是K3^n型

方法详解

分类标准

作者提出了有效分类的三个关键假设：

假设1.1: G作用使得X/G具有严格典范奇点，等价于：

  • X/G的奇异轨迹具有余维2
  • G的某个元素固定X中余维2的子簇

假设1.2: 在X中固定余维2轨迹的自同构生成整个群G

假设1.3: 群G通过底层K3或阿贝尔曲面的自同构诱导作用在S^n或K_n(A)上

核心定理

定理1.4: 设G是S^m或K_n(A)上诱导辛自同构的有限群。则X/G具有严格典范奇点当且仅当：

  • m=2或n=2,3，且G包含对合
  • n=2，且G包含特殊的3阶自同构
  • n=3，且G包含特殊的对合

定理1.6: 终端化Y的第二和第三Betti数公式：

b_2(Y) = rk(L^G) + N_2 + 2N_3 - ε
IH^3(Y,Q) ≅ H^3(X,Q)^G

其中N_i是奇异轨迹中具有横截A_奇点的分量数。

技术创新

  1. 几何约化: 将终端化问题约化为对固定轨迹几何的分析
  2. 群论方法: 用群的共轭类和稳定化子刻画拓扑不变量
  3. 局部-全局原理: 通过局部模型分析全局终端化的奇点

实验设置

分类范围

  • Hilbert概型情形: S^2的所有诱导辛自同构群
  • Kummer情形: K_2(A)和K_3(A)的所有诱导辛自同构群

计算工具

  • 使用GAP软件进行群论计算
  • 应用代数几何中的相交理论
  • 利用变形理论判断等价性

对比基准

与以下文献中的结果进行比较：

  • Fujiki varieties Men22
  • Fu-Menet的循环商 FM21
  • 经典K3^n型簇

实验结果

主要分类结果

表4 (S^2情形): 列出了68个不同的群作用，b_2(Y)范围从5到23

表7 (K_2(A)情形): 列出了所有可能的群作用，确定了相应的拓扑不变量

表9 (具有单连通正则轨迹的K_2(A)情形): 详细分析了10种情况的Betti数、Chern类和奇点

光滑终端化

定理1.12: 仅有三种情况产生光滑终端化：

  1. X = S^2, G ≅ C_2^4 Fuj83
  2. X = K_2(A), G ≅ C_3^3 Kaw09
  3. X = K_3(A), G ≅ C_2^5 Flo24

第二Betti数分布

  • S^2情形：b_2从5到23
  • K_2(A)情形：b_2主要集中在5-11范围
  • 发现了b_2 = 9,12,13,15的空缺

相关工作

历史发展

  • Fujiki (1983): 首次研究K3曲面平方的商空间终端化
  • Menet (2022): 完成了Fujiki簇的分类，发现29种四维奇异辛轨形
  • Fu-Menet (2021): 研究了循环商的终端化

本文贡献的定位

  • 补充了Menet分类程序的重要部分
  • 提供了系统性的群论方法
  • 发现了多个新的变形类型

结论与讨论

主要结论

  1. 完成了诱导辛自同构商空间终端化的完整分类
  2. 建立了拓扑不变量的群论公式
  3. 发现了至少8个新的四维不可约辛簇变形类型
  4. 证明了Kummer情形终端化的商奇点性质

局限性

  1. 仅限于诱导自同构，非诱导情形更加复杂
  2. 某些变形等价性判断仍有待完善
  3. 高维情形的推广需要新的技术

未来方向

  1. 研究其他类型辛自同构的商空间
  2. 推广到更高维的不可约辛簇
  3. 研究模空间的几何性质

深度评价

优点

  1. 系统性强: 提供了完整的分类框架和计算方法
  2. 技术深度: 结合了代数几何、群论和拓扑学的深刻结果
  3. 计算完备: 通过详细的表格给出了所有情况的完整信息
  4. 理论意义: 为不可约辛簇的分类问题提供了重要贡献

不足

  1. 技术限制: 诱导自同构的限制使得某些重要例子被排除
  2. 计算复杂: 某些群论计算的细节可能难以验证
  3. 应用范围: 主要关注低维情形，高维推广不明确

影响力

  • 为不可约辛簇分类提供了系统性方法
  • 可能启发更一般的终端化理论研究
  • 对代数几何中的模空间理论有重要影响

适用场景

  • 不可约辛簇的构造和分类
  • 辛商空间的研究
  • 超Kähler几何的应用

参考文献

主要参考文献包括：

  • Bea83 Beauville关于Kähler簇的经典工作
  • Men22 Menet的超Kähler轨形分类
  • FM21 Fu-Menet关于四维辛簇Betti数的研究
  • O'G99, O'G03 O'Grady构造的例外辛簇

总结: 这是一篇在不可约辛簇分类领域具有重要意义的技术性论文，通过系统的群论方法完成了一类重要商空间终端化的完整分类，为该领域提供了新的理论工具和具体结果。