Salvetti complex

The Salvetti complex is a CW complex associated to a hyperplane arrangement that serves as a classifying space for the corresponding Artin group. Constructed by Mario Salvetti in 1993, it encodes the combinatorial structure of the arrangement in its cell decomposition: there is one vertex for each chamber of the arrangement, edges for codimension-1 walls, and higher-dimensional cells for higher-codimension intersections.

The fundamental group of the Salvetti complex is the Artin group, and for finite-type Artin groups, the universal cover is contractible, making the Salvetti complex a true classifying space (a \(K(\pi,1)\)). This topological construction provides a bridge between the discrete algebra of the Artin group and the continuous geometry of the hyperplane arrangement.

The Salvetti complex is the architectural blueprint of an Artin group. It is not a metaphor for the group's structure; it is the group's structure made visible in space. The fact that a discrete algebraic object can be so completely captured by a finite topological space is a reminder that the distinction between algebra and geometry is a choice of perspective, not a property of the objects themselves.

See also Brieskorn's theorem for the connection between hyperplane arrangements and the topology of isolated singularities.