In algebraic geometry, a Noetherian scheme is a scheme that admits a finite covering by open affine subsets , where each is a Noetherian ring. More generally, a scheme is locally Noetherian if it is covered by spectra of Noetherian rings. Thus, a scheme is Noetherian if and only if it is locally Noetherian and compact. As with Noetherian rings, the concept is named after Emmy Noether.

It can be shown that, in a locally Noetherian scheme, if  is an open affine subset, then A is a Noetherian ring; in particular, is a Noetherian scheme if and only if A is a Noetherian ring. For a locally Noetherian scheme X, the local rings are also Noetherian rings.

A Noetherian scheme is a Noetherian topological space. But the converse is false in general; consider, for example, the spectrum of a non-Noetherian valuation ring.

The definitions extend to formal schemes.

Properties and Noetherian hypotheses

edit

Having a (locally) Noetherian hypothesis for a statement about schemes generally makes a lot of problems more accessible because they sufficiently rigidify many of its properties.

Dévissage

edit

One of the most important structure theorems about Noetherian rings and Noetherian schemes is the dévissage theorem. This makes it possible to decompose arguments about coherent sheaves into inductive arguments. Given a short exact sequence of coherent sheaves

 

proving one of the sheaves has some property is equivalent to proving the other two have the property. In particular, given a fixed coherent sheaf   and a sub-coherent sheaf  , showing   has some property can be reduced to looking at   and  . Since this process can only be non-trivially applied only a finite number of times, this makes many induction arguments possible.

Number of irreducible components

edit

Every Noetherian scheme can only have finitely many components.[1]

Morphisms from Noetherian schemes are quasi-compact

edit

Every morphism from a Noetherian scheme   is quasi-compact.[2]

Homological properties

edit

There are many nice homological properties of Noetherian schemes.[3]

Čech and sheaf cohomology

edit

Čech cohomology and sheaf cohomology agree on an affine open cover. This makes it possible to compute the sheaf cohomology of   using Čech cohomology for the standard open cover.

Compatibility of colimits with cohomology

edit

Given a direct system   of sheaves of abelian groups on a Noetherian scheme, there is a canonical isomorphism

 

meaning the functors

 

preserve direct limits and coproducts.

Derived direct image

edit

Given a locally finite type morphism   to a Noetherian scheme   and a complex of sheaves   with bounded coherent cohomology such that the sheaves   have proper support over  , then the derived pushforward   has bounded coherent cohomology over  , meaning it is an object in  .[4]

Examples

edit

Most schemes of interest are Noetherian schemes.

Locally of finite type over a Noetherian base

edit

Another class of examples of Noetherian schemes[5] are families of schemes   where the base   is Noetherian and   is of finite type over  . This includes many examples, such as the connected components of a Hilbert scheme, i.e. with a fixed Hilbert polynomial. This is important because it implies many moduli spaces encountered in the wild are Noetherian, such as the Moduli of algebraic curves and Moduli of stable vector bundles. Also, this property can be used to show many schemes considered in algebraic geometry are in fact Noetherian.

Quasi-projective varieties

edit

In particular, quasi-projective varieties are Noetherian schemes. This class includes algebraic curves, elliptic curves, abelian varieties, calabi-yau schemes, shimura varieties, K3 surfaces, and cubic surfaces. Basically all of the objects from classical algebraic geometry fit into this class of examples.

Infinitesimal deformations of Noetherian schemes

edit

In particular, infinitesimal deformations of Noetherian schemes are again Noetherian. For example, given a curve  , any deformation   is also a Noetherian scheme. A tower of such deformations can be used to construct formal Noetherian schemes.

Non-examples

edit

Schemes over Adelic bases

edit

One of the natural rings which are non-Noetherian are the Ring of adeles   for an algebraic number field  . In order to deal with such rings, a topology is considered, giving topological rings. There is a notion of algebraic geometry over such rings developed by Weil and Alexander Grothendieck.[6]

Rings of integers over infinite extensions

edit

Given an infinite Galois field extension  , such as   (by adjoining all roots of unity), the ring of integers   is a Non-noetherian ring which is dimension  . This breaks the intuition that finite dimensional schemes are necessarily Noetherian. Also, this example provides motivation for why studying schemes over a non-Noetherian base; that is, schemes  , can be an interesting and fruitful subject.

One special case[7]pg 93 of such an extension is taking the maximal unramified extension   and considering the ring of integers  . The induced morphism

 

forms the universal covering of  .

Polynomial ring with infinitely many generators

edit

Another example of a non-Noetherian finite-dimensional scheme (in fact zero-dimensional) is given by the following quotient of a polynomial ring with infinitely many generators.

 

See also

edit

References

edit
  1. ^ "Lemma 28.5.7 (0BA8)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-07-24.
  2. ^ "Lemma 28.5.8 (01P0)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-07-24.
  3. ^ "Cohomology of Sheaves" (PDF).
  4. ^ "Lemma 36.10.3 (08E2)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-07-24.
  5. ^ "Lemma 29.15.6 (01T6)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-07-24.
  6. ^ Conrad, Brian. "Weil and Grothendieck Approaches to Adelic Points" (PDF). Archived (PDF) from the original on 21 July 2018.
  7. ^ Neukirch, Jürgen (1999). "1.13". Algebraic Number Theory. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-662-03983-0. OCLC 851391469.