[論文レビュー] The stable moduli space of Riemann surfaces: Mumford's conjecture

Ib Madsen, Michael Weiss|ArXiv.org|Dec 23, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用数 21

ひとこと要約

この論文は、リーマン面上の安定的モジュライ空間の有理コホモロジーが、次数 $2i$ のクラス $\kappa_i$ によって生成される多項式代数であるという Mumford の予想を証明する。ホモトピー論、Vassiliev の h-原理、Harer の安定性定理を用いて、安定写像類群のプラス構成が、そのコホモロジーを実現する無限ループ空間を導くことを確立し、予想を最も強い形で確認する。

ABSTRACT

The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable mapping class group.

研究の動機と目的

• 安定的リーマン面上のモジュライ空間の有理コホモロジーに関する Mumford の予想の最も強い形を証明すること。
• 安定写像類群 $\varGamma_\infty$ におけるプラス構成が無限ループ空間を導くことを確立すること。
• 得られた一般化コホモロジー理論が $\Omega^\infty \mathbb{C}P^\infty_{-1}$ に同定されることを示し、$\kappa_i$ の多項式代数を実現すること。
• ホモトピー論的技法、特にホモトピー余極限と調和理論を用いて、曲面の自己同型群の分類空間を分析すること。
• 中程度の特異性を持つ関数の空間に対して Vassiliev の h-原理を適用し、リーマン面上のモジュライ空間のモデルを構築すること。

提案手法

• 著者たちは、安定写像類群のホモトピー型 $B\varGamma_\infty^+$ を Quillen のプラス構成によって構成する。
• Harer の安定性定理を適用して、低次のコホモロジーが安定することを示し、$B\varGamma_\infty^+$ が余極限として定義可能であることを保証する。
• 鍵となる道具は、制御された特異性を持つ関数の空間に対する Vassiliev の h-原理であり、これによりモジュライ空間と特定のトム空間との間のホモトピー同値が構成可能である。
• 証明は、モース関数と手術の空間に基づく部分にモジュライ空間を分解し、ホモトピー余極限を用いてそれらを貼り合わせることに依拠する。
• 輸送射影とホモトピー余極限分解を用いて、曲面自己同型群の分類空間がトムスペクトルとホモトピー同値であることを示す。
• $B\varGamma_\infty^+$ と $\Omega^\infty \mathbb{C}P^\infty_{-1}$ の同定は、写像 $\alpha_\infty$ とコホモロジールーブの比較によってなされる。

実験結果

リサーチクエスチョン

• RQ1 安定的リーマン面上のモジュライ空間の有理コホモロジーは、次数 $2i$ のクラス $\kappa_i$ によって生成される多項式代数であるか？
• RQ2 安定写像類群の分類空間にプラス構成を施した後、それが無限ループ空間として実現可能か？
• RQ3 中程度の特異性を持つ関数の空間に対する Vassiliev の h-原理は、リーマン面上のモジュライ空間のモデルを提供するか？
• RQ4 ホモトピー型 $B\varGamma_\infty^+$ は、複素射影空間に負のねじれを加えたものに対応する無限ループ空間 $\Omega^\infty \mathbb{C}P^\infty_{-1}$ と同定可能か？
• RQ5 写像 $\alpha_\infty: \mathbb{Z} \times B\varGamma_\infty^+ \to \Omega^\infty \mathbb{C}P^\infty_{-1}$ は弱ホモトピー同値か？

主な発見

• 安定的リーマン面上のモジュライ空間の有理コホモロジーは、$\mathbb{Q}[\kappa_1, \kappa_2, \kappa_3, \dots]$ の多項式代数と同型であり、$\kappa_i$ は次数 $2i$ を持つ。これにより Mumford の予想が確認される。
• 安定写像類群 $\varGamma_\infty$ におけるプラス構成により得られる空間 $B\varGamma_\infty^+$ は無限ループ空間であるため、一般化コホモロジー理論を表す。
• 空間 $B\varGamma_\infty^+$ に関連する一般化コホモロジー理論は、$\Omega^\infty \mathbb{C}P^\infty_{-1}$ に同定され、これは複素射影空間に負のねじれを加えたものに対応する無限ループ空間である。
• 写像 $\alpha_\infty: \mathbb{Z} \times B\varGamma_\infty^+ \to \Omega^\infty \mathbb{C}P^\infty_{-1}$ は弱ホモトピー同値であり、両者の空間の同定が確立される。
• 証明は、モース関数と手術の空間に基づく部分にモジュライ空間を分解し、調和理論によってホモトピー不変性を保証するホモトピー余極限分解に依拠する。
• パラメータ付き多重手術と安定範囲内での $d$-球面の消滅を用いて、関連する空間の連結性が制御され、Harer-Ivanov の安定性定理が用いられる。