[논문 리뷰] Reducing systems for very small trees

Patrick Reynolds|arXiv (Cornell University)|2012. 11. 14.

Geometric and Algebraic Topology참고 문헌 11인용 수 24

한 줄 요약

이 논문은 자유군의 오르터 스페이스 경계에서의 무리수 수형을 특성화하며, 이러한 수형이 자유이고 분해불가능하거나, 무리수 측도 폴리케이션을 가진 한 개의 구멍이 있는 표면과 이중임을 보여준다. 논문은 자유 부분군에 대한 단순화 체계를 도입하여, 수형이 무리수임은 어떤 비자명한 진부분자유군에 의해도 동적으로 단순화되지 않을 때이며, 이를 제어하기 위해 표준적인 유한한 부분군 집합을 제공한다. 이는 베스트비나-핸델 분류 및 자유 부분군 복합체의 과르모 경계에 응용된다.

ABSTRACT

We study very small trees from the point of view of reducing systems of free factors, which are analogues of reducing systems of curves for a surface lamination; a non-trivial, proper free factor $F \leq \FN$ reduces $T$ if and only if $F$ acts on some subtree of $T$ with dense orbits. We characterize those trees, called arational, which do not admit a reduction by any free factor: $T$ is arational if and only if either $T$ is free and indecomposable or $T$ is dual to a surface with one boundary component equipped with an arational measured foliation. To complement this result, we establish some results giving control over the collection of all factors reducing a given tree. As an application, we deduce a form of the celebrated Bestvina-Handel classification theorem for elements of $Out(\FN)$. We also include an appendix containing examples of very small trees. The results of this paper are used in Bestvina and Reynolds (2012), where we describe the Gromov boundary of the complex of free factors.

연구 동기 및 목표

• 모든 비자명한 진부분자유군에 의해 단순화되지 않는 오르터 스페이스 경계의 수형을 특성화하고, 이러한 수형을 무리수로 정의한다.
• 표면 라미네이션의 곡선 단순화와 유사한 자유 부분군에 대한 단순화 체계 이론을 개발한다.
• 주어진 수형을 단순화하는 모든 자유 부분군의 집합을 제어하며, 이러한 요소들을 제어하는 표준적인 유한 집합을 확립한다.
• 결과를 적용하여 Out(F_N)에 대한 베스트비나-핸델 분류 정리의 한 형태를 유도한다.
• 자유 부분군 복합체의 과르모 경계를 이해하기 위한 기초 도구를 제공한다.

제안 방법

• 매우 작은 F_N-수형 T가 비자명한 부분군에 의해 동적 단순화됨을, 밀도 있는 궤도를 가지는 불변 부분수형을 통해 정의한다.
• 모든 비자명한 진부분자유군에 의해 단순화되지 않는 수형을 무리수 수형으로 정의하며, 이들이 자유이고 분해불가능하거나, 한 개의 구멍이 있는 표면과 무리수 측도 폴리케이션과 이중임을 특성화한다.
• T의 모든 단순화 요소를 제어하는 표준적인 유한 집합 C(T) = {F^1, ..., F^r}을 구성하며, 공轭성 및 교차 행동 조건을 만족시킨다.
• T의 모든 점 고정 부분군이 T'의 점도 고정하는 단순 복합체 수형 T'가 존재함을 이용하여, 주변 단순화를 기존의 경우로 환원한다.
• 화이트헤드 알고리즘과 지오데식 컨저런스의 성질을 활용하여 자유 부분군 복합체에서 단순화 요소 집합의 지름을 유계로 제한한다.
• 상대적 트레인 트랙 맵 및 자동형사의 반복에 의해 유도된 극한 수형을 활용하여, 매우 작은 수형과 그들의 단순화 체계의 구체적 예를 구성한다.

실험 결과

연구 질문

• RQ1 어떤 매우 작은 F_N-수형 T는 어떤 비자명한 진부분자유군에 의해도 단순화되지 않으며, 이러한 수형은 어떻게 특성화할 수 있는가?
• RQ2 주어진 매우 작은 F_N-수형을 단순화하는 모든 자유 부분군의 집합의 구조는 어떠한가?
• RQ3 주어진 수형의 모든 단순화 요소를 제어하는 표준적인 유한한 자유 부분군 집합을 어떻게 구성할 수 있는가?
• RQ4 자유 부분군에 대한 단순화 체계는 오르터 스페이스 경계 및 자유 부분군 복합체의 과르모 경계 기하학과 어떻게 관련되는가?
• RQ5 단순화 체계 이론은 특히 베스트비나-핸델 정리의 맥락에서 Out(F_N)의 원소 분류에 어떻게 기여하는가?

주요 결과

• T ∈ ∂cv_N 이면, T가 무리수일 조건은 분해불가능하고, 자유가 아니면 한 개의 구멍이 있는 표면과 무리수 측도 폴리케이션과 이중임이다.
• 모든 요소 단순화 수형 T ∈ ∂cv_N 에 대해, C(T) = {F^1, ..., F^r} 이라는 유한한 표준 집합이 존재하여, 모든 단순화 요소는 어떤 F^j에 공轭된다.
• 각 F^j 는 T 내의 최소 불변 부분수형에서 혼합 작용을 하며, i ≠ j 이고 임의의 g ∈ F_N 에 대해 F^i ∩ (F^j)^g 는 T 내에서 점을 고정한다.
• T의 모든 점 고정 부분군이 T' 에서도 점을 고정하는 단순 복합체 수형 T' ∈ ∂cv_N 이 존재하며, 각 F^j 는 T' 내에서 점을 고정하는 원소를 포함한다.
• 자유 부분군 복합체에서 단순화 요소 집합의 지름은 유계로 제한되며, 이 유계는 표준 집합 C(T) 의 제어로부터 유도된다.
• 유일한 이중성 결과: T와 T' 가 모두 무리수이고 어떤 컨저런스 μ ∈ M_N 와의 휘발성 페어링을 공유하면, L(T) = L(T') 이며, 이는 T' 도 무리수임을 의미한다.