[論文レビュー] A note on twisted conjugacy and generalized Baumslag-Solitar groups

Jennifer Taback, Peter Wong|ArXiv.org|Jun 12, 2006

Geometric and Algebraic Topology参考文献 17被引用数 18

ひとこと要約

この論文は、一般化された Baumslag-Solitar 群に対して、自己同型が無限個のねじれ共役類を持つという性質 $R_{∞}$ が、準等長写像のもとで保存されることを確立している。Whyte の準等長分類結果を活用し、可解な Baumslag-Solitar 群に関する先行研究を拡張することで、非極小な一般化された Baumslag-Solitar 群に準等長的な任意の有限生成群に対しても性質 $R_{∞}$ が成り立つことが示された。これにより、$R_{∞}$ の幾何的不変性がより広い群のクラスへと拡張された。

ABSTRACT

A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized Baumslag-Solitar group has property R-infinity, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R-infinity. This extends work of the authors proving that any group quasi-isometric to a solvable Baumslag-Solitar BS(1,n) group has property R-infinity, and relies on the classification of generalized Baumslag-Solitar groups given by Whyte.

研究の動機と目的

• 一般化された Baumslag-Solitar 群に対して、性質 $R_{\u221e}$ が準等長写像のもとで不変であるかどうかを特定すること。
• 以前の $BS(1,n)$ や可解な一般化に関する結果を、より広い一般化された Baumslag-Solitar 群のクラスへと拡張すること。
• 一般化された Baumslag-Solitar 群に準等長的な群の構造を、木の作用とモジュラーホモモルフィズムを用いて分析すること。
• ユニモジュラー群の場合は、非極小な一般化された Baumslag-Solitar 群の準等長類に現れないことの証明により、これを解決すること。

提案手法

• 一般化された Baumslag-Solitar 群に準等長的な群の分類について、Whyte の結果を用い、3つのケースに分ける：$BS(1,n)$、$F_n \times \mathbb{Z}$ の部分群を含む、または、ほぼ巡回群のグラフの基本群。
• 非極小な Gromov 超曲面群のホフマン性に関する Sela の結果を適用し、2番目のケースにおける自己同型の有限性を保証する。
• 群が木上で作用する際に定義されるモジュラーホモモルフィズム $\Delta: G \to \mathbb{Q}^*$ を用いて、包あたる元の構造とその共役類を分析する。
• Levitt の議論を用い、非ユニモジュラー群では $\Delta$ の像が無限大であるため、リーディスターラー数が無限大になることを示し、ユニモジュラーの場合には中心の構造から矛盾を導く。
• 中心 $Z(G)$ を分析し、それがほぼ $\mathbb{Z}$ であるか、またはねじれ元の正規閉包であることを示し、両方のケースがユニモジュラーの下で矛盾を引き起こすことを証明する。
• 短完全列 $1 \to Z(G) \to G \to F \to 1$ を用い、$F$ がほぼ自由群であると仮定し、$G$ がほぼ $\mathbb{Z} \times F_n$ であるべきであることを示し、ユニモジュラー仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 非極小な一般化された Baumslag-Solitar 群に準等長的な任意の群に対して、性質 $R_{\u221e}$ が成り立つか。
• RQ2 $R_{\u221e}$ の幾何的不変性は、可解な Baumslag-Solitar 群を越えて、より広い一般化された Baumslag-Solitar 群のクラスへと拡張可能か。
• RQ3 一般化された Baumslag-Solitar 群に準等長的な群において、特に中心とモジュラーホモモルフィズムに関して、どのような構造的制約が生じるか。
• RQ4 なぜユニモジュラーの場合に矛盾が生じるのか。そして、それが一般の場合の証明を閉じる理由は何か。
• RQ5 モジュラーホモモルフィズム $\Delta$ 及びその像は、自己同型のリーディスターラー数をどの程度決定づけるか。

主な発見

• 非極小な一般化された Baumslag-Solitar 群に準等長的な任意の有限生成群は、性質 $R_{\u221e}$ を有する。これは $BS(1,n)$ からの結果を全クラスへと拡張したものである。
• モジュラーホモモルフィズム $\Delta: G \to \mathbb{Q}^*$ は自己同型のもとで保存され、その像がねじれ共役類の有限性を決定づける。
• もし $\Delta$ が非自明であれば、任意の自己同型 $\varphi$ に対して $R(\varphi) = \infty$ である。なぜなら、$\varphi$-共役な元は同じモジュラスを持つ必要があるからである。
• このような群の中心 $Z(G)$ は、ほぼ $\mathbb{Z}$ であるか、またはねじれ元の正規閉包であるが、両方のケースがユニモジュラーの下で矛盾を引き起こす。
• ユニモジュラーの場合が成立しないのは、$G$ がほぼ $\mathbb{Z} \times F_n$ であるべきであるが、これは準等長類の構造に反するためである。
• 証明は、準等長分類（Whyte）、ホフマン性（Sela）、モジュラ構造（Levitt）を組み合わせることで、$R_{\u221e}$ の不変性を確立している。