On local coefficients of simplicial coalgebras (Q2864708)

Let \(\pi_1(S)\) be the fundamental group of a simplicial set \(S\). \textit{S. Halperin} has shown [Lectures on minimal models. Mém. Soc. Math. Fr., Nouv. Sér. 9--10, 261 p. (1983; Zbl 0536.55003)] that the category \(\mathcal{M}(\pi_1(S))\) of representations of \(\pi_1(S)\) is equivalent to the category \(\mathcal{L}(S)\) of local coefficients of \(S\).NEWLINENEWLINELet \(C\) be a connected simplicial coalgebra. The author proves that there exists a Hopf algebra \(\pi_1(C)\) such that the category of modules over \(\pi_1(C)\) is equivalent to the category of local coefficients of \(C\). As a consequence, the Hochschild cohomology \(HH^\ast(H,M)\) of a Hopf algebra \(H\) with a local coefficient \(M\) coincides with the cohomology \(H^\ast(NH,M_\ast)\) of the nerve \(NH\) of \(H\) with the local coefficient \(M_\ast\) associated with \(M\).