Invariant polynomials and Mukai's models of moduli spaces of curves and K3 surfaces

技术摘要：不变多项式与 Mukai 关于曲线与 K3 曲面模空间的模型

问题陈述
自 20 世纪 80 年代后期以来，Shigeru Mukai 引入了针对特定亏格 $g \in \{7, 8, 9, 10\}$ 的曲线及极化 K3 曲面的双有理模型，记作 $M^X_{1,g}$ 和 $M^X_{2,g}$。这些模型被定义为 Grassmann 流形对简单线性代数群的几何不变性理论（GIT）商。尽管这些模型中关于光滑、一般对象的稳定性已有基础性结果，但出现在这些模型边界上的奇异曲线与曲面的 GIT 稳定性在很大程度上仍是未知的。以往验证特定奇异对象（如亏格 7）半稳定性性的尝试依赖于经典的、显式的不变多项式构造与直接求值。这些方法在计算上是极其昂贵的，通常需要大规模并行计算资源，且即使是评估单个示例也需要大量时间。

方法论
本文提出了一种用于构造和评估与 Mukai 的 GIT 问题相关的不变多项式的计算高效方法。该方法分为三个阶段进行：

1. 构造不变多项式：
   作者分析了外幂 $\Lambda^g V_g^*$（针对曲线）和 $\Lambda^{g+1} V_g^*$（针对曲面）的分解，其中 $V_g$ 是与群 $G_g$ 作用在 Grassmann 流形上的特定表示相关联的表示。通过识别这些分解中的不可约子模，作者构造了特定次数的不可约多项式 $F_{g,d}$。

   • 策略涉及选择小维度的不可约子模，并寻找最低次数 $d$，使得对称幂 $\text{Sym}^d$ 包含一个平凡的 $G_g$-模（即不变量）。
   • 针对特定情况（例如，亏格 8，维度 2），作者利用了以 Gelfand-Tsetlin 基实现的 LieAlgebraRepresentations Macaulay2 软件包中的 $SL_n$-不变量的组合公式。这避免了使用通用的、内存密集型的算法。

2. 奇异对象的定位：
   作者识别了参数空间（Grassmann 流形）中对应于奇异曲线与曲面的特定点。这些点包括：

   • 切向展开面（Tangent developables）。
   • 具有 $g$-gonal 对称性的尖点三次曲线（Cuspidal cubics）。
   • 平衡 K3 地毯（Balanced K3 carpets）与带状物（Ribbons）。
   • 与三价图相关的图曲线（Graph curves，如 $\Gamma_7, \Gamma_8, \Gamma_9$）。
   • 具有泛生成非简化分量的可约曲面与可约曲线。
     这些点的坐标是通过自同构群、图曲线算法以及针对非简化结构的计算机搜索推导而出的。

3. 评估与验证：
   利用构造的多项式和识别的点，作者在代表奇异对象的参数点处评估 $F_{g,d}$。如果其值为非零，则证明该对象是 GIT 半稳定的。所有计算均使用 Macaulay2 完成。

核心贡献

• 算法效率： 本文引入了一种评估不变多项式的更高效的方法。相比于以往工作需要高性能集群进行数日的计算（例如在 AWS 实例上运行 36 小时），新方法在标准笔记本电脑上约 24 小时即可完成亏格 7 的构造与评估，随后的评估几乎是瞬时完成的。
• 实现： 该工作实现在 LieAlgebraRepresentations Macaulay2 软件包中，其附录包含了关于 $SL_n$-不变量的组合公式。
• 组合公式： 附录提供了一个关于 Gelfand-Tsetlin 基下 $SL_n$-不变量的自洽证明，这对于高效计算亏格 8 不变量至关重要。

结果
作者证明了定理 1.1，确立了在 Mukail 模型中，广泛 variedad 的奇异曲线与曲面在亏格 7 至 10 之间是 GIT 半稳定的。具体而言，本文确认了以下对象的半稳定性：

• 亏格 7： 切向展开面、7-尖点三次曲线、平衡 K3 地毯、平衡带状物以及图曲线。
• 亏格 8： 切向展开面、8-尖点三次曲线、具有四个非简化分量的可约曲面、具有五个非简化分量的可约曲线以及图曲线。
• 亏格 9： 切向展开面、9-尖点三次曲线、平衡 K3 地毯、平衡带状物以及图曲线。
• 亏格 10： 切向展开面、10-尖点三次曲线、具有两个非简化分量的可减曲面以及具有四个非简化分量的可减曲线。

值得注意的是，亏格 8 的可减曲面（示例 8c）被证明是严格半稳定的，这一结果需要通过附录中通过组合公式推导出的特定不变多项式 $F_{8,2}$ 才能得出，因为通用方法由于内存限制而失败。

意义与主张
本文声称其主要贡献在于展示了一种用于分析 Mukai 模空间边界的可扩展且高效的方法。作者强调，其结果的“最显著特征”在于已验证半稳定对象的“长度与广度”，而非任何单一对象的特定几何性质。该方法使得分析比以往更多的示例成为可能。本文并不声称解决了刻画这些模空间整个边界的通用问题，而是提供了一个稳健的计算工具，用于验证此前难以处理的、复杂的特定奇异对象的稳定性。这项工作通过采用基于表示论的方法，取代了 [25] 中的经典显式计算，从而实现了更快速、更节省内存的处理。