[論文レビュー] JSJ decompositions: definitions, existence, uniqueness. I: The JSJ deformation space

Vincent Guirardel, Gilbert Levitt|arXiv (Cornell University)|Nov 16, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 34被引用数 24

ひとこと要約

本稿では、変形空間における最大性の性質に基づき、有限生成群に対するJSJ分解の普遍的で抽象的な定義を提示し、その存在および同値類を除いて一意であることを証明する。JSJツリーは個々のツリーとしてではなく、変形空間としての形で標準的対象であることが示され、任意の部分群のクラスにおける支配関係と普遍的安定性に基づき、非一意性を解消する。この理論は、双曲的および相対的双曲的群への応用を含む。

ABSTRACT

This paper and its companion arXiv:1002.4564 have been replaced by arXiv:1602.05139. We give a general simple definition of JSJ decompositions by means of a universal maximality property. The JSJ decomposition should not be viewed as a tree (which is not uniquely defined) but as a canonical deformation space of trees. We prove that JSJ decompositions of finitely presented groups always exist, without any assumption on edge groups. Many examples are given.

研究の動機と目的

• 特定の構成に依存しない普遍的最大性の性質に基づく、JSJ分解の一般的で抽象的な定義を提供すること。
• エッジ部分群の構造に制限のない、すべての有限生成群に対してJSJ分解の存在を確立すること。
• JSJツリーの非一意性を解消するため、標準的対象を個々のツリーではなく変形空間として再定義すること。
• 絶対的および相対的状況下で、細い、有限、巡回、またはVPC群のクラスに対するJSJ分解における柔軟な頂点を特徴づけること。
• 従来のJSJ分解の構成を統一的かつ一般化し、それらが提示された普遍的定義を満たすことを示すこと。

提案手法

• JSJ分解を普遍的最大性条件によって定義：ツリーが普遍的安定的であり、かつすべての他の普遍的安定的ツリーを支配するとき、そのツリーをJSJと呼ぶ。
• 変形空間を、折りたたみおよび折り返し操作による-equivariant同値関係で結ばれるすべてのツリーの集合として定義。
• 普遍的安定性の概念を用いて、同じクラスに属する他のすべてのツリーにおいても辺安定化が点を固定するようなツリーに限定する。
• 変形空間内での極限的プロセスを用いてJSJツリーを構成し、すべての普遍的安定的ツリーを支配することを保証する。
• 相対的双曲性理論およびQH部分群の理論を用いて、相対的JSJ分解における柔軟な頂点を記述する。
• 拡張されたエッジ部分群を備えたより大きな群 $\hat{G}$ の構成を用い、相対的JSJ問題を絶対的問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 特定の群論的構成に依存しない、JSJ分解の標準的定義を構築することは可能か？
• RQ2 エッジ部分群の構造に制限のない、すべての有限生成群に対してJSJ分解は存在するか？
• RQ3 なぜJSJツリーは一意でないのか？ その非一意性を克服しながらも、その標準的性質をどのように保てるか？
• RQ4 有限、巡回、または細い群のクラスに対するJSJ分解における柔軟な頂点の構造はいかなるものか？
• RQ5 部分群の族に対する相対的JSJ分解は、絶対的JSJ分解とどのように関係するか？

主な発見

• 任意の部分群のクラスが部分群および共共役に関して閉じている限り、すべての有限生成群に対してJSJ分解が存在する。
• JSJツリー自体は一意ではないが、生成される変形空間は標準的であり、普遍的最大性の性質によって一意に定まる。
• 有限、巡回、または細い群のクラスに対するJSJ分解における柔軟な頂点は、すべての境界成分が使われた相対的QH部分群として特徴づけられる。
• VPC_{\leq n} 群の場合、JSJ分解は、より小さい VPC_{\leq n-1} 部分群への分解をもたない群の構造を捉えている。
• 有限生成部分群の族 ${\mathcal{H}}$ に対する相対的JSJ分解は、より大きな群 $\hat{G}$ における絶対的JSJ分解と同値であり、一様な取り扱いが可能になる。
• JSJツリーの変形空間は群の自己同型に関して不変であり、分解の完全な標準的構造を捉えている。