[논문 리뷰] Infinite topology of curve complexes and non-Poincare duality of Teichmueller modular groups

Nikolai V. Ivanov, Lizhen Ji|ArXiv.org|2007. 07. 29.

Geometric and Algebraic Topology참고 문헌 15인용 수 8

한 줄 요약

이 논문은 $ g \geq 2 $ 인 닫힘 양방향 표면의 곡선 복합체가 무한히 많은 $ (2g-2) $-구면체의 붙인 복합체와 호모토피 동치임을 증명한다. 이는 $ \mathrm{Mod}_g $ 가 가상의 이중성군이지만, 유한 차원 이중성군이 아니며, 가상의 코homological 차원이 $ 4g-5 $ 임을 시사한다. 이 결과는 테이히뮐러 모듈라 군과 산술 군 간의 유사성에서 핵심적인 위상적 장벽을 해결한다.

ABSTRACT

In this note, we fill in a gap in the literature by proving that the Teichmueller modular groups (mapping class groups) are not Poincare duality groups and the complexes of curves of surfaces have infinite homotopy type (i.e. are not homotopy equivalent to a finite CW-complex).

연구 동기 및 목표

• 닫힘 양방향 표면에서 $ g \geq 2 $ 인 경우 곡선 복합체 $ \mathcal{C}(S) $ 의 호모토피 유형을 규명하는 것.
• 가장 잘 알려진 가상의 이중성군임을 고려할 때, 매핑 클래스 군 $ \mathrm{Mod}_g $ 가 Poincaré 이중성군을 만족하는지 확인하는 것.
• Borel-Serre 이론에서 구면 티츠 빌딩이 수행하는 역할과 유사하게 곡선 복합체가 기여하는 바를 조사하여, 테이히뮐러 모듈라 군과 산술 군 간의 유사성을 확장하는 것.
• 곡선 복합체의 위상 차원 $ 3g-4 $ 와 호모토피 차원 $ 2g-2 $ 간의 모순을 밝혀내며, 티츠 빌딩의 Solomon-Tits 정리와 대비시키는 것.

제안 방법

• Borel-Serre 이중성 이론과 Farrell 동형을 사용하여 매핑 클래스 군의 코homology 를 두꺼운 테이히뮐러 공간의 경계의 코homology 와 연결한다.
• 등식 $ H^\nu(\Gamma, \mathbb{Z}\Gamma) \cong \widetilde{H}_n(\partial T_g(\varepsilon), \mathbb{Z}) \cong \widetilde{H}_n(\mathcal{C}(S), \mathbb{Z}) $ 를 적용하며, 여기서 $ \nu = 4g-5 $, $ n = 2g-2 $, $ \Gamma $ 는 $ \mathrm{Mod}_g $ 의 퇴화 없는 유한지수 부분군이다.
• Farrell 정리 사용: $ \Gamma $ 가 유한 생성된 $ H^\nu(\Gamma, \mathbb{Z}\Gamma) $ 를 갖는 이중성군이라면, Poincaré 이중성군이다.
• 곡선 복합체 $ \mathcal{C}(S) $ 가 유한한 $ (2g-2) $-구면체의 붙인 복합체와 호모토피 동치라고 가정하면, $ H^\nu(\Gamma, \mathbb{Z}\Gamma) \cong \mathbb{Z}^k $ (유한한 $ k $) 가 되며, 이는 $ \Gamma $ 가 Poincaré 이중성군임을 시사한다.
• Mess 부분군의 존재를 통해 모순을 유도한다. 이들은 유한지수 부분군이지만 코homological 차원이 $ 4g-5 $ 이하인 군으로, Poincaré 이중성군의 조건을 위반한다.
• 모순과 복합체의 가산성을 고려하여, $ \mathcal{C}(S) $ 는 무한히 많은 $ (2g-2) $-구면체의 붙인 복합체와 호모토피 동치여야 한다고 결론 내린다.

실험 결과

연구 질문

• RQ1 $ g \geq 2 $ 인 표면의 곡선 복합체 $ \mathcal{C}(S) $ 는 유한한 구면체 붙인 복합체와 호모토피 동치인가?
• RQ2 $ \mathrm{Mod}_g $ 는 가상의 이중성군이며, 차원이 $ 4g-5 $ 임을 고려할 때 Poincaré 이중성군을 만족하는가?
• RQ3 Borel-Serre 이론에서 산술 군의 경우와 유사하게, 곡선 복합체의 호모토피 유형은 티츠 빌딩과 어떻게 비교되는가?
• RQ4 왜 곡선 복합체는 호모토피 차원이 $ 2g-2 $ 이지만 위상 차원은 $ 3g-4 $ 인가? 이는 티츠 빌딩과는 달리, 두 차원이 일치하지 않는다.
• RQ5 코homological 모순 추론에 의존하지 않고, 직접적으로 $ \mathcal{C}(S) $ 의 무한한 호모토피 유형을 감지할 수 있는가?

주요 결과

• 닫힘 표면에서 $ g \geq 2 $ 인 경우 곡선 복합체 $ \mathcal{C}(S) $ 는 무한히 많은 $ (2g-2) $-구면체의 붙인 복합체와 호모토피 동치이다.
• $ \mathrm{Mod}_g $ 의 가상의 코homological 차원은 $ 4g - 5 $ 이며, 이 차원에서 가상의 이중성군이다.
• $ \Gamma \subset \mathrm{Mod}_g $ 가 퇴화 없는 유한지수 부분군일 때, 코homology 군 $ H^{4g-5}(\Gamma, \mathbb{Z}\Gamma) $ 는 감소된 호모로지 $ \widetilde{H}_{2g-2}(\mathcal{C}(S), \mathbb{Z}) $ 와 동형이며, 이는 $ \mathcal{C}(S) $ 가 유한한 붙인 복합체일 경우에만 유한 생성된다.
• $ \mathcal{C}(S) $ 가 유한한 붙인 복합체라고 가정하면, Mess 부분군의 존재와 모순된다. 이들은 유한지수 부분군이지만 코homological 차원이 $ 4g-5 $ 이하이므로, Poincaré 이중성군 조건을 위반한다.
• 따라서 $ \mathcal{C}(S) $ 는 유한한 붙인 복합체일 수 없으며, 가산 무한히 많은 $ (2g-2) $-구면체의 붙인 복합체여야 한다.
• 결과적으로, 테이히뮐러 모듈라 군과 산술 군 간의 유사성은 곡선 복합체가 티츠 빌딩과 유사한 유한 호모토피 유형을 가지지 않기 때문에 붕괴된다. 이는 유사한 코homological 행동을 보이지만, 유한한 호모토피 유형은 갖지 못한다.