Gorenstein scheme

In algebraic geometry, a Gorenstein scheme is a locally Noetherian scheme whose local rings are all Gorenstein.[1] The canonical line bundle is defined for any Gorenstein scheme over a field, and its properties are much the same as in the special case of smooth schemes.

Related properties

For a Gorenstein scheme X of finite type over a field, f: X → Spec(k), the dualizing complex f!(k) on X is a line bundle (called the canonical bundle KX), viewed as a complex in degree −dim(X).[2] If X is smooth of dimension n over k, the canonical bundle KX can be identified with the line bundle Ωn of top-degree differential forms.[3]

Using the canonical bundle, Serre duality takes the same form for Gorenstein schemes as it does for smooth schemes.

Let X be a normal scheme of finite type over a field k. Then X is regular outside a closed subset of codimension at least 2. Let U be the open subset where X is regular; then the canonical bundle KU is a line bundle. The restriction from the divisor class group Cl(X) to Cl(U) is an isomorphism, and (since U is smooth) Cl(U) can be identified with the Picard group Pic(U). As a result, KU defines a linear equivalence class of Weil divisors on X. Any such divisor is called the canonical divisor KX. For a normal scheme X, the canonical divisor KX is said to be Q-Cartier if some positive multiple of the Weil divisor KX is Cartier. (This property does not depend on the choice of Weil divisor in its linear equivalence class.) Alternatively, normal schemes X with KX Q-Cartier are sometimes said to be Q-Gorenstein.

It is also useful to consider the normal schemes X for which the canonical divisor KX is Cartier. Such a scheme is sometimes said to be Q-Gorenstein of index 1. (Some authors use "Gorenstein" for this property, but that can lead to confusion.) A normal scheme X is Gorenstein (as defined above) if and only if KX is Cartier and X is Cohen–Macaulay.[4]

Examples

Notes

  1. Kollár (2013), section 2.5; Stacks Project, Tag 0AWV.
  2. Hartshorne (1966), Proposition V.9.3.
  3. Hartshorne (1966), section III.1.
  4. Kollár & Mori (1998), Corollary 5.69.
  5. Eisenbud (1995), Corollary 21.19.
  6. Kollár & Mori (1998), Theorems 5.20 and 5.22.
  7. Kollár (2013), Example 3.6.

References

External links

This article is issued from Wikipedia - version of the Thursday, February 18, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.