[論文レビュー] Delzant's variation on Scott complexity

G. A. Swarup|ArXiv.org|Jan 23, 2004

Advanced Algebra and Logic参考文献 3被引用数 8

ひとこと要約

本稿は、有限生成群への全単射な準同型写像に対してスコットの複雑さ不変量をデルザントが拡張したものを提示する。有限生成群への全射的準同型写像の複雑さを、有限生成商群を介した分解に基づく新たな複雑さ測度によって定義する。主な貢献は、3次元多様体群の整合性の新証明および、スタリングスのバインディング・タイと3次元多様体内の非圧縮可能表面を用いた、セーラの非可換的到達可能性定理の初等的証明である。

ABSTRACT

We give an exposition of Delzant's ideas extending the notion of Scott complexity of finitely generated groups to surjective homomorphisms of finitely presented groups to finitely generated groups.

研究の動機と目的

• 有限生成群への全射的準同型写像に対して、スコットの群の複雑さの概念を拡張すること。
• この拡張された複雑さ不変量を用いて、3次元多様体群の整合性に対する新しい初等的証明を提供すること。
• 共役および部分群の取り扱いが閉じた部分群族に関して、有限生成群に対するセーラの非可換的到達可能性定理の一般化を確立すること。
• この複雑さ枠組みを通じて、有限生成の非分解的群に関する結果が、有限生成群の場合の類似結果からどのように導かれるかを示すこと。

提案手法

• 全射的準同型写像 φ: G → H の複雑さを、α が全射かつ G' が有限生成となるすべての分解 φ = ψ∘α における c(G') の上限として定義する。
• スタリングスのバインディング・タイの手法を用いて、H の標準的分解を G に持ち上げ、単純分解的因子および ℤ-因子が単射性の仮定のもとで保存されることを示す。
• 複雑さ順序を用いて、c(G) = c(H) かつ φ が単純分解的因子に単射的に制限されるならば、φ は同型であることを示す。
• 繰り返し埋め込みられた円板に沿って加算または分割することで、3次元多様体内の非圧縮可能部分多様体を構成し、その基本群が元の群と同型となるようにする。
• 複雑さ枠組みを用いて、C が共役および部分群について閉じた部分群族であるとき、最小の (k, C)-非可換的 G-木 T に対する商グラフ T/G の頂点数を有界化する。
• G が C の要素に沿って分解しないならば、T/G の頂点数は k と G のみに依存する定数によって有界であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限生成群に対するスコットの複雑さ不変量は、有限生成群への全射的準同型写像へと拡張可能か？
• RQ2 この拡張された複雑さ枠組みは、3次元多様体群の整合性に対する新しい証明をもたらすか？
• RQ3 デルザントの複雑さ手法を用いて、セーラの非可換的到達可能性定理をより初等的な方法で証明できるか？
• RQ4 有限生成群の作用に関して、最小の (k, C)-非可換的木 T の商 T/G の頂点数に一様な上限が存在するか？その上限は k と G のみに依存するか？
• RQ5 準同型写像の複雑さは、元の群と像の群の分解性質とどのように関係するか？

主な発見

• 任意の全射的準同型写像 φ: G → H に対して、c(G) ≥ c(H) が成り立つ。ただし、G の各単純分解的因子 K に対して、φ(K) が H の単純分解的因子に共役である場合に限る。
• c(G) = c(H) かつ φ が G の各単純分解的因子を H の単純分解的因子（共役を除いて）に写像するならば、φ は同型である。
• 複雑さ枠組みにより、非圧縮可能部分多様体を構成し、その基本群が元の群と同型となることから、3次元多様体群の整合性に対する新しい証明が得られる。
• デルザントの複雑さ手法により、任意の最小の (k, C)-非可換的 G-木 T に対して、T/G の頂点数に一様な上限 n(k, G) が存在する。ただし C は共役および部分群について閉じた部分群族である。
• 上限 n(k, G) は、G の三角形表示を用いて定義され、セーラの非可換的到達可能性定理を、任意の部分群族に対して有限生成の場合に一般化する。
• この手法により、G が C の要素に沿って分解しないならば、T/G の頂点数は n(k, G) によって有界であることが示され、非可換的到達可能性のより強い形が証明される。