[논문 리뷰] Relative free splitting and free factor complexes I: Hyperbolicity

Michael Handel, Lee Mosher|arXiv (Cornell University)|2014. 07. 13.

Geometric and Algebraic Topology참고 문헌 23인용 수 18

한 줄 요약

이 논문은 자유 부분군계수 시스템에 대해 군에 대한 상대적 자유 분할 및 자유 부분군 복합체의 쌍곡성에 대해 입증하며, 이는 이전의 절대 복합체에 대한 결과를 일반화한다. 자유 분할 복합체에서 자유 부분군 복합체로의 투사 맵을 사용하고, 카포비치–라프 정리에 따라 준거리형 임bedding을 적용함으로써, 상대적 자유 분할 복합체의 지오데식선이 상대적 자유 부분군 복합체의 지오데식선에 균일하게 가까이 투사됨을 증명하며, 자유 부분군계수 시스템을 가진 군의 일반적인 설정에서 쌍곡성을 확인한다.

ABSTRACT

We study the large scale geometry of the relative free splitting complex and the relative free factor complex of the rank $n$ free group $F_n$, relative to the choice of a free factor system of $F_n$, proving that these complexes are hyperbolic. Furthermore we present the proof in a general context, obtaining hyperbolicity of the relative free splitting complex and of the relative free factor complex of a general group $Γ$, relative to the choice of a free factor system of $Γ$. The proof yields information about coarsely transitive families of quasigeodesics in each of these complexes, expressed in terms of fold paths of free splittings.

연구 동기 및 목표

• 자유 부분군계수 시스템을 가진 군에 대해 절대 자유 분할 및 자유 부분군 복합체의 쌍곡성 결과를 상대 설정으로 일반화하기 위해.
• 군 $\Gamma$ 와 자유 부분군계수 시스템 $\mathcal{A}$ 에 대해 상대적 자유 분할 복합체 $\mathcal{FS}(\Gamma;\mathcal{A})$ 와 상대적 자유 부분군 복합체 $\mathcal{FF}(\Gamma;\mathcal{A})$ 를 정의하고 연구하기 위해.
• 이 상대 복합체들이 비어 있지 않고 연결되어 있으며, $\mathcal{A}$ 가 비예외적인 경우에도 쌍곡적임을 입증하기 위해.
• 구르아르델과 레비에의 상대적 외부 공간 형식을 사용하여, 자유군 뿐 아니라 임의의 군으로의 프레임워크를 확장하기 위해.
• 상대적 자유 분할 복합체에서 상대적 자유 부분군 복합체로의 투사가 준거리형 성질을 유지함을 증명하여, 지오데식선의 이미지에 대한 균일한 제어를 확보하기 위해.

제안 방법

• 자유 분할 $T$ 의 동치류로 이루어진 단체 복합체로 상대적 자유 분할 복합체 $\mathcal{FS}(\Gamma;\mathcal{A})$ 를 정의하며, 이때 $\mathcal{F}(T) \succ \mathcal{A}$ 를 만족하고, 붕괴 관계 $S \succ T$ 를 부분순서로 사용한다.
• 자유 부분군계수 시스템 $\mathcal{B}$ 에 대해 $\mathcal{A} \sqsubset \mathcal{B} \neq \{[\Gamma]\}$ 를 만족하는 부분순서 $\sqsubset$ 의 기하적 실현으로 상대적 자유 부분군 복합체 $\mathcal{FF}(\Gamma;\mathcal{A})$ 를 정의한다.
• 모든 자유 분할 $T$ 를 그 자유 부분군계수 시스템 $\mathcal{F}(T)$ 로 보내는 특수한 투사 맵 $\pi: \mathcal{FS}(\Gamma;\mathcal{A}) \to \mathcal{FF}(\Gamma;\mathcal{A})$ 를 정의하며, 이때 $\mathcal{F}(T) \neq \mathcal{A}$ 를 만족한다.
• 준거리형 임베딩에 관한 카포비치–라프 정리를 적용하여, 투사 $\pi$ 가 리프시츠이며, $\mathcal{FS}(\Gamma;\mathcal{A})$ 의 지오데식선의 이미지가 $\mathcal{FF}(\Gamma;\mathcal{A})$ 의 지오데식선에 균일하게 하우스도르프 거리로 가까이 있음을 검증한다.
• 접합 수열과 준지오데식 재매개변수화를 사용하여, $\mathcal{F}(T)$-지름이 유계인 $\mathcal{FS}(\Gamma;\mathcal{A})$ 의 임의의 경로가 $\mathcal{FF}(\Gamma;\mathcal{A})$ 에서 유계된 집합으로 투사됨을 보인다.
• 상대적 자유 분할 복합체 $\mathcal{FS}(\Gamma;\mathcal{A})$ 의 쌍곡성과 투사 $\pi$ 의 리프시츠 성질을 이용하여, 준거리형 임베딩 정리에 의해 $\mathcal{FF}(\Gamma;\mathcal{A})$ 가 쌍곡적임을 결론짓는다.

실험 결과

연구 질문

• RQ1 군 $\Gamma$ 의 적절한 자유 부분군계수 시스템 $\mathcal{A}$ 에 대해 상대적 자유 분할 복합체 $\mathcal{FS}(\Gamma;\mathcal{A})$ 는 쌍곡적입니까?
• RQ2 상대적 자유 분할 복합체에서 상대적 자유 부분군 복합체로의 투사가 지오데식선의 준거리형 구조를 유지합니까?
• RQ3 특히 $\mathcal{A}$ 가 비예외적인 경우, 상대적 자유 부분군 복합체 $\mathcal{FF}(\Gamma;\mathcal{A})$ 의 쌍곡성은 절대 경우에 의존하지 않고 독립적으로 확립될 수 있습니까?
• RQ4 자유 분할에서의 접합 수열의 구조는 그 투사가 자유 부분군 복합체에서의 지름과 어떻게 관련이 있습니까?
• RQ5 자유군에 대한 결과는 자유 부분군계수 시스템을 가진 임의의 군으로 얼마나 일반화될 수 있습니까?

주요 결과

• 임의의 군 $\Gamma$ 의 적절한 자유 부분군계수 시스템 $\mathcal{A}$ 에 대해 상대적 자유 분할 복합체 $\mathcal{FS}(\Gamma;\mathcal{A})$ 는 비어 있지 않고 연결되어 있으며, 쌍곡적이다.
• 임의의 비예외적 자유 부분군계수 시스템 $\mathcal{A}$ 에 대해 상대적 자유 부분군 복합체 $\mathcal{FF}(\Gamma;\mathcal{A})$ 는 양의 차원을 가지며, 연결되어 있고 쌍곡적이다.
• 투사 맵 $\pi: \mathcal{FS}(\Gamma;\mathcal{A}) \to \mathcal{FF}(\Gamma;\mathcal{A})$ 는 리프시츠이며, $\mathcal{FS}(\Gamma;\mathcal{A})$ 의 임의의 지오데식선이 $\mathcal{FF}(\Gamma;\mathcal{A})$ 의 지오데식선에 균일하게 하우스도르프 거리로 가까이 투사된다.
• 지오데식선의 $\pi$ 에 의한 이미지는 $\mathcal{FF}(\Gamma;\mathcal{A})$ 에서 유계된 지름을 가지며, 끝점이 $\mathcal{A}$ 와 같지 않은 경우 최대 1이다.
• 상대적 자유 부분군 복합체 $\mathcal{FF}(\Gamma;\mathcal{A})$ 의 쌍곡성은 상대적 자유 분할 복합체 $\mathcal{FS}(\Gamma;\mathcal{A})$ 의 쌍곡성과 투사 $\pi$ 의 준거리형 임베딩 성질에 기반하여, 카포비치–라프 정리를 통해 유도된다.
• 결과는 자유군을 초월하여 자유 부분군계수 시스템을 가진 임의의 군 $\Gamma$ 로까지 확장되며, 구르아르델과 레비에의 상대적 외부 공간 프레임워크를 일반화한다.