[논문 리뷰] $K(\\pi,1)$ conjecture for Artin groups

Luis Paris|arXiv (Cornell University)|2012. 11. 30.

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

한 줄 요약

이 논문은 아르틴 군에 대한 $K(\pi,1)$ 추측에 대한 종합적인 조사와 참고 자료를 제공하며, 기존 결과를 통합하고 새로운 증명을 제시한다. 군의 FC 유형에 대해 그들의 살베티 복합체가 에일렌베르크-맥클레인 공간임을 증명함으로써, 이 추측이 성립함을 보이며, 호모토피 기법과 코xeter 그래프 부분집합에 대한 귀납법을 사용한다.

ABSTRACT

The purpose of this paper is to put together a large amount of results on the $K(\\pi,1)$ conjecture for Artin groups, and to make them accessible to non-experts. Firstly, this is a survey, containing basic definitions, the main results, examples and an historical overview of the subject. But, it is also a reference text on the topic that contains proofs of a large part of the results on this question. Some proofs as well as few results are new. Furthermore, the text, being addressed to non-experts, is as self-contained as possible.

연구 동기 및 목표

• 아르틴 군에 대한 $K(\pi,1)$ 추측에 관한 광범위한 결과들을 통합하고 접근 가능하게 만들기.
• 전문가가 아닌 이들에게도 자가 포함된 참고 자료를 제공하며, 새로운 증명과 결과를 포함하기.
• 호모토피적 및 군론적 기법을 사용하여 FC 유형 아르틴 군에 대해 $K(\pi,1)$ 추측을 확립하기.
• 편태 부분군과 그들의 호모토피적 성질이 추측에서 수행하는 역할을 명확히 하기.
• 살베티 복합체 구성법을 보완 공간의 호모토피 유형을 분석하는 중심 도구로 제시하기.

제안 방법

• 무한 초평면 배열에 대해 볼록뿔 $I$ 내에서 살베티 복합체를 구성하고, $\bigcup_{H\in\mathcal{A}}(H\times H)$ 가 $I\times I$ 내에서의 여집합과 동일한 호모토피 유형을 가짐을 증명한다.
• 살베티 복합체의 세포 분해를 통해 아르틴 군 $A$가 코x터 군 $W$와 관련된 공간 $N(W)$ 의 기본군과 동형임을 증명한다.
• 일반적 프레임워크를 사용하여 딜리뉴의 정리를 재증명함으로써, 유한 코x터 군에 대해 $K(\pi,1)$ 추측이 성립함을 보인다.
• 5개의 보조정리와 추적 기법을 적용하여 기본군 및 고차 호모토피 군 간의 호모모르피즘의 단사성을 보인다.
• 생성자 수에 대한 귀납법과 메이어-비에토리스 추론을 결합하여, $\mathrm{Sal}(\Gamma_T)$ 와 $\mathrm{Sal}(\Gamma_R)$ 가 $K(\pi,1)$ 이면, $m_{s,t}=\infty$ 인 쌍을 제거하여 얻은 $T,R$ 에 대해 $\mathrm{Sal}(\Gamma)$ 도 $K(\pi,1)$ 임을 증명한다.
• 모든 $T\in\SS^{<\infty}$ 에 대해 $\mathrm{Sal}(\Gamma_T)$ 가 $K(\pi,1)$ 이면, 커버링 공간과 호모토피 끌림 성질을 사용하여 $\mathrm{Sal}(\Gamma)$ 도 $K(\pi,1)$ 임을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 아르틴 군의 살베티 복합체가 $K(\pi,1)$ 공간이 되는가?
• RQ2 아르틴 군의 편태 부분군은 $K(\pi,1)$ 추측과 어떻게 관련되는가?
• RQ3 $K(\pi,1)$ 추측을 호모토피 분해를 통해 더 작은 부분그래프로 환원할 수 있는가?
• RQ4 FC 유형 조건이 $K(\pi,1)$ 성질을 보장하는 데 어떤 역할을 하는가?
• RQ5 살베티 복합체를 어떻게 사용하여 여집합 공간의 고차 호모토피 군이 자명함을 증명할 수 있는가?

주요 결과

• FC 유형 아르틴 군에 대해 $K(\pi,1)$ 추측이 성립함을 증명함으로써, 모든 $T\in\SS^{<\infty}$ 에 대해 $\mathrm{Sal}(\Gamma_T)$ 가 $K(\pi,1)$ 공간임을 보이고 귀납법을 적용하였다.
• 뿔 $I$ 내에서 무한 배열에 대한 살베티 복합체 구성법이 여집합 공간 $N(W)$ 와 동일한 호모토피 유형을 가짐을 보이며, 유한 CW 모델을 제공한다.
• 살베티 복합체의 세포 분해를 통해 $N(W)$ 의 기본군이 아르틴 군 $A$ 와 동형임을 확립하였다.
• 편태 부분군의 포함은 모든 호모토피 군에 대해 단사 호모모르피즘을 유도하며, 모든 $n$ 에 대해 $\pi_n(\mathrm{Sal}(\Gamma_T)) \to \pi_n(\mathrm{Sal}(\Gamma))$ 가 단사임을 보장한다.
• $\Gamma$ 가 $m_{s,t}=\infty$ 인 쌍 $s,t$ 를 포함하고, $\mathrm{Sal}(\Gamma_{S\setminus\{s\}})$ 와 $\mathrm{Sal}(\Gamma_{S\setminus\{t\}})$ 가 $K(\pi,1)$ 이면, 메이어-비에토리스 및 커버링 공간 기법을 통해 $\mathrm{Sal}(\Gamma)$ 도 $K(\pi,1)$ 임을 증명하였다.
• 일반적 프레임워크를 통해 추측이 유한 코x터 군의 경우로 환원되었지만, 증명이 직접적으로 무한 경우로 확장되지 않는다.