[論文レビュー] The mapping-torus of a free group automorphism is hyperbolic relative to the canonical subgroups of polynomial growth

François Gautero, Martin Lustig|ArXiv.org|Jul 5, 2007

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

ひとこと要約

この論文は、ランク $ n \geq 2 $ の自由群の自己同型のマッピングトーラス群が、自己同型下での多項式成長要素から生じる標準的族の部分群に関して強く双曲的であることを証明する。この結果とDrutu-Sapirの定理を組み合わせることで、このような群が急速減少性（Rapid Decay）を満たすことが示され、これは幾何的群論および非可換幾何学における重要な解析的条件である。

ABSTRACT

We prove that the mapping torus group $\FN times_α \Z$ of any automorphism $α$ of a free group $\FN$ of finite rank $n \geq 2$ is weakly hyperbolic relative to the canonical (up to conjugation) family $\mathcal H(α)$ of subgroups of $\FN$ which consists of (and contains representatives of all) conjugacy classes that grow polynomially under iteration of $α$. Furthermore, we show that $\FN times_α \Z$ is strongly hyperbolic relative to the mapping torus of the family $\mathcal H(α)$. As an application, we use a result of Drutu-Sapir to deduce that $\FN times_α \Z$ has Rapic Decay.

研究の動機と目的

• 自由群自己同型のマッピングトーラス群が、多項式成長の標準的族に相対して双曲的であることを確立すること。
• 同じ群が、多項式成長族の誘導されるマッピングトーラス部分群族に関して強く双曲的であることを示すこと。
• 相対的双曲性と群代数に関する既知の結果を用いて、これらの群における急速減少性を導出すること。
• 相対的双曲性に基づいて、このような群のための二次の等周不等式を概念的に簡素な証明で再構築すること。

提案手法

• 自由群自己同型の $\beta$-トレイントラック表現を用いて、普遍被覆空間内の力学的挙動と経路を分析すること。
• $\beta$-トレイントラックにおける正規化経路の導入と分析を行い、木における測地線の類似物としての役割を検討すること。
• 相対的双曲群の組み合わせ定理（定理2.9）を応用して、相対的双曲的構造を構成すること。
• 多項式成長部分群の陪集合を用いたケイリー図のコーン・オフ構成により、弱いおよび強い相対的双曲的性質を検証すること。
• 強相対的双曲群において周辺部分群が（RD）を満たす場合に急速減少性が成立することを示したDrutu-Sapirの定理を活用すること。
• 多項式アーベル的振幅を持つ半直積に関してJolissaintの結果を用いて、多項式成長の場合の（RD）を確立すること。

実験結果

リサーチクエスチョン

• RQ1 マッピングトーラス群 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ は、$\alpha$ による多項式成長部分群の標準的族 $\mathcal{H}(\alpha)$ に関して弱く双曲的か？
• RQ2 同じ群は、$\mathcal{H}(\alpha)$ のマッピングトーラス部分群族に関して強く双曲的か？
• RQ3 強い相対的双曲的性質は、$\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ に対して急速減少性を示唆するか？
• RQ4 相対的双曲的性質を用いて、このような群のための二次の等周不等式を再証明できるか？

主な発見

• マッピングトーラス群 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ は、$\alpha$ による多項式成長部分群の標準的族 $\mathcal{H}(\alpha)$ に関して弱く双曲的である。
• 群は、$\mathcal{H}(\alpha)$ のマッピングトーラス部分群族 $\mathcal{H}_\alpha$ に関して強く双曲的である。
• $\mathcal{H}_\alpha$ に属する各部分群は、急速減少性（RD）を満たす。これは、自由群を $\mathbb{Z}$ で拡張し、多項式アーベル的振幅を持つためである。
• 全体としての群 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ は、強い相対的双曲的性質と周辺部分群の（RD）性質のおかげで急速減少性（RD）を満たす。
• この結果により、BridsonとGrovesが示した二次の等周不等式に対する、概念的に簡素な新しい証明が得られる。
• 証明は、$\beta$-トレイントラック構造における正規化経路の新たな分析に依拠しており、それらが木における測地線のように振る舞うことを示している。