[논문 리뷰] The actions of $Out(F_k)$ on the boundary of Outer space and on the space of currents: minimal sets and equivariant incompatibility

Ilya Kapovich, Martin Lustig|ArXiv.org|2006. 05. 19.

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

한 줄 요약

이 논문은 $k \geq 5$일 때, 외부자기동형군 $\mathrm{Out}(F_k)$--equivariant 또는 anti-equivariant 맵이 외부 공간의 경계 $\partial CV(F_k)$에서 프로젝티브 지오데식 커런트 공간 $\mathbb{P}Curr(F_k)$로 존재하지 않음을 증명하며, $\partial CV(F_k)$와 $\mathbb{P}Curr(F_k)$ 양쪽 모두에 대해 유일한 최소 닫힘 $\mathrm{Out}(F_k)$-불변 집합이 존재함을 보이고, 이는 패트릭-설리번 임bedding이 외부 공간의 다른 컴팩티피케이션을 제공함을 시사한다.

ABSTRACT

We prove that for $k\ge 5$ there does not exist a continuous map $\partial CV(F_k) o\mathbb PCurr(F_k)$ that is either $Out(F_k)$-equivariant or $Out(F_k)$-anti-equivariant. Here $\partial CV(F_k)$ is the "length-function" boundary of Culler-Vogtmann's Outer space $CV(F_k)$, and $\mathbb PCurr(F_k)$ is the space of projectivized geodesic currents for $F_{k}$. We also prove that, if $k\ge 3$, for the action of $Out(F_k)$ on $\mathbb PCurr(F_{k})$ and for the diagonal action of $Out(F_k)$ on the product space $\partial CV(F_k) imes \mathbb PCurr(F_k)$ there exist unique non-empty minimal closed $Out(F_k)$-invariant sets. Our results imply that for $k\ge 3$ any continuous $Out(F_k)$-equivariant embedding of $CV(F_k)$ into $\mathbb PCurr(F_k)$ (such as the Patterson-Sullivan embedding) produces a new compactification of Outer space, different from the usual "length-function" compactification $\bar{CV(F_k)}=CV(F_k)\cup \partial CV(F_k)$.

연구 동기 및 목표

• 외부자기동형군 $\mathrm{Out}(F_k)$의 작용이 외부 공간의 경계 $\partial CV(F_k)$와 프로젝티브 지오데식 커런트 공간 $\mathbb{P}Curr(F_k)$ 사이의 역학적 관계를 조사한다.
• 연속적인 $\mathrm{Out}(F_k)$-equivariant 또는 anti-equivariant 맵 $\partial CV(F_k) \to \mathbb{P}Curr(F_k)$가 존재하는지 여부를 규명한다.
• $\partial CV(F_k)$, $\mathbb{P}Curr(F_k)$, 그리고 그 곱공간에서 최소 닫힘 $\mathrm{Out}(F_k)$-불변 집합을 식별하고 특성화한다.
• 이 결과들이 외부 공간의 컴팩티피케이션에 미치는 영향, 특히 패트릭-설리반 임bedding의 역할을 탐구한다.

제안 방법

• C러러-보그트만의 외부 공간의 경계인 $\partial CV(F_k)$에서 $\mathbb{R}$-트리의 길이 함수 경계를 사용하여 $\mathrm{Out}(F_k)$의 작용을 분석한다.
• 프로젝티브 지오데식 커런트 공간 $\mathbb{P}Curr(F_k)$를 연구한다. 여기서는 $F_k$-불변이며, 플립 불변인 $\partial^2 F_k$ 위의 Radon 측도를 다룬다.
• 보나혼의 초평면에 대한 교차수를 일반화한 $\mathrm{Out}(F_k)$-equivariant 교차형식 $I: cv(F_k) \times Curr(F_k) \to \mathbb{R}$를 적용한다.
• 등변 맵의 존재하지 않음을 이용하여, 패트릭-설리반 임bedding이 $\mathbb{P}Curr(F_k)$로 유도하는 컴팩티피케이션이 표준 길이 함수 컴팩티피케이션과 다름을 유추한다.
• 최소 집합 이론과 위상수학적 동역학을 활용하여, $k \geq 3$일 때 $\partial CV(F_k) \times \mathbb{P}Curr(F_k)$에서의 대각선 작용이 유일한 비공집합 닫힘 최소 불변 집합을 가짐을 보인다.
• Dehn 변형의 행동과 $cv(F_k)$, $Curr(F_k)$에서의 수열 수렴을 이용하여 극한점과 교차수를 분석한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 5$에 대해, 연속적인 $\mathrm{Out}(F_k)$-equivariant 또는 anti-equivariant 맵 $\partial CV(F_k) \to \mathbb{P}Curr(F_k)$가 존재하는가?
• RQ2 $\partial CV(F_k)$, $\mathbb{P}Curr(F_k)$, 그리고 그 곱공간에서의 최소 닫힘 $\mathrm{Out}(F_k)$-불변 집합은 무엇인가?
• RQ3 패트릭-설리반 임bedding $\mathcal{P}: CV(F_k) \to \mathbb{P}Curr(F_k)$를 사용하여 외부 공간의 새로운 컴팩티피케이션을 구성할 수 있는가?
• RQ4 $\partial CV(F_k) \times \mathbb{P}Curr(F_k)$에서의 최소 집합 $\mathcal{M}^2$는 교차수 0인 쌍의 집합과 동일한가?

주요 결과

• $k \geq 5$일 때, $\partial CV(F_k)$에서 $\mathbb{P}Curr(F_k)$로의 연속적인 $\mathrm{Out}(F_k)$-equivariant 또는 anti-equivariant 맵은 존재하지 않는다.
• $k \geq 3$일 때, $\partial CV(F_k)$, $\mathbb{P}Curr(F_k)$, 그리고 그 곱공간에서 각각 유일한 비공집합 닫힘 $\mathrm{Out}(F_k)$-불변 최소 집합이 존재한다.
• 패트릭-설리반 임bedding $\mathcal{P}: CV(F_k) \to \mathbb{P}Curr(F_k)$는 연속적인 $\mathrm{Out}(F_k)$-equivariant 위상 임bedding이며, 그 클로처는 $\mathbb{P}Curr(F_k)$의 최소 집합을 포함한다.
• 패트릭-설리반 임bedding의 이미지는 표준 길이 함수 컴팩티피케이션에 밀도가 없음을 보여, 이는 외부 공간의 다른 컴팩티피케이션을 유도함을 시사한다.
• 교차형식이 경계로 연속적으로 연장된다고 가정할 때, $\partial CV(F_k) \times \mathbb{P}Curr(F_k)$에서의 최소 집합 $\mathcal{M}^2$는 교차수 0인 집합 $I_0$에 포함된다.
• 최소 집합 $\mathcal{M}^2$는 대수적 라미네이션으로 정의된 집합 $\mathcal{L}^2$에 포함되며, 이는 라미네이션과 교차수 0 쌍 사이에 깊은 연결이 있음을 암시한다.