On the fundamental class of an essentially smooth scheme-map

DOI10.14231/AG-2018-005zbMATH Open1425.14014arXiv1501.00954WikidataQ129582809 ScholiaQ129582809MaRDI QIDQ4645071FDOQ4645071

Authors: Joseph Lipman, Amnon Neeman 

Publication date: 9 January 2019

Published in: Algebraic Geometry (Search for Journal in Brave)

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.

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Grothendieck duality made simple
• Title not available (Why is that?)
• Bivariance, Grothendieck duality and Hochschild homology. II: The fundamental class of a flat scheme-map
• Title not available (Why is that?)
• Title not available (Why is that?)

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)