### Current browse context:

math.AG

### Change to browse by:

### References & Citations

# Mathematics > Algebraic Geometry

# Title: On the fundamental class of an essentially smooth scheme-map

(Submitted on 5 Jan 2015 (v1), last revised 14 Jan 2017 (this version, v2))

Abstract: Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and \delta: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor L\delta^*\delta_* f^* to the relative dualizing functor f^! A compatibility between this C_f and derived tensor product is shown. The main result is that, in a suitable sense, C_f generalizes Verdier's classical isomorphism for smooth f with fibers of dimension d, an isomorphism that binds f^! to relative d-forms.

## Submission history

From: Joseph Lipman [view email]**[v1]**Mon, 5 Jan 2015 19:41:14 GMT (35kb)

**[v2]**Sat, 14 Jan 2017 02:10:11 GMT (35kb)

Link back to: arXiv, form interface, contact.