[论文解读] An (FA)-group that is not (FR)

M. J. Dunwoody, Ashot Minasyan|arXiv (Cornell University)|Mar 15, 2012

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

一句话总结

本文构造了有限生成的群 L，其在 R-树上作用非平凡，但不承认在单纯树上的无固定点作用，从而揭示了 (FA) 与 (FR) 群之间的区别。结果表明，尽管 L 本身无法在任何单纯树上自由作用，但任何映射到 L 的有限表示群均可实现此类自由作用。

ABSTRACT

We construct examples of finitely generated groups L that have non-trivial actions on $\mathbb{R}$-trees but which cannot act, without fixing a vertex, on any simplicial tree. Moreover, any finitely presented group mapping onto L does have a fixed point-free action on some simplicial tree.

研究动机与目标

• 证明存在有限生成群，其在 R-树上作用非平凡，但无法在任何单纯树上实现无固定点作用。
• 阐明在群作用于树的背景下，(FA) 与 (FR) 性质之间的区别。
• 研究映射到此类 (FA)-群的有限表示群的行为。
• 探讨对单纯树实现无固定点作用对群商群的影响。

提出的方法

• 使用几何群论技术构造一个有限生成群 L，使其在 R-树上具有非平凡作用。
• 通过结构和拓扑约束证明 L 无法在任何单纯树上实现无固定点作用。
• 分析映射到 L 的有限表示群的商群结构，以证明其可实现无固定点的单纯树作用。
• 利用群作用于 R-树的理论以及双曲群的性质，建立 L 无法实现自由单纯树作用的不可实现性。
• 应用 JSJ 分解的概念，并利用树作用中无固定点的假设，导出若此类作用存在则产生的矛盾。

实验结果

研究问题

• RQ1 一个有限生成群是否可能在 R-树上非平凡作用，但无法在任何单纯树上实现无固定点作用？
• RQ2 在群作用于树的背景下，(FA) 与 (FR) 性质之间存在何种关系？
• RQ3 一个 (FA)-群若不满足 (FR)，其有限表示商群是否必然可实现对单纯树的无固定点作用？
• RQ4 何种结构性质会阻止一个群在单纯树上自由作用，即使其在 R-树上具有非平凡作用？

主要发现

• 存在一个有限生成群 L，其在 R-树上作用非平凡，但无法在任何单纯树上自由作用。
• 群 L 满足 (FA) 性质——其在任何单纯树上的作用均有固定点——但不满足 (FR)，即其无法在任何单纯树上自由作用。
• 任何存在满同态到 L 的有限表示群，均可在某个单纯树上实现无固定点作用。
• (FA) 与 (FR) 之间的区别是非平凡的：一个群可以是 (FA) 但不是 (FR)，即使其有限表示商群是 (FR)。