Offenes Unterschemata/Affinität/Variiert mit Basis/Einführung/en/Textabschnitt

Aus Wikiversity

We consider a base scheme and a morphism

together with an open subscheme . For every base point we get the open subset

inside the fiber . It is a natural question to ask how properties of vary with . In particular we may ask how the cohomological dimension of varies and how the affineness may vary.

In the algebraic setting we have a -algebra and an ideal (so , and ) which defines for every prime ideal the extended ideal in .

This question is already interesting when is an affine one-dimensional integral scheme, in particular in the following two situations.

  1. . Then we speak of an arithmetic deformation and want to know how affineness varies with the characteristic and what the relation is to characteristic zero.
  2. , where is a field. Then we speak of a geometric deformation and want to know how affineness varies with the parameter , in particular how the behavior over the special points where the residue class field is algebraic over is related to the behavior over the generic point.

It is fairly easy to show that if the open subset in the generic fiber is affine, then also the open subsets are affine for almost all special points.