[論文レビュー] Uniformizing Gromov hyperbolic spaces with Busemann functions

Clark Butler|arXiv (Cornell University)|Jul 22, 2020

Geometric and Algebraic Topology参考文献 17被引用数 6

ひとこと要約

本稿では、境界点に関するGromov双曲空間の均質化を、Busemann関数を用いて行い、不完全で非有界な均質的距離空間を構成する。その境界は、境界点に関するGromov境界と自然に同一視される。この手法は半平面モデルの構成を一般化し、CAT(−1)空間において最適な指数制御が得られる。

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} $ と双リプシッツ同値であるようにすること。
• CAT(−1)空間において、均質化指数を最適に選べることを証明し、先行研究で考察された範囲を超えること。

提案手法

• 境界点 $ \omega \in \partial_G X $ を基点とするBusemann関数 $ b $ を用い、$ \varepsilon = \log \alpha $ として、共形密度 $ \rho_\varepsilon(x) = e^{-\varepsilon b(x)} $ を定義する。
• 共形変形を用いて $ \rho_\varepsilon $ を用いて $ X $ 上に新しい距離 $ d_\rho $ を構成し、$ X_\varepsilon $ を得る。この空間は均質的で非有界である。
• $ X_\varepsilon $ が $ \alpha^3 $-双リプシッツ同値であることを示し、既知の均質化結果と比較可能である。
• パラメータ $ \log \alpha $ を用いた視覚的距離を $ \partial_\omega X $ に導入し、同型写像 $ \psi: \bar{Z} \to \partial_\omega X $ によって $ \bar{Z} $ の距離と一致する。
• $ \bar{Z} \to \partial X_\varepsilon $ の境界同相 $ \varphi \circ \psi $ が、$ \alpha $ と $ \tau $ のみに依存する双リプシッツ同値であることを用いる。
• 双曲的フィリングとGromov境界理論の結果を適用し、$ X $ が $ \delta $-双曲的であり、$ \omega $ から見て $ \frac{1}{2} $-粗く星型であることの保証を得る。

実験結果

リサーチクエスチョン

• RQ1 Busemann関数を用いた均質化は、半平面モデルの構成を一般化するGromov双曲空間の均質化を可能にするか。
• RQ2 双曲的フィリング $ X $ を持つ距離空間 $ Z $ に対して、均質化された空間の境界と $ Z $ の完成化との間で、双リプシッツ同値が達成可能か。
• RQ3 CAT(−1)空間における均質化の最適な指数範囲は何か。また、先行研究の範囲を超えてどのように拡張されるか。
• RQ4 点に基づく密度と比較して、Busemann関数を共形密度として用いることは、境界同定と均質性にどのように影響するか。

主な発見

• Busemann関数による均質化により得られる空間 $ X_\varepsilon $ は、均質的で非有界であり、$ \partial X_\varepsilon $ は $ \partial_\omega X $ と自然に同一視される。
• 任意の距離空間 $ Z $ に対して、$ Z $ の双曲的フィリング $ X $ を均質化し、$ \partial X_\varepsilon $ が $ \bar{Z} $ と双リプシッツ同値であるようにできる。双リプシッツ定数は $ \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} $ は、視覚的距離と定理1.6を用いて、定数 $ L = L(\alpha, \tau) $ の双リプシッツ同値であることが示された。
• Bonk, Heinonen, Koskela の先行研究を一般化し、非局所コンパクト空間および非有界な $ Z $ に対してもフレームワークを拡張した。