[논문 리뷰] The topology of $out(F_n)$

Mladen Bestvina|ArXiv.org|2003. 04. 21.

Geometric and Algebraic Topology참고 문헌 45인용 수 21

한 줄 요약

이 논문은 자유군의 외부 자기동형군 $\mathrm{Out}(F_n)$ 의 위상적 구조를 외부 공간, 기차 길 맵, 모스 이론 등의 도구를 사용하여 조사한다. 이는 $\mathrm{Out}(F_n)$ 가 차원 $2n-3$ 의 가상의 이중성 군임을 입증하며, 호모로지 안정성, 경계화, 그리고 흡인 리듬과 계층적 분해를 통한 역학적 성질에 대한 핵심 결과를 포함한다.

ABSTRACT

We will survey the work on the topology of $Out(F_n)$ in the last 20 years or so. Much of the development is driven by the tantalizing analogy with mapping class groups. Unfortunately, $Out(F_n)$ is more complicated and less well-behaved. Culler and Vogtmann constructed Outer Space $X_n$, the analog of Teichmüller space, a contractible complex on which $Out(F_n)$ acts with finite stabilizers. Paths in $X_n$ can be generated using ``foldings'' of graphs, an operation introduced by Stallings to give alternative solutions for many algorithmic questions about free groups. The most conceptual proof of the contractibility of $X_n$ involves folding. There is a normal form of an automorphism, analogous to Thurston's normal form for surface homeomorphisms. This normal form, called a ``(relative) train track map'', consists of a cellular map on a graph and has good properties with respect to iteration. One may think of building an automorphism in stages, adding to the previous stages a building block that either grows exponentially or polynomially. A complicating feature is that these blocks are not ``disjoint'' as in Thurston's theory, but interact as upper stages can map over the lower stages. Applications include the study of growth rates (a surprising feature of free group automorphisms is that the growth rate of $f$ is generally different from the growth rate of $f^{-1}$), of the fixed subgroup of a given automorphism, and the proof of the Tits alternative for $Out(F_n)$.

연구 동기 및 목표

• 매핑 클래스 군과 산술 군과의 유사성을 고려하여 $\mathrm{Out}(F_n)$ 의 위상적 및 기하적 구조를 이해하는 것.
• 유한 안정자군을 갖는 콕팅가능한 공간(외부 공간)에 $\mathrm{Out}(F_n)$ 가 작용함을 보여, 호모토피적 및 코homological 분석을 가능하게 하는 것.
• 외부 공간의 경계화된 형태와 모스 이론적 기법을 사용하여 $\mathrm{Out}(F_n)$ 가 차원 $2n-3$ 의 가상의 이중성 군임을 증명하는 것.
• 성장률, 고정 부분군, 티츠 대칭성 분석을 위해 기차 길 맵과 흡인 리듬과 같은 역학적 도구를 개발하는 것.

제안 방법

• Culler-Vogtmann 외부 공간 $X_n$ 을 구성하여, $\mathrm{Out}(F_n)$ 가 유한 안정자군을 갖는 콕팅가능한 다면체에 작용하도록 한다.
• Stallings의 접기 알고리즘을 사용하여 그래프 간의 단순 맵을 인수분해하고 자유군 자기동형에 대한 알고리즘적 해법을 제공한다.
• 자기동형의 정규형으로서 상대적 기차 길 맵 형식을 적용하며, 표면 매핑 클래스의 Thurston 정규형과 유사하다.
• 외부 공간의 경계화 $BX_n$ 을 $\mathbb{R}$-트리 작용을 통해 이상 점을 추가하여 정의하고, $\mathrm{Out}(F_n)$ 작용이 코컴팩트가 되도록 한다.
• 여러 척도에서 길이를 추적하는 $[0,\infty)$ 의 곱에 값이 있는 사전순서 모스 함수를 $BX_n$ 에 적용하여 무한대에서의 연결성 분석을 수행한다.
• Hatcher-Vogtmann의 Cerf 이론적 접근을 $\mathrm{Aut}(F_n)$ 에 적용하여, 부분복합체 $D_n^k$ 의 연결성을 연구함으로써 $\mathrm{Aut}(F_n)$ 와 $\mathrm{Out}(F_n)$ 의 호모로지 안정성을 도출한다.

실험 결과

연구 질문

• RQ1 호모토피적 및 코homological 구조는 $\mathrm{Out}(F_n)$ 에서 어떻게 구성되며, 매핑 클래스 군과 산술 군과 어떻게 비교될 수 있는가?
• RQ2 외부 공간의 경계화된 형태를 구성하여 $\mathrm{Out}(F_n)$ 작용이 코컴팩트가 되도록 할 수 있으며, 이 공간의 위상적 성질은 무엇인가?
• RQ3 기차 길 맵과 흡인 리듬은 자동형의 역학을 분석하는 데 어떻게 기여하며, 특히 티츠 대칭성을 증명하는 데 어떻게 기여하는가?
• RQ4 외부 공간의 기하학은 어떠한가? 비대칭 거리함수를 사용하여 $\mathrm{Out}(F_n)$ 의 강성 결과를 도출할 수 있는가?
• RQ5 $\mathrm{Out}(F_n)$ 이 티츠 대칭성을 만족하는가? 그리고 다이내믹스 분해와 다항식/성장 유형 분류를 통해 이를 증명할 수 있는가?

주요 결과

• 경계화된 외부 공간 $BX_n$ 은 무한대에서 $(2n-5)$-연결되어 있으며, $\mathrm{Out}(F_n)$ 는 차원 $2n-3$ 의 가상의 이중성 군이다.
• $\mathrm{Out}(F_n)$ 의 호모로지가 유리수 계수에서 $n \geq 3i/2$ 에서, 정수 계수에서 $n \geq 2i+3$ 에서 안정화되며, 모든 안정된 유리수 호모로지 군은 $i \leq 7$ 에서 0이다.
• $\mathrm{Out}(F_n)$ 이 외부 공간의 경계에 작용할 때 유일한 최소 닫힌 불변 집합이 있으며, 기하학적 기하학적 성질을 갖는 자동형은 북극-남극 역학을 나타낸다.
• 기차 길 맵은 자동형의 정규형을 제공하며, 성장률과 고정 부분군 분석이 가능하다. 핵심 통찰은 $f$ 와 $f^{-1}$ 의 성장률이 다를 수 있다는 것이다.
• 티츠 대칭성은 다항식 성장 자동형으로 귀결되며, 이는 Kolchin 정리의 유사형으로, $GL_n(\mathbb{Z})$ 의 행동과 유사하다.
• 외부 공간은 $n > 2$ 에 대해 $CAT(0)$ 유클리드 조각 거리함수를 $\mathrm{Out}(F_n)$-불변으로 갖지 않으며, 이는 $\mathrm{Out}(F_n)$ 이 $CAT(0)$ 가 아니며, 강성 정리에 대한 새로운 기하학적 구조가 필요함을 시사한다.