[論文レビュー] On the coarse geometry of certain 2-dimensional right-angled Coxeter groups

Hoang Thanh Nguyen, Hung Cong Tran|arXiv (Cornell University)|Dec 4, 2017

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

ひとこと要約

この論文は、三角形を含まない平面的で $Γ$-CFS であるグラフ $Γ$ に付随する2次元の右角コクセター群の粗い幾何を分類する。このような群は、$Γ$ が $Γ$-CFS である場合には、ほぼすべてのセイフェルト群またはグラフ多様体群である（$Γ$-CFS でない場合には、$Γ$-CFS 部分群の相対的双曲的である）ことが示され、完全な準等長分類および線形、二次、指数的のいずれかの発散型が得られる。

ABSTRACT

Let $\Gamma$ be a connected, triangle-free, planar graph with at least five vertices that has no separating vertices or edges. If the graph $\Gamma$ is $\mathcal{CFS}$, we prove that the right-angled Coxeter group $G_\Gamma$ is virtually a Seifert manifold group or a graph manifold group and we give a complete quasi-isometry classification of these such groups. Otherwise, we prove that $G_\Gamma$ is hyperbolic relative to a collection of $\mathcal{CFS}$ right-angled Coxeter subgroups of $G_\Gamma$. Consequently, the divergence of $G_\Gamma$ is linear, or quadratic, or exponential. We also investigate strongly quasiconvex subgroups, Morse boundary of right-angled Coxeter groups $G_\Gamma$, and their connection to right-angled Artin groups when $\Gamma$ are $\mathcal{CFS}$.

研究の動機と目的

• 特定の平面的グラフ $\Gamma$ に対して、右角コクセター群 $G_\Gamma$ の準等長型を分類すること。
• $Γ$ が $\mathcal{CFS}$ のとき、$G_\Gamma$ の幾何的構造を特定し、それがほぼすべてのセイフェルトまたはグラフ多様体群であることを示すこと。
• $G_\Gamma$ の発散挙動を分析し、$\Gamma$ が $\mathcal{CFS}$ であるかどうかに応じて、線形、二次、指数的のいずれかに分類すること。
• $G_\Gamma$ の強く擬凸部分群とモース境界との関係を調査し、特に $\Gamma$ が $\mathcal{CFS}$ の場合における右角アーティン群との関連を明らかにすること。

提案手法

• $Γ$ が三角形を含まず平面的である場合に、$\mathcal{CFS}$（粗いフクシアン表面）条件を用いて $G_\Gamma$ の幾何的タイプを分類する。
• $Γ$ が $\mathcal{CFS}$ でない場合に、相対的双曲的理論を応用し、$G_\Gamma$ が $\mathcal{CFS}$ 部分群の相対的双曲的であることを示す。
• 準等長不変量を用いて $G_\Gamma$ を異なる幾何的クラスに分類する。
• モース境界と強いつぶし凸部分群を用いて、$G_\Gamma$ の大規模幾何を分析する。
• $\mathcal{CFS}$ の場合における構造的類似性を通じて、右角アーティン群と比較する。
• 分離可能な頂点や辺を含まない平面的グラフの位相的・組合せ的解析により、構造的剛性を保証する。

実験結果

リサーチクエスチョン

• RQ1 三角形を含まず、分離可能な頂点や辺を含まない $\mathcal{CFS}$ グラフ $\Gamma$ に対して、右角コクセター群 $G_\Gamma$ がほぼすべてのセイフェルト多様体群またはグラフ多様体群であるのはいつか？
• RQ2 $Γ$ が $\mathcal{CFS}$ でない場合、$G_\Gamma$ の発散挙動は何か？ また、相対的双曲的性とどのように関係するか？
• RQ3 $\mathcal{CFS}$ の場合に、$G_\Gamma$ の強いつぶし凸部分群はモース境界とどのように関係するか？
• RQ4 $\Gamma$ が $\mathcal{CFS}$ の場合、$G_\Gamma$ と右角アーティン群との間にはどのような構造的類似性があるか？
• RQ5 このような $\Gamma$ に対して、$G_\Gamma$ の完全な準等長分類は何か？

主な発見

• $Γ$ が $\mathcal{CFS}$ のとき、右角コクセター群 $G_\Gamma$ はほぼすべてのセイフェルト多様体群またはグラフ多様体群である。
• $Γ$ が非 $\mathcal{CFS}$ のとき、$G_\Gamma$ は $\mathcal{CFS}$ 右角コクセター部分群の集まりの相対的双曲的である。
• $G_\Gamma$ の発散は、$\Gamma$ の $\mathcal{CFS}$ 状態に応じて線形、二次、指数的のいずれかである。
• このようなすべての $G_\Gamma$ 群に対して完全な準等長分類が確立された。
• 強いつぶし凸部分群は、モース境界に関連して良好な性質を示すことが示された。
• $\Gamma$ が $\mathcal{CFS}$ のとき、$G_\Gamma$ のモース境界と幾何的構造は、右角アーティン群のそれらと構造的に類似している。