유한 차원 CAT(0) 공간의 무한대에서 얻는 고정점과 군 작용의 제한

이 논문은 유한 차원의 CAT(0) 공간에서 시각적 경계 ∂X에 대한 새로운 컴팩트성 성질을 연구한다. 먼저, 텔레스코픽 차원이라는 개념을 도입한다. 텔레스코픽 차원 ≤ n이면 모든 비례 축소된 비율 εₙ에 대해 비극한 콘(Asymptotic cone) lim ω(εₙX,⋆ₙ)의 기하학적 차원이 ≤ n이다. 이 정의는 기존의 기하학적 차원(Geometric dimension)과 일치하며, 유한 차원의 CAT(0) 공간은 자동으로 텔레스코픽 차원이 유한하다. 텔레스코픽 차원이 0이면 공간이 유계, 1이면 Gromov‑하이퍼볼릭임을 확인한다. 주요 정리 1.1은 “완비 CAT(0) 공간 X가 텔레스코픽 차원 ≤ n을 갖고, {X_α}가 필터링된 닫힌 볼록 부분집합이면, 교집합이 비어 있지 않거나, ∂X에 반경 ≤ π/2인 비어 있지 않은 교집합이 존재한다”는 내용이다. 여기서 필터링이란 임의의 두 집합 E, F에 대해 D⊆E∩F인 D∈{X_α}가 존재함을 의미한다. 정리의 증명은 다음 단계로 구성된다. 1. **볼록 함수 구성**: 각 X_α에 대해 거리 함수 d_{X_α}를 정의하고, f(x)=sup_α d_{X_α}(x) 로 볼록 함수를 만든다. 2. **그래디언트 흐름**: f의 그래디언트 흐름을 고려한다. 흐름은 비증가하며, 흐름선이 무한히 진행될 경우 시각적 경계에 수렴한다. 3. **탈출 속도 추정**: Kär​lsson‑Margulis의 흐름 수축 정리를 적용해, 텔레스코픽 차원 가정 하에 흐름의 탈출 속도가 양수임을 보인다. 핵심은 Jung‑type 부등식(정리 1.3)이다. 이 부등식은 “지름이 큰 유한 집합 Y에 대해 rad_X(Y) ≤ C·diam(Y)”를 보장한다. 텔레스코픽 차원 ≤ n이면 C=√(n/2(n+1))가 충분히 작아, 큰 집합이 작은 반경 안에 들어가게 된다. 4. **극한점 존재**: 탈출 속도가 양수이면 흐름의 ω‑극한이 존재하고, 이는 ∂X의 점이 된다. 따라서 교집합이 비어 있지 않다면 ∂X에 비어 있지 않은 교집합이 존재한다. 정리 1.1은 시각적 경계가 비어 있지 않다는 강력한 컴팩트성 성질을 제공한다. 이를 바탕으로 여러 응용을 전개한다. **1. 파라볼릭 등거리 변환의 고정점**(정리 1.5) 파라볼릭 등거리 변환 g는 최소 이동 거리 0이지만 고정점이 없을 수 있다. 정리 1.5는 텔레스코픽 차원 제한 하에 중앙자 Z_{Is(X)}(g) 가 ∂X에 고정점을 갖는다는 것을 보인다. 이는 기존에 국소 콤팩트 CAT(0) 공간에서만 알려졌던 결과를 일반화한다. **2. 아미엔블 군 작용에 대한 제한**(정리 1.6, 1.7) 아미엔블 군 G가 유한 텔레스코픽 차원의 CAT(0) 공간에 연속적으로 작용하면, 두 가지 경우 중 하나가 발생한다. (i) G가 평면(또는 점) 부분공간을 고정한다. (ii) G가 ∂X에 점을 고정한다. 이는 Adams‑Ballmann, Burger‑Schroeder의 결과를 비국소 콤팩트 상황으로 확장한다. 또한, CAT(0) 셀 복합체에 대한 정리 1.7은 아미엔블 하위군 H가 (topologically locally finite)-by-(virtually abelian) 형태임을 보여준다. **3. 최소·축소 작용과 경계 구조**(정리 1.8) 텔레스코픽 차원 제한 하에 Tits 경계가 유한 차원을 갖는다(정리 2.1). 이를 이용해 최소 작용, 축소 작용, 그리고 경계의 폐쇄 볼록 부분집합에 대한 일련의 성질을 정리한다. 특히, 최소 작용이 없으면 경계에 고정점이 존재하고, 최소 작용이 존재하면 경계의 폐쇄 볼록 부분집합이 전체 경계와 동일해진다. **4. 초강직성**(정리 1.9, 1.10) Irreducible uniform lattice Γ가 n≥2개의 로컬 콤팩트 σ‑콤팩트 군 G₁×…×Gₙ에 대해 비정칙적인 작용을 할 경우, Γ의 작용은 전체 G에 연장될 수 있다(정리 1.9). 또한, G가 최소 작용을 하면서 ∂X에 고정점이 없으면, G의 amenable radical은 X의 최대 Euclidean factor를 안정화한다(정리 1.10). 이는 기존의 기하학적 초강직성 결과를 텔레스코픽 차원 제한 하에 일반화한다. **기술적 도구와 보조 정리** - **Jung 부등식**(정리 1.3): 텔레스코픽 차원 ≤ n이면 모든 유한 집합 Y에 대해 rad_X(Y) ≤ √(n/2(n+1))·diam(Y) 가 성립한다. - **Helly‑type 정리**(Lemma 2.2): 차원 ≤ n인 CAT(0) 공간에서 n+1개 이하의 열린 볼록 집합들의 교차가 비어 있지 않으면 전체 교차도 비어 있지 않다. - **내부점**(Section 2.2): 텔레스코픽 차원이 유한한 경우 내부점이 조밀하게 존재한다는 사실을 이용해 경계의 밀도와 비정상적인 공간에서도 볼록 구조를 확보한다. 결론적으로, 텔레스코픽 차원이라는 새로운 제한조건을 도입함으로써, 비국소 콤팩트이면서도 차원적으로 제한된 CAT(0) 공간에 대해 기존에 국소 콤팩트 상황에서만 성립하던 여러 정리들을 일관되게 확장하였다. 이는 CAT(0) 기하학, 군 작용 이론, 그리고 초강직성 연구에 새로운 도구와 시각을 제공한다.