[论文解读] Tree amalgamations and quasi-isometries

Matthias Hamann|arXiv (Cornell University)|Dec 12, 2018

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

一句话总结

本文证明了多端点、可访问、准传递、局部有限图的拟等距类型，完全由其在任意终端分解中的单端点因子的拟等距类型决定。该研究将Papasoglu与Whyte的群论结果推广至图的范畴，证明树结合仅依赖于无限因子的拟等距类，并据此解决了Woess关于传递图与Cayley图之间拟等距性的问题。

ABSTRACT

We investigate the connections between tree amalgamations and quasi-isometries. In particular, we prove that the quasi-isometry type of multi-ended accessible quasi-transitive connected locally finite graphs is determined by the quasi-isometry type of their one-ended factors in any of their terminal factorisations. Our results carry over theorems of Papsoglu and Whyte on quasi-isometries between multi-ended groups to those between multi-ended graphs. In the end, we discuss the impact of our results to a question of Woess.

研究动机与目标

• 确定图的树结合的拟等距类型是否依赖于黏合集和辨识长度的选择。
• 通过树结合将Papasoglu与Whyte的拟等距群论结果推广至图的范畴。
• 探究拟等距的多端点图是否必须具有相同的一组无限终端因子的拟等距类型。
• 利用图论结构工具解决Woess关于所有局部有限传递图是否均拟等距于某个局部有限Cayley图的问题。
• 通过分析其终端分解与单端点因子，刻画图拟等距于Cayley图的条件。

提出的方法

• 证明对于具有有限黏合度与辨识长度的同一对无限、准传递、局部有限图，若自同构群在图及其黏合集上均准传递作用，则其树结合是拟等距的。
• 利用引理4.1中的递归拟等距嵌入，比较拟等距图的终端分解中的因子。
• 应用定理2.4以确保可访问图存在终端分解。
• 通过群的自由积构造Cayley图作为单端点因子的Cayley图的树结合。
• 利用可访问性、端点数与双曲性在拟等距下不变的性质，将Woess问题的反例搜索范围缩小。
• 利用单端点图之间具有平凡自同构群作用的拟等距嵌入在极限下必为等距的性质，来等价化因子类型。

实验结果

研究问题

• RQ1 两个图的树结合的拟等距类型是否依赖于黏合集和辨识长度的具体选择？
• RQ2 多端点、可访问、准传递、局部有限图的拟等距类型是否可完全由其单端点终端因子的拟等距类型决定？
• RQ3 若两个此类图拟等距，其终端分解是否必须具有相同的一组无限因子的拟等距类型？
• RQ4 是否存在局部有限传递图不拟等距于任何局部有限Cayley图？若存在，其结构特征为何？
• RQ5 对Woess问题的反例搜索是否可限制在单端点或不可访问图中？

主要发现

• 对于具有有限黏合度与辨识长度的两个无限、准传递、局部有限图，只要自同构群在图及其黏合集上均准传递作用，则其树结合的拟等距类型与黏合集的具体选择无关。
• 多端点、准传递、局部有限图的迭代树结合是拟等距的，当且仅当其无限因子具有相同的拟等距类型集合，如定理1.4所述。
• 局部有限准传递图拟等距于一棵树，当且仅当其可进行仅由有限图构成的终端分解，如定理1.2所确立。
• 对于可访问图，拟等距性完全由端点数、可访问性以及单端点终端因子的拟等距类型多重集所刻画，如定理1.5所形式化。
• 若一个局部有限传递图不拟等距于任何局部有限Cayley图，则其至少一个单端点终端因子也必须不拟等距于任何Cayley图，如定理5.1所示。
• 在双曲情形下，任何对Woess问题的反例必已存在于单端点、双曲、准传递、局部有限图中，这是由于双曲性与可访问性在拟等距及分解下保持不变。