On the fundamental class of an essentially smooth scheme-map

Joseph Lipman, Amnon Neeman

Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and δ: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is…