[论文解读] 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$ 上的非一致作用，从而证明了在围长 $≥ 6$ 的有限图上，方程诺特群的图积是方程诺特的，推广了 Sela 的结果。

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$，证明其与树 quasi-isometric。
• 建立群作用 $G \curvearrowright X$ 在何种条件下会诱导出在 $\mathcal{C}X$ 上的非一致作用，推广 Behrstock、Hagen 和 Sisto 的结果。
• 将该框架应用于图积，构造在双曲空间上最大的非一致作用，并证明方程诺特性。

提出的方法

• 在类中位图中定义超平面，并将接触图 $\mathcal{C}X$ 构造为它们相交模式的组合模型。
• 证明 $\mathcal{C}X$ 与树 quasi-isometric，推广了 Hagen 在 CAT(0) 超立方复形上的结果。
• 通过分析超平面相互作用和群作用的几何性质，建立在 $\mathcal{C}X$ 上的非一致作用条件。
• 利用接触图框架，构造图积在类树上的非一致作用，推广了 Kim 和 Koberda 对右-angled Artin 群的结果。
• 证明该作用在给定类图积的双曲度量空间上是 '最大' 的非一致作用，具有几何意义。
• 将非一致作用应用于证明在围长 $\geq 6$ 的有限图上，方程诺特群的图积具有方程诺特性。

实验结果

研究问题

• RQ1 在何种条件下，类中位图上的群作用会诱导出其接触图 $\mathcal{C}X$ 上的非一致作用？
• RQ2 类中位图的接触图 $\mathcal{C}X$ 与双曲几何有何关系，特别是其与树的 quasi-isometry 关系？
• RQ3 类中位图框架能否用于为图积构造在双曲空间上的最大非一致作用？
• RQ4 方程诺特群的顶点群的方程诺特性在多大程度上可推广到围长 $\geq 6$ 的有限图上的图积？
• RQ5 该构造在多大程度上推广了 Sela 对方程诺特群的结果至更广泛的图积类？

主要发现

• 类中位图 $X$ 的接触图 $\mathcal{C}X$ 总是与树 quasi-isometric，将 Hagen 的结果推广到了类中位图情形。
• 在适当的几何条件下，类中位图上的群作用 $G \curvearrowright X$ 会诱导出在 $\mathcal{C}X$ 上的非一致作用，推广了 Behrstock、Hagen 和 Sisto 的结果。
• 构造了图积在类树上的非一致作用，推广了 Kim 和 Koberda 对右-angled Artin 群的早期结果。
• 对于许多图积 $G$，在 $\mathcal{C}X$ 上构造的作用在几何上有意义地是双曲度量空间上 '最大' 的非一致作用。
• 在围长 $\geq 6$ 的有限图上，方程诺特群的图积是方程诺特的，推广了 Sela 的结果。