ScalingStacks

Definition 5.2 . [02EP]

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

Definition 5.2.

Say VV has only canonical singularities iff VV is ℚ\mathbb{Q}-Gorenstein, of finite index NN and one of the following equivalent conditions is fulfilled:

  1. (1)

    Let π:X→V\pi:X\to V be a resolution. Let α\alpha be a local generator of ωV[N]\omega_{V}^{[N]}. The meromorphic pluricanonical form π∗​α\pi^{*}\alpha is holomorphic.

  2. (2)

    Let π:X→V\pi:X\to V be a resolution. For every m∈ℕ,π∗​ωX[N​m]=ωV[N​m]m\in\mathbb{N},\ \pi_{*}\omega_{X}^{[Nm]}=\omega_{V}^{[Nm]}.

  3. (3)

    (Assuming VV is an algebraic variety) Let π:X→V\pi:X\to V be a resolution. Then KX≅π∗​KV+∑aE​EK_{X}\cong\pi^{*}K_{V}+\displaystyle\sum a_{E}E with aE≥0a_{E}\geq 0 where ≅\cong means numerical equivalence of ℚ\mathbb{Q}-Cartier divisors and the sum runs over the exceptional divisors of π\pi.

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