ScalingStacks

Definition 2.1 . [00EX]

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 2.1.

A projective variety XX has canonical singularities if it is normal, if r​KXrK_{X} is Cartier for some r≥1r\geq 1 and if there exists a resolution f:Y→Xf:Y\to X such that

r​KY=f∗​(r​KX)+∑iai​Ei,rK_{Y}=f^{*}(rK_{X})+\sum_{i}a_{i}E_{i},

where EiE_{i} ranges over all exceptional prime divisors of ff, and ai≥0a_{i}\geq 0.

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