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 has only canonical singularities iff is -Gorenstein, of finite index and one of the following equivalent conditions is fulfilled:
- (1)
Let be a resolution. Let be a local generator of . The meromorphic pluricanonical form is holomorphic.
- (2)
Let be a resolution. For every .
- (3)
(Assuming is an algebraic variety) Let be a resolution. Then with where means numerical equivalence of -Cartier divisors and the sum runs over the exceptional divisors of .