A Universal HKR Theorem
Abstract
In this work we study the failure of the HKR theorem over rings of positive and mixed characteristic. For this we construct a filtered circle interpolating between the usual topological circle and a formal version of it. By mapping to schemes we produce this way an interpolation, realized in practice by the existence of a natural filtration, from Hochschild and (a filtered version of) cyclic homology to derived de Rham cohomology. In particular, we show that this recovers the filtration of Antieau and Bhatt-Morrow-Scholze. The construction of our filtered circle is based on the theory of affine stacks and affinization introduced by the third author, together with some facts about schemes of Witt vectors.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2019
- DOI:
- 10.48550/arXiv.1906.00118
- arXiv:
- arXiv:1906.00118
- Bibcode:
- 2019arXiv190600118M
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - K-Theory and Homology;
- Mathematics - Number Theory;
- Mathematics - Quantum Algebra
- E-Print:
- 105 pages. New section comparing our filtration with the one of Antieau and Bhatt-Morrow-Scholze. To appear in Geometry and Topology