arXiv++ Combinatorics

We study how the combinatorial structure of the Salvetti complexes of the braid arrangements are related to homotopy theoretic properties of iterated loop spaces. We prove the skeletal filtrations on the Salvetti complexes of the braid arrangements give rise to the cobar-type Eilenberg-Moore spectral sequence converging to the homology of $Ω^2Σ^2 X$. We also construct a new spectral sequence that computes the homology of $Ω^{\ell}Σ^{\ell} X$ for $\ell>2$ by using a higher order analogue of the Salvetti complex. The $E^1$-term of the spectral sequence is described in terms of the homology of $X$. The spectral sequence is different from known spectral sequences that compute the homology of iterated loop spaces, such as the Eilenberg-Moore spectral sequence and the spectral sequence studied by Ahearn and Kuhn.

We present an abelianization of the permutation action of the symmetric group S_n on R^n in analogy to the Batyrev abelianization construction for finite group actions on complex manifolds. The abelianization is provided by a particular De Concini-Procesi wonderful model for the braid arrangement. In fact, we show a stronger result, namely that stabilizers of points in the arrangement model are isomorphic to direct products of Z_2. To prove that, we develop a combinatorial framework for explicitly describing the stabilizers in terms of automorphism groups of set diagrams over families of cubes. We observe that the natural nested set stratification on the arrangement model is not stabilizer distinguishing with respect to the S_n-action, that is, stabilizers of points are not in general isomorphic on open strata. Motivated by this structural deficiency, we furnish a new stratification of the De Concini-Procesi arrangement model that distinguishes stabilizers.