ScalingStacks

Subsubsection [04UQ]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context ยท Original author HTML

(2.1.5) Let h:๐’ดโ†’๐’ณh:\mathscr{Y}\to\mathscr{X} be a proper morphism of normal ๐’ž\mathscr{C}-models of XX. Assume that K๐’ณ+(๐’ณs)redK_{\mathscr{X}}+(\mathscr{X}_{s})_{\mathrm{red}} is โ„š\mathbb{Q}-Cartier. Then the log pullback of (๐’ณs)red(\mathscr{X}_{s})_{\mathrm{red}} to ๐’ด\mathscr{Y} is the unique โ„š\mathbb{Q}-Weil divisor ฮ”\Delta on ๐’ด\mathscr{Y} such that K๐’ด+ฮ”K_{\mathscr{Y}}+\Delta is โ„š\mathbb{Q}-linearly equivalent to

fโˆ—โ€‹(K๐’ณ+(๐’ณs)red)f^{*}(K_{\mathscr{X}}+(\mathscr{X}_{s})_{\mathrm{red}})

and fโˆ—โ€‹ฮ”=(๐’ณs)redf_{*}\Delta=(\mathscr{X}_{s})_{\mathrm{red}}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.