Hochschild coniveau spectral sequence and the Beilinson residue

Abstract

We develop the Hochschild analogue of the coniveau spectral sequence and the Gersten complex. Since Hochschild homology does not have dévissage or A 1 -invariance, this is a little different from the K-theory story. In fact, the rows of our spectral sequence look a lot like the Cousin complexes in Residues & Duality. Note that these are for coherent cohomology. We prove that they agree by an 'HKR isomorphism with supports'. Using the close ties of Hochschild homology to Lie algebra homology, this gives residue maps in Lie homology, which we show to agree with thoseà la Tate-Beilinson.