[论文解读] Maximally symmetric trees

Lee Mosher, Michah Sageev+1 more|ArXiv.org|Dec 1, 2000

Graph theory and applications参考文献 13被引用 3

一句话总结

本文表征了极大对称树——即有界度数、茂密、余紧致、无棘刺的树，这些树为拟自由群类提供了‘最佳’模型几何。论文证明，此类树可唯一由其等距群作为其拟等距群中的极大一致余紧致子群来刻画，并提供了构造此类树的有效方法，表明对于秩≥2的拟自由群类，存在可数无穷多个不同的此类几何结构。

ABSTRACT

We characterize the ``best'' model geometries for the class of virtually free groups, and we show that there is a countable infinity of distinct ``best'' model geometries in an appropriate sense--these are the maximally symmetric trees. The first theorem gives several equivalent conditions on a bounded valence, cocompact tree T without valence 1 vertices saying that T is maximally symmetric. The second theorem gives general constructions for maximally symmetric trees, showing for instance that every virtually free group has a maximally symmetric tree for a model geometry.

研究动机与目标

• 识别拟自由群类的‘最佳’模型几何，这些几何彼此拟等距但缺乏共同的模型几何，原因在于其等距群非同构。
• 定义并表征极大对称树，即其等距群是其拟等距群中的极大一致余紧致子群的树。
• 证明此类树由其等距群在嵌入其他局部紧致群时的最大性唯一确定。
• 为任意拟自由群提供构造极大对称树的有效方法。
• 证明存在可数无穷多个不同类型的极大对称树的等距类型，从而解决该类群缺乏单一通用模型几何的问题。

提出的方法

• 通过三个等价条件表征极大对称树：Isom(T) 在 QI(T) 中的最大性、嵌入到其他等距群中的唯一性，以及在任意不含紧正规模子群的局部紧致群中的最大性。
• 利用拟等距理论及有界度数、茂密、余紧致、无棘刺树的结构，分析等距群作用及其嵌入。
• 通过索引为1的归一化树结构和子覆盖构造方法来构建极大对称树，使用边索引和代数方程对可能的等距类型进行分类。
• 应用图论与群论技术，通过整数解的仿射子空间有限枚举极大对称树的等距类型。
• 利用 Isom(T) 到其他局部紧致群的恰当、连续、余紧致嵌入的概念来定义并验证最大性。
• 利用任一在有界度数、茂密、无棘刺树上的拟作用必拟共轭于等距作用的事实，从而将问题约化为对等距群的分析。

实验结果

研究问题

• RQ1 何种条件可表征一个有界度数、茂密、余紧致、无棘刺树，使其等距群在拟等距群中具有最大性，从而成为极大对称树？
• RQ2 鉴于不存在单一几何对所有拟自由群都适用，能否为该类群识别出唯一的‘最佳’模型几何？
• RQ3 如何为任意拟自由群显式构造极大对称树？
• RQ4 极大对称树的等距类型是有限还是无限多个？如何对它们进行枚举？
• RQ5 紧正规模子群在阻碍等距群最大性方面起何作用？在构造中如何排除这些障碍？

主要发现

• 极大对称树的特征在于其等距群是其拟等距群中的极大一致余紧致子群。
• 任何从极大对称树的等距群到另一局部紧致群的连续、恰当、余紧致嵌入，必为同构。
• 存在可数无穷多个不同类型的极大对称树，每种类型均为某个拟自由群的唯一‘最佳’模型几何。
• 极大对称树的构造是有效且有限的，通过索引为1的归一化树结构及整数边索引解的仿射子空间枚举子覆盖实现。
• 极大对称树的边索引条件为：不落在由代数方程定义的六个指定仿射子空间中的任意一个上。
• 本文通过证明‘最佳’几何即为极大对称树（共有可数多个不同类型）解决了拟自由群类缺乏单一通用模型几何的问题。