  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.
