K(π,1)
又称为 基本群π的Eilenberg–MacLane空间
代数拓朴中著名的K(π,1)猜想:
任何Coxeter群W的configuration space都是W的Artin群(=π)的K(π, 1)空间。
近年(2020)，Paolini-Salvetti在数学的顶级期刊Inventiones Mathematicae
发表了惊动数学界的结果，证明了仿射型的Coxeter群的K(π,1)猜想：
Proof of the K(π,1) conjecture for affine Artin groups:
https://link.springer.com/article/10.1007/s00222-020-01016-y
有没有K(π,1)猜想为什么重要的卦？