[논문 리뷰] Dense subsets of boundaries of CAT(0) groups

Tetsuya Hosaka|ArXiv.org|2005. 10. 24.

Geometric and Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 CAT(0) 군 작용의 경계가 최소임을 보여주는 조건을 확립한다. 즉, 모든 궤도가 경계에 밀집해 있음을 의미한다. 만약 CAT(0) 군 $G$가 CAT(0) 공간 $X$에 기하학적으로 작용하고, 중심화군이 유한한 원소 $g_0$가 존재하며, 고정점 집합의 여집합이 비연결이고, 각 성분이 볼록하고 $g_0$-불변이 아니면, 궤도 $G\alpha$와 무한 차수 군 원소들의 경계에서의 고정점 집합이 $\partial X$ 에서 밀집해 있음을 보인다. 이 결과는 반사의 중심화군이 유한한 코크스터 체계에 적용된다.

ABSTRACT

In this paper, we study dense subsets of boundaries of CAT(0) groups. Suppose that a group $G$ acts geometrically on a CAT(0) space $X$ and suppose that there exists an element $g_0\in G$ such that (1) $Z_{g_0}$ is finite, (2) $X\setminus F_{g_0}$ is not connnected, and (3) each component of $X\setminus F_{g_0}$ is convex and not $g_0$-invariant, where $Z_{g_0}$ is the centralizer of $g_0$ and $F_{g_0}$ is the fixed-point set of $g_0$ in $X$ (that is, $Z_{g_0}=\{h\in G| g_0h=hg_0\}$ and $F_{g_0}=\{x\in X| g_0x=x\}$). Then we show that each orbit $G α$ is dense in the boundary $\partial X$ (i.e.\ $\partial X$ is minimal) and the set $\{g^{\infty} | g\in G, o(g)=\infty\}$ is also dense in the boundary $\partial X$. We obtain an application for dense subsets on the boundary of a Coxeter system.

연구 동기 및 목표

• CAT(0) 군 작용의 경계가 최소가 되는 충분한 조건을 규명하는 것, 즉 모든 궤도가 경계에 밀집함을 의미한다.
• 무한 차수 군 원소들의 고정점 집합이 CAT(0) 공간의 경계에 밀집하는 조건을 조사하는 것.
• 군 내 단일 원소 $g_0$의 군론적 및 기하적 성질을 이용한 경계 최소성에 대한 기준을 제시하는 것.
• 코크스터 체계, 특히 다이슨 복합체에 주요 정리를 적용하기 위해 반사의 중심화군이 유한한 경우를 분석하는 것.

제안 방법

• 군 원소 $g_0$의 존재에 기반한 기준을 사용하며, 이의 중심화군 $Z_{g_0}$ 는 유한하고, 고정점 집합 $F_{g_0}$ 의 여집합이 $X$ 에서 비연결임을 가정한다.
• 각 성분이 볼록하고 $g_0$-불변이 아니라고 가정하여 $X\setminus F_{g_0}$ 의 기하적 구조를 활용해 제어된 이동을 갖는 군 원소의 수열을 구성한다.
• 부분집합 $A\subset G$ 의 한계 집합 $L(A)$ 를 핵심 도구로 사용하며, 이를 경계 상의 고정점 집합 $\mathcal{F}_g$ 와 Theorem 2.1 을 통해 연결한다.
• 밀집도 기준을 사용: 충분히 큰 이동 거리 $d(x_0, gx_0) > M$ 에 대해, $d(gx_0, \operatorname{Im}\xi_\alpha) \leq N$ 를 만족하는 $\alpha$ 가 집합 $A$ 에 존재하면, $A$ 는 $\partial X$ 에서 밀집함을 의미한다.
• 원소 $g_0$ 와 그 공액의 작용의 역학을 분석하여, 경계 점의 궤도가 볼록성 및 $X\setminus F_{g_0}$ 의 성분 간 분리 성질을 이용해 밀집함을 보인다.
• 무한 차수 원소 $h$ 에 대해 $h^\infty$ 로 수렴하는 지오데식 반직선을 구성하고, 그 이미지가 군 전이의 이웃을 가로질친다는 것을 보여, 집합 $\{g^\infty \mid o(g)=\infty\}$ 가 밀집함을 확보한다.

실험 결과

연구 질문

• RQ1 어떤 군론적 및 기하적 조건 하에서 CAT(0) 군 작용의 경계가 최소가 되는가?
• RQ2 무한 차수 군 원소들의 고정점 집합이 CAT(0) 공간의 경계에 밀집하는가?
• RQ3 단일 원소 $g_0$ 의 성질로 경계의 최소성이 보장될 수 있는가?
• RQ4 코크스터 체계에서 중심화군이 유한한 반사 $r$ 이 존재할 경우, 다이슨 복합체의 경계가 최소가 되는가?

주요 결과

• 만약 군 $G$ 가 CAT(0) 공간 $X$ 에 기하학적으로 작용하고, 중심화군이 유한하며, $X\setminus F_{g_0}$ 가 비연결이고, 각 성분이 볼록하고 불변이 아닌 원소 $g_0\in G$ 가 존재하면, $\partial X$ 는 최소이다.
• 동일한 조건 하에서 집합 $\{g^\infty \mid g\in G, o(g)=\infty\}$ 는 $\partial X$ 에서 밀집해 있다.
• 코크스터 체계 $(W,S)$ 에 대해, $W$ 에서 중심화군이 유한한 $s\in S$ 가 존재하면, $\partial\Sigma(W,S)$ 는 최소이며, 무한 차수 원소들의 고정점 집합은 경계에 밀집해 있다.
• 이 결과는 다이슨 복합체의 반사에 적용된다: 반사 $r$ 의 중심화군이 유한하면, $\partial\Sigma(W,S)$ 는 최소이다.
• 증명은 임의의 $\beta\in\partial X$ 와 $R>0$, $\epsilon>0$ 에 대해, $d(\xi_\beta(R), \operatorname{Im}\xi_\alpha) < \epsilon$ 를 만족하는 $\alpha\in A$ 가 존재함을 보여, $A$ 가 밀집됨을 증명한다.
• 구성은 $d(x_0, gx_0)$ 가 충분히 클 때 $gF_{g_0} \cap gg_0gF_{g_0} = \emptyset$ 임을 이용하며, 이는 무한히 많은 서로 다른 성분을 유도하고, 따라서 $gg_0$ 가 무한 차수임을 보여준다.