[論文レビュー] The Large Scale Geometry of Nilpotent-by-Cyclic Groups

Ashley Reiter Ahlin|ArXiv.org|Jul 14, 2005

Geometric and Algebraic Topology参考文献 19被引用数 6

ひとこと要約

この論文は、有限生成で非多項式的でないべき零的・巡回群の準等長剛性を確立し、このような群に準等長的な任意の群が（準有限的べき零的）・巡回的であることを示している。発散レートと成長空間を不変量として導入し、定義する自己同型の並べ替え絶対ジョルダン標準形が準等長不変量であると予想し、この条件下での不変量の同値性を通じて部分的な証拠を提供している。

ABSTRACT

A nonpolycyclic nilpotent-by-cyclic group Gamma can be expressed as the HNN extension of a finitely-generated nilpotent group N. The first main result is that quasi-isometric nilpotent-by-cyclic groups are HNN extensions of quasi-isometric nilpotent groups. The nonsurjective injection defining such an extension induces an injective endomorphism phi of the Lie algebra g associated to the Lie group in which N is a lattice. A normal form for automorphisms of nilpotent Lie algebras--permuted absolute Jordan form-- is defined and conjectured to be a quasi-isometry invariant. We show that if phi, theta are endomorphisms of lattices in a fixed Carnot group G, and if the induced automorphisms of g have the same permuted absolute Jordan form, then Gamma_phi and Gamma_theta are quasi-isometric. Two quasi-isometry invariants are also found: the set of ``divergence rates'' of vertical flow lines: D_phi the ``growth spaces'': g_n subset g These do not establish that permuted absolute Jordan form is a quasi-isometry invariant, although they are major steps toward that conjecture. Furthermore, the quasi-isometric rigidity of finitely-presented nilpotent-by-cyclic groups is proven: any finitely-presented group quasi-isometric to a nonpolycyclic nilpotent-by-cyclic group is (virtually-nilpotent)-by-cyclic.

研究の動機と目的

• 非多項式的でないべき零的・巡回群を準等長の意味で分類すること。
• 定義する自己同型の並べ替え絶対ジョルダン標準形が、群の準等長不変量であるかどうかを調査すること。
• 有限生成べき零的・巡回群に対して準等長剛性を確立すること。
• 発散レートや成長空間といった粗い幾何的不変量を特定し、それらが準等長類を検出できるかどうかを明らかにすること。

提案手法

• 有限生成べき零的群への上行HNN拡張としてべき零的・巡回群を分析する。
• べき零的群に付随するリー代数と、そのリー代数への誘導された自己同型を研究する。
• 並べ替え絶対ジョルダン標準形を、準等長の意味での候補不変量として導入する。
• モデル空間における垂直フロー線の発散レートを定義し、準等長不変量とする。
• リー代数内に成長空間を導入し、別の不変量とする。
• 時間変更の剛性と粗い位相を用いて、準等長写像とモデル空間上の構造を保つ写像との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 二つの準等長的な非多項式的でないべき零的・巡回群は、必ずしも準等長的なべき零的群のHNN拡張であるか？
• RQ2 定義する自己同型の並べ替え絶対ジョルダン標準形は、群の準等長不変量であるか？
• RQ3 群のモデル空間の発散レートと成長空間は、準等長類を完全に検出できる不変量か？
• RQ4 これらの不変量は、自己同型の代数的構造をどの程度まで検出できるか？
• RQ5 有限生成べき零的・巡回群のクラスは、準等長的に剛性を示すか？

主な発見

• 非多項式的でないべき零的・巡回群に準等長的な任意の有限生成群は（準有限的べき零的）・巡回的である。これは、準等長剛性を確立する。
• 準等長的なべき零的・巡回群は、準等長的なべき零的群のHNN拡張として生じる。
• 同じカルノー群内の格子上の自己同型の二つが同じ並べ替え絶対ジョルダン標準形を持つならば、それに対応するHNN拡張は互いに準等長的である。
• 発散レートの集合 ${\mathcal{D}}_{\phi}$ と成長空間 $\mathfrak{g}_{n}$ は、群の準等長不変量である。
• 発散レートと成長空間が同一であるが、並べ替え絶対ジョルダン標準形が異なる二つの群の例が構成され、この標準形が完全な不変量でない可能性を示唆している。
• これらの不変量は、並べ替え絶対ジョルダン標準形が準等長不変量であるという予想に対する強い証拠を提供している。