[논문 리뷰] Subgroup decomposition in Out(F_n), Part II: A relative Kolchin theorem

Michael Handel, Lee Mosher|arXiv (Cornell University)|2013. 02. 10.

Geometric and Algebraic Topology참고 문헌 10인용 수 14

한 줄 요약

이 논문은 $Δ\mathsf{Out}(F_n)$의 부분군에 대한 상대적 콜킨 정리(상대적 Kolchin theorem)를 수립하며, 지수적 성장을 고정된 불변 자유 요소계열 $Χ$ 내에 국한된 경우에 일반화된 절대 콜킨 정리를 제시한다. 유한 생성된 부분군 $Χ < \operatorname{IA}_n(\mathbb{Z}/3)$에 대해, 원소들이 고정된 불변 자유 요소계열 $Χ$에 대해 다항식 성장을 보일 경우, 각 단계가 일차적 간선 확장인 $Χ$-불변 자유 요소계열의 최대 필터링을 갖는다. 이는 $Δ\mathsf{Out}(F_n)$의 구조 이론을 상대적 설정으로 확장한다.

ABSTRACT

This is the second in a series of four papers (with research announcement posted on this arXiv) that together develop a decomposition theory for subgroups of Out(F_n). In this paper we relativize the "Kolchin-type theorem" from the work of Bestvina, Feighn, and Handel on the Tits alternative, which describes a decomposition theory for subgroups H of Out(F_n) all of whose elements have polynomial growth. The Relative Kolchin Theorem allows subgroups H whose elements have exponential growth, as long as all such exponential growth is cordoned off in some free factor system F which is invariant under every element of H. The conclusion is that a certain finite index subgroup of H has an invariant filtration by free factor systems going from F up to the full free factor system by individual steps each of which is a "one-edge extension". We also study the kernel of the action of Out(F_n) on homology with Z/3 coefficients, and we prove Theorem B from the research announcement, which describes strong finite permutation behavior of all elements of this kernel.

연구 동기 및 목표

• 지수적 성장이 고정된 불변 자유 요소계열 내에 국한된 한에서, $Δ\mathsf{Out}(F_n)$의 부분군에 대해 절대 콜킨 정리를 일반화한다.
• 이전의 유니포텐트 다항식 성장 결과를 일반화하여, $Δ\mathsf{Out}(F_n)$의 부분군에 대한 분해 이론을 상대적 다항식 성장 조건 하에 수립한다.
• $Δ\mathsf{Out}(F_n)$의 $H_1(F_n; \mathbb{Z}/3)$에 대한 작용의 핵을 분석하여, 이 핵 내의 원소들이 강한 유한 순열 행동을 보임을 증명한다.
• 상대적 다항식 성장 조건 하에서, 최대 $Χ$-불변 자유 요소계열 필터링이 일차적 간선 확장으로 분해됨을 증명한다. 이는 지수적 성장이 존재하더라도 성립한다.

제안 방법

• 증명은 [BFH05]에서 제시된 뛰는 수열(bouncing sequence) 구성의 상대적 판본을 사용하며, 지수적 성장이 고정된 자유 요소계열 $Χ$ 내에 국한된 상대적 설정에 적응시켰다.
• 자유 요소계열 $Χ$에 대한 부분군 $Χ$에 대해 니엘센 쌍(Nielsen pair)의 개념을 적용하여, $F_n$-트리에서 특정 정점의 안정자군이 비자명하고, 간선 안정자군이 자명한 경로로 연결됨을 보장한다.
• 각 단계에서 간선 안정자군이 자명한 $F_n$-트리의 뛰는 수열 $T_0, T_1, T_2, \dots$에 대한 귀납적 분석에 기반한다. 여기서 각 $T_i$는 $T_{i-1}$에 자동형사 $φ_i$를 적용하여 얻는다.
• 제안사항 6.2와 6.4를 사용하여, 자유 요소계열 $Χ$가 수열 전체 동안 유지되고, 각 단계에서 간선 안정자군이 자명하게 유지됨을 보인다.
• [BFH05]의 보조정리 5.18과 5.19를 변형하여, 비자명한 정점 안정자군 간의 거리가 안정화되고 유계임을 보이며, 이에 따라 최소 거리의 니엘센 쌍이 존재함을 도출한다.
• 최소 거리의 니엘센 쌍과 자명한 내부 안정자군을 갖는 최소 길이의 경로가 존재함을 이용해, 필터링에서 일차적 간선 확장을 구성할 수 있으며, 이로써 상대적 콜킨 정리가 완성된다.

실험 결과

연구 질문

• RQ1 지수적 성장이 고정된 불변 자유 요소계열 내에 국한된 한에서, $Δ\mathsf{Out}(F_n)$의 유니포텐트 다항식 성장 부분군에 대한 절대 콜킨 정리를 일반화할 수 있는가?
• RQ2 $Δ\mathsf{Out}(F_n)$의 $H_1(F_n; \mathbb{Z}/3)$에 대한 작용의 핵은 [HM13a]에서 추측한 바와 같이 강한 유한 순열 행동을 보이는가?
• RQ3 유한 생성된 부분군 $Χ < \operatorname{IA}_n(\mathbb{Z}/3)$에 대해, 각 원소가 고정된 $Χ$-불변 자유 요소계열 $Χ$에 대해 다항식 성장을 보일 때, 최대 $Χ$-불변 자유 요소계열 필터링이 존재하고, 각 단계가 일차적 간선 확장인가?
• RQ4 이러한 부분군에 대해, 고정된 자유 요소계열에 상대적인 니엘센 쌍을 구성할 수 있는가? 이 경우, 관련 $F_n$-트리에서 연결 경로의 간선 안정자군은 자명하고, 길이는 최소여야 한다.

주요 결과

• 상대적 콜킨 정리가 성립한다: 고정된 $Χ$-불변 자유 요소계열 $Χ$에 대해 다항식 성장을 보이는 유한 생성 부분군 $Χ < \operatorname{IA}_n(\mathbb{Z}/3)$에 대해, 임의의 최대 $Χ$-불변 자유 요소계열 필터링의 각 단계는 일차적 간선 확장이다.
• 사상 $Δ\mathsf{Out}(F_n) \to \operatorname{GL}_n(\mathbb{Z}/3)$의 핵, 즉 $\operatorname{IA}_n(\mathbb{Z}/3)$는 [HM13a]의 정리 B에 의해 강한 유한 순열 행동을 보인다.
• 간선 안정자군이 자명한 $F_n$-트리의 뛰는 수열은 자유 요소계열 $Χ$를 유지하며, 수열 전체 동안 간선 안정자군이 자명함을 유지한다.
• 뛰는 수열에서 비자명한 정점 안정자군 간의 거리가 안정화되며, 이 최소 거리를 실현하는 니엘센 쌍이 존재함을 보여, 필터링에서 일차적 간선 확장의 존재를 보장한다.
• 최종 트리에서 최소 거리의 니엘센 쌍의 정점들을 연결하는 경로는 내부 정점 안정자군이 자명하고, 몫 그래프 군의 구조에 임베딩되어 있어, 일차적 간선 확장을 구성할 수 있다.
• 특정 니엘센 쌍이 존재함을 통해, 최소 길이의 연결 경로를 갖는 니엘센 쌍이 존재함을 증명하며, 이를 단일 간선으로 압축할 수 있어 필터링의 일차적 간선 확장 단계를 실현한다.