[논문 리뷰] Subgroup decomposition in $ ext{Out}(F_n)$, Part IV: Relatively irreducible subgroups

Michael Handel, Lee Mosher|arXiv (Cornell University)|2013. 06. 19.

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

한 줄 요약

이 논문은 $F_n$의 선 공간 위에서 $—\mathsf{Out}(F_n)$의 부분군의 작용에 대해 펭귄 전략을 수립하여, $\mathcal{F}$에 대해 비가역인 유한생성 부분군 $\mathcal{H} < \operatorname{IA}_n(\mathbb{Z}/3)$가 약한 역학적 조건 하에 $\mathcal{F}$에 대해 완전히 비가역인 원소를 포함함을 증명한다. 주요 기여는 이러한 부분군에서 완전히 비가역 원소의 존재를 보장하는 일반 기준을 제시하는 것으로, 기하학적 및 상대적 비가역성의 구조에 응용된다.

ABSTRACT

This is the fourth and last in a series of four papers (with research announcement posted on this arXiv) that develop a decomposition theory for subgroups of $ ext{Out}(F_n)$. In this paper we develop general ping-pong techniques for the action of $ ext{Out}(F_n)$ on the space of lines of $F_n$. Using these techniques we prove the main results stated in the research announcement, Theorem C and its special case Theorem I, the latter of which says that for any finitely generated subgroup $\mathcal H$ of $ ext{Out}(F_n)$ that acts trivially on homology with $\mathbb{Z}/3$ coefficients, and for any free factor system $\mathcal F$ that does not consist of (the conjugacy classes of) a complementary pair of free factors of $F_n$ nor of a rank $n-1$ free factor, if $\mathcal H$ is fully irreducible relative to $\mathcal F$ then $\mathcal H$ has an element that is fully irreducible relative to $\mathcal F$. We also prove Theorem J which, under the additional hypothesis that $\mathcal H$ is geometric relative to $\mathcal F$, describes a strong relation between $\mathcal H$ and a mapping class group of a surface. v3 and 4: Strengthened statements of the main theorems, highlighting the role of the finite generation hypothesis, and providing an alternative hypothesis. Strengthened proofs of lamination ping-pong, and a strengthened conclusion in Theorem J, for further applications.

연구 동기 및 목표

• 자유 인자계 $\mathcal{F}$에 대해 $\mathsf{Out}(F_n)$의 선 공간 위에서 작용하는 일반적인 펭귄 전략 기법을 개발한다.
• 정리 C와 정리 I를 증명하여, 상대적 비가역성 및 역학적 조건 하에서 $\mathsf{Out}(F_n)$ 부분군 내에서 완전히 비가역 원소의 존재를 확립한다.
• 정리 I를 강화하여, 흡인 레이어의 약한 극한에 대한 위상적 제어 조건을 추가한다.
• 정리 J를 증명하여, 기하 부분군과 표면의 매핑 클래스 군 사이의 강력한 구조적 관계를 묘사한다.

제안 방법

• 자신의 레이어가 $\mathcal{F}$에 의해 포함되지 않는 두 원소 $\phi, \psi \in \mathcal{H}$를 사용하여, 제3부에서 얻은 약한 흡인 이론을 활용해 펭귄 게임을 구성한다.
• 큰 지수 $l, m > 0$를 사용하여 $\xi = \psi^l \phi^m$를 구성하고, 이들의 흡인 레이어가 $\phi$ 및 $\psi$의 것과 약하게 가까이 있음을 보인다.
• $\mathcal{A}_{\text{na}}\Lambda^\pm_\xi$ 형태의 비흡인 부분군계가 $\mathcal{F}$를 포함함을 보여, 상대적 구조가 유지됨을 보장한다.
• 트레인 트랙 맵의 경로에 대해 피복–중첩 기법을 적용하여, 그래프에서 경로 실현이 결국 고정된 자유 인자계에 의해 포함됨을 보인다.
• 접기 수열과 그래프 $G^i$에서의 수렴 추론을 사용하여, 접기 사상에 의한 경로 이미지가 결국 고정된 부분그래프 $Y^i$에 집중됨을 보인다.
• 모순에 기반하여, 경로 실현이 항상 포함되지 않는다고 가정할 경우, 고정된 자유 인자계가 전체 기저를 포함하게 되어 비가역성 가정에 위배됨을 보인다.

실험 결과

연구 질문

• RQ1 유한생성 부분군 $\mathcal{H} < \mathsf{Out}(F_n)$이 $H_1(F_n; \mathbb{Z}/3)$에 자명하게 작용할 때, 어떤 조건 하에 $\mathcal{F}$에 대해 완전히 비가역인 원소를 포함하는가?
• RQ2 주어진 원소의 음의 레이어에 대해, $\mathcal{H}$ 내 완전히 비가역 원소의 흡인 레이어를 주어진 약한 이웃 내에 제어할 수 있는가?
• RQ3 $\mathcal{H}$가 $\mathcal{F}$에 대해 기하학적일 때, 표면의 매핑 클래스 군과의 관계는 어떠한가?
• RQ4 곱 $\psi^l \phi^m$의 비흡인 부분군계가 여전히 $\mathcal{F}$를 포함함을 보장할 수 있는가?
• RQ5 접기 수열에서 경로 실현이 고정된 부분그래프를 피할 경우, 어떤 구조적 제약이 발생하며, 이는 어떻게 모순으로 이어지는가?

주요 결과

• 모든 유한생성 부분군 $\mathcal{H} < \operatorname{IA}_n(\mathbb{Z}/3)$이 $\mathcal{F} \sqsubset \{[F_n]\}$에 대해 비가역일 경우, $\mathcal{H}$에 속하는 $\phi$가 $\mathcal{F}$에 대해 완전히 비가역임을 보장한다.
• 만약 $\mathcal{H}$가 $\mathcal{F}$ 위에서 기하학적이거나, $\mathcal{F}$에 의해 포함되지 않는 비기하학적 레이어 쌍을 포함한다면, 완전히 비가역 원소의 흡인 레이어를 주어진 원소의 음의 레이어의 임의의 약한 이웃 내에 선택할 수 있다.
• $\xi = \psi^l \phi^m$로 구성된 원소의 비흡인 부분군계 $\mathcal{A}_{\text{na}}\Lambda^\pm_\xi$는 $\mathcal{F}$를 포함함으로써 상대적 구조가 유지된다.
• 접기 그래프 $G^i_{M(i)}$의 길이 $L(G^i_{M(i)})$는 무한히 커지며, 이는 접기 과정이 결국 경로 이미지를 전체 그래프에 퍼뜨림을 의미한다.
• 피복–중첩 기법은 $G^i_{M(i)}$ 내 경로 실현이 결국 고정된 부분그래프 $Y^i$에 의해 포함됨을 보여주며, 이는 경로 실현이 기저 원소를 포함하지 않는다는 가정과 모순된다.
• 기저 원소 $b$가 어떤 고정된 자유 인자계에 의해 포함되지 않지만, 그 실현이 $i$에 관계없이 일정한 유계 부분그래프 $Y^i$에 결국 집중됨을 가정할 경우 모순이 발생한다.