[논문 리뷰] Equidistribution of closed geodesics along random walk trajectories with respect to the harmonic invariant measure

Ilya Gekhtman|arXiv (Cornell University)|2017. 11. 14.

Geometry and complex manifolds참고 문헌 5인용 수 3

한 줄 요약

이 논문은 CAT(-1) 공간의 등장변환군 위에서의 무작위 보행에 대해, 일반적인 표본 경로가 최종적으로 조건부 평행 이동 원소를 생성하며, 이에 대응하는 닫힌 지오데식이 몫 공간의 단위 접선다발 위의 조화 불변 측도에 대해 등분포함을 확립한다. 이 결과는 에르고딕 이론과 지오데식의 점근적 추적을 바탕으로 하며, 단순한 모멘트 조건 하에서 정규화된 지오데식 측도가 조화 불변 측도로 약수렴함을 보여준다.

ABSTRACT

We prove that for suitable random walks on isometry groups of $CAT(-1)$ spaces, typical sample paths eventually land on loxodromic elements which equidistribute with respect to a flow invariant measure on the unit tangent bundle of the quotient space.

연구 동기 및 목표

• CAT(-1) 공간에서 일반적인 무작위 보행 경로를 따라 생성된 조건부 평행 이동 원소에 대응하는 닫힌 지오데식의 등분포를 확립하는 것.
• 조화 분석에서 유도된 흐름-불변 측도를 기반으로 한 이 지오데식의 극한 분포를 특성화하는 것.
• 고전적 Bowen-Margulis 측도를 넘어서, 무작위 보행에서 유도된 조화 불변 측도로의 등분포 결과를 확장하는 것.
• 보행 분포의 유한한 두 번째 모멘트 조건 하에서 정규화된 지오데식 측도가 조화 불변 측도로 약수렴함을 증명하는 것.

제안 방법

• 몫 공간의 단위 접선다발 위의 지오데식 흐름에 대해 Birkhoff 에르고딕 정리를 적용하여 지오데식 반사의 장기적 행동을 분석한다.
• 하나의 보조정리(Proposition 1.2)의 하향 추적 성질을 적용하여, 무작위 보행 경로가 경계로 향하는 지오데식 반사와 점차적으로 일치함을 보인다.
• CAT(-1) 공간에서의 비교 기하학을 활용하여, 무작위 보행 경로와 결과적으로 생성된 조건부 평행 이동 원소의 지오데식 축 사이의 하우스도르프 거리를 통제한다.
• 경계 위의 정적 측도와 R 위의 르베그 측도의 곱으로 정의된 불변 측도 클래스를 사용하며, 이를 단위 접선다발으로 올린다.
• Portmanteau 정리를 적용하여 측도의 약수렴을 개집합과 닫힌 집합의 측도에 대한 liminf 및 limsup 기준과 연결한다.
• G-불변 라돈 측도가 ĥν × ν × Leb 계열에 존재함을 바탕으로 하며, 이는 T¹M 위의 조화 불변 측도 m로 투영된다.

실험 결과

연구 질문

• RQ1 일반적인 무작위 보행 경로를 따라 생성된 조건부 평행 이동 원소에 대응하는 닫힌 지오데식이 몫 공간의 조화 불변 측도에 대해 등분포하는가?
• RQ2 기하학적으로 유한하거나 볼록 코컴팩트 설정에서 조화 불변 측도는 고전적 Bowen-Margulis 측도와 어떻게 관련이 있는가?
• RQ3 보행 분포의 어떤 모멘트 조건 하에서 지오데식의 등분포가 무작위 보행 경로를 따라 성립하는가?
• RQ4 지오데식 흐름과 경계 정적 측도를 사용한 에르고딕 이론적 방법으로 등분포를 확립할 수 있는가?
• RQ5 n → ∞ 일 때, ωₙ의 축에 대한 정규화된 길이 측도의 점근적 행동은 어떠한가?

주요 결과

• P-거의 모든 표본 경로 ω ∈ G^ℕ에 대해, 닫힌 지오데식 γ_{ωₙ} 위의 정규화된 지오데식 측도 D_{ωₙ}는 n → ∞ 일 때 T¹M 위의 조화 불변 측도 m로 약수렴한다.
• μ가 유한한 두 번째 모멘트를 가지며 Axiom 1.4를 만족하는 조건 하에서 수렴이 성립하며, 이는 ĥν × ν × Leb 계열 내의 G-불변 라돈 측도 존재를 보장한다.
• 조화 불변 측도 m은 지오데식 흐름에 대해 에르고딕이며, G가 포화 원소를 포함할 경우 Bowen-Margulis 측도와는 기하학적으로 비어 있는 것으로 나타난다.
• 증명 과정에서 Borel 집합 A ⊂ T¹M 에 대해 D_{ωₙ}(A) 의 liminf_{n→∞} ≥ m(int(A)) 및 limsup_{n→∞} D_{ωₙ}(A) ≤ m(Ā) 를 만족함을 보여 약수렴을 확인한다.
• CAT(-1) 공간의 비교 기하학 덕분에 지오데식 축의 미세한 변형에 대해 결과가 강건하며, 무작위 보행 경로와 지오데식 반사 사이의 거리 통제가 가능하다.
• 핵심 기술적 단계는 지오데식 반사 γ_{o,ω₊} 가 A의 근방에 머무르는 시간이 A의 측도를 근사하며, 이는 점근적 추적을 통해 ωₙ의 축으로 전이된다는 것임.