ScalingStacks

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 VV is 1-Gorenstein iff one of the following equivalent conditions holds:

  1. (1)

    Every x∈Vx\in V has an open neighborhood UU such that Ur​e​gU^{reg} carries an holomorphic nn-form with an empty zero divisor.

  2. (2)

    ωV\omega_{V} is a rank one locally free sheaf.

  3. (3)

    Every x∈Vx\in V has an open neighborhood UU such that ωUr​e​g\omega_{U^{reg}} is isomorphic to 𝒪Vr​e​g|U\mathcal{O}_{V^{reg}}|_{U}.

A local section of ωV\omega_{V} defining an holomorphic nn-form without zeroes on Vr​e​gV^{reg} will be called a local generator of ωV\omega_{V}. If furthermore VV is Cohen-Macaulay, VV is said to be Gorenstein.

Say VV is ℚ\mathbb{Q}-Gorenstein iff one of the following equivalent conditions is satisfied:

  1. (1)

    Every x∈Vx\in V has an open neighborhood UU such that Ur​e​gU^{reg} carries an holomorphic pluricanonical form with an empty zero divisor.

  2. (2)

    For every x∈Vx\in V, there exists Nx∈ℕN_{x}\in\mathbb{N} and an open neighborhood UU of xx such that ωU[Nx]\omega^{[N_{x}]}_{U} is a rank one locally free sheaf.

  3. (3)

    For every x∈Vx\in V there is Nx∈ℕN_{x}\in\mathbb{N} and an open neighborhood UU of xx such that ωUr​e​gNx\omega^{N_{x}}_{U^{reg}} is isomorphic to 𝒪Vr​e​g|U\mathcal{O}_{V^{reg}}|_{U}.

A local section of ωV[N]\omega^{[N]}_{V} defining an holomorphic pluricanonical form without zeroes on Vr​e​gV^{reg} will be called a local generator of ωV[N]\omega^{[N]}_{V}.

For every x∈Vx\in V, the smallest NxN_{x} fulfilling condition 3 near xx is called the local index of VV at xx. The l.c.m. of all local indices, if finite, is called the index of VV.

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