[論文レビュー] Homological stability for moduli spaces of high dimensional manifolds

Søren Galatius, Oscar Randal‐Williams|arXiv (Cornell University)|Mar 30, 2012

Homotopy and Cohomology in Algebraic Topology被引用数 21

ひとこと要約

本論文は、$S^n \times S^n$ の連結和に微分同相な高次元多様体のモジュライ空間についてホモロジカル安定性を確立し、$n > 2$ のとき、その包含写像がホモロジーにおいて $k \leq (g-4)/2$ まで同型を誘導することを証明する。この結果は、曲面の写像類群に関するハラーの安定性定理を一般化し、ムーディの予想の高次元版を通じて、これらのモジュライ空間の安定有理コホモロジーを計算可能にする。

ABSTRACT

We prove a homological stability theorem for the moduli spaces of manifolds diffeomorphic to g(S^n x S^n), provided n > 2. This generalises Harer's stability theorem for the homology of mapping class groups. Combined with previous work of the authors, it gives a calculation of the homology of these moduli spaces in a range of degrees.

研究の動機と目的

• 高次元多様体 $\#^g S^n \times S^n$ のモジュライ空間について、ハラーの曲面に対する結果を一般化したホモロジカル安定性定理を確立すること。
• モジュライ空間 $\mathscr{M}_\infty^n$ の安定ホモロジーが無限ループ空間 $\Omega^\infty MT\theta^n$ のそれと一致することを同定することで、マドセン＝ウイスの定理を高次元多様体に拡張すること。
• 一般化されたMMM類を用いて、$\mathscr{M}_g^n$ の有理コホモロジーを安定範囲で計算すること。
• モジュライ空間の曲線のタウトロジカルな環に関するムーディの予想の高次元版を提示すること。
• $n > 2$ のとき、安定化写像 $H_k(\mathscr{M}_g) \to H_k(\mathscr{M}_{g+1})$ が $k \leq (g-4)/2$ で同型であることを証明すること。

提案手法

• 著者らは、$W_{g,1} = \#^g(S^n \times S^n) - \text{int}(D^{2n})$ の $[0,\infty) \times \mathbb{R}^N$ への埋め込みから構成される、増分的単体的空間 $X_\bullet$ を用いる。面写像は標準的コバリエーションによる貼り合わせによって誘導される。
• この単体的空間に関連するスペクトル系列を分析し、$E^1_{p,q} = H_q(X_p) \cong H_q(\mathscr{M}_{g-p-1})$ となる。そして、$p$ が偶数のとき $d^1$ が安定化写像と同型であり、$p$ が奇数のとき $0$ であることを示す。
• 主なステップでは、実現 $|X_\bullet| \to X_{-1}$ の連結性推定を用い、相対ホモロジーが $\leq \lfloor(g-3)/2\rfloor$ の次数で消えることを示し、これによりスペクトル系列が制御される。
• $g$ に関する帰納法を用い、$p+q \leq \lfloor(g-5)/2\rfloor$ で $E^\infty_{p,q}$ が消えることから、安定化写像が示された範囲で同型であることを導出する。
• ポントリャーギン＝トム構成を用いて、写像 $\alpha: \mathscr{M}_\infty^n \to \Omega^\infty MT\theta^n$ を定義し、基点成分でのホモロジーに同型を誘導することを示す。
• 一般化されたMMM類 $\kappa_c$ は、グラスマン多様体から引き戻された微分形式の積分により定義され、安定有理コホモロジーを生成することが示される。

実験結果

リサーチクエスチョン

• RQ1 $n > 2$ のとき、高次元多様体 $\#^g S^n \times S^n$ のモジュライ空間において、安定化写像 $H_k(\mathscr{M}_g) \to H_k(\mathscr{M}_{g+1})$ が $k \leq (g-4)/2$ で同型になるか。
• RQ2 ムーディの予想の類似として、$\mathscr{M}_g^n$ の安定有理コホモロジーが特定の次数範囲で計算可能か。
• RQ3 モジュライ空間 $\mathscr{M}_\infty^n$ の安定ホモロジーが無限ループ空間 $\Omega^\infty MT\theta^n$ のそれと一致することを同定する高次元版のマドセン＝ウイスの定理は存在するか。
• RQ4 グラスマン多様体上の特性類の積分により定義される一般化されたMMM類 $\kappa_c$ は、$\mathscr{M}_g^n$ の安定有理コホモロジーを生成するか。
• RQ5 増分的単体的空間 $X_\bullet$ のスペクトル系列は、$\mathscr{M}_g^n$ のホモロジカル安定性をどのように制御するか。

主な発見

• $n > 2$ のとき、安定化写像 $H_k(\mathscr{M}_g) \to H_k(\mathscr{M}_{g+1})$ は $k \leq (g-4)/2$ で同型であり、高次元多様体のモジュライ空間におけるホモロジカル安定性が確立される。
• 安定有理コホモロジー $\mathscr{M}_g^n$ は、Corollary 1.3 で述べられるように、$c \in H^{*}(BSO(2n);\mathbb{Q})$ に対する一般化されたMMM類 $\kappa_c$ によって生成される多項式代数と同型である。
• $\alpha: \mathscr{M}_\infty^n \to \Omega^\infty MT\theta^n$ は、基点成分でのホモロジーに同型を誘導し、マドセン＝ウイスの定理を高次元に一般化する。
• 増分的単体的空間 $X_\bullet$ のスペクトル系列は $E^1_{p,q} \cong H_q(\mathscr{M}_{g-p-1})$ を持ち、$p$ が偶数のとき $d^1$ は安定化写像と同型であり、$p$ が奇数のとき $0$ である。
• $n = 3$ または $n = 7$ のとき、関連する2次モジュール空間の連結性が向上するため、$g \geq 2k+2$ で安定化写像が同型であり、$g \geq 2k$ で全射である。
• 一般化されたMMM類 $\kappa_c$ は、$\mathrm{Gr}_{2n}^+(\mathbb{R}^{N+1})$ からの微分形式の引き戻しの積分により定義され、写像 $H^{k+2n}(BSO(2n);\mathbb{R}) \to H^k(\mathscr{M}_g^n;\mathbb{R})$ を定義する。