[논문 리뷰] Shadows of mapping class groups: capturing convex cocompactness

Richard P. Kent, Christopher J. Leininger|ArXiv.org|2005. 05. 06.

Geometric and Algebraic Topology참고 문헌 28인용 수 7

한 줄 요약

이 논문은 유한형 표면의 매핑 클래스 군 내에서 볼록 코컴팩트 부분군의 등가 조건을 확립한다. 이러한 부분군은 극한 집합의 약한 힐(hull) 위에서 코컴팩트하게 작용하며, 유일한 구형 극한 점(conical limit points)을 가지며, 테이히뮐러 공간과 그들의 이완도 영역(domain of discontinuity)의 합집합 위에서도 코컴팩트하게 작용한다. 주요 기여는 코어비안 군과 유사한 기하적 및 역학적 성질을 통해 볼록 코컴팩트성의 완전한 특성화를 제시하는 것이다.

ABSTRACT

We strengthen the analogy between convex co-compact Kleinian groups and convex co-compact subgroups of the mapping class group of a surface (in the sense of B. Farb and L. Mosher).

연구 동기 및 목표

• 볼록 코컴팩트 코어비안 군과 매핑 클래스 군 부분군 간의 유사성을 확장하기 위해, 볼록 코컴팩트성에 대한 등가 기하적 및 역학적 조건을 규명하는 것.
• 매핑 클래스 군 설정에서 약한 힐 위의 코컴팩트 작용이 볼록 코컴팩트성임을 의미하는지 여부를 해결하는 것.
• 유한 생성된 매핑 클래스 군 부분군에 대한 볼록 코컴팩트성 정의에서 구형 극한 점과 이완도 영역의 역할을 명확히 하는 것.
• 약한 힐의 위상적 및 기하적 구조와 그의 준편평성(quasi-convexity) 및 준등거리 매립(quasi-isometric embeddings)과의 관계를 조사하는 것.

제안 방법

• Farb와 Mosher의 구성에 일반화하여, $\Lambda_G$ 내의 극한 점 쌍을 연결하는 모든 길이의 합집합으로서 약한 힐 $\mathfrak{H}_G$를 정의한다.
• Masur의 점근선 레이 정리와 Minsky의 수축 정리를 사용하여, $\mathcal{T}(S)$의 두꺼운 부분에서의 기하 삼각형이 균일하게 얇다는 것을 증명함으로써 준편평성을 유도한다.
• 만약 $G$가 $\mathfrak{H}_G$ 위에서 코컴팩트하게 작용한다면, $\mathfrak{H}_G$는 준편평하고 $G$-오빗은 준등거리 매립됨을 증명한다.
• 테이히뮐러 공간과 $\Delta_G$의 합집합 위에서의 코컴팩트 작용이 볼록 코컴팩트성과 동치임을 증명한다. 여기서 $\Delta_G$는 이완도 영역이다.
• $\mathfrak{H}_G$가 $\mathcal{T}(S) \cup \Delta_G$ 내에서 닫혀 있고 $\mathfrak{H}_G/G$가 컴팩트함을 이용하여 작용의 기하학적 성질을 특성화한다.
• 경계 $\partial G$의 구조를 끝 레이어링 공간 $\mathcal{EL}(S)$와 연결하여, $\partial G$가 $\mathcal{EL}(S)$에 매립됨을 보인다.

실험 결과

연구 질문

• RQ1 유한 생성된 부분군 $G < \mathrm{Mod}(S)$가 볼록 코컴팩트일 필요충분조건이 $G$가 자신의 약한 힐 $\mathfrak{H}_G$ 위에서 코컴팩트하게 작용하는가?
• RQ2 모든 $G$의 극한 점이 구형인 조건이 볼록 코컴팩트성으로 특성화될 수 있는가?
• RQ3 $G$가 $\mathcal{T}(S) \cup \Delta_G$ 위에서 코컴팩트하게 작용하는 것과 $G$가 볼록 코컴팩트인 것이 동치인가?
• RQ4 $\mathfrak{H}_G/G$의 컴팩트성은 $G$가 하이퍼볼릭이면서 $G$-오빗이 $\mathcal{T}(S)$ 내에서 준편평함을 의미하는가?
• RQ5 끝 레이어링 공간 $\mathcal{EL}(S)$가 연결되거나 경로 연결일 조건은 무엇이며, 이는 볼록 코컴팩트 부분군의 구조에 어떤 영향을 미치는가?

주요 결과

• 유한 생성된 부분군 $G < \mathrm{Mod}(S)$는 $G$가 자신의 약한 힐 $\mathfrak{H}_G$ 위에서 코컴팩트하게 작용할 때이고 그 때에만 볼록 코컴팩트하다.
• 볼록 코컴팩트성은 $G$의 모든 극한 점이 구형임과 동치이다.
• $G$가 $\mathcal{T}(S) \cup \Delta_G$ 위에서 코컴팩트하게 작용하는 것과 $G$가 볼록 코컴팩트임은 동치이다.
• $G$가 $\mathfrak{H}_G$ 위에서 코컴팩트하게 작용할 경우, $\mathfrak{H}_G$는 $\mathcal{T}(S)$ 내에서 준편평하다.
• $\mathfrak{H}_G/G$가 컴팩트일 때이고 그 때에만 $G$는 볼록 코컴팩트하다.
• 볼록 코컴팩트인 $G$의 경계 $\partial G$는 끝 레이어링 공간 $\mathcal{EL}(S)$에 매립되며, $\mathcal{EL}(S)$가 완전히 분리되어 있다면 $G$는 가상 자유군이다.