Grothendieck duality and Q-Gorenstein morphisms

DOI10.4171/PRIMS/54-3-3MaRDI QIDQ1664355zbMATH OpenOpenAlexFDO

Authors Yongnam Lee, Noboru Nakayama

Publication date 24 August 2018

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

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

zbMATH Keywords

\(\mathbb{Q}\)-Gorenstein morphismGrothendieck duality

Mathematics Subject Classification ID

Schemes and morphisms (14A15) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Families, moduli, classification: algebraic theory (14J10)

Abstract: The notions of $mathbbQ$-Gorenstein scheme and of $mathbbQ$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of $mathbbQ$-Gorenstein algebraic variety and of $mathbbQ$-Gorenstein deformation satisfying Koll'ar condition, over a field. By studies on relative $mathbf{S}_2$-condition and base change properties, valuable results are proved for $mathbbQ$-Gorenstein morphisms, which include infinitesimal criterion, valuative criterion, $mathbbQ$-Gorenstein refinement, and so forth.

Review text

A normal algebraic variety is \(\mathbb Q\)-Gorenstein if \(rK_X\) is Cartier for some integer \(r>0\) (or equivalently if \((\omega _X^{\otimes r})^{**}\) is locally free). Here \(K_X\) denotes a canonical divisor and \(\omega _X=\mathcal O _X(K_X)\) denotes the canonical bundle. A flat family \(\mathcal X \to C\) of algebraic varieties over a smooth curve \(C\) is a \(\mathbb Q\)-Gorenstein deformation of \(X\) if \(X\) is isomorphic to the fiber over a closed point, \(rK_{\mathcal X /C}\) is Cartier for some integer \(r>0\) and \(rK_{\mathcal X /C}|_X\sim rK_X\). These notions naturally arise and play an important role in the context of the minimal model program and classification of higher dimensional algebraic varieties. It is often useful and important to generalize these definitions to more general situations, for example to families of non-normal varieties over higher dimensional varieties. In this paper, the authors consider the notions of \(\mathbb Q\)-Gorenstein schemes for locally Noetherian schemes with dualizing complexes and \(\mathbb Q\)-Gorenstein morphisms for flat morphisms locally of finite type between locally Noetherian schemes. The authors then prove several useful results for \(\mathbb Q\)-Gorenstein morphisms such as for example the stability under base change and composition, as well as infinitesimal and valuative criteria for a morphism to be \(\mathbb Q\)-Gorenstein.

Recommendations

• Foundations of Grothendieck duality for diagrams of schemes
• Gorenstein modifications and \(\mathbb{Q}\)-Gorenstein rings
• scientific article; zbMATH DE number 1377505
• scientific article; zbMATH DE number 1296194
• Generalized divisors on Gorenstein schemes

Cited in

(8)

• Stable pairs with a twist and gluing morphisms for moduli of surfaces
• On deformations of toric Fano varieties
• Openness results for uniform K-stability
• scientific article; zbMATH DE number 4148343 (Why is no real title available?)
• Deformations of weak Q-Fano 3-folds
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• ZERO-CYCLES ON NORMAL PROJECTIVE VARIETIES
• Moduli of ℚ-Gorenstein pairs and applications

This page was built for publication: Grothendieck duality and \(\mathbb{Q}\)-Gorenstein morphisms

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