[论文解读] JSJ decompositions of groups

Vincent Guirardel, Gilbert Levitt|arXiv (Cornell University)|Feb 16, 2016

Geometric and Algebraic Topology参考文献 42被引用 58

一句话总结

本文提出了一套针对有限生成群的统一、通用的JSJ分解理论，通过极大普遍椭圆树定义JSJ分解，并引入JSJ形变空间——一个包含所有此类分解的单连通空间。该理论证明了在无边群限制条件下，有限表现群的JSJ分解存在性，通过相容性构造了规范的JSJ树，并将这些工具应用于将柔性顶点表征为2-轨道丛群的二次悬挂扩张，其应用涵盖双曲群、CSA群以及相对双曲群。

ABSTRACT

This is an account of the theory of JSJ decompositions of finitely generated groups, as developed in the last twenty years or so. We give a simple general definition of JSJ decompositions (or rather of their Bass-Serre trees), as maximal universally elliptic trees. In general, there is no preferred JSJ decomposition, and the right object to consider is the whole set of JSJ decompositions, which forms a contractible space: the JSJ deformation space (analogous to Outer Space). We prove that JSJ decompositions exist for any finitely presented group, without any assumption on edge groups. When edge groups are slender, we describe flexible vertices of JSJ decompositions as quadratically hanging extensions of 2-orbifold groups. Similar results hold in the presence of acylindricity, in particular for splittings of torsion-free CSA groups over abelian groups, and splittings of relatively hyperbolic groups over virtually cyclic or parabolic subgroups. Using trees of cylinders, we obtain canonical JSJ trees (which are invariant under automorphisms). We introduce a variant in which the property of being universally elliptic is replaced by the more restrictive and rigid property of being universally compatible. This yields a canonical compatibility JSJ tree, not just a deformation space. We show that it exists for any finitely presented group. We give many examples, and we work throughout with relative decompositions (restricting to trees where certain subgroups are elliptic).

研究动机与目标

• 为有限生成群建立一个与特定群类无关的、通用且统一的JSJ分解定义。
• 证明在无边群限制条件下，所有有限表现群均存在JSJ分解。
• 引入JSJ形变空间，作为一个编码所有JSJ分解的典范单连通空间。
• 构造一个在群自同构下不变的规范相容性JSJ树，以克服标准JSJ分解的非唯一性问题。
• 当边群为细长群时，将JSJ分解中的柔性顶点表征为2-轨道丛群的二次悬挂扩张。

提出的方法

• 通过其Bass-Serre树将JSJ分解定义为极大普遍椭圆树。
• 将JSJ形变空间引入为所有普遍椭圆树的集合，并证明其为单连通空间。
• 利用胞腔树构造在自同构下不变的规范JSJ树。
• 以更强的普遍相容性条件替代普遍椭圆性条件，从而获得唯一规范树。
• 应用Skora定理，将R-树上的作用与轨道丛上的测度叶状结构联系起来。
• 分析极限作用，并通过公共细化改进树，以提取柔性顶点上的几何结构。

实验结果

研究问题

• RQ1 能否给出一个普遍适用、内在的JSJ分解定义，使其在不同群类中保持一致？
• RQ2 对任意有限表现群，JSJ形变空间是否存在？其是否为单连通？
• RQ3 如何构造一个在群自同构下不变的规范JSJ树？
• RQ4 当边群为细长群时，JSJ分解中柔性顶点的结构是什么？
• RQ5 与相容性JSJ树相容的R-树上的作用如何产生？其携带何种几何结构？

主要发现

• 任意有限表现群均存在JSJ分解，即使在无边群限制条件下亦然。
• JSJ形变空间——即所有普遍椭圆树的集合——是单连通的，推广了外空间（Outer Space）的概念。
• 对任意有限表现群，均存在一个规范相容性JSJ树，提供唯一且自同构不变的分解。
• 在边群为细长群时，JSJ分解中的柔性顶点是2-轨道丛群的二次悬挂扩张。
• 与相容性JSJ树相容的R-树上的作用可作为单纯树的极限出现，其几何结构由曲面上的测度叶状结构控制。
• 柔性顶点在R-树上作用的极小子树对偶于一个测度叶状结构，其补集由稳定化子较小的线段构成。