[논문 리뷰] Core and intersection number for group actions on trees

Vincent Guirardel|arXiv (Cornell University)|2004. 07. 12.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 15

한 줄 요약

이 논문은 R-나무 위의 두 군 작용의 곱에 대한 볼록 코어의 기하적 구성법을 제안하며, 스코트의 교차 수, 표면 곡선의 교차 수, 후지와라-파파소글로의 JSJ 분해를 일반화하고 통합한다. 코어는 $T_1 \times T_2$ 내에서 가장 작은 비어 있지 않은, 닫힌, 연결된, $G$-불변인 부분집합으로, 각 섬유에 대해 볼록성을 가지며, CAT(0)이면서 $G$--equivariant한 변형 재구성(deformation retraction)을 갖는다. 주요 기여는 교차 수를 이 코어의 캄볼루드(covolume)로 해석한 것으로, 이는 표면 위의 위상수학적 교차 수와 군 분해의 고전적 교차 수와 일치한다.

ABSTRACT

We present the construction of some kind of "convex core" for the product of two actions of a group on $\bbR$-trees. This geometric construction allows to generalize and unify the intersection number of two curves or of two measured foliations on a surface, Scott's intersection number of splittings, and the apparition of surfaces in Fujiwara-Papasoglu's construction of the JSJ splitting. In particular, this construction allows a topological interpretation of the intersection number analogous to the definition for curves in surfaces. As an application of this construction, we prove that an irreducible automorphism of the free group whose stable and unstable trees are geometric, is actually induced a pseudo-Anosov homeomorphism on a surface.

연구 동기 및 목표

• 표면 곡선, 측도 폴로노미아(measured foliations), 유한 생성 군의 분해에 대한 고전적 교차 수를 하나의 기하적 프레임워크로 일반화하고 통합하는 것.
• 스코트의 추상적 교차 수를 R-나무 곱에서 볼록 코어를 통해 위상수학적·기하학적으로 해석하는 것.
• 비분리성 또는 비이산적인 작용이 존재할 경우에도, 두 R-나무 위의 군 작용에 대해 코어의 표준적, 대칭적, 불변적인 구성법을 확립하는 것.
• 교차 수가 0이 되는 것(즉, 코어가 1차원이 되는 것)이 두 분해의 호환성과 정확히 일치함을 보이는 것.
• 이러한 코어 구성법을 응용하여 기하적 안정 및 불안정 나무를 갖는 자유군의 비분리적 자기동형사상이 표면 위의 페시오-아노소프 지도(pseudo-Anosov map)에 의해 유도됨을 보이는 것.

제안 방법

• 코어 $\mathcal{C} \subset T_1 \times T_2$를 각 섬유에 대해 볼록성(각 $T_1$ 및 $T_2$로의 사영의 각 섬유 내에서 볼록)을 가지며, 비어 있지 않은, 닫힌, 연결된, $G$-불변인 부분집합 중 가장 작은 것으로 정의한다.
• 섬유별 볼록성 조건을 통해 코어가 과도하게 큰 CAT(0) 볼록 집합을 피하고, 필수적인 기하적 교차 정보만을 포괄함을 보장한다.
• 비대칭 코어 $\mathcal{A}_1 = \bigcup_{x_1 \in T_1} \{x_1\} \times \min_{T_2}(G_{x_1})$ 및 $\mathcal{A}_2 = \bigcup_{x_2 \in T_2} \min_{T_1}(G_{x_2}) \times \{x_2\}$를 구성하고, 약한 가정 하에 이들이 일치함을 증명한다.
• $\mathcal{C}$가 유도된 길이 거리(metric)에 대해 CAT(0)임을 증명하고, $T_1 \times T_2$로부터의 $G$-equivariant한 변형 재구성(deformation retraction)이 존재함을 보인다.
• 교차 수를 $\mathcal{C}$의 캄볼루드로 정의하며, 이는 곡선과 분해에 대한 고전적 교차 수를 일반화한다.
• 코어를 사용하여 $T_1$과 $T_2$가 호환 가능하다는 것과 $\mathcal{C}$가 1차원임이 정확히 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 두 R-나무 위의 군 작용의 곱에 대한 기하적 코어 구성법이 표면 곡선, 측도 폴로노미아, 유한 생성 군의 분해에 대한 교차 수를 통합할 수 있는가?
• RQ2 섬유별 볼록 코어 구성법이 스코트의 원래 정의에서 유래하는 비대칭성을 해결하는 대칭적이고 불변적인 교차 수 정의를 제공하는가?
• RQ3 코어 $\mathcal{C}$가 비어 있지 않고 연결되어 있는 조건은 무엇이며, 연결성이 떨어질 경우 어떻게 복구할 수 있는가?
• RQ4 코어 구성법을 사용하여 두 분해가 호환 가능한지 특성화할 수 있으며, 이는 교차 수가 0이 되는 것과 어떻게 관련되는가?
• RQ5 코어가 자유군의 자기동형사상, 특히 기하적 나무를 갖는 비분리적 자기동형사상의 맥락에서 교차 수의 위상수학적 실현을 제공하는가?

주요 결과

• 코어 $\mathcal{C} \subset T_1 \times T_2$는 가장 작은 비어 있지 않은, 닫힌, 연결된, $G$-불변인 부분집합이며, 각 섬유에 대해 볼록하고, CAT(0)이면서 $T_1 \times T_2$로부터의 $G$-equivariant한 변형 재구성(deformation retraction)을 갖는다.
• 코어는 대칭적이다: $\mathcal{C}(T_1 \times T_2)$는 자연스럽게 $\mathcal{C}(T_2 \times T_1)$와 위상동형이며, 교차 수의 대칭성에 대한 기하학적 이유를 제공한다.
• 두 R-나무 위의 작용에 대한 교차 수는 $\mathcal{C}$의 캄볼루드로 정의되며, 이는 표면 곡선에 대한 고전적 교차 수와 스코트의 분해에 대한 교차 수와 일치한다.
• 표면 $\Sigma$ 위의 두 수직 측도 폴로노미아에 대해, 이에 대응하는 R-나무 작용의 코어는 $\Sigma$의 전방위 덮개와 $G$-equivariant하게 위상동형이며, 그 캄볼루드는 폴로노미아의 측도 교차 수와 같다.
• 코어 $\mathcal{C}$가 1차원임은 두 분해가 호환 가능할 때 정확히 일치하며, 이는 호환성에 대한 기하학적 기준을 제공한다.
• 자유군의 비분리적 자기동형사상에서 기하적 안정 및 불안정 나무를 갖는 경우, 코어 구성법은 이러한 자기동형사상이 표면 위의 페시오-아노소프 지도에 의해 유도됨을 암시한다.