Co-periodic cyclic homology (Q725268)

The periodic cyclic homology $HP_*(A)$ of a complex algebra $A$ is a useful tool in calculating complex \(K\)-theory of $A$ in conjunction with the Chern-Connes character [\textit{A. Connes}, Publ. Math., Inst. Hautes Étud. Sci. 62, 41--144 (1985; Zbl 0592.46056); \textit{M. Karoubi}, Homologie cyclique et K-théorie. Paris: Société Mathématique de France (SMF) (1987; Zbl 0648.18008)]. Moreover, from the topological point of view, $HP_*$ is the proper replacement of the De Rham cohomology, while from the algebro-geometric point of view, it is the proper replacement of Grothendieck's infinitesimal cohomology [\textit{A. Grothendieck}, Adv. Stud. Pure Math. 3, 306--358 (1968; Zbl 0215.37102)]. There were attempts in merging these points of view for noncommutative algebras [\textit{M. Kapranov}, J. Reine Angew. Math. 505, 73--118 (1998; Zbl 0918.14001); \textit{G. Cortiñas}, Compos. Math. 136, No. 2, 171--208 (2003; Zbl 1022.14002)], but in the present paper the author follows [\textit{L. Illusie}, Complexe cotangent et déformations. I. Berlin-Heidelberg-New York: Springer-Verlag (1971; Zbl 0224.13014); II. Berlin-Heidelberg-New York: Springer-Verlag (1972; Zbl 0238.13017); \textit{A. Beilinson}, J. Am. Math. Soc. 25, No. 3, 715--738 (2012; Zbl 1247.14018)] and [\textit{B. Bhatt}, ``$p$-adic derived de Rham cohomology'', \url{arXiv:1204.6560}] specifically designed for commutative algebras over a field $k$ with positive characteristic. The author concentrates on differential graded commutative algebras over a field of positive characteristic, and modifies the mixed complex definition [\textit{A. Connes}, Noncommutative geometry. Transl. from the French by Sterling Berberian. San Diego, CA: Academic Press (1994; Zbl 0818.46076); \textit{C. Kassel}, J. Algebra 107, 195--216 (1987; Zbl 0617.16015)] of the periodic cyclic homology in which he replaces the inverse limit (direct product) with the direct limit (direct sum). The author calls this homology as \textit{coperiodic cyclic homology}. In characteristic 0, the coperiodic cyclic homology is trivial since the rows of the Feigin-Tsygan double complex [\textit{B. L. Feĭgin} and \textit{B. L. Tsygan}, Funct. Anal. Appl. 19, 124--132 (1985; Zbl 0585.18007); translation from Funkts. Anal. Prilozh. 19, No. 2, 52--62 (1985)] yield the Tate cohomology of the cyclic groups $\mathbb{Z}/(n+1)\mathbb{Z}$ with coefficients in $A^{\otimes n+1}$ with permutation action on the tensor components. On the other hand, coperiodic cyclic homology is far from being trivial in positive characteristics since Tate cohomology of cyclic groups are non-trivial in positive characteristics. For a differential grade algebra $A_\bullet$ over a field $k$ of positive characteristic the author proves that \begin{itemize} \item[(1)] $\overline{HP}_*(A_\bullet)$ is all torsion, \item[(2)] $\overline{HP}_*(A_\bullet)$ is derived Morita invariant, \item[(3)] $\overline{HP}_*(A_\bullet)$ is isomorphic to the ordinary periodic cyclic homology $HP_*(A_\bullet)$ when $A_\bullet$ is smooth and bounded as a differential graded algebra, and \item[(4)] there is a spectral sequence of on $HC_*(A_\bullet)^{(1)}\otimes k[[u^{-1}]]$ converging to the $\overline{HP}_*(A_\bullet)$ where $(\ \cdot\ )^{(1)}$ indicates invariants under the Frobenius twist, and $u$ implements Connes' periodicity operator. \end{itemize} The author also conjectures that when $A_\bullet$ is commutative, the $\overline{HP}_*(A_\bullet)$ is isomorphic to a \textit{coperiodic variation} $\overline{H}_{DR}^*(A)\otimes k[[u^{-1}]]$ of properly completed derived De Rham cohomology of Illusie where one again replaces direct products with direct sums.