[論文レビュー] 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 と固定された同調的不変量 ε を持つ曲線のモジュライ空間の genus 穩定化を確立する。具体的には、大規模な商曲線の genus 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 の genus における安定化現象を確立すること。
• 同調的不変量 ε を用いて、モジュライ空間 Mg,ρ の既約性を特徴づけること。
• 群作用の安定同値類が、許容的同調的不変量 ε と一対一対応することを証明すること。
• 対称性をもつ曲線のモジュライ空間の研究における同調的安定化の基盤を構築すること。

提案手法

• 本稿では、[CLP12] で導入された同調的不変量 ε を用いて、位相的型まで同値な群作用を分類する。
• オルビフォールド基本群 πorb1(C′/G) を用いて、マッピングクラス群 Mapg′,d がハーツィング生成系に作用する様子を分析する。
• 著者たちは、与えられた群作用をもつ曲線のパラメータ空間として、可縮な空間であるテイヒミュラー空間 Tg,ρ を用い、ρ(G) の正規化群による商空間を考察する。
• 同調的不変量 ε を抽出するために、評価写像 ev: HS(G; g′, d) → G/[G, G] を定義し、マッピングクラス群の作用のもとで、それが交換子部分群を modulo として不変であることを示す。
• フクシアン群の表現と基本群 Πg′,d の構造を用いて、モノドロミー情報と不変量 ε の間の明示的関係を構成する。
• 不変性補題（補題 4.8）と交換子恒等式（補題 4.7）を用いて、ε がマッピングクラス群の変換のもとで交換子関係を除いて保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 忠実な G-作用をもつ曲線のモジュライ空間がいつ既約となるか。
• RQ2 商曲線 C′ = C/G の genus がモジュライ空間 Mg,ρ の構造にどのように影響するか。
• RQ3 同調的不変量 ε は、Mg,ρ の既約成分を分類する際に果たす役割は何か。
• RQ4 群作用の安定同値類と許容的同調的不変量 ε の間に一対一対応が存在するか。
• RQ5 マッピングクラス群の作用が、[F, R] を modulo としてハーツィング生成系の評価にどのように影響するか。

主な発見

• 大規模な商曲線の genus g′ に対して、固定された同調的不変量 ε をもつ忠実な G-作用をもつ曲線のモジュライ空間 Mg,ρ は、ε が許容的であるときかつそのときに限り既約である。
• 曲線への群作用の安定同値類は、許容的同調的不変量 ε の集合と一対一対応する。
• 評価写像 ev: HS(G; g′, d) → G/[G, G] は、Mg,ρ の既約成分を分類するwell-definedな不変量 ε を誘導する。
• 不変量 ε は、交換子部分群 [F, R] を modulo としてマッピングクラス群の作用のもとで保存され、したがって位相的変形に対して安定である。
• 証明により、マッピングクラス群がハーツィング生成系に作用する際に ε が交換子関係を除いて保存されることを示し、これにより ε を用いた分類が可能になる。
• 本稿では、genus 穩定化が成立することを確認した：g′ >> 0 のとき、モジュライ空間 Mg,ρ は特定のモノドロミー情報に依存せず、ε の許容性にのみ依存する。