[논문 리뷰] Word hyperbolic extensions of surface groups

Ursula Hamenstaedt|arXiv (Cornell University)|2005. 05. 12.

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

한 줄 요약

이 논문은 표면 군 $\pi_1(S)$ 의 유한 생성 군 $\Gamma$ 에 대한 확장이 단어 초구형일 조건을 기하학적 기준으로 제시한다: 이러한 확장은 군 $\Gamma$ 가 곡선 복합체 ${\mathcal{C}}(S)$ 에 작용할 때의 준등거리 임bedding 여부에 따라 초구형이 되는지 여부를 결정한다. 결과적으로, 몫군이 곡선 복합체 위에서 작용하는 동역학을 통해 초구형 확장을 특성화하며, 이는 이전의 볼록 코초형성과 매핑 클래스군 작용에서의 초구형성에 관한 연구를 일반화한다.

ABSTRACT

Let S be a closed surface of genus at least 2. We show that a finitely generated group G which is an extension of the fundamental group H of S is word hyperbolic if and only the orbit map of the quotient group G/H on the complex of curves is a quasi-isometric embedding.This in turn is equivalent to G/H being convex cocompact in the sense of Farb and Mosher.

연구 동기 및 목표

• 닫힌 곡면 $S$ 의 종수 $g \geq 2$ 인 표면의 기본군 $\pi_1(S)$ 의 유한 생성 확장 $\Gamma_S$ 가 단어 초구형인지 여부를 특성화하는 것.
• 확장 $\Gamma_S$ 의 초구형성과 몫군 $\Gamma = \Gamma_S / \pi_1(S)$ 가 곡선 복합체 ${\mathcal{C}}(S)$ 에 작용하는 기하학적 성질 간의 관계를 규명하는 것.
• 곡선 복합체로의 궤도 사상에 의한 초구형성의 필요 및 충분 조건을 설정하는 것.
• Farb-Mosher 와 Mosher 의 볼록 코초형성 및 초구형 확장에 관한 결과들을 일반화하고 통합하는 것.

제안 방법

• 표준 변형 길이 1을 갖는 곡선 복합체 ${\mathcal{C}}(S)$ 를 과거-하이퍼볼릭 거리 공간으로 사용한다.
• 각 $\alpha \in {\mathcal{C}}(S)$ 에 대해 궤도 사상 $\varphi \mapsto \varphi \cdot \alpha$ 를 정의하고, 그 준등거리 임베딩 성질을 분석한다.
• 매핑 클래스군 ${\mathcal{M}}_g^0$ 에서의 볼록 코초형성의 개념을 도입하며, 이는 궤도 사상이 ${\mathcal{C}}(S)$ 로의 준등거리 임베딩임을 의미한다.
• $\Gamma_S$ 가 초구형인 데는 군 준동형사상 $\rho: \Gamma \to {\mathcal{M}}_g^0$ 의 핵이 유한함을 이용하여 ${\mathcal{M}}_g^0$ 의 부분군으로 환원할 수 있음을 이용한다.
• 준지오데식 공간 $\Theta{\mathcal{C}}{\mathcal{G}}$ 위에 이상 초구형 삼각형의 번들을 구성하고, 이가 일관되게 준등거리적으로 임베딩되어 있고, 일관되게 하이퍼볼릭함을 보임을 보인다.
• 레마 3.3 과 추론 3.6 을 적용하여 번들의 초구형성을 검증하고, 이를 통해 $\Gamma_S$ 가 초구형인 데 필요한 조건을 만족하는 곡선 체계가 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 유한 생성 확장 $\Gamma_S$ 가 $\pi_1(S)$ 에 대해 언제 단어 초구형인가?
• RQ2 확장 $\Gamma_S$ 의 초구형성을 보장하는 몫군 $\Gamma = \Gamma_S / \pi_1(S)$ 의 기하적 조건은 무엇인가?
• RQ3 $\Gamma$ 가 곡선 복합체 ${\mathcal{C}}(S)$ 에 작용할 때의 행동이 확장 $\Gamma_S$ 의 초구형성과 어떻게 관련되는가?
• RQ4 매핑 클래스군 ${\mathcal{M}}_g^0$ 의 부분군 $\Gamma$ 에 대해, 궤도 사상이 ${\mathcal{C}}(S)$ 로의 준등거리 임베딩임으로써 볼록 코초형성이 특성화될 수 있는가?
• RQ5 모든 볼록 코초형 부분군 ${\mathcal{M}}_g^0$ 은 유한 자유군의 표본군인가? 그리고 $\Gamma$ 의 과거 경계는 이에 어떤 역할을 하는가?

주요 결과

• 확장 $\Gamma_S$ 가 $\pi_1(S)$ 에 대해 단어 초구형인 것은 궤도 사상 $\varphi \mapsto \varphi \cdot \alpha$ 가 곡선 복합체 ${\mathcal{C}}(S)$ 로의 준등거리 임베딩일 때이고, 그 때에만 성립한다.
• 확장 $\Gamma_S$ 가 초구형인 데는 몫군 $\Gamma = \Gamma_S / \pi_1(S)$ 가 확장된 매핑 클래스군 ${\mathcal{M}}_g^0$ 의 볼록 코초형 부분군으로 작용해야 한다.
• $\Gamma_S$ 가 초구형인 것은 군 준동형사상 $\rho: \Gamma \to {\mathcal{M}}_g^0$ 의 핵이 유한하기 때문에, $\Gamma$ 가 ${\mathcal{M}}_g^0$ 에서 볼록 코초형일 때에만 성립한다.
• $\Theta{\mathcal{C}}{\mathcal{G}}$ 를 기반으로 한 이상 초구형 삼각형의 번들은 어떤 보편적인 $\delta_0 > 0$ 에 대해 일관되게 $\delta_0$-하이퍼볼릭이다.
• 경계에서 이상 삼각형을 통해 구성된 곡선 체계 $c(x,y)$ 는 일관되게 준등거리적으로 임베딩되어 있으며, $\Gamma_S$ 가 초구형인데 필요한 초구형 조건을 만족한다.
• $\Gamma$ 의 과거 경계 $\partial\Gamma$ 는 유일적으로 에르고딕 프로젝티브 측도 레이어 ${\mathcal{U}}{\mathcal{E}} \subset {\mathcal{P}}{\mathcal{M}}{\mathcal{L}}$ 로 임베딩되며, 만약 ${\mathcal{U}}{\mathcal{E}}$ 가 완전히 이산이면 $\Gamma$ 는 유한 자유군의 표본군이다.