[論文レビュー] Uniform Perfectness, Geodesic Richness, and Rigidity for Sublinearly Morse Boundaries

Hyungryul Baik|arXiv (Cornell University)|Feb 16, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

この論文は Han–Liu の一様完全性の特徴付けを Morse 境界からサブ線形 Morse 境界へ拡張し、κ-Morse 幾何学的豊富さと κ-中心充足性との同値性を証明し、サブ線形設定における剛性結果を確立する。

ABSTRACT

Han and Liu gave a geometric characterization of uniform perfectness for the Morse boundary of a proper geodesic metric space: the Morse boundary is uniformly perfect if and only if the space is Morse geodesically rich, equivalently center--exhaustive. In this paper we prove the analogous statement for the sublinearly Morse boundary $\partial_κX$. Here $κ$ is a fixed concave increasing sublinear function and $\partial_κX$ is the boundary introduced by Qing--Rafi for CAT(0) spaces and extended by Qing--Rafi--Tiozzo to proper geodesic spaces. Assuming that $\partial_κX$ has at least three points, we show that uniform perfectness of $\partial_κX$ (for any $κ$--visual metric based at a fixed basepoint) is equivalent to $κ$--Morse geodesic richness and to $κ$--center--exhaustiveness. The geometric input is a sublinear thin--triangle statement for $κ$--Morse geodesics, together with the renormalization map $ρ_κ(t)=\int_0^t \frac{ds}{κ(s)}$, which converts $κ$--scale errors at radius $R$ into bounded errors in the $ρ_κ$--scale. As applications we obtain quantitative lower bounds on the lower Assouad dimension (and, under doubling hypotheses, on the Hausdorff dimension) of $κ$--visual metrics on $\partial_κX$ in terms of the uniform perfectness constant. Finally, for $κ$--center--exhaustive spaces $X$ and $Y$ satisfying a mild additional growth condition on $κ$, we prove a rigidity statement in the sublinear category: every quasi-symmetric homeomorphism $\partial_κX o\partial_κY$ is induced by a sublinear bilipschitz equivalence $X o Y$.

研究の動機と目的

• Morse 境界概念のサブ線形一般化を動機づけて、の stability 現象を一様な境界外にも捉える。
• κ-境界の一様完全性が κ-Morse 幾何学的豊富さと κ-中心充足性に同値であることを確立する。
• 境界の性質を内部幾何へ翻訳するためのサブ線形幾何ツールキット（κ-鈍角三角形、粗結節中心）を開発する。
• κ-視覚メトリックの次元境界を導出し、剛性を証明する：準同型な境界写像はサブ線形の双リップシッツ写像から生じる。

提案手法

• κ-近傍および κ-弱モース幾何を導入して κ-境界 ∂κX を定義する。
• renormalization map ρκ(t)=∫0^t ds/κ(s) を用いて κ-スケールの誤差を制御する。
• κ-鈍角三角形を証明し、粗い中心集合を構築して κ-中心充足性を定義する。
• κ-MGR, κ-UMB, κ-CE の同値性を確立する（定理 1.1）。
• 境界の剛性の主張を証明：κ の成長条件のもとで、任意の準対称な境界写像はサブ線形双リップシッツ写像によって誘導される（定理 1.2）。
• κ-視覚メトリックの下限 Assouad 次元と Doubling 条件下の Hausdorff 次元への影響を導出する。

実験結果

リサーチクエスチョン

• RQ1 κ-境界 ∂κX が κ-Morse 的幾何豊富さと中心充足性の観点から一様完全かどうか？
• RQ2 κ-Morse 幾何学的豊富さは κ-中心充足性を導くか、またはその逆か？
• RQ3 どの条件下で境界の準対称写像が空間間のサブ線形双リップシッツ同値性を誘導するか？
• RQ4 一様完全性が κ-視覚メトリックの次元に与える定量的影響はどのようになるか？

主な発見

• ∂κX の一様完全性は κ-Morse 幾何学的豊富さと κ-中心充足性に等価（∂κX が少なくとも三点を含む場合）。
• 証明は κ-鈍角三角形の性質と renormalization ρκ を用いて κ-スケールの誤差を有界な ρκ-スケール誤差に変換する。
• κ-中心充足性を満たす空間は境界の一様完全性を生じ、κ-growth を追加すると境界の剛性が現れる：準対称な境界写像はサブ線形双リップシッツ写像から来る。
• κ-視覚メトリックの下限 Assouad 次元（および Doubling の場合は Hausdorff 次元）に対する定量的下限を、一様完全性定数の観点から提供する。
• 剛性定理（定理 1.2）は、κ が厳密なサブ線形界値を満たすとき、特定の準対称境界写像が X と Y の間のサブ線形双リップシッツ同値性から生じることを示す。
• 応用として ∂κX の次元分析や安定的部分空間との関連性を含む。