Grothendieck duality and \(\mathbb{Q}\)-Gorenstein morphisms (Q1664355)

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.