[논문 리뷰] Negative curvature of automorphism groups of graph products with applications to right-angled Artin groups

Anthony Genevois|arXiv (Cornell University)|2018. 07. 02.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 그래프의 군 $\Gamma \mathcal{G}$의 곱 그래프 $P(\Gamma, \mathcal{G})$를 도입하며, $\Gamma \mathcal{G}$가 직접 합이 아니면 이 그래프가 고르모-하이퍼볼릭이면서 유계가 아니라고 증명한다. 또한 $\Gamma \mathcal{G}$가 $P(\Gamma, \mathcal{G})$에 작용하는 것은 아실린드라크이며, $\mathrm{Aut}(\Gamma \mathcal{G})$로 확장되며, 이는 유한하고 연결되며 제곱 자유이며 결합이 아닌 단순 그래프 $\Gamma$를 갖는 오른쪽-각-아르틴 군 $A_\Gamma$의 경우 $\mathrm{Aut}(A_\Gamma)$가 아실린드라크-하이퍼볼릭임을 증명하는 데 기여한다.

ABSTRACT

Given a (freely irreducible) product graph of groups $\Gamma \mathcal{G}$, we introduce and study its \emph{product graph} $P(\Gamma, \mathcal{G})$, defined as the graph whose vertices are the maximal product subgroups of $\Gamma \mathcal{G}$ and whose edges link two subgroups when they intersect non-trivially. One shows that: $(i)$ $P(\Gamma, \mathcal{G})$ is a Gromov-hyperbolic graph which is unbounded whenever $\Gamma \mathcal{G}$ is not a direct sum, $(ii)$ the action $\Gamma \mathcal{G} \curvearrowright P(\Gamma, \mathcal{G})$ satisfies a condition of acylindricity and induces a natural Nielsen-Thurston classification of the elements of $\Gamma \mathcal{G}$, $(iii)$ and this action naturally extends to an action of the automorphism group $\mathrm{Aut}(\Gamma \mathcal{G})$. By looking for WPD isometries in the automorphism group, we prove that, if $\Gamma$ is a finite, connected and square-free simplicial graph which does not decompose as a join and contains at least two vertices, then the automorphism group $\mathrm{Aut}(A_\Gamma)$ of the right-angled Artin group $A_\Gamma$ turns out to be acylindrically hyperbolic. Applications to the geometry of cyclic extensions of right-angled Artin groups are also included.

연구 동기 및 목표

• 그래프 곱의 자기동형군 분석을 위한 도구로서 $P(\Gamma, \mathcal{G})$를 정의하고 연구하기.
• $\Gamma \mathcal{G}$가 $P(\Gamma, \mathcal{G})$에 작용하는 하이퍼볼릭성과 아실린드라크성을 확립하기.
• $\Gamma \mathcal{G}$의 작용을 $\mathrm{Aut}(\Gamma \mathcal{G})$로 확장하고, 니엘센-서튼 이론을 통해 원소를 분류하기.
• 유한하고 연결되며 제곱 자유이며 결합이 아닌 단순 그래프 $\Gamma$에 대해, 주어진 위상적 조건을 만족할 경우 $\mathrm{Aut}(A_\Gamma)$의 아실린드라크-하이퍼볼릭성을 증명하기.

제안 방법

• $P(\Gamma, \mathcal{G})$를 정의하여, 이는 $\Gamma \mathcal{G}$의 최대 곱부분군에 대응하는 정점으로 구성되며, 교차가 비자명한 부분군들 사이에 간선이 연결된다.
• $\Gamma \mathcal{G}$가 직접 합이 아니면 $P(\Gamma, \mathcal{G})$가 고르모-하이퍼볼릭이면서 유계가 아니라고 증명한다.
• 안정자와 준축의 일관성 조건을 분석하여, $\Gamma \mathcal{G} \curvearrowright P(\Gamma, \mathcal{G})$ 작용이 아실린드라크임을 보인다.
• 자기동형사상들을 최대 곱부분군의 순열로 끌어올림으로써 작용을 $\mathrm{Aut}(\Gamma \mathcal{G})$로 확장한다.
• $P(\Gamma, \mathcal{G})$에 작용하는 $\mathrm{Aut}(\Gamma \mathcal{G})$ 내의 WPD等급 등급을 이용하여 아실린드라크-하이퍼볼릭성을 유도한다.
• 오른쪽-각-아르틴 군 $A_\Gamma$에 이 те론을 적용하기 위해, $\Gamma$에 대한 조건을 검증하여 필요한 하이퍼볼릭성과 아실린드라크성을 확보한다.

실험 결과

연구 질문

• RQ1 그래프 곱의 자기동형군이 언제 아실린드라크-하이퍼볼릭이 되는가?
• RQ2 곱 그래프 $P(\Gamma, \mathcal{G})$는 $\Gamma \mathcal{G}$의 기하학적 및 역학적 성질을 어떻게 표현하는가?
• RQ3 $\Gamma \mathcal{G}$가 $P(\Gamma, \mathcal{G})$에 작용하는 것은 $\mathrm{Aut}(\Gamma \mathcal{G})$의 작용으로 확장될 수 있는가?
• RQ4 WPD 등급은 $\mathrm{Aut}(A_\Gamma)$의 아실린드라크-하이퍼볼릭성을 확립하는 데 어떤 역할을 하는가?
• RQ5 $\Gamma$의 위상적 성질—예를 들어, 유한성, 연결성, 제곱 자유성, 그리고 결합이 아님—은 $\mathrm{Aut}(A_\Gamma)$의 구조에 어떻게 영향을 미치는가?

주요 결과

• 모든 $\Gamma \mathcal{G}$가 직접 합이 아니면 곱 그래프 $P(\Gamma, \mathcal{G})$는 고르모-하이퍼볼릭이면서 유계가 아니다.
• $\Gamma \mathcal{G} \curvearrowright P(\Gamma, \mathcal{G})$ 작용은 아실린드라크이며, 점들의 쌍에 대한 안정자에 대한 일관성 조건을 만족한다.
• 작용은 자연스럽게 $\mathrm{Aut}(\Gamma \mathcal{G})$의 작용으로 $P(\Gamma, \mathcal{G})$에 확장되며, 그래프의 구조를 유지한다.
• 유한하고 연결되며 제곱 자유이며 결합이 아니며 최소 두 개의 정점을 갖는 단순 그래프 $\Gamma$에 대해 $\mathrm{Aut}(A_\Gamma)$는 아실린드라크-하이퍼볼릭이다.
• $P(\Gamma, \mathcal{G})$에 작용하는 $\mathrm{Aut}(A_\Gamma)$ 내의 WPD 등급의 존재는 자기동형군의 아실린드라크-하이퍼볼릭성을 확인한다.
• 곱 그래프 $P(\Gamma, \mathcal{G})$의 기하학적 구조와 자기동형군의 역학적 성질을 바탕으로 오른쪽-각-아르틴 군의 순환 확장에 대한 응용이 도출된다.