Homotopy BV-algebra structure on the double cobar construction (Q899570)

The double loop space \(\Omega^2 X\) inherits a circle action by rotating the equator. This turns the homology \(H_\ast(\Omega^2 X)\) into a Batalin-Vilkovisky (BV) algebra. Since the cobar construction \(\Omega C_\ast(X)\) models the chain complex of the loop space \(\Omega X\), one expects the double cobar construction to be a BV algebra up to homotopy. In this paper, the author verifies this for simplicial sets \(X\) in two instances: either \(X\) is a double suspension, or \(X\) is \(2\)-reduced and the coefficient ring contains \(\mathbb Q\). Due to work of \textit{H. J. Baues} [Compos. Math. 43, 331--341 (1981; Zbl 0478.57027)] \(\Omega C_\ast(X)\) is a differential graded bialgebra and determines the antipode \(S:\Omega C_\ast(X)\to \Omega C_\ast(X)\). On the other hand, \textit{T. Kadeishvili} [Homology Homotopy Appl. 7, No. 2, 109--122 (2005; Zbl 1081.55009)] had shown that \(\Omega^2 C_\ast(X)\) is a homotopy G-algebra. The Connes-Moscovici operator [\textit{A. Connes} and \textit{H. Moscovici}, Lett. Math. Phys. 52, No. 1, 1--28 (2000; Zbl 0974.58006)] then defines a BV operator on double cobar if the antipode \(S\) is involutive. The author defines a family of obstructions to analyze when \(S^2=\mathrm{id}\). For the two cases mentioned before, these obstructions are shown to vanish.