[논문 리뷰] Dynamics of Irreducible Endomorphisms of $F_n$

Patrick Reynolds|arXiv (Cornell University)|2010. 08. 21.

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

한 줄 요약

이 논문은 자유군 $F_n$의 비전사적 불가약한 자기형사상을 연구하며, 이들이 컴acts화된 외부 공간 $\overline{CV}_n$에 대해 '흡입구' 역학을 보임을 보여준다: 컴팩트 집합에서 반복적 적용 $\phi^k$가 유일한 끌림 고정점 $[T_\phi]$로 균일 수렴한다. 이 동역학은 불변 길이 측도와 외부 공간 경계에 있는 나무의 새로운 분해를 통해 분석되며, 이는 이만시의 정리의 일반화이자 기계적 트랙 방법을 비가역 자기형사로 확장한다.

ABSTRACT

We consider the class non-surjective irreducible endomorphisms of the free group $F_n$. We show that such an endomorphism $ϕ$ is topologically represented by a simplicial immersion $f:G ightarrow G$ of a marked graph $G$; along the way we classify the dynamics of $\partial ϕ$ acting on $\partial F_n$: there are at most $2n$ fixed points, all of which are attracting. After imposing a necessary additional hypothesis on $ϕ$, we consider the action of $ϕ$ on the closure $\bar{CV}_n$ of the Culler-Vogtmann Outer space. We show that $ϕ$ acts on $\bar{CV}_n$ with "sink" dynamics: there is a unique fixed point $[T_ϕ]$, which is attracting; for any compact neighborhood $N$ of $[T_ϕ]$, there is $K=K(N)$, such that $\bar{CV}_nϕ^{K(N)} \subseteq N$. The proof uses certian projections of trees coming from invariant length measures. These ideas are extended to show how to decompose a tree $T$ in the boundary of Outer space by considering the space of invariant length measures on $T$; this gives a decomposition that generalizes the decomposition of geometric trees coming from Imanishi's theorem.

연구 동기 및 목표

• 역행이 존재하지 않는 상황에서 $F_n$의 비전사적 불가약한 자기형사의 역학적 행동을 이해하는 것.
• 자기형사에서 외부 공간 및 기계적 트랙 기법을 비가역 자기형사로 확장하는 것.
• 이러한 자기형사가 외부 공간의 경계 $\overline{CV}_n$에 작용하는 방식을 분류하는 것.
• 불변 길이 측도를 사용하여 $\overline{cv}_n$-나무를 분해하고, 이만시의 정리를 일반화하는 것.

제안 방법

• 마킹된 그래프 $G$ 위에서 단순형 사상 $f: G \to G$를 통해 자기형사 $\phi$를 표현하여 그 역학을 포착한다.
• 외부 공간 $\overline{CV}_n$에 잘 정의된 작용을 보장하기 위해 '허용 가능한' 자기형사의 개념을 도입한다.
• 불변 길이 측도 $\mu \in M_0(T)$를 사용하여 나무 $T$를 더 단순하고 혼합적인 부분행동으로 사영하고, 정규 분해를 구성한다.
• 에르고딕 측도의 동치류 $[[\mu]]$를 정의하여, 측도 공간의 차원이 감소하는 프로젝션 계층 $f_{[[\mu]]}: T \to T_{[[\mu]]}$를 구축한다.
• 반복된 행동의 그래프 구성법을 적용하여, 나무의 횡단 가족 $\mathscr{F}(T)$로부터 원래의 나무 $T$를 복원한다.
• 자기형사 $\phi$가 $\overline{CV}_n$에 작용할 때 유일한 끌림 고정점 $[T_\phi]$를 가지며, 반복적 적용 $\phi^k$가 컴팩트 집합에서 $[T_\phi]$로 균일 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 역행이 존재하지 않을 때, $F_n$의 비전사적 불가약한 자기형사는 컴acts화된 외부 공간 $\overline{CV}_n$에 어떻게 작용하는가?
• RQ2 경계 $\partial F_n$는 $\partial\phi$ 작용 하에서 어떤 구조를 가지며, 몇 개인가요?
• RQ3 자기형사 $\phi$의 $\overline{CV}_n$에서의 역학은 고정점이 유일한 '흡입구' 역학으로 특징지어질 수 있는가?
• RQ4 나무 $T \in \overline{cv}_n$에 대한 불변 길이 측도 공간을 어떻게 사용하여 $T$를 혼합 부분행동의 계층으로 분해할 수 있는가?
• RQ5 측도 공간 $M_0(T)$를 통한 $T$의 분해가 이만시의 정리에 대해 얼마나 일반화되는가?

주요 결과

• 모든 허용 가능한 비전사적 불가약한 자기형사 $\phi$에 대해, $\overline{CV}_n$에 대한 작용은 유일한 고정점 $[T_\phi]$를 가지며, 이는 자유적이고 단순형이다.
• 자기형사 $\phi$는 '흡입구' 역학을 보인다: 임의의 $[T_\phi]$의 컴팩트 이웃 $N$에 대해, $\overline{CV}_n \phi^K \subseteq N$를 만족하는 $K(N)$이 존재한다.
• 안정 나무 $[T_\phi]$는 $[T_\phi]\phi = [T_\phi]$를 만족하며, $T_\phi$는 자유적 단순형 $F_n$-나무이다.
• 불변 길이 측도 공간 $M_0(T)$는 밀도 있는 궤도를 가진 임의의 $T \in \overline{cv}_n$를 프로젝션 $f_{[[\mu]]}$를 통한 혼합 부분행동의 계층으로 정규 분해한다.
• 이 분해는 이만시의 정리를 일반화한다: 임의의 $T \in \overline{cv}_n$에 대해, 횡단 가족 $\mathscr{F}(T)$를 통해 반복된 행동의 그래프를 통해 $T$를 복원할 수 있다.
• 임의의 $C > 1$에 대해, $F_n$의 유한 생성 비아벨 부분군 $H \leq F_n$이 존재하여, 모든 비자명한 $h \in H$와 모든 $T, T' \in \overline{cv}_n$에 대해 $l_T(h) > C \cdot l_{T'}(h)$를 만족한다. 이는 $\phi^k(F_n)$의 강한 정칙성 반영.