On the \(p\)-typical curves in Quillen's \(K\)-theory (Q1373004): Difference between revisions

In ``Algebraic \(K\)-theory and crystalline cohomology'' [Inst. Haut. Étud. Sci., Publ. Math. 47 (1977), 187-268 (1978; Zbl 0388.14010)] \textit{S. Bloch} introduced the complex \(C_*(A;p)\) of \(p\)-typical curves in \(K\)-theory and outlined the relation to crystalline cohomology restricting his attention to the symbolic part of \(K\)-theory. In the paper under consideration the author evaluates the full complex \(C_*(A;p)\) in terms of the fixed sets of Bökstedt's topological Hochschild homology and shows that for a smooth algebra \(A\) over a perfect field \(k\) of positive characteristic \(C_*(A;p)\) is isomorphic to the de Rham-Witt complex of Bloch-Deligne-Illusie. In the singular case the situation is quite different. The author calculates the complex \(C_*(A;p)\) for the ring \(A=k[t]/(t^2)\) of dual numbers over \(k\) and shows that in contrast to crystalline cohomology its cohomology groups are finitely generated modules over the Witt ring \(W(k)\).