Hodge decomposition for higher order Hochschild homology (Q4485151)

Let \(F:\Gamma\to{\mathcal V}ect\) be a functor from the category \(\Gamma\) of finite pointed sets to the category of vector spaces over a characteristic zero field, and let \(S^d:\Delta^{op}\to\Gamma\) be the standard simplicial model for the sphere \(S^d\). In [Invent. Math. 96, No. 1, 205-230 (1989; Zbl 0686.18006)], \textit{J.-L. Loday} proved that there exists a natural decomposition \(\Pi_nF(S^1)\cong \bigoplus^n_{i=0} H_n^{(i)}(F)\), \(n\geq 0\). In this paper, the author gives an alternative approach of this subject and in particular a simple axiomatic characterization of the decomposition of \(\Pi_*F(S^1)\). He proves that for \(d=2k+1\), \(k\geq 1\), we have a similar decomposition \(\Pi_nF(S^d)\cong \bigoplus_{i+dj=n} H_{i+j}^{(j)}(F)\), \(n\geq 0\). Let \(A\) be a commutative algebra and \(M\) be an \(A\)-module. We consider the functor \(F=L(A,M)\) given by \(F(\{0,1,\dots,n\})=M\otimes A^{\otimes n}\). The author defines the Hochschild homology of order \(d\) of \(A\) with coefficients in \(M\) to be \(\pi_nF(S^d)\). He recovers for \(d=1\) the usual Hochschild homology, and he proves that for all \(d\) the Hochschild homology of order \(d\) of the de Rham complex of a \(d\)-connected manifold with coefficients in itself is isomorphic to the homology of the mapping space \(X^{S^d}\).