[논문 리뷰] Uniformizing Gromov hyperbolic spaces with Busemann functions

Clark Butler|arXiv (Cornell University)|2020. 07. 22.

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

한 줄 요약

이 논문은 경계 점에 대한 Busemann 함수를 사용하여 Gromov 초평면 공간의 균일화를 제안한다. 이 방법은 경계가 경계 점에 대한 Gromov 경계로 자연스럽게 식별되는, 완비되지 않고 유계가 아닌 균일 거리 공간 $ X_\varepsilon $를 구성한다. 이 방법은 반평면 모델 구성의 일반화이며, CAT(−1) 공간에서 최적의 지수 조절을 가능하게 하며, 균일화된 경계와 거리 공간 $ Z $의 완비화 사이의 비Lipschitz 동치를 제공한다.

ABSTRACT

Given a complete Gromov hyperbolic space $X$ that is roughly starlike from a point $ω$ in its Gromov boundary $\partial_{G}X$, we use a Busemann function based at $ω$ to construct an incomplete unbounded uniform metric space $X_{\varepsilon}$ whose boundary $\partial X_{\varepsilon}$ can be canonically identified with the Gromov boundary $\partial_ωX$ of $X$ relative to $ω$. This uniformization construction generalizes the procedure used to obtain the Euclidean upper half plane from the hyperbolic plane. Furthermore we show, for an arbitrary metric space $Z$, that there is a hyperbolic filling $X$ of $Z$ that can be uniformized in such a way that the boundary $\partial X_{\varepsilon}$ has a biLipschitz identification with the completion $\bar{Z}$ of $Z$. We also prove that this uniformization procedure can be done at an exponent that is often optimal in the case of CAT$(-1)$ spaces.

연구 동기 및 목표

• 지정된 점에서의 지수 밀도를 대체하여 Busemann 함수 기반의 지수 밀도를 사용함으로써 Gromov 초평면 공간의 균일화를 일반화하는 것.
• 경계 점 $ \omega $에 대한 Gromov 경계 $ \partial_\omega X $로 자연스럽게 식별되는, 완비되지 않고 유계가 아닌 균일 거리 공간 $ X_\varepsilon $를 구성하는 것
• 임의의 거리 공간 $ Z $에 대해, $ Z $의 초평면 메시징 $ X $를 균일화하여 $ \partial X_\varepsilon $가 완비화 $ \bar{Z} $와 비Lipschitz 동치가 되도록 하는 것
• CAT(−1) 공간의 경우 균일화 지수를 최적으로 선택할 수 있음을 증명하며, 이는 이전 연구에서 고려된 범위를 초월한다.

제안 방법

• 경계 점 $ \omega \in \partial_G X $에서 정의된 Busemann 함수 $ b $를 사용하여, $ \varepsilon = \log \alpha $일 때, conformal 밀도 $ \rho_\varepsilon(x) = e^{-\varepsilon b(x)} $를 정의한다
• Busemann 함수를 기반으로 한 $ \rho_\varepsilon $를 사용하여 conformal 변형을 통해 $ X $ 위에 새로운 거리 $ d_\rho $를 구성함으로써, $ X_\varepsilon $를 만들며, 이는 균일하게 완비되고 유계가 아님을 보장한다
• 균일화된 공간 $ X_\varepsilon $가 $ \alpha^3 $-비Lipschitz 동치임을 증명하며, 이는 기존 균일화 결과와의 비교를 가능하게 한다
• 매개수 $ \log \alpha $를 가진 시각적 거리(metric)를 $ \partial_\omega X $에 적용하며, 이는 식별 $ \psi: \bar{Z} \to \partial_\omega X $ 하에서 $ \bar{Z} $의 거리와 일치한다
• 비Lipschitz 동치 식별 $ \varphi \circ \psi: \bar{Z} \to \partial X_\varepsilon $를 사용하며, 이 정규화 상수는 $ \alpha $와 $ \tau $에만 의존한다
• 초평면 메시징 이론과 Gromov 경계 이론의 결과를 적용하여, $ X $가 $ \delta $-초평면이면서 $ \omega $에서 $ \frac{1}{2} $-거의 별형임을 보장한다

실험 결과

연구 질문

• RQ1 Busemann 함수를 사용하여 반평면 모델 구성의 일반화를 이룬 Gromov 초평면 공간의 균일화를 구성할 수 있는가?
• RQ2 초평면 메시징이 $ Z $에 대해 주어졌을 때, 균일화된 공간의 경계와 거리 공간 $ Z $의 완비화 사이의 비Lipschitz 동치를 달성할 수 있는가?
• RQ3 CAT(−1) 공간에서 균일화의 최적 지수 범위는 무엇이며, 이는 이전 연구에서 고려된 범위를 어떻게 초월하는가?
• RQ4 경계 식별과 균일성 측면에서, 점 기반 밀도와 비교해 Busemann 함수를 conformal 밀도로 사용할 경우 어떤가?

주요 결과

• Busemann 함수를 통한 균일화는 $ \partial X_\varepsilon $가 $ \partial_\omega X $로 자연스럽게 식별되는, 균일하게 완비되고 유계가 아닌 공간 $ X_\varepsilon $를 도출한다
• 임의의 거리 공간 $ Z $에 대해, $ Z $의 초평면 메시징 $ X $는 균일화되어 $ \partial X_\varepsilon $가 완비화 $ \bar{Z} $와 비Lipschitz 동치가 되며, 비Lipschitz 상수는 $ \alpha $와 $ \tau $에만 의존한다
• 균일화 밀도 $ \rho_\varepsilon(x) = e^{-\varepsilon b(x)} $는 상수 $ M = M(\alpha, \tau) $를 가진 GH-밀도이며, 이는 균일성을 보장한다
• 이 구성은 CAT(−1) 공간에서 최적의 지수 조절을 달성하며, 이는 이전 연구에서 고려된 범위 $ 0 < \varepsilon \leq \varepsilon_0 $를 초월한다
• 경계 식별 $ \partial X_\varepsilon \cong \bar{Z} $는 비Lipschitz 동치이며, 상수 $ L = L(\alpha, \tau) $를 가진다. 이는 시각적 거리와 정리 1.6를 통해 입증된다
• 이 방법은 Bonk, Heinonen, Koskela의 이전 결과를 일반화하며, 국소적으로 컴act하지 않은 공간과 비유계인 $ Z $에까지 그 프레임워크를 확장한다