[論文レビュー] Acylindrical hyperbolicity and equations in graph products

Motiejus Valiunas|arXiv (Cornell University)|Nov 7, 2018

Homotopy and Cohomology in Algebraic Topology被引用数 1

ひとこと要約

この論文は、グラフ積における非一様双曲的性の研究のための準中央グラフフレームワークを導入し、木に quasi-isometric な接触グラフ $\mathcal{C}X$ を定義する。群の作用が $\mathcal{C}X$ 上に非一様双曲的作用を誘導することを確立し、有限のグラフで girth $\geq 6$ を満たす方程式的ノエター群のグラフ積が方程式的ノエター的であることを証明する。これはセラの結果を一般化する。

ABSTRACT

In this paper we study group actions on quasi-median graphs, or 'CAT(0) prism complexes', generalising the notion of CAT(0) cube complexes. We consider hyperplanes in a quasi-median graph $X$ and define the contact graph $\mathcal{C}X$ for these hyperplanes. We show that $\mathcal{C}X$ is always quasi-isometric to a tree, generalising a result of Hagen, and that under certain conditions a group action $G \curvearrowright X$ induces an acylindrical action $G \curvearrowright \mathcal{C}X$, giving a quasi-median analogue of a result of Behrstock, Hagen and Sisto. As an application, we exhibit an acylindrical action of a graph product on a quasi-tree, generalising results of Kim and Koberda for right-angled Artin groups. We show that for many graph products $G$, the action we exhibit is the 'largest' acylindrical action of $G$ on a hyperbolic metric space. We use this to show that the graph products of equationally noetherian groups over finite graphs of girth $\geq 6$ are equationally noetherian, generalising a result of Sela.

研究の動機と目的

• 準中央グラフ、あるいは「CAT(0)ピラミッド複体」とも呼ばれる、群の作用解析のための CAT(0) 体積複体の技術を一般化すること。
• 準中央グラフ $X$ の超平面の接触グラフ $\mathcal{C}X$ を定義し、その性質を研究すること。特に、$\mathcal{C}X$ が木に quasi-isometric であることを示すこと。
• 群の作用 $G \curvearrowright X$ が、$\mathcal{C}X$ 上に非一様双曲的作用を誘導する条件を確立すること。これは、ベルストック、ハーゲン、システィの結果を拡張する。
• このフレームワークをグラフ積に適用し、双曲的空間上での最大の非一様双曲的作用を構成し、方程式的ノエター性を証明すること。

提案手法

• 準中央グラフにおける超平面を定義し、それらの交差パターンの組合せ的モデルとして接触グラフ $\mathcal{C}X$ を構成する。
• $\mathcal{C}X$ が木に quasi-isometric であることを証明し、これは Hagen の CAT(0) 体積複体に対する結果を一般化する。
• 超平面の相互作用と群の作用の幾何学的性質を分析することで、$\mathcal{C}X$ 上での非一様双曲的作用の条件を確立する。
• 接触グラフのフレームワークを用いて、グラフ積が準木上に非一様双曲的作用を構成する。これは、キムとコベルドの右側アーティン群に関する結果を一般化する。
• この作用が、与えられたクラスのグラフ積に対して、双曲的距離空間上での「最大」非一様双曲的作用であることを示す。
• 非一様双曲的作用を用いて、girth $\geq 6$ の有限グラフ上の、方程式的ノエター群のグラフ積が方程式的ノエター的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 群の作用 $G \curvearrowright X$ が、その接触グラフ $\mathcal{C}X$ 上に非一様双曲的作用を誘導するための条件は何か？
• RQ2 準中央グラフの接触グラフ $\mathcal{C}X$ は、特に木への quasi-isometry の観点から、双曲的幾何とどのように関係するか？
• RQ3 準中央グラフのフレームワークを用いて、グラフ積に対して、双曲的空間上での最大の非一様双曲的作用を構成できるか？
• RQ4 頂点群の「方程式的ノエター性」が、girth $\geq 6$ の有限グラフ上に拡張される範囲はどの程度か？
• RQ5 この構成は、セラの「方程式的ノエター群」に関する結果を、より広いクラスのグラフ積へどのように一般化するか？

主な発見

• 準中央グラフ $X$ の接触グラフ $\mathcal{C}X$ は、常に木に quasi-isometric である。これは、Hagen の結果を準中央設定へ拡張する。
• 適切な幾何的条件下では、群の作用 $G \curvearrowright X$ が、$\mathcal{C}X$ 上に非一様双曲的作用を誘導する。これは、ベルストック、ハーゲン、システィの結果を一般化する。
• 右側アーティン群に関するキムとコベルドの結果を一般化し、グラフ積が準木上に非一様双曲的作用を構成する。
• 多くのグラフ積 $G$ に対して、$ \mathcal{C}X$ 上の構成された作用は、幾何的に意味のある意味で、双曲的距離空間上での「最大」非一様双曲的作用である。
• girth $\geq 6$ の有限グラフ上の、方程式的ノエター群のグラフ積は、方程式的ノエター的である。これは、セラの結果を一般化する。