[論文レビュー] On the isomorphism conjecture for groups acting on trees

S.K. Roushon|arXiv (Cornell University)|Oct 14, 2005

Geometric and Algebraic Topology参考文献 24被引用数 9

ひとこと要約

本稿は、群が木に作用する場合、特に頂点安定化部分群が再帰的に有限または特定の有限性条件を満たす場合に、擬等長理論におけるファイバリング同型予想が成り立つための条件を確立する。辺群が有限で、頂点群が再帰的に有限、または同型予想を満たす群への上への準同型をもつ場合、グラフの群の基本群は同型予想を満たすことが示され、既知の結果が非双曲的かつ非CAT(0)群の新たなクラスに拡張される。

ABSTRACT

We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions the conjecture is true for groups acting on trees when the stabilizers satisfy the conjecture. These conditions are satisfied in several cases of the conjecture. We prove some general results on the conjecture for the pseudoisotopy theory for groups acting on trees with residually finite vertex stabilizers. In particular, we study situations when the stabilizers belong to the following classes of groups: polycyclic groups, finitely generated nilpotent groups, closed surface groups, finitely generated abelian groups and virtually cyclic groups. Finally, we provide explicit examples of groups for which we have proved the conjecture in this article and show that these groups were not considered before. Furthermore, we deduce that these groups are neither hyperbolic nor CAT(0).

研究の動機と目的

• グラフの群の基本群が木に作用する場合に、擬等長理論におけるファイバリング同型予想（FICwF P）が成り立つ十分条件を確立すること。
• 従来の知られていた群のクラスを超えて、特に双曲的でもCAT(0)でもない群に対しても同型予想の有効性を拡張すること。
• 文献でこれまでに検討されていなかった、FICwF Pを満たす新しい群の明示的構成を提供すること。
• 特に辺群が有限である場合に、アーマルガメート自由積およびHNN拡大の下で、頂点および辺の安定化部分群に条件を課すことにより、同型予想が成り立つことを示すこと。

提案手法

• 辺群が有限であるグラフの群の構造を用い、群の作用による基本群の分析を行う。
• FICwF P（有限群を用いた半直積に関する擬等長理論のファイバリング同型予想）を主要な道具として用い、有限指数拡大における安定性を活用する。
• 頂点安定化部分群における再帰的有限性の概念を用い、同型予想を満たす群への準同型を構成することで、性質を基本群に移す。
• 特定のクラス（例えば、多可換群、ノルム群、アーベル群、曲面群、有限生成の余巡回群）におけるK理論および擬等長理論の既知の結果を応用し、基本群に対しても同型予想が成り立つことを導出する。
• FICwF Pが有限指数上位群に引き継がれることを用い、群の拡大および半直積に応用する。
• [9]、[19]、[24]、および[14]の結果を活用し、構成された例のハダール群への埋め込み不可能性および非CAT(0)性を確立する。

実験結果

リサーチクエスチョン

• RQ1 辺安定化部分群が有限である木に作用する群に対して、擬等長理論におけるファイバリング同型予想が成り立つ条件は何か？
• RQ2 頂点安定化部分群が再帰的に有限で、FICwF Pを満たす場合、グラフの群の基本群に対しても同型予想が拡張可能か？
• RQ3 非双曲的かつ非CAT(0)な群のアーマルガメート自由積やHNN拡大として構成された群が、ある条件下でFICwF Pを満たすか？
• RQ4 双曲的またはCAT(0)を越える新たな群のクラスが、この方法によりFICwF Pを満たすか？
• RQ5 辺群が有限である条件下で、多可換群、ノルム群、またはアーベル群の頂点安定化部分群をもつ群に対して、同型予想が成り立つか？

主な発見

• 辺群が有限で、すべての頂点群が再帰的に有限かつFICwF Pを満たす場合、グラフの群の基本群はFICwF Pを満たす。
• 基本群から群Qへの上への準同型が存在し、QがFICwF Pを満たし、各頂点群への制限の核が有限である場合、基本群はFICwF Pを満たす。
• 頂点群が有限生成ノルム群である場合、部分群分離性の必要十分条件を満たす条件下で、多可換頂点安定化部分群をもつ群に対し、同型予想が成り立つ。
• 非双曲的かつ非CAT(0)であるが、FICwF Pを満たす明示的な例が構成され、非アーベルノルム群のアーマルガメート積や半直積から得られる群を含む。
• 結果は、余巡回群、曲面群、有限生成アーベル群を頂点安定化部分群としても適用可能であり、文献でこれまでにカバーされていなかった新しいケースを含む。
• この手法はL理論に対しても適用可能であり、[9, 定理4.8]のL理論版が利用可能であれば、このフレームワークの適用範囲が広がることが示唆される。