[논문 리뷰] Algebraic characterisations of negatively-curved special groups and applications to graph braid groups

Anthony Genevois|arXiv (Cornell University)|2017. 09. 05.

Geometric and Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 거의 특수군을 연구하기 위한 조합론적 형식 체계를 제안하며, 이는 초평면성, 비틀림 초평면성, 상대적 초평면성의 대수적 특성화를 가능하게 한다. 이 논문은 거의 특수군이 $\mathbb{Z}^2$를 포함하지 않을 때이고, 뿐만 아니라 초평면성을 이루는 것으로 증명한다. 비틀림 초평면성은 두 개의 무한군의 직접곱으로서 거의 분할되지 않을 때이고, 상대적 초평면성은 모든 비순환 아벨 부분군을 포함하는 극소 부분군의 모음이 존재할 때 성립한다.

ABSTRACT

In this paper, we introduce a combinatorial formalism to study (virtually) special groups, introduced by Haglund and Wise. As a first application, we recover a result due to Caprace and Haglund: if the universal cover of a compact special cube complex X contains an $n$-dimensional flat, then $\pi_1(X)$ contains a subgroup isomorphic to $\mathbb{Z}^n$. This implies that a virtually special group is hyperbolic if and only if it does not contain $\mathbb{Z}^2$. As a second application, we characterise algebraically the acylindrical hyperbolicity of virtually special groups. More precisely, a virtually special group (which is not virtually cyclic) turns out to be acylindrically hyperbolic if and only if it does not virtually split as a direct product of two infinite groups if and only if it contains an infinite-order element whose centraliser is virtually cyclic. Finally, we prove that a special group is relatively hyperbolic if and only if it contains a finite collection of proper subgroups which is malnormal and such that any non cyclic abelian subgroup is included into a conjugate of some subgroup of this collection. As a consequence, it follows that a special group is hyperbolic relatively to abelian subgroups if and only if it does not contain $\mathbb{F}_2 imes \mathbb{Z}$. In the second part of this paper, applications of our formalism to graph braid groups are given.

연구 동기 및 목표

• 거의 특수군을 연구하기 위한 조합론적 형식 체계를 개발하기 위해.
• 특수 큐브 복합체 내 평면 부분공간에 관한 기존의 위상수학적 결과를 복원하고 강화하기 위해.
• 거의 특수군에서 비틀림 초평면성과 상대적 초평면성을 특성화하는 대수적 기준을 제공하기 위해.
• 형식 체계를 그래프 브레인 군에 적용하여 새로운 구조적 결과를 도출하기 위해.

제안 방법

• 거의 특수군의 구조를 코딩하기 위한 조합론적 형식 체계를 도입하기 위해.
• 형식 체계를 사용하여 보편 피복에서 평면 부분공간을 통한 $\mathbb{Z}^n$ 부분군 존재 여부를 특성화하기 위해.
• 중앙화자와 분할 성질에 기반한 비틀림 초평면성에 대한 대수적 조건을 도출하기 위해 형식 체계를 적용하기 위해.
• 비순환 아벨 부분군을 포함하는 극소 부분군의 집합을 이용한 상대적 초평면성에 대한 기준을 수립하기 위해.
• 프레임워크를 그래프 브레인 군에 적용하여 부분군 포함성과 초평면성에 기반한 구조적 제약 조건을 도출하기 위해.

실험 결과

연구 질문

• RQ1 거의 특수군이 언제 $\mathbb{Z}^2$ 부분군을 포함하며, 이는 초평면성에 어떤 영향을 미치는가?
• RQ2 거의 특수군에서 비틀림 초평면성을 특성화하는 대수적 조건은 무엇인가?
• RQ3 거의 특수군이 아벨 부분군에 관해 상대적으로 초평면성이 되는 조건은 무엇인가?
• RQ4 조합론적 형식 체계를 어떻게 사용하여 그래프 브레인 군에서의 초평면성과 상대적 초평면성을 특성화할 수 있는가?
• RQ5 극소 부분군의 집합과 거의 특수군의 구조 사이의 관계는 무엇인가?

주요 결과

• 거의 특수군이 초평면성이 되는 것은 $\mathbb{Z}^2$ 부분군을 포함하지 않을 때이다.
• 거의 특수군(비거의 순환군이 아닌 경우)이 비틀림 초평면성이 되는 것은 두 개의 무한군의 직접곱으로 거의 분할되지 않을 때이다.
• 거의 특수군이 비틀림 초평면성이 되는 것은 무한 순서를 가진 원소가 존재하고, 그 중심화자가 거의 순환일 때이다.
• 특수군이 상대적으로 초평면성이 되는 것은 유한한 극소 부분군의 집합이 존재하고, 모든 비순환 아벨 부분군이 그들의 코너제 중 하나의 코너제에 포함될 때이다.
• 특수군이 아벨 부분군에 관해 초평면적이 되는 것은 $\mathbb{F}_2 \rtimes \mathbb{Z}$와 동형인 부분군을 포함하지 않을 때이다.