Difference between revisions of "Affine scheme"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 20: | Line 20: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. Grothendieck, J. Dieudonné, "Eléments de géometrie algébrique" ''Publ. Math. IHES'' , '''4''' (1960) {{MR|0217083}} {{MR|0163908}} {{ZBL|0118.36206}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> J. Dieudonné, "Algebraic geometry" ''Adv. in Math.'' , '''1''' (1969) pp. 233–321 {{MR|0244267}} {{ZBL|0185.49102}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> Yu.I. Manin, "Lectures on algebraic geometry" , '''1''' , Moscow (1970) (In Russian) {{MR|0284434}} {{ZBL|0204.21302}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> J. Goodman, R. Hartshorne, "Schemes with finite-dimensional cohomology groups" ''Amer. J. Math.'' , '''91''' (1969) pp. 258–266 {{MR|0241432}} {{ZBL|0176.18303}} </TD></TR></table> |
Line 28: | Line 28: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry" , Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A. Grothendieck, J. Dieudonné, "Eléments de géometrie algébrique" , '''I. Le langage des schémes''' , Springer (1971) {{MR|0217085}} {ZBL|0203.23301}} </TD></TR></table> |
Revision as of 21:49, 30 March 2012
A generalization of the concept of an affine variety, which plays the role of a local object in the theory of schemes. Let be a commutative ring with a unit. An affine scheme consists of a topological space
and a sheaf of rings
on
. Here,
is the set of all prime ideals of
(called the points of the affine scheme), provided with the Zariski topology (or, which is the same, with the spectral topology), in which the basis of open sets is constituted by the subsets
, where
runs through the elements of
. The sheaf of local rings
is defined by the condition
, where
is the localization of the ring
with respect to the multiplicative system
, cf. Localization in a commutative algebra.
Affine schemes were first introduced by A. Grothendieck [1], who created the theory of schemes. A scheme is a ringed space which is locally isomorphic to an affine scheme.
An affine scheme is called Noetherian (integral, reduced, normal, or regular, respectively) if the ring
is Noetherian (integral, without nilpotents, integrally closed, or regular, respectively). An affine scheme is called connected (irreducible, discrete, or quasi-compact, respectively) if the topological space
also has these properties. The space
of an affine scheme is always compact (and usually not Hausdorff).
The affine schemes form a category if the morphisms of these schemes, considered as locally ringed spaces, are considered as morphisms of affine schemes. Each homomorphism of rings defines a morphism of affine schemes:
, consisting of the continuous mapping
(
for
), and a homomorphism of sheaves of rings
, which transforms the section
of the sheaf
over the set
into the section
. The morphisms of an arbitrary scheme
into an affine scheme (
) (which are also called
-valued points of
) are in a one-to-one correspondence with the homomorphisms of rings
; thus, the correspondence
is a contravariant functor from the category of commutative rings with a unit into the category of affine schemes, which establishes an anti-equivalence of these categories. In particular, in the category of affine schemes there are finite direct sums and fibre products, dual to the constructions of the direct sum and the tensor product of rings. The morphisms of affine schemes which correspond to surjective homomorphisms of rings are called closed imbeddings of affine schemes.
The most important examples of affine schemes are affine varieties; other examples are affine group schemes (cf. Group scheme).
In a manner similar to the construction of the sheaf it is possible to construct, for any
-module
, a sheaf of
-modules
on
for which
![]() |
Such sheaves are called quasi-coherent. The category of -modules is equivalent to the category of quasi-coherent sheaves of
-modules on
; projective modules correspond to locally free sheaves. The cohomology spaces of quasi-coherent sheaves over an affine scheme are described by Serre's theorem:
![]() |
The converse of this theorem (Serre's criterion for affinity) states that if is a compact separable scheme, and if
for any quasi-coherent sheaf of
-modules
, then
is an affine scheme. Other criteria for affinity also exist [1], [4].
References
[1] | A. Grothendieck, J. Dieudonné, "Eléments de géometrie algébrique" Publ. Math. IHES , 4 (1960) MR0217083 MR0163908 Zbl 0118.36206 |
[2] | J. Dieudonné, "Algebraic geometry" Adv. in Math. , 1 (1969) pp. 233–321 MR0244267 Zbl 0185.49102 |
[3] | Yu.I. Manin, "Lectures on algebraic geometry" , 1 , Moscow (1970) (In Russian) MR0284434 Zbl 0204.21302 |
[4] | J. Goodman, R. Hartshorne, "Schemes with finite-dimensional cohomology groups" Amer. J. Math. , 91 (1969) pp. 258–266 MR0241432 Zbl 0176.18303 |
Comments
Reference [a1] is, of course, standard. It replaces [3]. An alternative to [1] is [a2].
References
[a1] | R. Hartshorne, "Algebraic geometry" , Springer (1977) MR0463157 Zbl 0367.14001 |
[a2] | A. Grothendieck, J. Dieudonné, "Eléments de géometrie algébrique" , I. Le langage des schémes , Springer (1971) MR0217085 {ZBL|0203.23301}} |
Affine scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Affine_scheme&oldid=15083