[論文レビュー] Twisted bundles and admissible covers

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

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

ひとこと要約

この論文は、特異点を解消するための代数的スタックと剛性化を用いて、安定曲線のレベル構造を持つ滑らかで細かいモジュライ空間を構成する枠組みとして、ねじれ被覆と許容被覆を導入する。任意の genus $ 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.

研究の動機と目的

• コarseモジュライ空間の特異点を避けるために、コンパクト化された安定曲線のモジュライ空間にレベル構造を導入するための細かいモジュライ空間解釈を提供すること。
• 安定曲線のコarseモジュライ空間が、自己同型のため、しばしば特異的であるという問題を解決すること。これは、変形空間が滑らかであるにもかかわらずである。
• 非アーベルレベル構造を持つ $ \overline{\mathbf{M}}_g $ の滑らかなモジュライ空間を、許容 $ G $-被覆を用いて構成すること。
• ねじれ $ G $-被覆を直接的な代替手段として導入することで、モジュライ構成における剛性化の必要性を排除すること。
• デリーニ・ムーディ・スタックとエタールコhomologyを用いて、ねじれ被覆の幾何学的かつコhomロジカルな枠組みを確立すること。

提案手法

• レベル構造をパラメータ化するため、ガロア被覆の一般化としてねじれ $ G $-被覆を用い、ねじれが自己同型を補償する。
• ねじれ被覆の変形理論を適用して、パラメータ空間の局所的滑らかさとモジュライ性を分析する。
• 外自己同型を排除するために剛性化の概念を導入し、細かいモジュライ空間の構成を可能にする。
• 有限の安定化群を持つモジュライ問題を表現するためにデリーニ・ムーディ・スタックの理論を用い、滑らかさを保証する。
• 適切な基底変換とエタールコhomologyを用いて、タームなデリーニ・ムーディ・スタックに対して、コホモロジーの基底変換不変性を証明する。
• スペクトル系列と極限の議論を用いて、スタックのコホモロジーと幾何的点における安定化群のコホモロジーを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 剛性化に依存せずに、非アーベルレベル構造を持つ $ \overline{\mathbf{M}}_g $ に対して滑らかで細かいモジュライ空間を構成できるか？
• RQ2 ねじれ $ G $-被覆は、安定曲線のレベル構造を持つコarseモジュライ空間に生じる特異点をどのように解消するか？
• 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 $ は幾何的点における安定化群である。
• ねじれのないデリーニ・ムーディ・スタックに対して、torsion層のための適切な基底変換定理が成り立ち、コホモロジーの基底変換不変性が保証される。
• レベル-$ m $ 構造のモジュライ空間 $ \overline{\mathbf{M}}_g^{(m)} $ は $ m \geq 3 $ のとき滑らかで細かいモジュライ空間であることが示され、以前の特異点の問題が解決された。
• ねじれ被覆の理論により、ティヒミュラー構造の幾何的実現が可能となり、正規化を用いて以前に構成された空間の直接的なモジュライ解釈が可能になった。