[논문 리뷰] Fiber respecting quasi-isometries of surface group extensions

Lee Mosher|ArXiv.org|2003. 08. 07.

Geometric and Algebraic Topology참고 문헌 5인용 수 4

한 줄 요약

이 논문은 종수 $ g \geq 2 $인 한 개의 구멍이 있는 곡면의 매핑 클래스군 $ \mathcal{MCG}(S,p) $에 대해 준등거리 위상의 강성 정리를 수립한다. 모든 섬유를 존중하는 준등거리 위상이 군의 왼쪽 곱셈에 일관되게 가까이 있음을 증명한다. 킷슨 와이트의 결과와 결합하면, $ \mathcal{MCG}(S,p) $에 준등거리인 임의의 유한 생성 군은 $ \mathcal{MCG}(S,p) $에 유한차수 이미지를 가진 유한핵을 가진 준동형사상으로 들어가며, 이는 매핑 클래스군에 대한 준등거리 위상 강성 추측의 핵심 케이스를 확인한다.

ABSTRACT

Let S be a closed, oriented surface of genus at least 2, and consider the extension 1 -> pi_1 S -> MCG(S,p) -> MCG(S) -> 1, where MCG(S) is the mapping class group of S, and MCG(S,p) is the mapping class group of S punctured at p. We prove that any quasi-isometry of MCG(S,p) which coarsely respects the cosets of the normal subgroup pi_1 S is a bounded distance from the left action of some element of MCG(S,p). Combined with recent work of Kevin Whyte this implies that if K is a finitely generated group quasi-isometric to MCG(S,p) then there is a homomorphism K -> MCG(S,p) with finite kernel and finite index image. Our work applies as well to extensions of the form 1 -> pi_1 S -> Gamma_H -> H -> 1, where H is an irreducible subgroup of MCG(S)--we give an algebraic characterization of quasi-isometries of Gamma_H that coarsely respect cosets of pi_1 S.

연구 동기 및 목표

• 종수 $ g \geq 2 $인 한 개의 구멍이 있는 곡면 $ S $의 매핑 클래스군 $ \mathcal{MCG}(S,p) $에 대해 준등거리 위상 강성 결과를 수립하는 것.
• 섬유를 존중하는 준등거리 위상의 군을 특성화하여, 이들이 군 원소에 의한 왼쪽 곱셈에 일관되게 가까이 있음을 보이는 것.
• 일반적인 표면 군 확장 $ 1 \to \pi_1(S) \to \Gamma_H \to H \to 1 $로 결과를 확장하는 것. 여기서 $ H $는 $ \mathcal{MCG}(S) $의 기초가 되는 부분군이다.
• 임의의 유한 생성 군이 $ \mathcal{MCG}(S,p) $에 준등거리일 경우, $ \mathcal{MCG}(S,p) $로의 유한핵, 유한지수 이미지를 가진 준동형사상이 존재함을 증명하여, 기하군 이론에서의 추측을 확인하는 것.

제안 방법

• 표면의 매핑 클래스군을 통해 $ \mathcal{MCG}(S,p) $를 보편 표면 군 확장으로 실현하기 위해 Dehn-Nielsen-Epstein-Baer 정리를 사용한다.
• 군의 $ \pi_1(S) $의 쌍대군을 근사적으로 유지하는 준등거리 위상, 즉 '섬유를 존중하는' 준등거리 위상 이론을 적용한다.
• 매핑 클래스군 $ \mathcal{MCG}(S) $가 테이히뮐러 공간 $ \mathcal{T}(S) $에 작용하는 방식을 활용하며, 편의안소프 원소의 거친 축을 통해 군 원소와 테이히뮐러 계량에서의 지오데식 광선을 연결한다.
• 편의안소프 원소의 거친 축 위에 초구형 평면의 번들과 $ \Gamma_H $의 카일리 그래프 사이에 준등거리 위상을 구성하며, 관련된 거리공간의 하이퍼볼릭성을 이용한다.
• 고정된 쌍대군의 편의안소프 원소의 동치류에 대해 거친 축을 등변적으로 선택하여 개별 군 원소에 대한 의존성을 제거하고 일관된 상한을 확보한다.
• 정량적 버전의 추론을 적용하여, 준등거리 위상이 군 원소에 의한 왼쪽 곱셈에 일관되게 가까이 있음을 보이며, 이 상한은 준등거리 상수와 곡면의 종수에만 의존한다.

실험 결과

연구 질문

• RQ1 모든 $ \mathcal{MCG}(S,p) $의 준등거리 위상은 섬유를 존중하는가? 즉, $ \pi_1(S) $의 쌍대군을 유한한 하우스도르프 거리 이내로 유지하는가?
• RQ2 모든 섬유를 존중하는 $ \mathcal{MCG}(S,p) $의 준등거리 위상은 군 원소에 의한 왼쪽 곱셈에 일관되게 근접하는가?
• RQ3 준등거리 위상 강성이 $ \mathcal{MCG}(S,p) $에 대해 성립하는가? 즉, 이에 준등거리인 임의의 유한 생성 군은 유한핵, 유한지수 이미지를 가진 준동형사상으로 들어가는가?
• RQ4 $ \Gamma_H $, 즉 $ \pi_1(S) $의 부분군 $ H < \mathcal{MCG}(S) $에 의한 확장에서, $ \Gamma_H $의 구조는 섬유를 존중하는 준등거리 위상의 군에 어떤 영향을 미치는가?

주요 결과

• 섬유를 존중하는 $ \mathcal{MCG}(S,p) $의 준등거리 위상 군은 왼쪽 곱셈을 통해 $ \mathcal{MCG}(S,p) $ 자체와 동형이며, 이는 모든 이러한 준등거리 위상이 군 원소에 의한 왼쪽 곱셈에 일관되게 가까이 있음을 의미한다.
• 모든 $ K \geq 1 $, $ C \geq 0 $에 대해, $ A \geq 0 $이 존재하여, 모든 $ (K,C) $-준등거리 위상 $ \phi: \mathcal{MCG}(S,p) \to \mathcal{MCG}(S,p) $가 모든 $ g \in \mathcal{MCG}(S,p) $와 어떤 $ F \in \mathcal{MCG}(S,p) $에 대해 $ d(\phi(g), Fg) \leq A $를 만족한다. 여기서 $ A $는 $ K, C $와 곡면의 종수에만 의존한다.
• Kevin Whyte의 방법을 통해 균일 유한 호몰로지 기반으로, $ \mathcal{MCG}(S,p) $의 모든 자기 준등거리 위상은 섬유를 존중한다. 이는 $ \mathrm{QI}_f(\mathcal{MCG}(S,p)) = \mathrm{QI}(\mathcal{MCG}(S,p)) $를 의미한다.
• 임의의 유한 생성 군 $ G $가 $ \mathcal{MCG}(S,p) $에 준등거리일 경우, $ G \to \mathcal{MCG}(S,p) $로의 준동형사상이 존재하며, 이는 유한핵과 유한지수 이미지를 가진다. 이는 매핑 클래스군에 대한 준등거리 위상 강성 추측의 핵심 케이스를 확인한다.
• 결과는 $ H < \mathcal{MCG}(S) $가 기초가 되며, 편의안소프 원소를 포함하는 경우 일반적인 확장 $ \Gamma_H = \pi_1(S) \rtimes H $로 확장되며, 테이히뮐러 공간에서의 작용을 통해 섬유를 존중하는 준등거리 위상의 특성화가 가능하다.