[论文解读] Genus stabilization for moduli of curves with symmetries

Fabrizio Catanese, Michael Lönne+1 more|arXiv (Cornell University)|Jan 18, 2013

Geometric and Algebraic Topology参考文献 27被引用 5

一句话总结

本文通过证明：当商曲面的亏格 g′ 足够大时，对于固定的有限群 G 和同调不变量 ε，带有忠实群作用的曲线模空间是不可约的，当且仅当 ε 满足一个‘可允许性’条件，从而确立了曲线模空间在忠实群作用下的亏格稳定化。关键结果表明，此类作用的稳定类与可允许同调不变量之间存在双射关系，通过映射类群作用和群上同调中的不变量，解决了这些模空间分量的不可约性问题。

ABSTRACT

In a previous paper, arXiv:1206.5498, we introduced a new homological invariant $\e$ for the faithful action of a finite group G on an algebraic curve. We show here that the moduli space of curves admitting a faithful action of a finite group G with a fixed homological invariant $\e$, if the genus g' of the quotient curve is sufficiently large, is irreducible (and non empty iff the class satisfies the condition which we define as 'admissibility'). In the unramified case, a similar result had been proven by Dunfield and Thurston using the classical invariant in the second homology group of G, H_2(G, \ZZ). We achieve our result showing that the stable classes are in bijection with the set of admissible classes $\e$.

研究动机与目标

• 确定具有有限群 G 的忠实作用的曲线模空间的不可约分量。
• 建立商曲线 C′ = C/G 的亏格中的稳定化现象。
• 以同调不变量 ε 表征模空间 Mg,ρ 的不可约性。
• 证明群作用的稳定类与可允许同调不变量 ε 之间存在双射关系。
• 为研究具有对称性的曲线模空间中的同调稳定化奠定基础。

提出的方法

• 本文使用 [CLP12] 中引入的同调不变量 ε 来根据拓扑类型对曲面上的群作用进行分类。
• 通过轨道基本群 πorb1(C′/G) 分析映射类群 Mapg′,d 对 Hurwitz 生成系的作用。
• 作者采用 Teichmüller 空间 Tg,ρ 作为给定群作用下曲线的可缩参数空间，并研究其在 ρ(G) 的正规化子作用下的商空间。
• 他们定义了求值映射 ev: HS(G; g′, d) → G/[G, G] 以提取同调不变量 ε，并证明其在映射类群作用下模交换子群保持不变。
• 利用 Fuchsian 群表示和基本群 Πg′,d 的结构，本文构建了单值数据与不变量 ε 之间的显式关系。
• 证明依赖于不变性引理（引理 4.8）和交换子恒等式（引理 4.7），表明 ε 在映射类群变换下模交换子关系保持不变。

实验结果

研究问题

• RQ1 在何种条件下，具有忠实 G 作用的曲线模空间是不可约的？
• RQ2 商曲线 C′ = C/G 的亏格如何影响模空间 Mg,ρ 的结构？
• RQ3 同调不变量 ε 在分类 Mg,ρ 的不可约分量中起什么作用？
• RQ4 是否存在群作用的稳定类与可允许同调不变量 ε 之间的双射关系？
• RQ5 映射类群作用如何影响 Hurwitz 生成系在模 [F, R] 下的求值？

主要发现

• 当商亏格 g′ 足够大时，具有忠实 G 作用和固定同调不变量 ε 的曲线模空间 Mg,ρ 是不可约的，当且仅当 ε 是可允许的。
• 曲面上群作用的稳定类与可允许同调不变量 ε 的集合之间存在双射关系。
• 求值映射 ev: HS(G; g′, d) → G/[G, G] 诱导出一个良定义的不变量 ε，该不变量可分类 Mg,ρ 的不可约分量。
• 不变量 ε 在模交换子群 [F, R] 的映射类群作用下保持不变，确保其在拓扑形变下的稳定性。
• 证明表明，映射类群对 Hurwitz 生成系的作用保持 ε 不变，模交换子关系，从而可通过 ε 实现分类。
• 本文确认了亏格稳定化现象：当 g′ >> 0 时，模空间 Mg,ρ 仅依赖于 ε 的可允许性，而不依赖于具体的单值数据。