The Hodge filtration and cyclic homology (Q1367005)

The author relates the `Hodge filtration' of the cohomology of a complex variety \(X\) to the `Hodge decomposition' of its cyclic homology, and obtains a sharp comparison when \(X\) is smooth and projective (see below for a more precise statement). The text contains many illustrating examples. Let \(k\) be a commutative ring containing the rationals. The Hodge decomposition (also known as the \(\lambda\)-decomposition) for Hochschild and cyclic homology extends from commutative \(k\)-algebras to quasi-compact and quasi-separated schemes. This follows by excision from the author's previous paper [``Cyclic homology for schemes'', Proc. Am. Math. Soc. 124, No. 6, 1655--1662 (1996; Zbl 0855.19002)] A key result in the paper under review is the following extension of a comparison theorem of \textit{B. L. Feigin} and \textit{B. L. Tsygan} [``Additive \(K\)-theory'', in: \(K\)-theory, arithmetic and geometry, Semin., Moscow Univ. 1984--86, Lect. Notes Math. 1289, 67--209 (1987; Zbl 0635.18008)]: Let \(X\) be quasi-projective over a field \(k\) of characteristic zero, then the \(i\)th piece of periodic cyclic homology \(HP^{(i)}_n(X)\) is isomorphic to the crystalline cohomology \(H_{\text{cris}}^{2i-n}(X/k)\) (which, when \(k=\mathbb C\), is isomorphic to the Betti cohomology \(H_{\text{top}}^{2i-n}(X(\mathbb C);\mathbb C)\)). In the smooth case crystalline cohomology coincides with deRham cohomology, and the Hodge decomposition relates directly to the double complex used to define periodic homology. Dividing out by ``the negative part'' the author gets the main theorem of the article: if \(X\) is a smooth projective complex variety, then \(HC_{2i-m}^{(i)}(X)\) is isomorphic to the quotient of \(H^m_{\text{top}}(X(\mathbb C);\mathbb C)\) by the Hodge layer \(F^{i+1}H^m_{\text{top}}(X(\mathbb C);\mathbb C)\). In the singular case cyclic homology still defines a filtration on \(H^m_{\text{top}}(X(\mathbb C);\mathbb C)\) which is contained in the Hodge filtration.