A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem

Abstract

Following ideas of Bloch, Esnault, and Kerz, the deformational part of Grothendieck's variational Hodge conjecture is established for proper, smooth schemes over $K[[t]]$, where $K$ is an algebraic extension of the rational numbers. The main tool is a pro Hochschild-Kostant-Rosenberg theorem for Hochschild homology.