Hopf type formulas for cyclic homology (Q2427218)

The authors offer a characterization of cyclic homology in terms of a ``non-abelian left derived functor'' that uses ideas of cotriple homology developed by [\textit{M. Barr} and \textit{J. Beck}, ``Homology and standard constructions'', Lect. Notes Math. 80, 245--335 (1969; Zbl 0176.29003)]. Let \(A\) be an algebra over a commutative ring \(k\) containing the rationals \(\mathbb Q\), and let \(F\) denote the functor that takes \(A\) to the free algebra \(F(A)\) on the underlying \(k\)-module of \(A\). For natural transformations \( \tau : F \to {\mathbf{1}}\) and \(\delta : F \to F^2\), let \(\mathcal{F}\) denote the cotriple \((F,\tau,\delta)\). Then \((F_*(A), \;d^0_0,A)\) is an augmented simplicial object with \[ F_n(A) = F^{n+1}(A), \qquad d^0_0 = \tau , \] and the resolution \(F_*(A)\) is acyclic. Let \(T\) be a functor from \(k\)-algebras to \(k\)-modules, and define the \(n\)-th non-abelian left derived functor \(L_n^{\mathcal{F}}(T)\) by \[ L_n^{\mathcal{F}}(T(A)) = H_n(T(F_* (A))). \] Also see \textit{H. Inassaridze} [``Non-abelian homological algebra and its applications'', Dordrecht: Kluwer Academic Publishers (1997; Zbl 0936.18001)]. For \(T = {\mathcal{A}}b\) the additive abelianization functor given by \[ {\mathcal{A}}b(A) = A/[A, A], \] the main result of the paper reads \[ HC_n(A) = L_n^{\mathcal{F}}( {\mathcal{A}}b (A) ), \quad n \geq 0, \] where \(HC_*(A)\) denotes the cyclic homology of \(A\). The proof is via a spectral sequence argument applied to a double complex intertwining the \(F_*(A)\)s with the standard complex \(C_*^{\lambda}(F_*(A))\) for the cyclic homology of an algebra over the rationals. As an application of this result, the groups \(HC_n(A)\) are written in terms of a ``free exact \(n\)-presentation'' of \(A\), using \(n\)-cubes of algebras. Let \({\mathcal{C}}_n\) denote the category of (ordered) subsets of \[ [n] = \{1,2,3,\dots,n \}. \] By definition, an \(n\)-cube of algebras is a functor \(F\) from \({\mathcal{C}}_n\) to the category of algebras.