[论文解读] $K(\\pi,1)$ conjecture for Artin groups

Luis Paris|arXiv (Cornell University)|Nov 30, 2012

Geometric and Algebraic Topology参考文献 40被引用 16

一句话总结

本文對阿廷群的 $K(\pi,1)$ 猜想提供了全面的綜述與參考文獻，統合了已知結果並提出了新的證明。通過同倫技術與對考克斯eter圖子集的歸納法，本文證明了 FC 型阿廷群的 $K(\pi,1)$ 猜想成立，即其薩爾維蒂複形是埃倫伯格-麥克拉恩空間。

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 型阿artin 群的 $K(\pi,1)$ 猜想。
• 釐清拋物子群及其同倫性質在猜想中的角色。
• 將薩爾維蒂複形構造作為分析補集空間同倫型的核心工具。

提出的方法

• 為凸錐 $I$ 中的無限超平面排列構造薩爾維蒂複形，證明其同倫型與 $I\times I$ 中 $\bigcup_{H\in\mathcal{A}}(H\times H)$ 的補集相同。
• 透過薩爾維蒂複形的胞腔分解，證明空間 $N(W)$ 的基本群同構於與考克斯eter群 $W$ 相關的阿廷群 $A$。
• 在一般框架下重證德利涅定理：對有限考克斯eter群，$K(\pi,1)$ 猜想成立。
• 應用五引理與收縮論證，證明基本群與高階同倫群之間同態的單射性。
• 結合生成元數量的歸納法與 Mayer-Vietoris 讀法，證明若 $\mathrm{Sal}(\Gamma_T)$ 和 $\mathrm{Sal}(\Gamma_R)$ 為 $K(\pi,1)$，則當 $T,R$ 為移除一對滿足 $m_{s,t}=\infty$ 的生成元時，$\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$ 中存在一對 $s,t$ 滿足 $m_{s,t}=\infty$，且 $\mathrm{Sal}(\Gamma_{S\setminus\{s\}})$ 與 $\mathrm{Sal}(\Gamma_{S\setminus\{t\}})$ 為 $K(\pi,1)$，則 $\mathrm{Sal}(\Gamma)$ 亦為 $K(\pi,1)$，此由 Mayer-Vietoris 與覆疊空間論證支持。
• 透過一般框架，將猜想簡化至有限考克斯eter群的情形，但此證明無法直接推廣至無限情形。