[論文レビュー] JSJ decompositions of groups

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

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

ひとこと要約

この論文は、有限生成群のJSJ分解の統一的で一般化された理論を提示し、最大の普遍的楕円的木を用いてそれらを定義し、JSJ変形空間——すべてのこのような分解を含む可縮空間——を導入する。有限生成群に対して、辺群に制限がない場合でもJSJ分解の存在を確立し、整合性を用いて標準的なJSJ木を導入し、それらの道具を用いて、辺群が細い場合の柔軟頂点を2次元オビホルド群の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分解における柔軟頂点が2次元オビホルド群の2次的拡張として特徴づけられることを明らかにすること。

提案手法

• JSJ分解を、そのBass-Serre木として、最大の普遍的楕円的木として定義すること。
• すべての普遍的楕円的木を含む空間としてのJSJ変形空間を導入し、それが可縮であることを示すこと。
• 円筒の木を用いて、自己同型に関して不変な標準的JSJ木を構成すること。
• 普遍的楕円的条件を、より強い普遍的整合性条件に置き換えることで、一意な標準木を取得すること。
• Skoraの定理を用いて、R-木上の作用とオビホルド面上の測度付きラミネーションとの関係を関係づけること。
• 極限作用を解析し、共通の細分化を用いて木を精錬することで、柔軟頂点上の幾何的構造を抽出すること。

実験結果

リサーチクエスチョン

• RQ1 さまざまな群のクラスに一貫して適用可能な、一般的で内因的なJSJ分解の定義は可能か？
• RQ2 任意の有限生成群に対してJSJ変形空間が存在するか？ そしてそれは可縮か？
• RQ3 群の自己同型に関して不変な標準的JSJ木をどのように構成できるか？
• RQ4 辺群が細い場合、JSJ分解における柔軟頂点の構造はいかなるものか？
• RQ5 整合性JSJ木と整合するR-木上の作用はどのようにして生じるか？ それらはどのような幾何的構造を担っているか？

主な発見

• 辺群に制限がない場合でも、任意の有限生成群に対してJSJ分解が存在する。
• JSJ変形空間——すべての普遍的楕円的木の集合——は可縮であり、Outer Spaceの概念を一般化する。
• 任意の有限生成群に対して、標準的整合性JSJ木が存在し、一意的かつ自己同型に関して不変な分解を提供する。
• 辺群が細い場合、JSJ分解における柔軟頂点は2次元オビホルド群の2次的拡張である。
• 整合性JSJ木と整合するR-木上の作用は、単体的木の極限として生じ、それらの幾何的構造は曲面上の測度付きラミネーションによって制御される。
• 柔軟頂点がR-木上で作用する最小の部分木は、測度付きラミネーションと双対であり、残りの部分は安定化群が小さい区間からなる。