[논문 리뷰] Homological stability for moduli spaces of high dimensional manifolds

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

Homotopy and Cohomology in Algebraic Topology인용 수 21

한 줄 요약

이 논문은 $n > 2$인 고차원 다발이 $S^n \times S^n$의 연결합으로 동형인 다발의 모듈리 공간에 대해 호모로지 안정성을 확립한다. 이는 다발의 포함 사상이 호모로지에서 $k \leq (g-4)/2$ 까지의 차수에서 동형을 유도함을 보여주며, 표면의 매핑 클래스 군에 대한 Harer의 안정성 정리의 일반화이자, Mumford의 추측에 대한 고차원 해석을 통해 이러한 모듈리 공간의 안정적 유리 코homology를 계산할 수 있게 한다.

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.

연구 동기 및 목표

• 차원이 $2n$인 다발이 $\#^g S^n \times S^n$와 미분형일 경우, 표면의 경우에 대한 Harer 결과를 일반화하여 이러한 다발의 모듈리 공간에 대한 호모로지 안정성 정리를 확립한다.
• 모듈리 공간 $\mathscr{M}_\infty^n$의 안정 호모로지를 무한 루프 공간 $\Omega^\infty MT\theta^n$의 호모로지와 동일하게 식별하여 Madsen–Weiss 정리를 고차원 다발으로 확장한다.
• 일반화된 MMM 클래스를 사용하여 모듈리 공간 $\mathscr{M}_g^n$의 안정 범위에서의 유리 코homology를 계산한다.
• 모듈리 공간의 타우토로지 링에 대한 Mumford의 추측에 대한 고차원 해석을 제공한다.
• 다시 말해, $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$ 속 임bedding을 이용해 구성된 증강된 단체 공간 $X_\bullet$을 사용한다. 이 공간의 면 사상은 표준 코버디즘을 붙여 만든다.
• 이 단체 공간에 관련된 스펙트럴 시퀀스를 분석하며, $E^1_{p,q} = H_q(X_p) \cong H_q(\mathscr{M}_{g-p-1})$로 주어진다. 그리고 $p$가 짝수일 때는 미분 $d^1$이 안정화 사상과 동형이며, 홀수일 때는 0임을 보인다.
• 핵심 단계는 실현 $|X_\bullet| \to X_{-1}$의 연결성 추정을 사용하여 상대 호모로지가 $\leq \lfloor(g-3)/2\rfloor$ 차수에서 0이 됨을 보여, 이는 스펙트럴 시퀀스를 제어한다.
• 증명은 $g$에 대한 귀납법을 사용하며, $p+q \leq \lfloor(g-5)/2\rfloor$에서 $E^\infty_{p,q}$가 0이 됨을 이용해 안정화 사상이 제시된 범위에서 동형임을 유도한다.
• Pontrjagin–Thom 구성법을 이용해 $\alpha: \mathscr{M}_\infty^n \to \Omega^\infty MT\theta^n$라는 사상을 정의하며, 이는 기본점 성분에서 호모로지에 대해 동형을 유도한다.
• 일반화된 MMM 클래스 $\kappa_c$는 그라스만만에서 끌어온 미분형식의 적분을 통해 정의되며, 안정적 유리 코homology를 생성함을 보였다.

실험 결과

연구 질문

• RQ1 다시 말해, $n > 2$일 때 $2n$차원 다발 $\#^g S^n \times S^n$의 모듈리 공간에서 안정화 사상 $H_k(\mathscr{M}_g) \to H_k(\mathscr{M}_{g+1})$가 $k \leq (g-4)/2$ 범위에서 동형이 되는가?
• RQ2 Mumford의 표면에 대한 추측과 유사하게, $\mathscr{M}_g^n$의 안정적 유리 코homology를 어떤 차수 범위에서 계산할 수 있는가?
• RQ3 모듈리 공간 $\mathscr{M}_\infty^n$의 안정 호모로지를 무한 루프 공간 $\Omega^\infty MT\theta^n$의 호모로지와 동일시하는 고차원 해석의 Madsen–Weiss 정리가 존재하는가?
• RQ4 그라스만만에서 특성류의 적분을 통해 정의된 일반화된 MMM 클래스 $\kappa_c$가 $\mathscr{M}_g^n$의 안정적 유리 코homology를 생성하는가?
• 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$의 안정적 유리 코homology는 Corollary 1.3에 따라 $H^{*}(BSO(2n);\mathbb{Q})$의 원소 $c$에 대해 일반화된 MMM 클래스 $\kappa_c$에 의해 생성되는 다항식 대수와 동형이다.
• $\alpha: \mathscr{M}_\infty^n \to \Omega^\infty MT\theta^n$는 기본점 성분에서 호모로지에 대해 동형을 유도하며, 이는 Madsen–Weiss 정리를 고차원으로 일반화한다.
• 증강된 단체 공간 $X_\bullet$의 스펙트럴 시퀀스는 $E^1_{p,q} \cong H_q(\mathscr{M}_{g-p-1})$로 주어지며, $p$가 짝수일 때는 미분 $d^1$이 안정화 사상과 동형이고, 홀수일 때는 0이다.
• 특히 $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})$를 정의한다.