[論文レビュー] Dynamics on the Morse Boundary

Qing Liu|arXiv (Cornell University)|May 4, 2019

Geometric and Algebraic Topology参考文献 4被引用数 7

ひとこと要約

この論文は、適切な測地的距離空間におけるモース等長写像の動的特徴づけを、モース境界上の固定点を用いて確立し、双曲的およびCAT(0)の力学を一般化する。モース等長写像が弱いノース・サウス力学を示し、非初等的モース群がそのモース境界上で極小に作用することを証明しており、双曲的およびCAT(0)の設定における結果を拡張する。

ABSTRACT

Let $X$ be a proper geodesic metric space and let $G$ be a group of isometries of $X$ which acts geometrically. Cordes constructed the Morse boundary of $X$ which generalizes the contracting boundary for CAT(0) spaces and the visual boundary for hyperbolic spaces. We characterize Morse elements in $G$ by their fixed points on the Morse boundary $\partial_MX$. The dynamics on the Morse boundary is very similar to that of a $δ$-hyperbolic space. In particular, we show that the action of $G$ on $\partial_MX$ is minimal if $G$ is not virtually cyclic. We also get a uniform convergence result on the Morse boundary which gives us a weak north-south dynamics for a Morse isometry. This generalizes the work of Murray in the case of the contracting boundary of a CAT(0) space.

研究の動機と目的

• 適切な測地的距離空間への一般化を目的とし、モース境界を用いて双曲的およびCAT(0)空間の動的性質を一般の適切な測地的距離空間へ拡張する。
• 適切な測地的空間上で幾何的に作用する群内のモース要素を、そのモース境界上の固定点によって特徴づける。
• モース等長写像に対して弱いノース・サウス力学を確立し、非初等的モース群がそのモース境界上で極小に作用することを示す。

提案手法

• 無限位数の等長写像で、その軌道写像が準等長埋め込みであり、像がモース準測地線であるものをモース等長写像と定義する。
• コルドスによって構成されたモース境界 ∂ₘX を用い、視覚的境界および収縮境界を一般化する準等長不変境界として用いる。
• 群 G の元 g がモースであることと、∂ₘX 上に相異なる二つの固定点をもつことは同値であることを証明する。
• 重要な収束補題を用いて弱いノース・サウス力学を確立する：gₙ(x₀) → p₁ かつ gₙ⁻¹(x₀) → p₂ ならば、任意の q ≠ p₂ に対して gₙ(q) → p₁ である。
• この重要な補題を応用し、吸引固定点の任意の近傍 U に対して、p₂ を含まないコンパクト集合 K ⊂ ∂ₘX に対して十分大きな n で gₙ(K) ⊂ U となることを示す。
• 独立なモース等長写像の高次のべきに対してピングポング論法を用い、一様にモースな要素をもつ自由部分群を構成する。

実験結果

リサーチクエスチョン

• RQ1 モース等長写像は、そのモース境界上での作用に関してどのように特徴づけられるか？
• RQ2 モース等長写像はモース境界上でどのように動的に振る舞い、弱いノース・サウス力学が成り立つのか？
• RQ3 非初等的モース群がそのモース境界上で極小に作用する条件は何か？
• RQ4 弱安定性を満たす独立なモース等長写像から、自由部分群を構成できるか？
• RQ5 モース等長写像の力学と、空間内でのその軌道の幾何学的性質との関係は何か？

主な発見

• 無限位数の元 g ∈ G がモースであることと、モース境界 ∂ₘX 上に相異なる二つの固定点をもつことは同値である。
• モース等長写像 g が X ∪ ∂ₘX 上に作用するとき、∂ₘX 上に正確に二つの固定点 g⁺ および g⁻ が存在し、任意の p ≠ {g⁻, g⁺} に対して gⁿ(p) → g⁺ かつ g⁻ⁿ(p) → g⁻ である。
• 弱いノース・サウス力学が成り立つ：p₂ を含まない任意のコンパクト集合 K ⊂ ∂ₘX および g⁺ の任意の近傍 U に対して、十分大きな n で gⁿ(K) ⊂ U となる。
• 非初等的モース群 G（無限位数のアーベル群を除く）は、∂ₘG 上で極小に作用する：∂ₘG の任意の点の軌道は ∂ₘG 全体に密である。
• g₁, g₂ が独立なモース等長写像であり、⟨g₁, g₂⟩ が弱安定であるならば、十分大きな M に対して g₁ᴹ と g₂ᴹ は自由部分群を生成し、すべての非自明な元は一様にモースである。
• 独立なモース等長写像の高次のべきによって生成される自由部分群の任意の非自明な元は、元のモースゲージにのみ依存する固定された N に対して N-モースである。