[論文レビュー] On subgroup conjugacy separability in the class of virtually free groups

Oleg Bogopolski, Fritz Grunewald|arXiv (Cornell University)|Dec 22, 2010

Japanese History and Culture参考文献 33被引用数 5

ひとこと要約

この論文は、正規化子条件を満たす有限群の木の自由群および基本群が、部分群の共役分離性を満たす（SCS）ことを確立している。これは、非共役な有限生成部分群が、ある有限商群においても非共役のままであることを意味する。さらに、これらの群に対して部分群の内側共役分離性（into-conjugacy separability）という性質を導入し、証明することで、 virtually free 群における部分群の共役構造への残留有限性の性質の拡張がなされた。

ABSTRACT

A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental groups of finite trees of finite groups with some normalizer condition are SCS. We also introduce the subgroup into-conjugacy separability property and prove that the above groups have this property too.

研究の動機と目的

• virtually free 群および自由群が部分群の共役分離性（SCS）を満たすかどうかを調査すること。
• 残留有限性の性質を部分群の共役に拡張し、有限生成部分群の共役問題のアルゴリズム的可解性を扱うこと。
• virtually free 群の文脈において、部分群の内側共役分離性という新しい性質を導入し、証明すること。
• 3次元多様体トポロジーおよび幾何学的群論への応用のための基盤を提供すること。

提案手法

• 非共役な有限生成部分群が、ある有限商群においても非共役のままであるという性質として、部分群の共役分離性（SCS）を定義する。
• 正規化子条件を満たす有限群の木の構造に対して、帰納法を用いて群の複体における曲線の挙動を分析する。
• 複体 $ Z $ および $ Y_l $ の構成を含む幾何学的群論的手法を適用し、ループの可縮性と $ e $-長さを分析する。
• 自由な面およびレベル $ l $ の $ ilde{rak{N}} $-空間が可縮であるという事実を活用し、長さ制約下でのループの可縮性を証明する。
• ホモトピー的議論と定数 $ C $ を用いてループの長さをバインドし、有限商群における共役性を仮定した場合の矛盾を導出する。
• もし $ H_2 $ が $ H_3 $ に内側共役であるならば、$ H_2^g $ は $ H_1^{g_s} $ に内側共役でなければならない。これは当初の仮定（$ H_2 $ が $ H_1 $ に共役にできないこと）に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 自由群および正規化子条件を満たす有限群の木の基本群は、部分群の共役分離性（SCS）を満たすか。
• RQ2 群の複体における幾何学的および帰納的技法を用いて、virtually free 群に対して SCS 性質を確立できるか。
• RQ3 共役分離性の意味のある一般化が部分群の共役に適用可能であり、同じクラスの群で成り立つか。
• RQ4 内側共役分離性（into-conjugacy separability）は自由群および virtually free 群で成り立つか。また、SCS とどのように関係するか。
• RQ5 SCS を用いて、これらの群における有限生成部分群の共役問題がアルゴリズム的に解けるか。

主な発見

• 自由群は部分群の共役分離性（SCS）を満たす。これは、非共役な有限生成部分群が、ある有限商群においても非共役のままであることを意味する。
• 正規化子条件を満たす有限群の木の基本群は SCS を満たす。
• 本論文は、自由群および上記のクラスの群に対して、部分群の内側共役分離性を導入し、証明した。
• 証明は幾何学的群論に依拠し、複体 $ Z $ および $ Y_l $ を用い、長さが $ C $ より小さいループは、可縮であるか $ Y_{1,i} $ に含まれるため、矛盾の導出が可能であることを示した。
• もし $ H_2 $ が $ H_3 $ に内側共役であるならば、$ H_2^g $ は $ H_1^{g_s} $ に内側共役でなければならない。これは $ H_2 $ が $ H_1 $ に共役にできないという仮定に矛盾するため、有限商群における非共役性が証明される。
• 結果として、有限生成部分群の共役問題がアルゴリズム的に解ける、有限提示の SCS 群が存在することが示された。