[論文レビュー] A rank-one CAT(0) group is determined by its Morse boundary

Ruth Charney, Devin Murray|arXiv (Cornell University)|Jul 21, 2017

Geometric and Algebraic Topology参考文献 16被引用数 5

ひとこと要約

本稿では、ランク1のCAT(0)群がそのモーレィ境界によって完全に決定されることを確立している：2つのこのような群のモーレィ境界間の同相写像が、 quasi-isometry から生じるための必要十分条件は、それが同時に quasi-mobius かつ 2-安定であることである。この結果は、双曲空間におけるパウリンの定理をより広いCAT(0)空間のクラスへと拡張し、境界力学を用いた quasi-isometry 分類を提供する。

ABSTRACT

The Morse boundary of a proper geodesic metric space is designed to encode hypberbolic-like behavior in the space. A key property of this boundary is that a quasi-isometry between two such spaces induces a homeomorphism on their Morse boundaries. In this paper we investigate when the converse holds. We prove that for cocompact CAT(0) spaces, a homeomorphism of Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.

研究の動機と目的

• 適切で共通に作用するCAT(0)空間のモーレィ境界間の同相写像が、いつ quasi-isometry から生じるかを特定すること。
• 双曲空間におけるパウリンの quasi-isometry 分類定理をランク1のCAT(0)空間へと拡張すること。
• quasi-isometry を誘導する境界同相写像のための必要十分な動的条件（quasi-mobius 性と 2-安定性）を同定すること。
• ランク1のCAT(0)群が quasi-isometry に関してモーレィ境界によって完全に決定されることを確立すること。

提案手法

• proper CAT(0)空間 X における収縮する測地線の族として、モーレィ境界 ∂*X を定義する。収縮性の性質（Morse性）を用いる。
• モーレィ境界の quasi-isometry 不変性を利用する：空間間の quasi-isometry は、それらのモーレィ境界上に同相写像を誘導する。
• 与えられた quasi-mobius かつ 2-安定な同相写像 f:∂*X→∂*Y から、一様に収縮する三重の重心を用いて、候補の quasi-isometry h:X→Y を構成する。
• 一様な収縮定数と投影の有界性を用いて距離を評価することで、構成された写像 h が quasi-isometry であることを証明する。
• 境界写像 ∂*h が f と一致することを確認する。境界点を軌道点の列で近似し、測地線の収束性質を用いる。
• 測地線が境界点に収束するという位相が、投影の点別収束に対応する X ∪ ∂*X 上の位相を活用する。

実験結果

リサーチクエスチョン

• RQ1 CAT(0)空間のモーレィ境界間の同相写像がいつ quasi-isometry から生じるか。
• RQ2 quasi-mobius 条件は quasi-isometry を誘導するのに十分か、それ以上の条件が必要か。
• RQ3 CAT(0)群の分類において、2-安定性の条件を弱めるか、取り除くことは可能か。
• RQ4 ランク1のCAT(0)空間のモーレィ境界間のすべての quasi-mobius 同相写像は、自動的に 2-安定性を満たすか。

主な発見

• 適切で共通に作用するCAT(0)空間のモーレィ境界間の同相写像 f:∂*X→∂*Y が、quasi-isometry h:X→Y から生じるための必要十分条件は、f が同時に quasi-mobius かつ 2-安定であることである。
• 群が X に幾何的に作用するとき、モーレィ境界 ∂*X に3点以上が存在することと、その群がランク1であり、かつ virtually 細胞的でないことは同値である。
• 構成された写像 h:X→Y は quasi-isometry であり、その定数は f の quasi-mobius 定数と 2-安定性定数にのみ依存する。
• h が誘導する境界写像 ∂*h が f と一致することを、軌道点の列による境界点の近似と投影の収束性質を用いて検証した。
• 証明は、収縮三角形性質と、一様に有界な収縮定数を持つ測地線三重の投影に対する一様な制御に依存している。
• 著者らは、適切で共通に作用するCAT(0)空間のモーレィ境界間のすべての quasi-mobius 同相写像が自動的に 2-安定性を満たすと予想しており、これはパウリンの定理の完全な類似が成り立つ可能性を示唆している。