[论文解读] Twisted bundles and admissible covers

Dan Abramovich, Alessio Corti+1 more|ArXiv.org|Jun 25, 2001

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

一句话总结

本文引入了扭曲覆盖和可接受覆盖作为框架，用于构建稳定曲线带水平结构的光滑、精细模空间，通过使用代数栈和刚化方法解决粗模空间中的奇点问题。证明了对于任意亏格 $ g \geq 2 $，存在一个有限群 $ G $，使得连通可接受 $ G $-覆盖的模空间是 $ \overline{\mathbf{M}}_g $ 的光滑、伽罗瓦覆盖，从而在不依赖刚化的情况下提供了精细模解释。

ABSTRACT

The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves. The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced without proofs in math.AG/9811059, section 3, and developed in the first few sections of this paper. This includes a moduli description of the normalization of the Harris-Mumford space of admissible covers, and a study of moduli of stable curves with abelian and non-abelian level structure.

研究动机与目标

• 为带水平结构的稳定曲线的紧化模空间提供精细模空间解释，避免粗模空间中的奇点。
• 解决粗模空间中由于自同构导致的奇点问题，尽管形变空间本身是光滑的。
• 通过可接受 $ G $-覆盖为 $ \overline{\mathbf{M}}_g $ 构造带非交换水平结构的光滑模空间。
• 通过引入扭曲 $ G $-覆盖作为直接替代方法，消除模空间构造中对刚化的依赖。
• 基于德利涅–穆尔代姆栈和平展上同调，建立扭曲覆盖的几何与上同调框架。

提出的方法

• 使用扭曲 $ G $-覆盖作为伽罗瓦覆盖的推广，以参数化带水平结构的曲线，其中扭曲部分用于处理自同构。
• 应用扭曲覆盖的形变理论，分析参数空间的局部光滑性与模性质。
• 引入刚化概念以消除外自同构，从而实现精细模空间的构造。
• 利用德利涅–穆尔代姆栈理论表示具有有限稳定子群的模问题，确保光滑性。
• 利用恰当基变换和平展上同调，证明对可 tame 的德利涅–穆尔代姆栈，上同调在基变换下保持不变。
• 应用谱序列和极限论证，将栈的上同调与几何点处稳定子群的上同调联系起来。

实验结果

研究问题

• RQ1 能否在不依赖刚化的情况下，为带非阿贝尔水平结构的 $ \overline{\mathbf{M}}_g $ 构造光滑、精细模空间？
• RQ2 扭曲 $ G $-覆盖如何解决带水平结构的稳定曲线粗模空间中出现的奇点问题？
• RQ3 在稳定曲线模空间的背景下，可接受覆盖与扭曲覆盖之间有何关系？
• RQ4 能否证明对于合适的 $ G $，可接受 $ G $-覆盖的模空间是 $ \overline{\mathbf{M}}_g $ 的光滑、伽罗瓦覆盖？
• RQ5 德利涅–穆尔代姆栈的平展上同调与几何点处稳定子群的上同调之间有何关系？

主要发现

• 对于任意 $ g \geq 2 $，存在一个有限群 $ G $，使得连通可接受 $ G $-覆盖的模空间是光滑、精细模空间，并且是 $ \overline{\mathbf{M}}_g $ 的伽罗瓦覆盖。
• 此类模空间的构造通过直接使用扭曲 $ G $-覆盖作为基本对象，避免了对刚化的依赖。
• 本文建立了在一点处高阶直接像层 $ \mathbf{R}^i \pi_* F $ 的芽与群上同调 $ H^i(\Gamma, F_p) $ 之间的典范同构，其中 $ \Gamma $ 是该几何点处的稳定子群。
• 对于可 tame 的德利涅–穆尔代姆栈上的扭 sheaf，恰当基变换定理成立，确保了上同调在基变换下的不变性。
• 当 $ m \geq 3 $ 时，水平结构为 $ m $ 的模空间 $ \overline{\mathbf{M}}_g^{(m)} $ 被证明是光滑、精细模空间，解决了早期存在的奇点问题。
• 扭曲覆盖理论为泰希缪勒结构提供了几何实现，并使得此前通过正规化构造的空间能够获得直接的模解释。