Base change and Grothendieck duality for Cohen–Macaulay maps

DOI10.1112/S0010437X03000654zbMATH Open1070.14019arXivmath/0011138OpenAlexW2963379819MaRDI QIDQ4831299FDOQ4831299

Authors: Pramathanath Sastry 

Publication date: 29 December 2004

Published in: Compositio Mathematica (Search for Journal in Brave)

Abstract: Let $f:XoY$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y^{\prime }oY$ a base change map, with $Y^{\prime }$ Noetherian. Let $f^{\prime }$ be the base change of $f$ under $g$ and $g^{\prime }$ the base change of $g$ under $f$. We show that there is a canonical isomorphism between ${g^{\prime }}^{*}omeg{a}_f$ and $omeg{a}_{f^{\prime }}$, where $omeg{a}_f$ and $omeg{a}_{f^{\prime }}$ are the relative dualizing sheaves. The map underlying this isomorphism is easily described when $f$ is proper, and has subtler description when $f$ is not. If $f$ is smooth we show that this map between the dualizing sheaves corresponds to the canonical identification of differential forms. Our results generalize the results of B. Conrad in two directions - wedo not need the properness assumption, and we do not need to assume that theschemes involved carry dualizing complexes. Residual complexes do not appear in this paper.

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

Recommendations

• Grothendieck duality and base change
• Cohomology and base change for algebraic stacks
• On base change theorem and coherence in rigid cohomology
• Sequentially Cohen-Macaulay Modules Under Base Change
• scientific article; zbMATH DE number 1295617
• Gröbner bases and the Cohen-Macaulay property of Li’s double determinantal varieties
• Grothendieck's pairing for Jacobians and base change
• A proper base change theorem for non-torsion sheaves in étale cohomology
• Equivariant crystalline cohomology and base change
• Duality and flat base change on formal schemes

zbMATH Keywords

residuesrelative dualizing sheaf

Mathematics Subject Classification ID

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

Cited In (13)

• Compactification for essentially finite-type maps
• Base change behavior of the relative canonical sheaf related to higher dimensional moduli
• Relation between two twisted inverse image pseudofunctors in duality theory
• A proper base change theorem for non-torsion sheaves in étale cohomology
• Gröbner bases and the Cohen-Macaulay property of Li’s double determinantal varieties
• Grothendieck duality made simple
• Grothendieck duality and base change
• Title not available (Why is that?)
• Base change along the Frobenius endomorphism and the Gorenstein property
• Title not available (Why is that?)
• On the dualizing sheaf of a quotient scheme
• Linear Koszul duality. II: Coherent sheaves on perfect sheaves.
• Duality and flat base change on formal schemes

This page was built for publication: Base change and Grothendieck duality for Cohen–Macaulay maps

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