[논문 리뷰] Proving homological stability for homeomorphisms of manifolds

Alexander Kupers|arXiv (Cornell University)|2015. 10. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 7

한 줄 요약

이 논문은 6 이상의 짝수 차원 1-연결 위상다양체의 호모로지 군에 대해 호모로지 안정성을 확립하며, 미분형 다각체에 대한 Galatius-Randal-Williams의 증명을 위상적 카테고리로 확장한다. 이는 연결 합을 통해 $S^n \times S^n$을 추가함으로써 이러한 군의 분류공간의 호모로지가 안정화됨을 보이며, McDuff의 정리와 장애 이론을 통해 PL 호모로지 군과 이산 호모로지 군으로 결과를 확장한다.

ABSTRACT

Following the argument for diffeomorphisms by Galatius and Randal-Williams, we prove that homeomorphisms of 1-connected manifolds of even dimension at least 6 exhibit homological stability. We deduce similar results for PL homeomorphisms and homeomorphisms as a discrete group.

연구 동기 및 목표

• 고차원 다양체의 미분형 다각체 군에 대한 호모로지 안정성 결과를 위상다양체의 호모로지 군으로 확장한다.
• 2n ≥ 6인 1-연결 위상다양체에 대해 PL 호모로지 군의 호모로지 안정성을 확립한다.
• 이와 같은 다양체의 이산 호모로지 군의 분류공간 역시 동일한 안정화 과정에서 호모로지 안정성을 보이는가를 보인다.
• 미분형에서 위상형 및 PL 카테고리로의 다른 호모로지 안정성 결과를 확장하기 위한 기초 도구와 참고자료를 제공한다.

제안 방법

• 파라미터화된 호모토피 확장과 미세다발의 수평성 조건을 사용하여, 미분형 다각체 군에 대한 Galatius-Randal-Williams의 증명을 위상적 카테고리로 적응시킨다.
• 장애 이론과 안정화된 호모로지 정리(Stable Homeomorphism Theorem)를 활용하여, 특히 n ≥ 3인 차원에서 다양체 위의 PL 및 위상적 구조 간의 관계를 분석한다.
• McDuff의 정리(이산군과 연속군의 분류공간 간 호모로지 동치)를 적용하여 결과를 이산 호모로지 군으로 확장한다.
• 연결 합을 통해 $S^n \times S^n$을 추가하는 안정화 사상으로, 호모로지가 특정 범위에서 안정화되는 분류공간의 수열을 정의한다.
• H^3(W; \mathbb{Z}/2\mathbb{Z}) = 0 이거나 W가 3-연결일 경우, $B{\rm PL}_{\partial}(W) \to B{\rm TOP}_{\partial}(W)$ 간의 약한 동치를 이용한다.
• B{\rm TOP}(2n)의 n-연결 코어와 관련된 심플렉스 $MT(\theta^{\rm TOP})$ 를 사용하여 안정된 호모로지 유형을 추측한다.

실험 결과

연구 질문

• RQ1 고차원에서 미분형 다각체 군에 대한 호모로지 안정성 증명이 위상다양체의 호모로지 군으로 확장될 수 있는가?
• RQ2 2n ≥ 6인 1-연결 위상다양체에 대해 PL 호모로지 군에 동일한 안정성 결과를 확립할 수 있는가?
• RQ3 이와 같은 다양체의 이산 호모로지 군의 분류공간 역시 호모로지 안정성을 보이는가?
• RQ4 고차원 다양체 위의 PL 및 위상적 구조 간의 관계는 그 다각체 군의 호모토피 및 호모로지에 어떤 영향을 미치는가?
• RQ5 미분형에서 사용된 스캐닝 기법이 위상형 및 PL 다각체 군의 안정된 호모로지 계산에 적응 가능한가?

주요 결과

• 1-연결 위상다양체의 차원이 2n ≥ 6일 때, $B{\rm TOP}_{\partial}(M\#_g(S^n \times S^n))$ 의 호모로지가 * ≤ \frac{g-3}{2} 범위에서 안정화되며, * ≤ \frac{g-1}{2} 까지의 범위에서 전성 사상이 존재한다.
• H^3(W; \mathbb{Z}/2\mathbb{Z}) = 0 이거나 W가 3-연결일 경우, $B{\rm PL}_{\partial}(W) \to B{\rm TOP}_{\partial}(W)$ 간의 약한 동치를 통해 결과가 PL 호모로지 군으로 확장된다.
• 이산 다각체 군의 경우, McDuff의 호모로지 동치에 의해 호모로지 안정성이 보장된다: $B{\rm TOP}^\delta$ 와 $B{\rm TOP}$ 간의 동치.
• B{\rm TOP}_{\partial}(W_{g,1})의 안정된 호모로지는 $MT(\theta^{\rm TOP})$ 의 무한 순환 공간의 구성원과 동형일 것이라 추측된다.
• $B{\rm DIFF}_{\partial}(W_{g,1}) \to B{\rm TOP}_{\partial}(W_{g,1})$ 는 * ≤ \frac{g-4}{2} 까지의 유리수 코homology에서 전사이며, * ≤ \min(\frac{2n-7}{2}, \frac{2n-4}{3}) 까지 분리 가능한 단사 사상이므로, 추측된 안정된 호모로지 동치를 지지한다.
• PL 및 위상적 카테고리는 고차원에서 밀접하게 연결되어 있다: n ≥ 3일 때 $B{\rm PL}(2n)\langle n\rangle \to B{\rm TOP}(2n)\langle n\rangle$ 는 약한 동치이며, W가 3-연결일 경우 $B{\rm PL}_{\partial}(W) \to B{\rm TOP}_{−}(W)$ 도 약한 동치이다.