Abstract

We prove the K(pi ,1) conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol’d, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on several new results and constructions. In particular: we show that all affine noncrossing partition posets are EL-shellable; we use these posets to construct finite classifying spaces for dual affine Artin groups; we introduce new CW models for the orbit configuration spaces associated with arbitrary Coxeter groups; we construct finite classifying spaces for the braided crystallographic groups introduced by McCammond and Sulway.

Highlights

  • The long-standing K (π, 1) conjecture for Artin groups states that the orbit configuration space YW associated with a Coxeter group W is always a K (GW, 1) space

  • We prove the conjecture for the important family of Artin groups, namely for all affine Artin groups

  • The following are some consequences of the K (π, 1) conjecture: affine Artin groups are torsion-free; they have a classifying space with a finite number of cells; the well studied homology and cohomology of YW coincides with the homology and cohomology of the corresponding affine Artin group GW; the natural map between the classifying space of an affine Artin monoid and the classifying space of the corresponding Artin group is a homotopy equivalence

Read more

Summary

Introduction

The long-standing K (π, 1) conjecture for Artin groups states that the orbit configuration space YW associated with a Coxeter group W is always a K (GW , 1) space. The conjecture was proved for spherical Artin groups (i.e. if W is finite) by Deligne [29], after being proved by Fox and Neuwirth in the case An [40] and by Brieskorn in the cases Cn, Dn, G2, F4, and I2( p) [16]. After the fundamental contribution of Deligne, the conjecture was proved for the affine Artin groups of type An, Cn [51], Bn [21], and G 2 [23]. Unlike the proofs for previously known cases, our approach is essentially “case-free,” some partial results use the classification of reflection groups. Besides Euclidean cases, the conjecture was proved for Artin groups of dimension ≤ 2 and for those of FC type [23,43]. In [49], finite-dimensional classifying spaces for affine Artin groups were constructed, but with an infinite number of cells. The following are some consequences of the K (π, 1) conjecture: affine Artin groups are torsion-free (this already follows from the construction of McCammond and Sulway [49]); they have a classifying space with a finite number of cells (see [60]); the well studied homology and cohomology of YW coincides with the homology and cohomology of the corresponding affine Artin group GW (see [19,20,21,55,57,61]); the natural map between the classifying space of an affine Artin monoid and the classifying space of the corresponding Artin group is a homotopy equivalence (see [33,34,52,53])

Outline of the proof and future research directions
Summary of additional contributions
Structure of this paper
Coxeter groups and Artin groups
Posets
Lexicographic shellability
Discrete Morse theory
Interval groups and Garside structures
Intervals in the group of Euclidean isometries
Dual Artin groups
Affine Coxeter elements
Bipartite Coxeter elements
Coxeter elements of type An
Isometries below an affine Coxeter element
Horizontal components
Shellability of affine noncrossing partition posets
Orderings of horizontal reflections
Axial orderings and shellability of affine noncrossing partition posets
Dual CW models for the orbit configuration spaces
Q φQ X Q
Classifying spaces for dual affine Artin groups
Finite classifying spaces
Case Cn
Case Bn
Case Dn
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call