[논문 리뷰] A hyperbolic Out(F_n)-complex

Mladen Bestvina, Mark Feighn|ArXiv.org|2008. 08. 27.

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

한 줄 요약

이 논문은 $δ$-하이퍼볼릭 그래프 ${\mathcal{X}}$를 구성하며, $Ω\mathrm{Out}(F_n)$의 작용이 등거리적이고, 모든 완전히 기약가능한 자기동형사상들이 양의 이동 길이를 갖도록 한다. 이 구성은 백드치의 방법을 응용하여 고리 시스템과 하이퍼볼릭 교차비율을 사용하며, 나무와 커런트 공간에서의 $Ω\mathrm{Out}(F_n)$의 역학적 성질에 기반하여, 곡선 복합체와 유사한 내재적 기술이 없는 하이퍼볼릭 복합체를 얻는다.

ABSTRACT

For any finite collection $f_i$ of fully irreducible automorphisms of the free group $F_n$ we construct a connected $δ$-hyperbolic $Out(F_n)$-complex in which each $f_i$ has positive translation length.

연구 동기 및 목표

• 완전히 기약가능한 자기동형사상들이 양의 이동 길이를 갖는 $δ$-하이퍼볼릭 $Ω\mathrm{Out}(F_n)$-복합체를 구성하는 것.
• Bowditch의 수렴군에 대한 하이퍼볼릭성 구성 방법을 $Ω\mathrm{Out}(F_n)$ 설정으로 확장하여, 나무와 커런트 공간에서의 역학을 활용하는 것.
• 최근 하멘슈타트가 발표한 linemapping에 기반하여 $Ω\mathrm{Out}(F_n)$에서의 준호모모르피즘을 구성하기 위한 기하적 프레임워크를 제공하는 것.
• 새로운 복합체에서 단순 나무의 안정자와 진정한 자유 부분군의 안정자가 유계 궤도를 갖는다는 것을 증명하는 것.
• 복합체가 내재적이지는 않지만, $Ω\mathrm{Out}(F_n)$의 기하학을 연구하는 데 여전히 유용하다는 것을 보여주는 것.

제안 방법

• 고리 시스템이 (A1) 및 (A2) 공리들을 만족하는 공간에서의 군 작용으로부터 하이퍼볼릭 공간을 구성하는 Bowditch의 구성 방법을 응용한다.
• 중첩된 고리의 수를 세는 방식으로 나무와 커런트 공간에서 하이퍼볼릭 경로 교차비율을 정의한다.
• $\overline{\mathcal{PT}}$의 컴acts화된 외부 공간과 $\mathcal{M}(F_n)$의 프로젝티브라이즈드 커런트 공간에서의 $Ω\mathrm{Out}(F_n)$의 역학을 이용하여 고리 시스템을 정의한다.
• 교차비율을 사용하여 $M$의 서로 다른 세 점의 순서된 삼중항에 대한 준거리 $ρ$를 구성하고, 이가 하이퍼볼릭 경로 준거리 구조를 정의함을 증명한다.
• 교차비율 공리에 의해 보장되는 바와 같이, $Ω\mathrm{Out}(F_n)$의 나무와 커런트 공간에서의 작용에 대해 이 구성 방법을 적용하여 하이퍼볼릭성을 확보한다.
• 완전히 기약가능한 자기동형사상의 알려진 역학적 성질과 외부 공간의 경계에서의 북-서스 다이내믹스에 기반한다.

실험 결과

연구 질문

• RQ1 완전히 기약가능한 자기동형사상들이 양의 이동 길이를 갖는 $δ$-하이퍼볼릭 $Ω\mathrm{Out}(F_n)$-복합체를 구성할 수 있는가?
• RQ2 Bowditch의 고리 시스템을 갖는 공간에서의 군 작용으로부터 하이퍼볼릭 공간을 구성하는 방법이 $Ω\mathrm{Out}(F_n)$ 설정으로 확장 가능한가?
• RQ3 나무와 커런트 공간에서의 $Ω\mathrm{Out}(F_n)$의 역학을 사용하여 하이퍼볼릭 교차비율을 정의할 수 있는가?
• RQ4 이러한 복합체의 기하학적 결과는 $Ω\mathrm{Out}(F_n)$의 연구, 특히 준호모모르피즘을 구성하는 데 어떤 영향을 미치는가?
• RQ5 구성된 복합체에서 단순 나무의 안정자와 진정한 자유 부분군의 안정자가 유계 궤도를 갖도록 보장하는 것이 가능한가?

주요 결과

• 모든 완전히 기약가능한 자기동형사상들 $f_1, \dots, f_k$에 대해, $Ω\mathrm{Out}(F_n)$의 등거리 작용을 갖는 연결된 $δ$-하이퍼볼릭 그래프 ${\mathcal{X}}$가 존재하며, 각 $f_i$는 양의 이동 길이를 갖는다.
• 모든 단순 나무의 안정자와 진정한 자유 부분군의 안정자는 ${\mathcal{X}}$에서 유계 궤도를 갖는다.
• 이 구성은 (A1) 및 (A2) 공리를 만족하는 고리 시스템에서 유도된 하이퍼볼릭 경로 교차비율에 기반하며, 결과적으로 공간이 하이퍼볼릭임을 보장한다.
• 복합체 ${\mathcal{X}}$는 곡선 복합체처럼 내재적이지는 않지만, 하멘슈타트가 보여준 linemapping에 기반하여 $Ω\mathrm{Out}(F_n)$에서의 준호모모르피즘을 구성하는 데 여전히 유용하다.
• $\mathrm{Out}(F_n)$의 유한 생성 집합에 대한 카일리 그래프는 완전히 기약가능한 자기동형사상들로 이루어진 임의로 큰 공을 포함한다.
• $\Gamma$가 랭크 $\geq 2$인 단순 리 군의 비어 있지 않은 래티스일 경우, 임베딩 $\Gamma \to \mathrm{Out}(F_n)$는 어떤 완전히 기약가능한 자기동형사상도 포함할 수 없다.