[論文レビュー] The asymptotic geometry of right-angled Artin groups, I

Mladen Bestvina, Bruce Kleiner+1 more|ArXiv.org|Aug 14, 2007

Geometric and Algebraic Topology参考文献 13被引用数 4

ひとこと要約

この論文は、三角形を含まず、長さ ≤4 のサイクルがなく、分離する頂点スターフリーな有限グラフによって定義されるアトミック右側アーティン群の漸近的幾何について調査する。同論文では、自己同型群が最大の積複体とフラットを保存することを示し、2つの群が quasi-isometric であるための必要十分条件が同型であること、つまり、完全な quasi-isometric rigidity が欠落している中でも強い形の quasi-isometric rigidity が成立することを証明する。

ABSTRACT

We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.

研究の動機と目的

• 短いサイクルや分離構造を含まないグラフによって定義される右側アーティン群（RAAG）の漸近的幾何を理解すること。
• このような RAAG 間の quasi-isometry が、フラットや積複体といった主要な幾何的特徴を保存するかどうかを調査すること。
• このクラスにおいて、quasi-isometry が同型を意味するかどうかを特定すること。これは、完全な quasi-isometric rigidity が成立しないという事実に対処するためのものである。
• 共役性のない quasi-isometry を検出できるように、共役群と quasi-isometry 群の構造を分析し、自己同型群が共役群に有限指数をもたないことを示すことにより、古典的意味での非剛性を示すこと。

提案手法

• 定義グラフが連結で、三角形を含まず、長さ <5 のサイクルがなく、分離する頂点スターフリーであるような RAAG をアトミック RAAG と定義する。
• 幾何的解析のためのモデル空間として、Salvetti 複体の普遍被覆 $ K(ar{ abla}) $ を用いる。
• 幾何的および組合せ論的議論を用いて、このような空間間の quasi-isometry がフラットを有界なハウスドルフ距離の範囲内で保存することを証明する。
• 双対ディスク図形とタイトなサイクルの構造を用いて、最大の積複体の保存を確立する。
• 平行集合への作用を分析し、$ \bbZ $-因子への誘導写像を用いて、非共役の quasi-isometry を検出する。
• 無限サイクリック被覆と $ K(ar{ abla}_1) $ のコピーへの置換作用を用いた具体的な例を構成することで、$ \operatorname{Comm}(G) $ が $ \operatorname{QI}(G) $ に無限指数をもつことを示す。

実験結果

リサーチクエスチョン

• RQ1 アトミック RAAG 間の quasi-isometry はフラットおよび最大の積複体を保存するか？
• RQ2 完全な quasi-isometric rigidity とその欠如の間の、中間的な剛性形式がアトミック RAAG に存在するか？
• RQ3 定義グラフがアトミックである2つの非同型 RAAG が quasi-isometric になり得るか？
• RQ4 アトミック RAAG の共役群および quasi-isometry 群の構造は何か？ また、自己同型群とはどのように関係するか？
• RQ5 共役性のない等長的作用とは異なる、普遍被覆上での共役群の幾何的作用は存在するか？

主な発見

• アトミック RAAG の普遍被覆間の quasi-isometry は、フラットを有界な Hausdorff 距離の範囲内で保存する。その有界性は quasi-isometry 定数にのみ依存する。
• 最大の積複体は quasi-isometry によって保存され、これが剛性結果の根幹をなす。
• 2つのアトミック RAAG は、かつては同型であるための必要十分条件である。これは強い形の剛性を確立する。
• 共役群 $ \operatorname{Comm}(G) $ は quasi-isometry 群 $ \operatorname{QI}(G) $ に無限指数をもつ。これは、$ \operatorname{Aut}(G) $ が $ \operatorname{Comm}(G) $ に有限指数をもたないことを示している。
• 平行集合を保存し、$ \bbZ $-因子に双方向の quasi-isometry を誘導するが、それらは等長的作用に quasi-conjugate でない quasi-isometry が存在する。
• 無限サイクリック被覆におけるコピーの置換を用いた quasi-isometry の構成により、$ \bbZ $-因子への作用が任意の双方向 quasi-isometry を実現できることを示し、このような写像の有限分類が不可能であることがわかる。