[논문 리뷰] On Moebius and conformal maps between boundaries of CAT(-1) spaces

Kingshook Biswas|arXiv (Cornell University)|2012. 03. 28.

Geometric Analysis and Curvature Flows참고 문헌 4인용 수 10

한 줄 요약

이 논문은 CAT(-1) 공간의 경계에서의 모비우스 및 동형도 맵과 기하선 흐름의 역학 사이에 깊은 대응 관계를 설정하며, 플립-등변성에서의 이탈 정도를 측정하기 위해 통합된 슈바르츠ian을 도입한다. 단순 연결된 음의 곡률을 가진 다양체 사이의 모비우스 맵이 준등거리 사상으로 연장됨을 증명하고, 타원형, 포물형, 쌍곡형인 동역학적 유형에 따라 모비우스 자기사상들을 특성화함으로써 표시 길이 스펙트럼에 대한 역학적 분류와 강성 결과를 제시한다.

ABSTRACT

We consider Moebius and conformal homeomorphisms $f : \partial X o \partial Y$ between boundaries of CAT(-1) spaces $X,Y$ equipped with visual metrics. A conformal map $f$ induces a topological conjugacy of the geodesic flows of $X$ and $Y$, which is flip-equivariant if $f$ is Moebius. We define a function $S(f) : \partial ^2 X o \mathbb{R}$, the {\it integrated Schwarzian} of $f$, which measures the deviation of the topological conjugacy from being flip-equivariant, in particular vanishing if $f$ is Moebius. Conversely if $X,Y$ are simply connected complete manifolds with pinched negative sectional curvatures, then $f$ is Moebius on any open set $U \subset \partial X$ such that $S(f)$ vanishes on $\partial^2 U$. Indeed we obtain an explicit formula for the cross-ratio distortion in terms of the integrated Schwarzian. For such manifolds, we show that there is a Moebius homeomorphism $f : \partial X o \partial Y$ if and only if there is a topological conjugacy of geodesic flows $ϕ: T^1 X o T^1 Y$ with a certain uniform continuity property along geodesics. We show that if $X,Y$ are proper, geodesically complete CAT(-1) spaces then any Moebius homeomorphism $f$ extends to a $(1, \log 2)$-quasi-isometry with image $\frac{1}{2}\log 2$-dense in $Y$. We prove that if $X,Y$ are in addition metric trees then $f$ extends to a surjective isometry. For $C^1$ conformal maps $f : \partial X o \partial Y$ with bounded integrated Schwarzian and with domain $X$ a simply connected negatively curved manifold with a lower bound on sectional curvature, similar arguments show that $f$ extends to a $(1, \log 2 + 12||S(f)||_{\infty})$ quasi-isometry. We also obtain a dynamical classification of Moebius self-maps $f : \partial X o \partial X$ into three types, elliptic, parabolic and hyperbolic.

연구 동기 및 목표

• CAT(-1) 공간 경계에서의 모비우스/동형도 맵과 기하선 흐름의 위상적 공액성 사이의 대응 관계 수립.
• 플립-등변성에서의 이탈 정도를 측정하는 통합된 슈바르츠ian S(f)의 정의 및 분석.
• 단순 연결된 음의 곡률을 가진 다양체 사이의 모비우스 맵이 명시적인 왜곡 한계를 가진 준등거리 사상으로 연장됨을 증명.
• 기하학적 행동에 기반하여 경계에서의 모비우스 자기사상들을 타원형, 포물형, 쌍곡형인 유형으로 분류.
• 적절하고 기하선적으로 완비된 CAT(-1) 공간에 대해, 모비우스 맵이 이미지가 Y에서 log 2/2-밀도인 (1, log 2)-준등거리 사상으로 연장됨을 보임.

제안 방법

• 경계 ∂²X → ℝ 에 정의된 통합된 슈바르츠ian S(f) 를 도입하여, 동형도 맵 f 가 모비우스가 아님으로써 얼마나 이탈하는지 정량화함. S(f) ≡ 0 이면 f 가 모비우스임이 항상 성립.
• CAT(-1) 공간 경계에서의 시각적 거리 체계를 사용하여, 교차비 불변성과 모비우스 등가성 정의.
• ∂X 상의 모비우스 등가 거리 체계의 공간 M(∂X) 를 구성하고, X 를 M(∂X) 에 등거리로 매립하여 연장 성질 분석.
• 균일한 준등거리 사상 기법을 적용하여, 모비우스 맵이 이미지가 Y 에서 log 2/2-밀도인 (1, log 2)-준등거리 사상으로 연장됨을 보임.
• 수평구면 거리와 동형도 맵의 도함수 추정치를 사용하여 반복의 수렴성 분석 및 동역학적 유형 분류.
• 균일한 준지오데식선과 반복 맵의 유계 거리 성질을 이용한 모순 추론 기법을 사용하여, 모비우스 자기사상의 역학을 분류함.

실험 결과

연구 질문

• RQ1 CAT(-1) 공간 경계 사이의 동형도 맵이 그 기저 공간의 준등거리 사상으로 연장되는 조건은 무엇인가?
• RQ2 통합된 슈바르츠ian S(f) 는 동형도 맵이 모비우스가 아니게 되는 정도를 어떻게 측정하는가?
• RQ3 음의 곡률을 가진 다양체의 맥락에서 기하선 흐름의 공액성과 모비우스 경계 맵 사이의 정확한 관계는 무엇인가?
• RQ4 CAT(-1) 공간 경계에서의 모비우스 자기사상은 타원형, 포물형, 쌍곡형인 동역학적 유형으로 분류될 수 있는가?
• RQ5 표시 길이 스펙트럼이 닫힌 음의 곡률을 가진 다양체의 계량을 얼마나 정확히 결정하며, 이는 무한원에서의 모비우스 구조와 어떻게 관련되는가?

주요 결과

• 경계 사이의 동형도 맵 f: ∂X → ∂Y 는 기하선 흐름의 위상적 공액성을 유도하며, 이 공액성이 플립-등변성임은 f 가 모비우스일 때이고, 오직 그 때에만 성립한다.
• 통합된 슈바르츠ian S(f) 는 정확히 플립-등변성 공액성이 성립할 때만 0이 되며, 이는 이 성질에서의 이탈 정도를 측정한다.
• 편미분 음의 곡률를 가진 단순 연결된 완비 다양체에 대해, f 가 ∂X 의 열린 부분집합 U ⊂ ∂X 에서 모비우스이면, S(f) ≡ 0 이 ∂²U 에서 성립하고, 그 반대도 성립한다.
• 적절하고 기하선적으로 완비된 CAT(-1) 공간 간의 모비우스 위상동형사상 f: ∂X → ∂Y 는 이미지가 Y 에서 (1/2)log 2-밀도인 (1, log 2)-준등거리 사상으로 연장된다.
• X 와 Y 가 거리 수목이라면, 임의의 모비우스 맵 f: ∂X → ∂Y 는 전사 등거리 사상으로 연장된다.
• 유계된 통합된 슈바르츠ian을 가진 C¹ 동형도 맵에 대해, f 는 (1, log 2 + 12||S(f)||∞)-준등거리 사상으로 연장된다.