Homotopy Gerstenhaber formality of Davis-Januszkiewicz spaces (Q2240617)

Let \(T=(S^1)^n\) be a torus and \(BT\) be its classifying space. We denote by \(C^*(BT)\) the differential graded algebra (dga) of normalized singular cochains with coefficients in a commutative ring and by \(H^*(BT)\) its cohomology. \textit{V. K. A. M. Gugenheim} and \textit{J. P. May} [On the theory and applications of differential torsion products. Providence, RI: American Mathematical Society (AMS) (1974; Zbl 0292.55019)] proved the existence of a quasi-isomorphism of dgas \(C^*(BT)\to H^*(BT)\) annihilating all \(\cup_{1}\)-products in \(C^*(BT)\). The dga \(C^*(BT)\) can also be endowed with a structure of homotopy Gerstenhaber algebra (hga) and in [``The cohomology rings of homogeneous spaces'', Preprint, \url{arxiv:1907.0477}] the author proved the existence of a quasi-isomorphism of hgas, \(C^*(BT)\to H^*(BT)\). In the paper under review, the author conducts a similar study for the Davis-Januszkiewicz space \(DJ_{\Sigma}\) associated to a simplicial complex, \(\Sigma\), with a finite number of vertices. The formality of \(DJ_{\Sigma}\) has already been established in the author's thesis [Universität Konstanz 2001] and independently by [\textit{D. Notbohm} and \textit{N. Ray}, Algebr. Geom. Topol. 5, 31--51 (2005; Zbl 1065.55006)]. From the recalled results, M. Franz establishes the existence of a quasi-isomorphism of hgas, \(C^*(DJ_{\Sigma})\to H^*(DJ_{\Sigma})\). Here the proofs use the commutation of the shuffle map with certain interval cut operations. Applications to cohomology algebras of based and free loop spaces of Davis-Januszkiewicz spaces are given.