[논문 리뷰] Coarse decompositions of boundaries for CAT(0) groups

Dan P. Guralnik|ArXiv.org|2006. 10. 31.

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

한 줄 요약

이 논문은 $\omega$-차원 큐빙 $C$의 반공간들에 대한 초필터의 거의등가류 집합으로 정의된 새로운 조합론적 경계 $\Re C$를 사용하여 CAT(0) 군의 경계에 대한 굵은 분해를 제안한다. 이 경계는 순서 구조를 지닌다. 군 $G$가 CAT(0) 공간 $X$에 기하학적으로 작용하고, 균일한 큐빙 구조 $\mathcal{H}$를 가질 경우, 맵 $\rho: \partial_\infty X \to \Re C$의 섬세한 분할이 $\Re C$의 순서에 따라 시각적 경계를 계층적으로 분할하며, 이 구조는 티츠 경계의 연결 성분을 계산한다. 주요 결과는 $\rho$를 통한 $G$의 $C$ 위에서의 작용의 공compactness를 특성화하는 것으로, 코xeter 군에 대한 이전 결과를 일반화한다.

ABSTRACT

In this work we introduce a new combinatorial notion of boundary $\Re C$ of an $ω$-dimensional cubing $C$. $\Re C$ is defined to be the set of almost-equality classes of ultrafilters on the standard system of halfspaces of $C$, endowed with an order relation reflecting the interaction between the Tychonoff closures of the classes. When $C$ arises as the dual of a cubulation -- or discrete system of halfspaces -- $\HH$ of a CAT(0) space $X$ (for example, the Niblo-Reeves cubulation of the Davis-Moussong complex of a finite rank Coxeter group), we show how $\HH$ induces a function $ρ:\bd X o\Re C$. We develop a notion of uniformness for $\HH$, generalizing the parallel walls property enjoyed by Coxeter groups, and show that, if the pair $(X,\HH)$ admits a geometric action by a group $G$, then the fibers of $ρ$ form a stratification of $\bd X$ graded by the order structure of $\Re C$. We also show how this structure computes the components of the Tits boundary of $X$. Finally, using our result from another paper, that the uniformness of a cubulation as above implies the local finiteness of $C$, we give a condition for the co-compactness of the action of $G$ on $C$ in terms of $ρ$, generalizing a result of Williams, previously known only for Coxeter groups.

연구 동기 및 목표

• 큐빙 $C$의 표준 반공간 시스템에 대한 초필터의 거의등가류 집합으로 구성된 조합론적 경계 $\Re C$를 정의한다.
• CAT(0) 공간 $X$의 시각적 경계 $\partial_\infty X$에서 이 새로운 경계 $\Re C$로 가는 맵 $\rho: \partial_\infty X \to \Re C$를 정의한다.
• 균일한 큐빙 $\mathcal{H}$ 조건 하에서 $\rho$의 섬세한 분할이 $\Re C$의 순서 구조에 따라 계층화됨을 보인다.
• 이 구조가 $X$의 티츠 경계 성분을 계산함을 보여준다.
• Coxeter 군에 대한 Williams의 결과를 일반화하여, $G$의 큐빙 $C$ 위에서의 작용의 공compactness 조건을 $\rho$를 통해 기술한다.

제안 방법

• $C$의 큐빙에서 표준 반공간 시스템에 대한 초필터의 거의등가류 집합으로 $\Re C$를 정의하고, Tychonoff 폐쇄로부터 유도된 순서 관계를 부여한다.
• CAT(0) 공간 $X$의 큐빙 $\mathcal{H}$에 의해 유도되는 맵 $\rho: \partial_\infty X \to \Re C$를 구성한다. 여기서 $\mathcal{H}$는 이산 반공간 시스템이다.
• Coxeter 군의 평행 벽 성질을 일반화하여 $\mathcal{H}$의 균일성 개념을 도입함으로써 구조적 통제를 확보한다.
• 큐빙 $C$의 국소 유한성과 고위상 원리(피그홀 대안)를 사용하여 기저점 $\Pi_0$로부터의 거리가 엄격히 증가하는 $\Pi$(큐빙의 1-스켈레톤) 내의 지오데식 반선을 구성함으로써, $\rho$의 상에 포함되지 않는 초필터의 존재를 증명한다.
• 반정의성과 반공간 집합의 일致성, 그림자 성질을 이용한 모순 추론을 통해 이러한 도망 지오데식 반선이 $\rho(\partial_\infty X)$의 외부에 있는 초필터에 대응됨을 보인다.
• 이전 결과를 활용하여 균일 큐빙이 $C$의 국소 유한성과 관련됨을 도출하고, $\rho$의 섬세한 분할을 통해 $G$의 $C$ 위에서의 작용의 공compactness 기준을 유도한다.

실험 결과

연구 질문

• RQ1 CAT(0) 공간 $X$의 시각적 경계 $\partial_\infty X$는 큐빙 $\mathcal{H}$의 조합론적 자료를 어떻게 계층화할 수 있는가?
• RQ2 $C$의 경계인 $\Re C$의 순서 구조는 맵 $\rho: \partial_\infty X \to \Re C$의 섬세한 분할을 어떻게 조직하는가?
• RQ3 큐빙 $\mathcal{H}$의 균일성은 $\partial_\infty X$의 위상적 구조와 티츠 경계와 어떻게 관련되는가?
• RQ4 $X$의 티츠 경계 성분은 $\Re C$의 순서 구조로부터 어떻게 계산할 수 있는가?
• RQ5 $\rho$에 어떤 조건이 성립할 경우 $G$의 $C$ 위에서의 작용이 공compact인가?

주요 결과

• $\rho: \partial_\infty X \to \Re C$는 $G$가 $X$에 기하학적으로 작용할 경우 자연스럽게 정의되며, 큐빙 $\mathcal{H}$로부터 유도된다.
• $\rho$의 섬세한 분할은 $\Re C$의 순서 구조에 따라 계층화된 $\partial_\infty X$의 분할을 형성하며, 이는 $\Re C$의 각 원소의 역상이 경계의 계층적 분해에서 한 수준에 해당함을 의미한다.
• $X$의 티츠 경계 성분은 $\Re C$의 순서 구조에 의해 계산되며, 이는 티츠 경계의 연결 성분이 $\Re C$의 최대 원소 또는 연결 성분에 대응됨을 의미한다.
• $\Pi$ 내에서 기저점 $\Pi_0$로부터의 거리가 엄격히 증가하는 도망 지오데식 반선은 $\rho$의 상에 포함되지 않는 초필터에 대응하며, 이는 일반적으로 $\rho$가 전사가 아님을 증명한다.
• $G$의 $C$ 위에서의 작용의 공compactness는 $\rho$의 섬세한 분할이 컴팩트하고 $\rho$의 상이 닫혀 있을 때 성립함을 특성화하며, 이는 기존의 Coxeter 군 결과를 일반화한다.
• 이러한 반선의 존재는 고위상 원리와 $C$의 국소 유한성에 의해 보장되며, 이는 $\mathcal{H}$의 균일성에 의해 유도되므로 기하적 유한성과 $\Re C$의 구조가 연결된다.