[논문 리뷰] Solvable subgroups of Out(F_n) are virtually abelian

Mladen Bestvina, Mark Feighn외 1명|ArXiv.org|1997. 12. 03.

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

한 줄 요약

이 논문은 $\mathrm{Out}(F_n)$의 모든 가환 부분군이 유한 지수의 자유 아벨 부분군을 가지며, 이는 유한 지수의 아벨 부분군을 포함한다는 것을 증명한다. 증명은 그래프의 유일한 커버의 경계에서의 작용을 사용하며, 외부 자기동형사상의 고정점 집합을 통해 $\mathbb{Z}^r$로의 준동형사상을 구성하고, 이를 전체 가환 군으로 확장하여, 군이 최대 $3^{5n^2}$의 계수를 갖는 자유 아벨 군에 매립됨을 보이며, 이는 유한 지수의 아벨 부분군에 대한 통일된 상한을 확립한다.

ABSTRACT

A companion result of the the Tits alternative for $Out(F_n)$ is proved: Every solvable subgroup of $Out(F_n)$ is finitely generated and virtually abelian.

연구 동기 및 목표

• 알려진 바로는 매핑 클래스 군과 선형 군의 성질을 모두 지닌 $\mathrm{Out}(F_n)$ 내부의 가환 부분군의 구조적 성격을 규명하는 것.
• $\mathrm{Out}(F_n)$ 내의 가환 부분군이 반드시 유한 지수의 아벨 부분군을 가지는지 여부를 밝히며, $GL(n,\mathbb{Z})$에서는 이러한 부분군이 비아벨일 수 있음(예: 히젠베르크 군)을 고려하여 대조하는 것.
• 모든 $\mathrm{Out}(F_n)$의 가환 부분군 내에서 유한 지수의 아벨 부분군에 대한 통일된 상한을 확립하는 것.
• 유일한 커버의 경계에서 기하학적 및 역학적 방법을 사용하여, $\mathrm{Out}(F_n)$의 가환 부분군이 유한 생성이며 유한 지수의 다항군임을 독립적으로 증명하는 것.

제안 방법

• 이전 연구에서 얻은 짧은 정규열 $1 \to \mathcal{H}_0 \to \mathcal{H} \to \mathbb{Z}^b \to 1$ 을 사용하며, $\mathcal{H}_0$ 는 $UPG$ 부분군이며, $\mathcal{H}$ 의 유한 지수 부분군으로 전환한 후에 적용한다.
• 무한대의 칸토어 집합 $C_\infty$ 에서 외부 자기동형사상의 리프트의 고정점 집합을 분석하여 $\mathcal{H}_0 \to \mathbb{Z}^r$ 의 매립을 구성한다.
• 경계에서의 작용과 고정점 집합의 구조를 이용하여, $\Phi$ 를 전체 군 $\mathcal{H}$ 에 대한 전역 준동형사상 $\Phi': \mathcal{H} \to \mathbb{Z}^r$ 로 확장한다.
• $\Omega: \mathcal{H} \to \mathbb{Z}^b$ 와 $\Phi'$ 를 결합하여 $\mathcal{H}$ 를 $\mathbb{Z}^{b+r}$ 에 매립시키며, 이는 $\mathcal{H}$ 가 유한 생성이자 자유 아벨 군임을 증명한다.
• $\mathrm{Out}(F_n)$ 의 아벨 부분군에 대해 $\mathrm{Aut}(F_n)$ 내에 가상 리프트 $\widetilde{\mathcal{H}}$ 가 존재한다는 사실(논문 Proposition 1.2 에서 증명됨)을 이용하여 경계에서의 작용을 제어하고 리프트의 호환성을 확보한다.
• 경계 $C_\infty$ 에서의 작용과 관련된 기하적 추론을 적용하며, 특히 불변 집합의 고정점과 집적점의 성질을 사용하여 $\mathcal{H}_0$ 와 그 정규화군의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 $\mathrm{Out}(F_n)$ 의 가환 부분군은 반드시 유한 지수의 아벨 부분군을 가져야 하는가, 아니면 비아벨 니르프트 부분군을 포함할 수 있는가?
• RQ2 $\mathrm{Out}(F_n)$ 의 가환 부분군의 구조는 무한대의 칸토어 집합에서의 경계 역학을 통해 제어될 수 있는가?
• RQ3 모든 $\mathrm{Out}(F_n)$ 의 가환 부분군 내에서 유한 지수의 아벨 부분군에 대한 통일된 유한 지수 상한이 존재하는가?
• RQ4 $\mathrm{Out}(F_n)$ 의 모든 아벨 부분군은 고정된 원시 원소를 유지하는 방식으로 $\mathrm{Aut}(F_n)$ 로 리프트될 수 있는가?
• RQ5 경계에서의 역학적 제약 조건을 이용하여, $\mathcal{H}_0$ 에서 $\mathbb{Z}^r$ 으로의 준동형사상을 전체 가환 군 $\mathcal{H}$ 로 확장할 수 있는가?

주요 결과

• $\mathrm{Out}(F_n)$ 의 모든 가환 부분군은 유한 지수의 유한 생성 자유 아벨 부분군을 가지며, 지수는 최대 $3^{5n^2}$ 이다.
• $n > 1$ 인 경우, $\mathrm{Out}(F_n)$ 의 아벨 부분군의 계수는 $2n - 3$ 이하로 유계이다. 이는 가상 코hom로지컬 차원과 일치한다.
• 짧은 정규열 $1 \to \mathcal{H}_0 \to \mathcal{H} \to \mathbb{Z}^b \to 1$ 에서 $\mathcal{H}_0$ 는 경계 역학을 이용한 명시적 매립을 통해 아벨임을 보였다.
• $\Phi: \mathcal{H}_0 \to \mathbb{Z}^r$ 는 $\Phi': \mathcal{H} \to \mathbb{Z}^r$ 로 확장되며, 이와 $\Omega$ 를 결합하면 $\mathcal{H}$ 가 $\mathbb{Z}^{b+r}$ 에 매립됨을 보여 $\mathcal{H}$ 가 유한 지수의 자유 아벨 군임을 증명한다.
• 증명은 $\mathrm{Out}(F_n)$ 가 가환 부분군에 대해 티츠 대안를 만족함을 보이며, 이는 선형 군 $GL(n,\mathbb{Z})$ 보다는 매핑 클래스 군과 더 유사한 성질을 지닌다.
• Proposition 1.2 가 증명됨: $\mathrm{Out}(F_n)$ 의 모든 아벨 부분군은 $\mathrm{Aut}(F_n)$ 로의 가상 리프트를 가지며, 만약 원소가 쌍대기하학적으로 고정되어 있다면, 리프트를 그 원소를 고정하도록 선택할 수 있다.