$K(Z,2)$ out of circular permutations

Nikolai Mnëv
2024-08-18
Abstract:We discuss $\pmb{SC}_*$, a simplicial homotopy model of $K(Z,2)$ constructed from circular permutations. In any dimension, the number of simplices in the model is finite. The complex $\pmb{SC}_*$ naturally manifests as a simplicial set representing ``minimally" triangulated circle bundles over simplicial bases. On the other hand, existence of the homotopy equivalence $|\pmb{SC}_*| \approx B(U(1)) \approx K(Z,2)$ appears to be a canonical fact from the foundations of the theory of crossed simplicial groups.
Algebraic Topology,Combinatorics
What problem does this paper attempt to address?