CAT0 공간에서 지오데시스의 거의 확실한 나선형 행동

초록

이 논문은 순위 1 CAT(0) 공간의 이산군 작용 아래에서, 모스(Morse) 부분집합 주변을 도는 지오데시스의 침투 시간이 로그 법칙을 따름을 보인다. 주요 결과는 퍼터슨‑설리반 측도에 대한 거의 확실한(K‑a.e.) 성질로, 침투 길이의 상한이 시간의 로그에 비례한다는 것이다.

상세 분석

논문은 먼저 순위 1 이산군 Γ가 작용하는 완비 CAT(0) 공간 X를 설정하고, 그 안에 Morse 성질을 가진 볼록 부분집합 C를 선택한다. Morse 조건은 모든 (A,B)‑준지오데시스가 C의 근방에 일정 거리 D(A,B) 이내에 머무르는 강한 얇음성을 의미한다. 저자는 C가 거의 정상(Almost‑malnormal)인 부분군 Γ₀에 의해 공압축적으로 작용한다는 가정을 추가한다. 이때 Γ₀는 무한 지수이며, Γ와 Γ₀의 임계 지수 δ(Γ), δ(Γ₀) 사이에 δ(Γ)>δ(Γ₀) 가 성립한다는 사실을 증명한다(명제 4.2).

주요 기술은 두 가지 그림자(Shadow) 추정이다. 첫째, 전통적인 그림자 보조정리(Shadow Lemma)를 확장하여, C의 Γ‑이동체 αC에 대한 ε‑이웃 그림자 S_{T,ε}(αC)의 퍼터슨‑설리반 측도 μ를 정확히 추정한다. 이는 정리 5.1(Subset Shadow Lemma)에서 C⁻¹ Q(T) e^{−δ(Γ)(d(o,αC)+T)+δ(Γ₀)T} ≤ μ(S_{T,ε}(αC)) ≤ C Q(T) e^{−δ(Γ)(d(o,αC)+T)+δ(Γ₀)T} 와 같은 형태로 표현된다. 여기서 Q(T) 는 다항식 성장 함수이며, T는 그림자의 깊이이다. 이 추정은 μ가 그림자들의 합에 대해 Khinchin 급수와 직접적인 대응 관계를 갖게 만든다.

둘째, Khinchin‑type 정리(정리 6.1)를 증명한다. 임의의 느리 변하는 함수 φ에 대해 Khinchin 급수 K_φ = Σ_{n≥1} e^{−(δ(Γ)−δ(Γ₀))φ(n)} Q(φ(n)) 의 수렴·발산 여부에 따라, μ‑거의 확실히(μ‑a.e.) 무한히 많은 그림자에 속하는 경계점 집합 Θ_{φ,T,ε}의 μ‑측정이 각각 0 혹은 1이 된다. 이 결과는 Borel‑Cantelli 논법과 위의 그림자 추정을 결합하여 얻어진다.

로그 법칙은 φ(x)=κ log x 형태를 선택함으로써 K_φ의 임계값을 분석한다. 수렴·발산 경계는 κ=1/(δ(Γ)−δ(Γ₀)) 이며, 따라서 거의 모든 경계점 ξ에 대해 대응하는 지오데시스 ray γ_ξ 가 lim sup_{t→∞} p_{C,ε}(γ_ξ,t)/log t = 1/(δ(Γ)−δ(Γ₀)) 을 만족한다. 여기서 p_{C,ε}(γ,t) 는 시간 t를 포함하는 최대 구간 길이로, 그 구간 전체가 C의 ε‑이웃에 머무르는 시간을 의미한다. 이는 정리 1.2의 핵심 진술이며, 정리 1.1에서는 3‑차원 비기하학적 매니폴드 M의 특정 토러스 평면에 대한 특수 경우를 제시한다.

논문은 또한 Morse 평면(특히 주기적 Morse flat)의 두께를 늘려서 위 가정을 만족시키는 방법을 제시한다(명제 8.1). 이를 통해 고립된 평면을 가진 CAT(0) 공간, 예를 들어 고립된 플랫을 갖는 비양수 곡률 공간에서도 결과가 적용됨을 보인다. 마지막으로, 기존 Hersonsky‑Paulin의 CAT(−1) 결과와 비교하여, CAT(0) 상황에서 발생하는 비균등 성장(Q(T) ∼ n^d)과 거의 정상성 가정이 필수적임을 강조한다.