On Davis-Januszkiewicz homotopy types I: formality and rationalisation (Q1766304)

Let \(K\) be a simplicial complex. Davis and Januszkiewicz have defined a CW complex whose integral cohomology ring is isomorphic to the Stanley-Reisner algebra of \(K\). Subsequently, Buchstaber and Panov gave an alternative description, denoted here by \(c(K)\). In fact, \(c(K)\) is the colimit of the diagram whose objects are the \(K(\mathbb{Z}, 2)^{\dim\sigma}\) with \(\sigma\in K\) and the arrows correspond to the injections of simplices. The authors make a study of this space in terms of model category theory. They prove that the space is formal over the integers and also in rational homotopy.