[论文解读] 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$。该结果推广了哈雷（Harer）关于曲面映射类群的稳定性定理，并通过高维版的芒福德猜想，实现了对这些模空间稳定有理上同调的计算。

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$ 的 $2n$-维流形模空间的同调稳定性定理，推广哈雷对曲面的结果。
• 通过将模空间 $\mathscr{M}_\infty^n$ 的稳定同调与无限环空间 $\Omega^\infty MT\theta^n$ 的同调相等化，将曼森-惠斯（Madsen–Weiss）定理推广至高维流形。
• 利用广义 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$ 为奇数时为零。
• 关键步骤利用了实现空间 $|X_\bullet| \to X_{-1}$ 的连通性估计，表明相对同调在度数 $\leq \lfloor(g-3)/2\rfloor$ 内消失，从而控制谱序列。
• 证明通过 $g$ 的归纳法进行，利用 $E^\infty_{p,q}$ 在 $p+q \leq \lfloor(g-5)/2\rfloor$ 时的消失性，推导出稳定化映射在所述范围内的同构性。
• 该构造依赖于庞特亚金-托姆构造，定义映射 $\alpha: \mathscr{M}_\infty^n \to \Omega^\infty MT\theta^n$，其在基点分支上诱导同构。
• 广义 MMM 类 $\kappa_c$ 通过从格拉斯曼流形拉回微分形式的积分定义，并证明其生成稳定有理上同调。

实验结果

研究问题

• RQ1 当 $n > 2$ 时，模空间 $\#^g S^n \times S^n$ 的 $2n$-维流形的稳定化映射 $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$ 的稳定有理上同调同构于由广义 MMM 类 $\kappa_c$ 生成的多项式代数，如推论 1.3 所述。
• 映射 $\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$ 为奇数时为零。
• 当 $n = 3$ 或 $n = 7$ 时，由于相关二次模空间连通性的提升，稳定化映射在 $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})$。