[論文レビュー] The geometry of the curve graph of a right-angled Artin group

Sang‐Hyun Kim, Thomas Koberda|arXiv (Cornell University)|May 19, 2013

Geometric and Algebraic Topology参考文献 32被引用数 9

ひとこと要約

本稿は、右側アーティン群（RAAG）と写像類群の間の類似性を確立する。具体的には、RAAGがその拡張グラフ上にアシリカルに作用することを示し、これは表面の曲線グラフに類似した空間である。主な貢献は、群のgirth ≥ 5 の場合に、拡張グラフにおける距離公式が、RAAGの語長を粗く測定することを示している。これは写像類群理論における距離公式と類似している。

ABSTRACT

We develop an analogy between right-angled Artin groups and mapping class groups through the geometry of their actions on the extension graph and the curve graph respectively. The central result in this paper is the fact that each right-angled Artin group acts acylindrically on its extension graph. From this result we are able to develop a Nielsen--Thurston classification for elements in the right-angled Artin group. Our analogy spans both the algebra regarding subgroups of right-angled Artin groups and mapping class groups, as well as the geometry of the extension graph and the curve graph. On the geometric side, we establish an analogue of Masur and Minsky's Bounded Geodesic Image Theorem and their distance formula.

研究の動機と目的

• 右側アーティン群（RAAG）と写像類群の間の幾何的類似性を、それぞれの拡張グラフと曲線グラフへの作用を通じて確立すること。
• 写像類群理論における曲線グラフの役割に類似して、RAAGの部分群構造をその拡張グラフの幾何学的性質を通じて理解すること。
• RAAGの拡張グラフに対して、距離公式や有界地図像定理といった粗い幾何的不変量を確立すること。
• 拡張グラフ上の力学的性質を用いて、Nielsen–Thurston型分類をRAAGの元に対して提供すること。
• 拡張グラフの自己同型群の構造を調査し、写像類群と曲線グラフの関係と比較すること。

提案手法

• RAAG $A(\Gamma)$ の拡張グラフ $\Gamma^e$ を定義する。ここで頂点は $A(\Gamma)$ の元に対応し、辺は頂点のスターバイジェクションによる乗法に対応する。
• 要素のスターレングスを、その要素を表すために必要なスターゲネレータの最小数として定義する。これは写像類群における語長に類似している。
• RAAG $A(\Gamma)$ が $\Gamma^e$ 上にアシリカルに作用することを証明する。これは写像類群が曲線グラフ上で示す重要な性質を拡張する。
• 曲線グラフにおける部分面への射影に類似した、$\Gamma^e$ 上の頂点リンク射影の理論を構築する。
• グラフ $\Gamma$ のgirthが5以上の場合に、$\Gamma^e$ に対して有界地図像定理を確立する。これにより、地図が部分グラフに一様に射影されることを保証する。
• 頂点 $\Gamma^e$ 上の射影としきい値付きの和を用いて、$\Gamma^e$ 内の距離公式を導出する。この公式により、$A(\Gamma)$ の要素の語長が粗く回復される。

実験結果

リサーチクエスチョン

• RQ1 右側アーティン群 $A(\Gamma)$ の拡張グラフ $\Gamma^e$ の幾何は、表面の曲線グラフ $\mathcal{C}(S)$ の幾何とどのように類似しているか？
• RQ2 RAAG $A(\Gamma)$ が $\Gamma^e$ 上にアシリカルに作用することは示せるか？これは写像類群が $\mathcal{C}(S)$ 上にアシリカルに作用することと同様である。
• RQ3 特にgirth ≥ 5 の場合に、拡張グラフ $\Gamma^e$ が $A(\Gamma)$ の要素の語長をどの程度粗く測定できるか？
• RQ4 拡張グラフ $\Gamma^e$ の自己同型群の構造は何か？写像類群が曲線グラフに作用するのと比較して、どのように異なるか？
• RQ5 曲線グラフにおける距離公式に類似した距離公式を $\Gamma^e$ に構成できるか？この公式により、$A(\Gamma)$ の自然な幾何的不変量が粗く測定されるか？

主な発見

• 右側アーティン群 $A(\Gamma)$ はその拡張グラフ $\Gamma^e$ 上にアシリカルに作用する。これは写像類群が曲線グラフ上で示す重要な性質を一般化する。
• グラフ $\Gamma$ のgirthが5以上の場合、$\Gamma^e$ 内の距離公式は、$A(\Gamma)$ の要素の語長を粗く測定する。これは写像類群理論におけるTeichmüller理論における距離公式に類似している。
• 拡張グラフ $\Gamma^e$ は擬似ツリーであり、したがって $\delta$-双曲的である。これは曲線グラフとの粗い幾何的類似性を確立する。
• グラフ $\Gamma$ のgirthが5以上の場合、$\Gamma^e$ に対して有界地図像定理が成り立つ。これにより、$\Gamma^e$ 内の地図が部分グラフに一様に射影されることを保証する。
• グラフ $\Gamma$ が連結かつ反鎖集合である場合、$\Gamma^e$ の自己同型群には無限ランクの自由アーベル群が含まれる。これは $\operatorname{Aut}(\Gamma^e)$ が非可算であり、$A(\Gamma)$ と共役でないことを示し、写像類群のケースとは異なっている。
• $A(\Gamma)$ の巡回的減少楕円的要素は、$\Gamma$ のジョイン上に支持され、ロクソドロミック要素はGromov境界 $\partial\Gamma^e$ 上に一意の固定点を持つ。これはNielsen–Thurston分類に類似している。