[论文解读] JSJ decompositions: definitions, existence, uniqueness. II. Compatibility and acylindricity

Vincent Guirardel, Gilbert Levitt|arXiv (Cornell University)|Feb 24, 2010

Protein Tyrosine Phosphatases参考文献 32被引用 19

一句话总结

本文引入了相容性 JSJ 树，这是一种针对有限生成群在某类子群上的规范树，且在群自同构下保持不变，其定义基于精化关系的普遍相容性。本文证明了该树的存在性与唯一性，并将其应用于 CSA 群、$̳$-极限群以及满足适度性条件的相对双曲群，统一并推广了以往的 JSJ 构造。

ABSTRACT

This paper and its companion arXiv:0911.3173 have been replaced by arXiv:1602.05139. We define the compatibility JSJ tree of a group G over a class of subgroups. It exists whenever G is finitely presented and leads to a canonical tree (not a deformation space) which is invariant under automorphisms. Under acylindricity hypotheses, we prove that the (usual) JSJ deformation space and the compatibility JSJ tree exist, and we describe their flexible subgroups. We apply these results to finitely generated CSA groups, Γ-limit groups (allowing torsion), and relatively hyperbolic groups.

研究动机与目标

• 定义并建立一个规范 JSJ 树——相容性 JSJ 树的存在性，该树在群自同构下保持不变。
• 通过利用精化关系的相容性，将 JSJ 理论扩展至变形空间之外，构造出唯一树。
• 证明相容性 JSJ 树支配 Scott-Swarup 的正则邻域，并在适度情形下提供一个规范结构。
• 将该框架应用于特定群类，包括 CSA 群、$̳$-极限群（含挠元）以及相对双曲群。
• 通过相容性与适度性统一并推广现有的 JSJ 构造，特别是在单连通双曲群中的应用。

提出的方法

• 将两棵树的相容性定义为存在通过坍缩映射的共同精化。
• 引入相容性 JSJ 变形空间，即包含一个普遍相容树的最大变形空间。
• 利用相容性在极限下保持封闭的性质，证明对有限生成群存在相容性 JSJ 树 $T_{ackslash ext{mathrm}ackslash ext{co}}$。
• 利用适度性确保边与顶点稳定子的轨道数有限，从而实现规范树的构造。
• 应用 Part III 中关于相容性 JSJ 空间的结果，并利用推论 3.9 证明 $T_{ackslash ext{mathrm}ackslash ext{co}}$ 与单纯复形树的极限相容。
• 构造精化树 $\hat{T}$，其长度函数为 $\ell_{T} + \ell_{T_{ackslash ext{mathrm}ackslash ext{co}}}$，并通过等距嵌入与稳定子条件分析其在子树上的作用。

实验结果

研究问题

• RQ1 对于有限生成群，是否存在一个规范的、在自同构下不变的 JSJ 树，其超越通常的变形空间？
• RQ2 当通常的变形空间不具规范性时，通过共同精化关系的相容性条件能否产生唯一的 JSJ 树？
• RQ3 相容性 JSJ 树与 Scott-Swarup 的正则邻域以及 Bowditch 基于边界构造的 JSJ 树在单连通双曲群中如何关联？
• RQ4 在 CSA 群或相对双曲群等群中，相容性 JSJ 树在何种条件下变得非平凡？
• RQ5 能否通过精化与长度分解，系统地从相容性 JSJ 树重构 $\mathbb{R}$-树上的作用？

主要发现

• 对任意有限生成群 $G$ 及其对共轭不变且对子群取法封闭的子群类，相容性 JSJ 树 $T_{\mathrm{co}}$ 存在且唯一。
• 当 $G$ 有限生成且 ${\mathcal{A}}$ 为自同构不变时，$T_{\mathrm{co}}$ 在 $\mathrm{Aut}(G)$ 作用下保持不变，因此成为群的规范不变量。
• 对于单连通双曲群，$T_{\mathrm{co}}$ 与 Bowditch 从边界拓扑 $\partial G$ 构造的 JSJ 树极为接近。
• 在无挠 CSA 群中，关于阿贝尔子群的相容性 JSJ 树允许通过精化与长度分解重构所有在 $\mathbb{R}$-树上的小作用。
• 每个顶点群 $G_v$ 在精化树中的原像 $\hat{T}_v$ 上的作用，要么是有限个轨道的锥，要么是一条直线，具体取决于其是否固定一点。
• 当 $G_v$ 非交换时，其极小不变子树对偶于曲面上的测度叶状结构，其补集由具有小稳定子的线段构成，与几何 $\mathbb{R}$-树结构一致。