Open subscheme/Affineness/Varying with base/Introduction/Section

From Wikiversity
Jump to navigation Jump to search

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 (the cohomological dimension of a scheme is the maximal number such that for some quasicoherent sheaf . A noetherian scheme is affine if and only if its cohomological dimension is . Tight closure can be characterized by the cohomological dimension of torsors.). may vary.

In the algebraic setting, we have a commutative -algebra , a commutative -algebra and an ideal (so , and ) which defines for every prime ideal the extended ideal in . Then in this situation, is the fiber over .

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.