Definition 5.1 . [02EN]
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.1.
Say is 1-Gorenstein iff one of the following equivalent conditions holds:
- (1)
Every has an open neighborhood such that carries an holomorphic -form with an empty zero divisor.
- (2)
is a rank one locally free sheaf.
- (3)
Every has an open neighborhood such that is isomorphic to .
A local section of defining an holomorphic -form without zeroes on will be called a local generator of . If furthermore is Cohen-Macaulay, is said to be Gorenstein.
Say is -Gorenstein iff one of the following equivalent conditions is satisfied:
- (1)
Every has an open neighborhood such that carries an holomorphic pluricanonical form with an empty zero divisor.
- (2)
For every , there exists and an open neighborhood of such that is a rank one locally free sheaf.
- (3)
For every there is and an open neighborhood of such that is isomorphic to .
A local section of defining an holomorphic pluricanonical form without zeroes on will be called a local generator of .
For every , the smallest fulfilling condition 3 near is called the local index of at . The l.c.m. of all local indices, if finite, is called the index of .