On the fundamental class of an essentially smooth scheme-map

DOI10.14231/AG-2018-005MaRDI QIDQ4645071zbMATH OpenWikidataFDO

Authors Joseph Lipman, Amnon Neeman

Publication date 9 January 2019

Published in Algebraic Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.00954

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10)

Abstract: Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and delta: X --> X imes_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor Ldelta^*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.

Recommendations

• Bivariance, Grothendieck duality and Hochschild homology. II: The fundamental class of a flat scheme-map
• scientific article; zbMATH DE number 1013897
• Traces and residues
• Regular Differential Forms and Relative Duality
• Smooth flat maps over commutative DG-rings

Cited in

(5)

• scientific article; zbMATH DE number 708897 (Why is no real title available?)
• scientific article; zbMATH DE number 837735 (Why is no real title available?)
• Bivariance, Grothendieck duality and Hochschild homology. II: The fundamental class of a flat scheme-map
• scientific article; zbMATH DE number 1013897 (Why is no real title available?)
• Grothendieck duality made simple

This page was built for publication: On the fundamental class of an essentially smooth scheme-map

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645071)