Filtrations and cohomology I: crystallization
arXiv:2511.01567
Abstract
We compare several different notions of filtered derived commutative ring, discussing HKR-filtered Hochschild homology, Hodge-filtered de Rham cohomology, and the lesser-known Hodge-filtered infinitesimal cohomology. Our main result is that de Rham cohomology is the crystallization of infinitesimal cohomology.