[論文レビュー] On the Magnus Embedding and the Conjugacy Length Function of Wreath Products and Free Solvable Groups

Andrew W. Sale|arXiv (Cornell University)|Feb 23, 2012

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿では、マグヌス埋込みを幾何学的に再定義し、自然な生成集合に関して2-バイリプシッツであることを証明する。これにより、自由可解群における$L_p$圧縮指数の非ゼロ下界が得られ、群のワレル積への埋込みを通じて、これらの群の定量的幾何的性質が確立される。

ABSTRACT

The classic Magnus embedding is a very effective tool in the study of abelian extensions of a finitely generated group $G$, allowing us to see the extension as a subgroup of a wreath product of a free abelian group with $G$. In particular, the embedding has proved to be useful when studying free solvable groups. An equivalent geometric definition of the Magnus embedding is constructed and it is used to show that it is 2-bi-Lipschitz, with respect to an obvious choice of generating sets. This is then applied to obtain a non-zero lower bound on $L_p$ compression exponents in free solvable groups.

研究の動機と目的

• 有限生成群のアーベル拡大における古典的マグヌス埋込みの幾何的特徴付けを提供すること。
• マグヌス埋込みが自然な生成集合に関してバイリプシッツ性を有することを確立すること。
• マグヌス埋込みのバイリプシッツ性を応用し、自由可解群における定量的幾何的不変量を導出すること。
• 自由可解群における$L_p$圧縮指数の非ゼロ下界を特定すること。

提案手法

• 群作用と生成集合を用いて、マグヌス埋込みの等価な幾何的定義を構成すること。
• ワレル積に距離構造を定義し、埋込みによる歪みを分析すること。
• 源群と被写像群における語長の比較を通じて、マグヌス埋込みが2-バイリプシッツであることを証明すること。
• バイリプシッツ性を活用し、自由可解群における$L_p$圧縮関数の成長を評価すること。
• 既知の圧縮指数に関する結果を応用し、ワレル積埋込みの文脈で正の下界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 マグヌス埋込みは、ワレル積の標準的生成集合に関して2-バイリプシッツか？
• RQ2 マグヌス埋込みの幾何的定式化は、自由可解群における定量的幾何的不変量を導くことができるか？
• RQ3 自由可解群の$L_p$圧縮指数は何か？また、正の定数によって下から抑えられるか？
• RQ4 マグヌス埋込みのバイリプシッツ性は、ワレル積の幾何とどのように関係するか？

主な発見

• マグヌス埋込みがワレル積における明確な生成集合に関して2-バイリプシッツであることが証明された。
• マグヌス埋込みの幾何的再定式化が構成され、その構造と歪みに関する新たな視点が得られた。
• バイリプシッツ性のおかげで、自由可解群における$L_p$圧縮指数の非ゼロ下界が導出された。
• この結果により、自由可解群が非自明な$L_p$圧縮を示し、非アーベル的幾何的挙動を示すことが確認された。