[論文レビュー] A construction of the Deligne--Mumford orbifold

Joel W. Robbin, Dietmar Salamon|ArXiv.org|Jul 6, 2004

Geometric and Algebraic Topology参考文献 3被引用数 11

ひとこと要約

この論文は、普遍的写像性質を用いてリーマン面のモジュライ空間のデリーニュ–マダム型コンパクト化を構成し、それが自然にオーロラフォールドであることを証明する。ノードを持つ族、普遍的展開、および曲面上の正則構造を分析することにより、著者たちは、固有性と収束の議論を通じて、モジュライ空間 $\bar{\mathcal{M}}_{g,n}$ がハウスドルフかつ逐次コンパクトなオーロラフォールドであることを確立する。DM収束下での極限の一意性が保証される。

ABSTRACT

We define the Deligne Mumford orbifold axiomatically by a universal mapping property, show that this universal mapping property is equivalent to an infinitessimal universal mapping property, and use the latter to give an existence proof.

研究の動機と目的

• デリーニュ–マダム型コンパクト化 $\bar{\mathcal{M}}_{g,n}$ を普遍的写像性質によって特徴づけること。
• 群コホーズ作用と安定性条件の分析を通じて、$\bar{\mathcal{M}}_{g,n}$ が自然にオーロラフォールドであることを確立すること。
• ノードを持つリーマン面の列の収束を用いて、モジュライ空間の逐次コンパクト性とハウスドルフ性を証明すること。
• マーク付きノードを持つリーマン面の列がDM収束する場合、その極限が同型を除いて一意的であることを示し、コンパクト化の定義の正当性を保証すること。
• テイコミュラー空間の枠組みをノード構造および安定構造を含める形に拡張し、曲面上の複素構造とオーロラフォールド幾何学を結びつけること。

提案手法

• ノードを持つリーマン面の普遍的族を用いて、底空間 $B$ 上に群コホーズ作用を定義し、ファイバー同型から誘導される射を導入する。
• DM収束（デリーニュ–マダム収束）の概念を用いて、マーク付きノードを持つ曲面の列の極限を分析する。
• 曲面間の正則埋め込み列 $u_k$ を用いて、除去可能特異点定理を応用し、$(j,j')$-正則微同相写像への収束を示す。
• バブルの議論を適用して、極限に非自明な $J$-正則球面が存在しないことを証明し、マーク付き点やノード構造の損失を防ぐ。
• 源から終域への写像 $s \times t: \Gamma \to B \times B$ の固有性を用いて、商 $B/\Gamma$ がハウスドルフかつ逐次コンパクトであることを導出する。
• Earle–Eellsの定理（$\mathcal{J}(\Sigma)/\mathrm{Diff}_0(\Sigma)$ は複素多様体）を用い、これをコンパクト化されたモジュライ空間へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 デリーニュ–マダム型コンパクト化 $\bar{\mathcal{M}}_{g,n}$ は、どのように普遍的写像性質によって特徴づけられるか？
• RQ2 マーク付きノードを持つリーマン面の列がDM収束する場合、その極限が同型を除いて一意的であるための条件は何か？
• RQ3 曲面間の正則埋め込み列が滑らかに極限の全射同相写像に収束するための条件は何か？
• RQ4 なぜDM収束下で、マーク付きノードを持つリーマン面の列の極限にバブルが生じないのか？
• RQ5 マーク付き点を保存する微同相写像の群コホーズ作用から、$\bar{\mathcal{M}}_{g,n}$ のオーロラフォールド構造がどのように生じるのか？

主な発見

• モジュライ空間 $\bar{\mathcal{M}}_{g,n}$ は、普遍的写像性質を満たし、ハウスドルフかつ逐次コンパクトな商構造を有するため、自然にオーロラフォールドである。
• 写像 $s \times t: \Gamma \to B \times B$ は固有である。このことは、商 $B/\Gamma$ がハウスドルフであることを示し、位相的に良好な性質を保証する。
• $\bar{\mathcal{M}}_{g,n}$ の逐次コンパクト性は、ノード族の収束部分列の存在に起因し、DM位相における極限が存在することに帰着する。
• 正則埋め込みの列の極限においてバブルが生じないのは、画像が特別な点（マーク付き点またはノード点）の数に反するためである。
• 2つのマーク付きノードを持つリーマン面の列が同じ極限にDM収束する場合、その極限は同型である。これは、コンパクト化の一意性を示す。
• 正則埋め込み列 $u_k$ の極限は、$C^\infty$ 収束により、$(j,j')$-正則微同相写像 $u_0$ に収束する。この極限写像は、除去可能特異点定理により特異点を越えて拡張可能である。