[논문 리뷰] Irreducible laminations for IWIP Automorphisms of free products and Centralisers

Dionysios Syrigos|arXiv (Cornell University)|2014. 10. 17.

Geometric and Algebraic Topology참고 문헌 19인용 수 3

한 줄 요약

이 논문은 자유곱 $ G = G_1 \ast \cdots \ast G_q \ast F_r $ 의 맥락에서 불가약한 제곱이 불가약한(_IWIP_ accomplished) 자기동형사상에 대한 안정 레이어링과 중심화자의 이론을 일반화한다. 안정 레이어링의 안정자군은 유한 순환 부분군의 확장이며, $ \operatorname{Out}(G_i) $ 의 유한성 조건 하에서 IWIP 자기동형사상의 중심화자는 유한 순환군임을 증명한다. 이 결과는 $ \operatorname{Out}(F_n) $ 에서의 고전적 결과를 비자명한 자유 부분군을 가진 상대적 설정으로 확장한다.

ABSTRACT

For every free product decomposition $G = G_{1} \ast ...\ast G_{q} \ast F_{r}$, where $F_r$ is a finitely generated free group, of a group $G$ of finite Kurosh rank, we can associate some (relative) outer space $\mathcal{O}$. In this paper, we develop the theory of (stable) laminations for (relative) irreducible with irreducible powers (IWIP) automorphisms. In particular, we examine the action of $Out(G, \mathcal{O}) \leq Out(G)$ (i.e. the automorphisms which preserve the set of conjugacy classes of $G_i$'s) on the set of laminations. We generalise the theory of the attractive laminations associated to automorphisms of finitely generated free groups. The strategy is the same as in the classical case (see \cite{BFM}), but some statements are slightly different because of the existence of the $G_i$'s. More precisely, we prove that the stabiliser of the lamination of a relative IWIP is a $\mathbb{Z}$-extension of a subgroup that is consisted of virtually elliptic automorphisms. Note that in the free case, virtually elliptic automorphisms are exactly the finite order automorphisms of $Out(F_n)$. As a corollary of the previous theorem, we generalise the fact that the centraliser of an IWIP automorphism of a free group, is virtually cyclic. As a direct corollary, if $Out(G)$ is virtually torsion free and every $Aut(G_i)$ is finite, we prove that the centraliser of an IWIP is virtually cyclic. Finally, we give an example which shows that we cannot expect that in general the centraliser of a relative IWIP (and as a consequence the stabiliser of its stable lamination) is virtually cyclic.

연구 동기 및 목표

• 자유곱 $ G = G_1 \ast \cdots \ast G_q \ast F_r $ 의 자기동형사상으로부터 $ \operatorname{Out}(F_n) $ 에서의 안정 레이어링과 중심화자의 이론을 확장한다.
• 상대적 IWIP 자기동형사상에 대한 레이어링에 대한 $ \operatorname{Out}(G, \mathcal{O}) $ 의 작용을 정의하고 연구한다.
• 고전적 결과인 $ \operatorname{Out}(F_n) $ 의 IWIP 중심화자가 유한 순환임을 자유곱의 상대적 설정으로 일반화한다.
• 상대적 IWIP 중심화자가 유한 순환임이 되는 조건을 규명하고, 이를 만족하지 않는 반례를 구성한다.

제안 방법

• 자유곱 분해 $ G = G_1 \ast \cdots \ast G_q \ast F_r $ 와 유한한 쿠로시 랭크를 가진 상대적 외부 공간 $ \mathcal{O} $ 를 구성한다.
• 기존의 기차길 및 레이어링 이론을 상대적 설정으로 일반화하여, 자동형사상이 경로 위에 반복적으로 작용함으로써 안정 및 불안정 레이어링을 정의한다.
• 유계 취소 보조정리와 상대적 기차길 맵을 사용하여 외부 공간에서의 동역학을 분석하고, 경로의 성장 양상을 추적한다.
• 레이어링의 안정자군을 무한 순환 확장으로 특성화하며, 이 확장의 부분군 $ A $ 는 각 원소가 상대적 외부 공간 $ \mathcal{O} $ 의 점을 유한 순환적으로 고정함을 보여준다.
• 군론적 기법을 적용하여 중심화자의 구조를 분석하며, 특히 중심화자를 토크션 없는 부분군과 인자 자기동형사상 성분으로 분해한다.
• 자기동형사상 $ G_1 $ 의 비자명한 자기동형사상과 가환하는 자동형사상들을 사용하여, 상대적 IWIP 중심화자가 유한 순환군이 되지 않는 반례를 구성한다.

실험 결과

연구 질문

• RQ1 자유곱 $ G $ 에서의 IWIP 자기동형사상의 중심화자가 $ \operatorname{Out}(G) $ 에서 유한 순환군이 되는 조건은 무엇인가?
• RQ2 상대적 외부 공간 $ \mathcal{O} $ 에서의 안정 레이어링의 안정자군 $ \operatorname{Stab}(\Lambda) $ 은 $ \operatorname{Out}(G, \mathcal{O}) $ 의 구조와 어떻게 관련이 있는가?
• RQ3 고전적 결과인 $ \operatorname{Out}(F_n) $ 의 IWIP 중심화자가 유한 순환임을 비자명한 자유 부분군을 가진 자유곱 설정으로 일반화할 수 있는가?
• RQ4 상대적 IWIP 중심화자가 유한 순환군이 되지 못하게 하는 구조적 장애 요소는 무엇인가?
• RQ5 요소 자기동형사상 $ G_i $ 는 IWIP와 얼마나 많이 가환하는가? 이는 중심화자의 구조에 어떤 영향을 미치는가?

주요 결과

• 상대적 IWIP 자기동형사상에 대한 안정 레이어링 $ \Lambda $ 의 안정자군 $ \operatorname{Stab}(\Lambda) $ 은 각 원소가 상대적 외부 공간 $ \mathcal{O} $ 의 점을 유한 순환적으로 고정하는 부분군 $ A $ 의 무한 순환 확장이다.
• 모든 $ \operatorname{Inn}(G_i) $ 가 유한하다면, $ \operatorname{Stab}(\Lambda) $ 는 정규 토크션 부분군 $ A $ 를 가지며, $ \operatorname{Stab}(\Lambda)/A $ 는 $ \bigoplus_{i=1}^q \operatorname{Out}(G_i) $ 의 부분군과 동형인 정규 부분군을 가지며, 이 부분군에 대한 몫은 $ \mathbb{Z} $ 와 동형이다.
• 만약 $ \operatorname{Out}(G) $ 가 유한 순환부분군을 가진다면, $ \operatorname{Stab}(\Lambda) $ 는 유한 지수의 토크션 없는 부분군 $ K $ 를 가지며, $ K/B' \cong \mathbb{Z} $ 를 만족한다. 여기서 $ B' $ 는 $ \bigoplus_{i=1}^q \operatorname{Out}(G_i) $ 의 부분군과 동형이다.
• 모든 $ \operatorname{Aut}(G_i) $ 가 유한하고 $ \operatorname{Out}(G) $ 가 유한 순환부분군을 가진다고 가정할 경우, 상대적 IWIP $ \phi $ 의 중심화자 $ C(\phi) $ 는 유한 순환군이다.
• 반례로 $ G = G_1 \ast \langle a \rangle \ast \langle b \rangle $ 이고, $ \phi $ 가 $ \operatorname{Aut}(G_1) $ 의 큰 부분군과 가환하는 IWIP일 때, $ \operatorname{Aut}(G_1) $ 가 무한하다면 $ C(\phi) $ 는 유한 순환군이 아님을 보여주는 반례를 구성한다.
• 상대적 IWIP의 공명자군은 레이어링을 안정화하며, 중심화자군과 유사한 구조적 결과가 공명자군에도 성립한다.