[논문 리뷰] Subgroups of the mapping class group from the geometrical viewpoint

Richard P. Kent, Christopher J. Leininger|ArXiv.org|2007. 02. 01.

Geometric and Algebraic Topology참고 문헌 54인용 수 6

한 줄 요약

이 논문은 히퍼볼릭 곡면 S의 매핑 클래스군 Mod(S)의 부분군과 클라인군 사이의 기하적 유사성을 탐구하며, 투르스톤의 프로젝티브 측도 라미네이션 공간에 대한 작용을 통한 역학적 행동에 초점을 맞춘다. 순수하게 편의안소프( purely pseudo-Anosov)인 Mod(S)의 부분군은 반드시 자유군이어야 하며, 이러한 부분군이 바움슬라그–솔리터 부분군을 포함할 수 없음을 증명한다. 이는 그로모프의 볼록 코컴팩트성에 관한 질문의 핵심 케이스를 해결한다.

ABSTRACT

We survey the analogy between Kleinian groups and subgroups of the mapping class group of a surface.

연구 동기 및 목표

• 클라인군과 매핑 클래스군 Mod(S)의 부분군 사이의 역학적 및 기하적 유사성을 조사하는 것.
• 특히 임bedding과 강성에 관해 순수하게 편의안소프 부분군 Mod(S)의 구조를 이해하는 것.
• 바움슬라그–솔리터 부분군의 부재를 분석하여 그로모프의 볼록 코컴팩트성에 관한 질문을 해결하는 것.
• 극한집합과 군론적 기법을 사용하여 Mod(S)의 부분군이 초월성 또는 볼록 코컴팩트성이 아닐 조건을 설정하는 것.

제안 방법

• 측도 라미네이션 공간 PML(S)에 대한 부분군 G < Mod(S)의 작용을 분석하며, G-불변인 최소성, 닫힘, G-불변 집합인 극한집합 Λ_G에 초점을 맞춘다.
• 테이히뮐러 공간 T(S)와 그 경계 PML(S)를 사용하며, 정수형 미분형식 q에 관련된 테이히뮐러 디스크 H_q의 역할에 중점을 둔다.
• 복소해석적 1형식 ω에 대해 P⟨Re(ω), Im(ω)⟩로 식별되는 PML(q)의 프로젝티브 구조를 적용하여, PML(q) → PML(S)의 임베딩이 조각별 프로젝티브임을 보인다.
• 베치 군과 애핀 군 Aff(q)를 페르쇼르 부분군으로서 H_q 위에 작용시키며, PML(q) 내의 극한집합 Λ_G(q)를 적용한다.
• 짧은 정확열 1 → π₁(S) → Γ_G → G → 1과 모듈리 공간 M_G 위의 관련 번들의 구조를 사용하여 군 코hom로지와 아이엘렌버그–맥클레인 공간을 분석한다.
• 매핑 클래스군 Mod(S)에서 편의안소프 원소의 중심화자를 가상 순환군으로서 이용하여, 순수하게 편의안소프 군 내에서 비자명한 Z⊕Z 부분군이 존재할 수 없음을 유도한다.

실험 결과

연구 질문

• RQ1 Mod(S)의 순수하게 편의안소프 부분군이 바움슬라그–솔리터 부분군 BS(p,q)를 포함할 수 있는가?
• RQ2 순수하게 편의안소프 부분군이 볼록 코컴팩트가 되는 조건은 무엇이며, Z⊕Z 부분군의 존재와는 어떤 관계가 있는가?
• RQ3 부분군 G < Mod(S)의 극한집합과 테이히뮐러 디스크 H_q의 기하학적 성질 사이의 관계는 무엇인가?
• RQ4 아이엘렌버그–맥클레인 공간의 성질과 모듈리 공간의 아스퍼리시티는 Mod(S)의 부분군의 구조에 어떤 제약을 가하는가?
• RQ5 클라인군과 매핑 클래스군 부분군 사이의 유사성은 테이히뮐러 이론에서 클라인군 이론보다 더 강력한 정리 유도에 얼마나 기여할 수 있는가?

주요 결과

• 모든 순수하게 편의안소프 부분군 G < Mod(S)가 바움슬라그–솔리터 부분군 BS(p,q)를 포함한다면, 반드시 p = q여야 하며, 이러한 부분군이 볼록 코컴팩트가 될 수는 없고, 자유군이 아닐 경우에만 가능하다.
• 순수하게 편의안소프 부분군 G에 대해 관련된 군 Γ_G는 G가 비볼록 코컴팩트 정규부분군 A를 포함할 경우, A가 B의 약한 힐(hull) 위에서 코컴팩트로 작용하지 못함으로써 비초월성이 발생하므로 초월성이 아닐 수 있다.
• 十分히 큰 부분군 G < Mod(S)의 극한집합 Λ_G는 PML(S)의 완전한, 닫힌, G-불변 부분집합이며, 전체 공간과 같지 않은 한 내부가 없는 집합이다.
• 포함사상 PML(q) → PML(S)는 조각별 프로젝티브 임베딩이며, PML(q)는 복소해석적 1형식 ω에 대해 자연스럽게 P⟨Re(ω), Im(ω)⟩로 식별된다.
• G가 토크션 자유이고 테이히뮐러 공간 위에서 자유롭게 작용한다면, 관련 모듈리 공간 M_G는 다양체이며 유한한 K(G,1) 공간을 가질 수 있으며, 이는 G가 아스퍼리크임을 의미한다.
• 유한한 아이엘렌버그–맥클레인 공간을 가진 A와 B를 가지며, 1 → A → B → C → 1의 확장과 동형인 무한한 순수하게 편의안소프 부분군 Mod(S)는 Γ_A 또는 Γ_B가 비초월적이며, 바움슬라그–솔리터 부분군을 포함할 수 없다.