[论文解读] A Symbolic coding of the Morse boundary

Abdalrazzaq R Zalloum|arXiv (Cornell University)|Nov 26, 2018

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

一句话总结

本文通过将边界点表示为在空间上表现如距离函数的1-Lipschitz函数的等价类，提出了一种在恰当测地度量空间中对Morse边界的新符号编码。对于有限生成群，它通过有限字母表上的移位空间将Morse边界构造为一个符号动力系统，证明了群在Morse边界上的作用具有符号编码——从而使得符号动力学方法可应用于研究拟等距不变量。

ABSTRACT

Let $X$ be a proper geodesic metric space. We give a new construction of the Morse Boundary that realizes its points as equivalence classes of functions on $X$ which behave similar to the "distance to a point" function. When $G=\langle S angle $ is a finitely generated group and $X=Cay(G,S)$, we use this construction to give a symbolic presentation of the Morse boundary as a space of "derivatives" on $Cay(G,S).$ The collection of such derivatives naturally embeds in the shift space $\mathcal{A}^G$ for some finite set $\mathcal{A}.$

研究动机与目标

• 开发一种基于恰当测地度量空间上1-Lipschitz函数等价类的新Morse边界构造方法。
• 将Morse边界点表征为这些函数的梯度，推广Busemann函数的概念。
• 证明对于有限生成群，Morse边界可通过有限字母表上的移位空间实现符号编码。
• 将符号动力学技术扩展至非度量、非二阶可数的边界（如Morse边界）。
• 提供一个利用符号动力学方法研究拟等距不变量的框架。

提出的方法

• 在恰当测地度量空间X上定义一类满足类似距离性质的1-Lipschitz函数，称为“类似距离的函数”。
• 为每个此类函数关联一条梯度射线，即其行为类似于距离函数等值线的测地射线。
• 构造这些函数的等价类空间H⋆，并定义从H⋆到Morse边界∂⋆X的连续、G-等变满射。
• 对于有限生成群G及其Cayley图X = Cay(G,S)，将此类函数嵌入有限字母表A的移位空间A^G中。
• 利用A^G上的G作用，通过G-等变连续满射将Morse边界实现为G-不变子集Y⋆ ⊆ A^G的商空间。
• 借助CAT(0)空间中horofunction和horoball的性质，证明Morse边界点恰好对应于其梯度射线为Morse的函数。

实验结果

研究问题

• RQ1 能否将恰当测地度量空间的Morse边界重构为具有Morse型梯度射线的1-Lipschitz函数等价类空间？
• RQ2 有限生成群在Morse边界上的作用是否在符号动力学意义下具有符号编码？
• RQ3 在CAT(0)空间中，Morse边界与horofunction边界之间有何关系，特别是关于horoball交集的关系？
• RQ4 尽管缺乏二阶可数性，符号动力学能否应用于非度量边界（如Morse边界）？
• RQ5 在何种条件下，某函数的平移曲面序列收敛于一点，而其梯度射线并非Morse？

主要发现

• Morse边界∂⋆X同胚于商空间H⋆/∼，其中H⋆是具有Morse梯度射线的类似距离函数的等价类集合。
• 对于任意恰当测地度量空间X，存在一个连续、G-等变满射φ: H⋆ → ∂⋆X，将Morse边界实现为函数类的商空间。
• 对于有限生成群G，G在Morse边界∂⋆G上的作用具有符号编码：存在有限字母表A及G-不变子集Y⋆ ⊆ A^G，使得存在G-等变连续满射φ: Y⋆ → ∂⋆G。
• 在CAT(0)空间中，Morse边界完全可见，且任意两个中心位于不同边界点的horoball交集有界，该性质用于排除非Morse梯度射线。
• 两个不同Morse边界点对应的horofunction之和不能有下界，除非两点相等，若假设存在非Morse射线则导致矛盾。
• 构造了一个反例，表明平移曲面的收敛性并不蕴含梯度射线为Morse，说明平移曲面收敛并非Morse性的充分条件。