Iterated cyclic homology (Q2372837): Difference between revisions

The authors generalize the notion of cyclic homology introducing the iterated cyclic homology of connected commutative graded algebras over the rationals. Let \(T\) denote the circle group, \({\mathcal F}(T,X)\) the function space endowed with the action of \(T\) induced by the multiplication on \(T\). \textit{J. D. S. Jones} [Invent. Math. 87, 403--423 (1987; Zbl 0644.55005)] showed that the negative cyclic homology of \(C^{*}(X;R)\) for a simply connected space \(X\) is isomorphic (as a module over \(H^{*}(BT;R)=R[u]\) ) to the cohomology \(H^{*}(E_{T}{\times}_{T}{\mathcal F}(T,X),R).\) When \(R={\mathbb Q}\) the cyclic homology of \(C^{*}(X,{\mathbb Q})\) is isomorphic to the cyclic cohomology of the differential graded algebra \(A_{PL}(X)\) of rational polynomial forms on \(X.\) Let \({\mathcal F}(T^{l},X)\) be the function space from the \(l\)-dimensional torus to the \(l\)-connected space \(X.\) For the iterated cyclic homology the authors prove the following theorem: Theorem 1.1 Suppose that \(X\) is an \(l\)-connected space with \(\dim {\pi}_{k}(X)\otimes {\mathbb Q} < \infty \) for any \(k\). Then, as a \({\mathbb Q}[u]\)-algebra, \[ HC_{*}^{\{l\}}(A_{PL}(X))\cong H^{*}(E_{T}{\times}_{T}{\mathcal F}(T^{l},X);{\mathbb Q}). \] Here the \({\mathbb Q}[u]\)-algebra structure on \(H^{*}(E_{T}{\times}_{T}{\mathcal F}(T^{l},X); {\mathbb Q})\) is induced from the projection \(p\) of the Borel fibration \({\mathcal F}(T^{l},X)\rightarrow E_{T}{\times}_{T}{\mathcal F}(T^{l},X){\rightarrow} BT\). The result is a generalization of the result of \textit{M. Vigué-Poirrier} and \textit{D. Burghelea} for \(l=1\) [J. Differ. Geom. 22, 243--253 (1985; Zbl 0595.55009)] and the inductive proof uses modification of their ideas. The authors also obtain the result concerning the unboundness of the sequences \(\dim HC_{i}^{\{l\}}\) and \(\dim HH_{i}^{\{l\}}\), for \(l\geq 2\), as \(i\rightarrow\infty\).