[논문 리뷰] Translation lengths in Out(F_n)

Emina Alibegović|ArXiv.org|2000. 09. 20.

Geometric and Algebraic Topology참고 문헌 6인용 수 5

한 줄 요약

이 논문은 $\mathrm{Out}(F_n)$ 내의 모든 무한차수 외부자기동형사상이 양의 이동 길이를 가지며, 이 길이는 $\varepsilon_n > 0$ 인 상수에 의해 0으로부터 분리되어 있음을 증명한다. 증명은 자동형사상의 반복에 따른 단어 길이 불변량 $\tilde{\alpha}$ 의 성장과, 기차길 지도의 맥락에서 유계 취소 보조정리 및 분할 추론을 결합하여, $\mathrm{Out}(F_n)$ 내 모든 무한차수 원소에 대해 이동 길이가 균일하게 양수임을 확립한다.

ABSTRACT

We prove that all elements of infinite order in $Out(F_n)$ have positive translation lengths; moreover, they are bounded away from zero. Consequences include a new proof that solvable subgroups of $Out(F_n)$ are finitely generated and virtually abelian and the new result that such subgroups are quasi-convex.

연구 동기 및 목표

• 모든 $\mathrm{Out}(F_n)$ 내 무한차수 원소가 양의 이동 길이를 갖는다는 것을 확립하는 것.
• 이 이동 길이가 $n$ 에만 의존하는 상수 $\varepsilon_n > 0$ 에 의해 0으로부터 분리되어 있음을 보여주는 것.
• $\mathrm{Out}(F_n)$ 의 해법 부분군이 유한생성되고 본질적으로 아벨임을 다시 증명하는 데 새로운 증명을 제공하는 것.
• 아벨 부분군이 $\mathrm{Out}(F_n)$ 내에서 단어 거리에서 준볼록임을 새롭게 확립하는 것.

제안 방법

• 단어 길이 불변량 $\alpha(w)$ 를, $\tilde{w}^p$ 가 기약 단어 $w$ 의 부분어구인 최대 지수 $p$ 로 정의하고, $\tilde{\alpha}([w])$ 를 공轭류를 통해 확장한다.
• 유계 취소 보조정리를 사용하여, $\tilde{g} \in \widetilde{Y}$ 인 생성자에 대해 $\tilde{\alpha}(\tilde{g}([w])) \leq \tilde{\alpha}([w]) + C$ 를 보이며, 여기서 $C$ 는 균일한 상수이다.
• 외부자기동형사상의 기차길 대표에 대한 작용을 분석하고, 지수적 성장과 UPG (유니포텐셜 다항성장) 유형으로 나누어 고려한다.
• 지수적 성장 자동형사상의 경우, $\lambda > 1$ 이면 순환 단어 길이 $\ell(\mathcal{O}^k([w])) \geq \lambda^k \ell([w])$ 의 지수적 성장을 사용하고, $\mathcal{O}^k$ 를 표현하기 위해 필요한 생성자의 수를 유계한다.
• UPG 자동형사상의 경우, 닫힌 경로 $\sigma$ 에 따라 $\tilde{\alpha}(\mathcal{O}^k(\sigma)) \geq k + b$ 의 성장을 사용하고, 조합에 따른 $\tilde{\alpha}$ 의 유계 성장성을 적용하여 단어 길이에 대해 선형 하한을 유도한다.
• 일般적인 다항성장 자동형사상의 경우, 유한한 $s$ 에 대해 $\mathcal{O}^s$ 가 UPG 임을 감안하여 UPG 경우로 환원하고, $\tau(\mathcal{O}) = \frac{1}{s} \tau(\mathcal{O}^s)$ 를 사용하여 하한이 유지됨을 보인다.

실험 결과

연구 질문

• RQ1 $\mathrm{Out}(F_n)$ 내 모든 무한차수 원소가 양의 이동 길이를 갖는가?
• RQ2 이러한 원소의 이동 길이가 $n$ 에만 의존하는 상수에 의해 0으로부터 분리되어 있는가?
• RQ3 이동 길이 추론을 사용하여 $\mathrm{Out}(F_n)$ 의 해법 부분군의 구조를 재증명할 수 있는가?
• RQ4 아벨 부분군이 $\mathrm{Out}(F_n)$ 의 단어 거리에서 준볼록인가?
• RQ5 $\mathrm{Out}(F_n)$ 에서 교차 수가 존재하지 않는 것을, $\tilde{\alpha}$ 와 같은 조합적 불변량으로 보완하여 성장 제어가 가능한가?

주요 결과

• $\mathrm{Out}(F_n)$ 내 모든 무한차수 원소 $\mathcal{O}$ 는 $\varepsilon_n > 0$ 인 상수에 의해 분리된 양의 이동 길이 $\tau(\mathcal{O}) \geq \varepsilon_n$ 를 갖는다. 여기서 $\varepsilon_n$ 은 $n$ 에만 의존하는 상수이다.
• 지수적 성장 자동형사상의 경우, $\tau(\mathcal{O}) \geq \frac{\log \lambda}{\log 2} > 0$ 이며, $\lambda > 1$ 은 지수적 성장률이다.
• UPG 자동형사상의 경우, $\tau(\mathcal{O}) \geq \frac{1}{C}$ 이며, 여기서 $C$ 는 조합에 따른 $\tilde{\alpha}$ 의 유계 성장성에서 유도된 균일한 상수이다.
• 일반적인 다항성장 자동형사상의 경우, $\tau(\mathcal{O}) \geq \frac{1}{C \cdot c_2} > 0$ 이며, $c_2$ 는 $\mathcal{O}^s$ 가 UPG 가 되는 차수 $s$ 의 상한이다.
• 이 결과는 $\mathrm{Out}(F_n)$ 의 모든 해법 부분군이 유한생성되고 본질적으로 아벨임을 시사하며, 기존의 알려진 결과에 대한 새로운 증명을 제공한다.
• 아벨 부분군이 $\mathrm{Out}(F_n)$ 내에서 준볼록임을 증명하는 데 새로운 결과로 확립되었으며, 이는 이동 길이의 균일한 양수성에 기반한다.