[논문 리뷰] Artin groups of infinite type: trivial centers and acylindical hyperbolicity

Ruth Charney, Rose Morris-Wright|arXiv (Cornell University)|2018. 05. 10.

Geometric and Algebraic Topology참고 문헌 16인용 수 6

한 줄 요약

이 논문은 정의 그래프가 별이 아니면 무한형 아르틴 군의 중심이 자명함을 증명하며, 그래프가 조인(합집합)이 아니면 액실린드릭하게 하이퍼볼릭임을 보인다. 클리크-큐브 복합체 위의 작용을 통해, 클리크-큐브 복합체와 내림 링크의 구조를 분석하고, 유도된 콘 구조를 통해 전반적인 성질을 유한형 부분군으로 환원함으로써 이러한 성질을 증명한다.

ABSTRACT

While finite type Artin groups and right-angled Artin groups are well-understood, little is known about more general Artin groups. In this paper we use the action of an infinite type Artin group $A_Γ$ on a CAT(0) cube complex to prove that $A_Γ$ has trivial center providing the graph $Γ$ is not the star of a single vertex, and is acylindrically hyperbolic providing $Γ$ is not a join.

연구 동기 및 목표

• 무한형 아르틴 군의 대수적 및 기하적 성질에 대한 오랫동안 남아있던 추측을 해결하기 위해, 특히 중심이 자명하고 액실린드릭하게 하이퍼볼릭함을 입증한다.
• 유한형 및 오른쪽-각 아르틴 군에서 알려진 결과를 더 넓은 범위의 무한형 아르틴 군으로 확장한다.
• 정의 그래프가 단일 정점의 별이 아니면 아르틴 군의 중심이 자명함을, 그래프가 조인(합집합)이 아니면 군이 액실린드릭하게 하이퍼볼릭임을 입증한다.
• 아르틴 군이 CAT(0) 큐브 복합체 위에서 작용하는 것으로, 전반적인 군론적 성질을 유한형 부분군의 국소적 성질로 환원한다.
• 클리크-큐브 복합체와 내림 링크를 사용하여 통합된 프레임워크를 제공함으로써, 무한형 아르틴 군에 대해 토크션-프리, K(π,1)-추측, 중심이 자명함을 증명한다.

제안 방법

• 저자들은 아르틴 군 $A_{\Gamma}$ 가 작용하는 클리크-큐브 복합체 ${\mathcal{C}_{\Gamma}}$ 를 구성한다.
• 정점 $v = aA_T$ 에서의 내림 링크 $dl(v)$ 는 모든 정점 $bA_R$ 를 포함하는 부분복합체로, $bA_R \subsetneq aA_T$ 를 만족하며, 무한형 부분군에 초점을 맞춘다.
• 클리크 $T$ 의 크기로 귀납법을 사용하여, $A_T$ 가 무한형일 경우 $dl(v)$ 가 수축 가능하다는 것을 보이며, 더 작은 부분군의 수축 가능한 내림 링크를 콘으로 연결함으로써 이를 증명한다.
• $dl(v)$ 가 모든 무한형 정점에서 수축 가능하면, 델리뉴 복합체 $\mathcal{D}_{\Gamma}$ 는 전체 클리크-큐브 복합체 $\mathcal{C}_{\Gamma}$ 와 호모토피 동치이며, 이는 CAT(0)이므로 수축 가능하다는 것을 의미한다.
• $A_{\Gamma}$ 가 $\mathcal{C}_{\Gamma}$ 에 작용하는 것으로, 기하학적 및 대수적 성질을 유도한다: 고정점 추론을 통해 중심이 자명함을, 큐브 복합체 위의 작용의 구조를 통해 액실린드릭 하이퍼볼릭성을 확보한다.
• 전반적인 추측(예: $K(\pi,1)$-추측, 토크션-프리)을 유한형 부분군으로 환원하기 위해, $\mathcal{D}_{\Gamma}$ 의 호모토피 유형이 각 클리크 $T$ 에 대해 $\mathcal{D}_T$ 의 수축 가능성에만 의존한다는 것을 보였다.

실험 결과

연구 질문

• RQ1 무한형 아르틴 군 $A_{\Gamma}$ 가 중심이 자명해지기 위한 정의 그래프 $\Gamma$ 의 조건은 무엇인가?
• RQ2 무한형 아르틴 군 $A_{\Gamma}$ 가 언제 액실린드릭하게 하이퍼볼릭해지는가?
• RQ3 $A_{\Gamma}$ 에 대한 $K(\pi,1)$-추측은 클리크 $T$ 에 대응하는 유한형 부분군 $A_T$ 의 경우로 환원될 수 있는가?
• RQ4 아르틴 군 $A_{\Gamma}$ 가 CAT(0) 큐브 복합체 위에서 작용하는 방식을 어떻게 사용하여 토크션-프리 및 중심이 자명함과 같은 대수적 성질을 증명할 수 있는가?
• RQ5 클리크-큐브 복합체의 내림 링크 $dl(v)$ 는 델리뉴 복합체 $\mathcal{D}_{\Gamma}$ 의 호모토피 성질을 확립하는 데 어떤 역할을 하는가?

주요 결과

• 정의 그래프 $\Gamma$ 가 단일 정점의 별이 아니면, 중심이 자명함을 증명하기 위해 CAT(0) 큐브 복합체 위의 고정점 추론을 통해 입증된다.
• 정의 그래프 $\Gamma$ 가 조인(합집합)이 아니면, 클리크-큐브 복합체 위의 기하학적 작용을 통해 $A_{\Gamma}$ 는 액실린드릭하게 하이퍼볼릭임을 입증한다.
• $K(\pi,1)$-추측은 모든 유한형 부분군 $A_T$ 에 대해 성립하면 성립함을 보이며, $\mathcal{D}_{\Gamma}$ 는 $\mathcal{C}_{\Gamma}$ 와 호모토피 동치이자 수축 가능하므로 성립한다.
• 모든 $A_T$ 가 토크션-프리이므로, 유한 순서의 원소는 정점에 고정점을 가지며, 따라서 $A_T$ 의 코너제이트에 속하게 되고, 이는 토크션-프리임을 의미하므로 $A_{\Gamma}$ 도 토크션-프리이다.
• 무한형 부분군을 가지는 정점 $v = aA_T$ 에서의 내림 링크 $dl(v)$ 는 유도된 콘 구조를 통해, 더 작은 수축 가능한 링크를 콘으로 연결함으로써 귀납적으로 수축 가능하다.
• 모든 클리크 $T$ 에 대해 $\mathcal{D}_T$ 가 수축 가능하면, $\mathcal{D}_{\Gamma}$ 도 수축 가능하다. 왜냐하면 $\mathcal{D}_{\Gamma}$ 는 수축 가능한 내림 링크를 유도적으로 콘으로 연결하여 구성되기 때문이다.