[论文解读] Irreducibility of the space of cyclic covers of algebraic curves of fixed numerical type and the irreducible components of $Sing (\bar{\mathfrak M_g})$

Fabrizio Catanese|arXiv (Cornell University)|Nov 1, 2010

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

一句话总结

本文建立了固定数值类型的代数曲线循环覆盖模空间的不可约性，特别是针对稳定曲线，并对紧化模空间 $\overline{\mathfrak{M}_g}$ 的奇异点集的不可约分支提供了完整且显式的描述。其核心贡献是通过稳定曲线上阶为素数的自同构的最大数值-组合类型，对 $\mathrm{Sing}(\overline{\mathfrak{M}_g})$ 的边界分支进行了分类。

ABSTRACT

We prove irreducibility for the space of cyclic covers of fixed numerical type between smooth projective curves, and also for the space of cyclic covers of prime order and of fixed numerical-combinatorial type between moduli-stable projective curves. As an application we describe the irreducible components of the singular locus of the compactified moduli space of curves $\bar{\mahfrak M_g}$, extending the work of Cornalba, who described the irreducible components of the singular locus of the moduli space of curves $\mahfrak M_g}$.

研究动机与目标

• 建立固定数值类型的代数曲线循环覆盖空间的不可约性，将先前结果推广至任意次数 $d$。
• 使用数值不等式而非退化技术，提供一种更短、更直接的证明方法，以描述 $\mathrm{Sing}(\mathfrak{M}_g)$ 的不可约分支，这是 Cornalba 的结果。
• 对完全位于边界 $\overline{\mathfrak{M}_g} \setminus \mathfrak{M}_g$ 中的 $\mathrm{Sing}(\overline{\mathfrak{M}_g})$ 的不可约分支进行分类，特别是那些由阶为素数的最大循环作用产生的分支。
• 为稳定曲线上最大循环覆盖建立组合-数值刻画，尤其当自同构阶 $d$ 为素数时。
• 提出一种简化算法，可将任意给定的数值-组合类型转化为其最大代表形式，从而实现分支的无冗余分类。

提出的方法

• 使用 Teichmüller 理论与单值表示分析循环群 $G \cong \mathbb{Z}/d$ 的伽罗瓦覆盖的拓扑类型。
• 应用 Pardini 在阶因子基上的阿贝尔覆盖理论，构造循环覆盖族并分析其不变量。
• 利用数值不等式（命题 3.2）替代退化论证，以证明 $\mathrm{Sing}(\mathfrak{M}_g)$ 分支的不可约性。
• 引入“最大”对 $(C, \gamma)$ 的概念，其中 $\gamma$ 是阶为素数的循环自同构，仅在一个分支上非平凡作用，用于定义分支分解中的开稠密层。
• 开发一种“简化算法”，将任意数值-组合类型转化为其最大代表形式，确保分支分解无冗余。
• 分析节点处的稳定化子群，并利用不动点数据区分自同构一致或不同的情况，尤其在例外情形如 $h_1=0, k=3$ 下。

实验结果

研究问题

• RQ1 对于具有素数阶 $d$ 的循环自同构 $\gamma$ 的稳定曲线 $C$，对 $(C, \gamma)$ 为最大对的必要且充分的数值-组合条件是什么？
• RQ2 如何显式且无冗余地分类 $\mathrm{Sing}(\overline{\mathfrak{M}_g})$ 的不可约分支，特别是那些位于边界 $\overline{\mathfrak{M}_g} \setminus \mathfrak{M}_g$ 中的分支？
• RQ3 当群 $G$ 为循环群时，数值不变量（分支序列、分量类型）在多大程度上决定了循环覆盖的拓扑类型？
• RQ4 具有多个椭圆尾的稳定曲线的自同构群结构是怎样的？它如何影响 $\overline{\mathfrak{M}_g}$ 的奇异点集？
• RQ5 最大循环覆盖的分类能否推广到非素数阶自同构的情形？在非素数情况下会遇到哪些复杂性？

主要发现

• 对于任意次数 $d$，固定数值类型的光滑曲线的循环覆盖空间是不可约的，推广了 Cornalba 在素数情形下的结果。
• $\mathrm{Sing}(\mathfrak{M}_g)$ 的不可约分支被无冗余地描述为：参数化固定拓扑类型的素数次循环覆盖的闭包。
• 当 $g \geq 3$ 时，唯一的例外是三性中唯一的双曲曲线，其已包含在一般框架中。
• $\mathrm{Sing}(\overline{\mathfrak{M}_g})$ 的不可约分支分为两类：$\mathrm{Sing}(\mathfrak{M}_g)$ 分支的闭包，以及完全位于边界中的新分支。
• 边界分支恰好来自阶为素数 $d$ 的最大循环作用，其在仅一个分量上非平凡作用，其余部分为恒等作用，且提供了完整的数值-组合刻画。
• 在例外情形 $h_1 = 0, k = 3$ 下，阶为 2 的自同构 $\gamma$ 在支撑分量的正规化上恰好有三个不动点，这是导致唯一性失效的关键障碍，需单独处理。