[논문 리뷰] The geometry of surface-by-free groups

Benson Farb, Lee Mosher|ArXiv.org|2000. 08. 29.

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

한 줄 요약

이 논문은 워드 하이퍼볼릭 표면-자유 군에 대해 강력한 리지디티 결과를 확립한다: 이러한 군의 준등거리군은 그의 추상적 공역군과 일치하며, 두 군이 준등거리일 조건은 정확히 그들이 추상적으로 공역을 이루는 경우이다. 핵심 기여는 군의 구조를 밝혀내기 위해 군의 거시적 기하학, 테이히뮐러 이론, 페시오-아노소프 다이내미크스를 사용하여 공역군을 명시적으로 계산한 것이다. 이는 준등거리 사상이 유한 지수 부분군을 정확한 대수적 방식으로 식별할 수 있음을 보여준다.

ABSTRACT

We show that every word hyperbolic, surface-by-(noncyclic) free group Gamma is as rigid as possible: the quasi-isometry group of Gamma equals the abstract commensurator group Comm(Gamma), which in turn contains Gamma as a finite index subgroup. As a corollary, two such groups are quasi-isometric if and only if they are commensurable, and any finitely generated group quasi-isometric to Gamma must be weakly commensurable with Gamma. We use quasi-isometries to compute Comm(Gamma) explicitly, an example of how quasi-isometries can actually detect finite index information. The proofs of these theorems involve ideas from coarse topology, Teichmuller geometry, pseudo-Anosov dynamics, and singular solv-geometry.

연구 동기 및 목표

• 워드 하이퍼볼릭 표면-자유 군을 준등거리에 대해 기하학적 및 대수적 불변량을 사용하여 분류하기.
• 이러한 군의 준등거리군이 그의 추상적 공역군과 일치함을 증명하여 최대의 대수적 리지디티를 확립하기.
• 이러한 군과 준등거리인 유한 생성 군은 유한 정규부분군을 제외한 나머지에서 공역을 이루는 것으로 약한 공역을 이룬다는 것을 보여주기.
• 표면-자유 군의 추상적 공역군을 명시적으로 계산하기. 이는 리 군의 격자 외에서 드문 결과이다.
• 수평을 존중하는 준등거리 사상과 공역을 통해 섬유화된 하이퍼볼릭 3차원 다면체 군의 분류를 확장하기.

제안 방법

• 표면-자유 군의 거시적 구조를 분석하기 위해 거칠은 위상수학과 특이 솔브 기하학을 사용하기.
• 테이히뮐러 이론과 매핑 클래스 군의 슈코티 하위군이 테이히뮐러 공간에 작용하는 방식을 적용하여 극한집합을 연구하기.
• 페시오-아노소프 다이내믹스를 활용하여 약한 볼록 Hull과 극한집합 위의 코컴팩트 작용을 분석하기.
• 표면의 유한 커버를 사용하여 슈코티 하위군 $H$가 내림내리는 최소의 2-오비폴드 ${\mathcal{O}}_H$를 구성하기.
• 오비폴드의 매핑 클래스 군 내 상대적 공역군을 사용하여 유한 지수 부분군을 올리고 전체 군의 공역군을 계산하기.
• 수평을 존중하는 준등거리 사상 적용을 통해 군의 기하학과 테이히뮐러 공간 위에서의 작용의 다이내믹스를 연결하기.

실험 결과

연구 질문

• RQ1 두 워드 하이퍼볼릭 표면-자유 군이 언제 준등거리일까?
• RQ2 준등거리 사상은 비격자 군에서 유한 지수 부분군을 어느 정도 정확하게 식별할 수 있는가?
• RQ3 표면-자유 군의 추상적 공역군의 구조는 어떻게 되는가?
• RQ4 군의 기하학은 테이히뮐러 공간 위에서 슈코티 하위군의 작용과 어떻게 관련이 있는가?
• RQ5 섬유화된 하이퍼볼릭 3차원 다면체의 기본군은 수평을 존중하는 준등거리에 대해 어떻게 분류되는가?

주요 결과

• 두 표면-자유 군 $\Gamma_{H_1}$ 과 $\Gamma_{H_2}$ 는 정확히 그들이 추상적으로 공역을 이루는 경우에만 준등거리이다.
• $\Gamma_H$ 의 준등거리군은 그의 추상적 공역군 $\operatorname{Comm}(\Gamma_H)$ 와 일치하며, 이는 $\Gamma_H$ 를 유한 지수 부분군으로 포함한다.
• 준등거리인 유한 생성 군은 $\Gamma_H$ 와 약한 공역을 이룬다. 즉, 유한 정규부분군이 존재하여 몫이 $\Gamma_H$ 와 공역을 이룬다.
• 표면-자유 군의 추상적 공역군은 최소 오비폴드 ${\mathcal{O}}_H$ 와 $\mathcal{M}({\mathcal{O}}_H)$ 내에서의 $H$ 의 상대적 공역군을 사용하여 명시적으로 계산된다.
• 질량 1의 슈코티 하위군(즉, 섬유화된 3차원 다면체 군)의 경우, 준등거리 분류는 공역보다 더 넓은 분류이지만, 정밀화된 수평을 존중하는 준등거리 분류가 성립한다.
• $H$ 의 극한집합은 테이히뮐러 공간의 투르스턴 경계에서 정의되며, 두 군이 준등거리일 조건은 정확히 그들의 극한집합이 일치할 때이다.