[论文解读] 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₂ 在 ∂ₘX 中成立，则对所有 q ≠ p₂，有 gₙ(q) → p₁。
• 将关键引理应用于证明：对任意不包含排斥不动点的紧集 K ⊂ ∂ₘX，gₙ(K) 最终会进入吸引不动点的任意邻域。
• 对独立莫尔斯等距变换的高次幂使用乒乓论证，构造出所有元素均为一致莫尔斯的自由子群。

实验结果

研究问题

• RQ1 如何通过其在莫尔斯边界上的作用表征一个莫尔斯等距变换？
• RQ2 莫尔斯等距变换在莫尔斯边界上的动力学行为如何？弱北-南动力学是否成立？
• RQ3 在何种条件下，非初等莫尔斯群在莫尔斯边界上作用极小？
• RQ4 在弱稳定性条件下，能否从独立的莫尔斯等距变换中构造出自由子群？
• RQ5 莫尔斯等距变换的动力学与其在空间中轨道的几何性质之间有何关系？

主要发现

• 无限阶元素 g ∈ G 是莫尔斯的，当且仅当其在莫尔斯边界 ∂ₘX 上有两个不同的不动点。
• 莫尔斯等距变换 g 在 X ∪ ∂ₘX 上的作用在 ∂ₘX 上恰好有两个不动点 g⁺ 和 g⁻，且对任意 p ≠ {g⁻, g⁺}，有 gⁿ(p) → g⁺ 且 g⁻ⁿ(p) → g⁻。
• 弱北-南动力学成立：对任意不包含排斥不动点的紧集 K ⊂ ∂ₘX，以及吸引不动点的任意邻域 U，存在足够大的 n 使得 gⁿ(K) ⊂ U。
• 对非初等莫尔斯群 G（非虚拟循环群），其在 ∂ₘG 上的作用是极小的：∂ₘG 中任意点的轨道在 ∂ₘG 中稠密。
• 若 g₁, g₂ 为独立的莫尔斯等距变换，且 ⟨g₁, g₂⟩ 是弱稳定的，则对足够大的 M，g₁ᴹ 与 g₂ᴹ 生成一个自由子群，且所有非平凡元素均为一致莫尔斯。
• 由独立莫尔斯等距变换的高次幂生成的自由子群中，每个非平凡元素均为某个固定 N 的 N-莫尔斯，其中 N 仅依赖于原始的莫尔斯指标。