| Spectrum Of A Ring |
Article Index for Spectrum Of |
Website Links For Spectrum |
Information AboutSpectrum Of A Ring |
| CATEGORIES ABOUT SPECTRUM OF A RING | |
| commutative algebra | |
| scheme theory | |
|
ZARISKI TOPOLOGY Spec(''R'') can be turned into a on Spec(''R''). Spec(''R'') is a s in ''R'' are precisely the closed points in this topology. Spec(''R'') is always a Kolmogorov Space , however. It is a Spectral Space . SHEAVES AND SCHEMES To define a structure sheaf on Spec(''R''), we first define ''D''''f'' to be the set of all prime ideals ''P'' in Spec(''R'') such that ''f'' is not in ''P''. {''Df''}''f''∈''R'' is a basis for the topology of open sets. We define a sheaf on the ''D''''f'' by setting Γ(''D''''f'', ''O''''X'')=''R''''f'', the Localization of ''R'' at the multiplicative system {1,''f'',''f''2,''f''3,...}. It can be shown that this satisfies the necessary axioms to be a B-Sheaf . Next, if ''U'' is the union of {''B''''i''}''i''∈''I'', we let Γ(''U'',''O''''X'')=lim''i''∈''I'' ''R''''fi'', and this produces a sheaf; see the Sheaf article for more detail. To obtain a direct description of Γ(''U'', ''O''''X'') for any open set ''U'' in ''X'', we notice that the limit above has the universal property that if ''T'' is any commutative ring and ''R''''fi''→''T'' is any system of maps which agree when restricted to ''R'', then there is a unique map Γ(''U'',''O''''X'')→''T'' through which the given maps factor. Since each ''f''''i'' maps to a unit in ''T'', if we let ''S'' be the Multiplicative Set generated by {''f''''i''}''i''∈''I'', then by the universal property of localization we get a unique map ''S''-1''R''T through which each ''R''''fi''→T factors. This is the same universal property that Γ(''U'',''O''''X'') has, so Γ(''U'',''O''''X'')=''S''-1''R''. To obtain an even more direct description of Γ(''U'', ''O''''X''), let ''S' '' be the complement in ''R'' of all the prime ideals in ''U''. ''S' '' is a multiplicative set, since it is the intersection of the multiplicative sets ''R''\''P'', where ''P'' is a prime ideal in ''U''. Each ''f''''i'' is in ''S' '', so ''S''⊆''S' ''. For the other inclusion, choose a ''g'' in ''S' '', and suppose that ''g'' is not in ''S''. Then ''g'' is not a unit in ''S''-1''R'', so we may find a prime ideal ''P'' of ''R'' which contains ''g'' and does not meet ''S''. ''P'' must lie in ''U'', but then by the definition of ''S' '', ''g'' is not in ''S' ''. Consequently, Γ(''U'', ''O''''X'')=''S' ''-1''R''. While this direct description may appear useful, most operations on sheaves can more easily be carried out on B-sheaves, and since a B-sheaf can always be extended to a sheaf in the setting of schemes, it is usually more useful to work over basic open sets. If ''P'' is a point in Spec(''R''), that is, a prime ideal, then the stalk at ''P'' equals the Localization of ''R'' at ''P'', and this is a Local Ring . Consequently, Spec(''R'') is a Locally Ringed Space . Every sheaf of rings of this form is called an ''affine scheme''. General Schemes are obtained by "gluing together" several affine schemes. FUNCTORIALITY It is useful to use the language of Category Theory and observe that Spec is a Functor . Every map Spec(''f'') : Spec(''S'') → Spec(''R'') (since the preimage of any prime ideal in ''S'' is a prime ideal in ''R''). In this way, Spec can be seen as a contravariant functor from the category of commutative rings to the category of topological spaces. Moreover for every prime ''P'' the homomorphism ''f'' descends to homomorphisms O of local rings. Thus Spec even defines a contravariant functor from the category of commutative rings to the category of Locally Ringed Space s. In fact it is the universal such functor and this can be used to define the functor Spec up to natural isomorphism. The functor Spec yields a contravariant equivalence between the category of commutative rings and the '''category of affine schemes'''; each of these categories is often thought of as the Opposite Category of the other. MOTIVATION FROM ALGEBRAIC GEOMETRY Following on from the example, in Algebraic Geometry one studies ''algebraic sets'', i.e. subsets of ''K''''n'' (where ''K'' is an Algebraically Closed Field ) which are defined as the common zeros of a set of Polynomial s in ''n'' variables. If ''A'' is such an algebraic set, one considers the commutative ring ''R'' of all polynomial functions ''A'' → ''K''. The ''maximal ideals'' of ''R'' correspond to the points of ''A'' (because ''K'' is algebraically closed), and the ''prime ideals'' of ''R'' correspond to the ''subvarieties'' of ''A'' (an algebraic set is called irreducible or a variety if it cannot be written as the union of two proper algebraic subsets). The spectrum of ''R'' therefore consists of the points of ''A'' together with elements for all subvarieties of ''A''. The points of ''A'' are closed in the spectrum, while the elements corresponding to subvarieties have a closure consisting of all their points and subvarieties. If one only considers the points of ''A'', i.e. the maximal ideals in ''R'', then the Zariski topology defined above coincides with the Zariski topology defined on algebraic sets (which has precisely the algebraic subsets as closed sets). One can thus view the topological space Spec(''R'') as an "enrichment" of the topological space ''A'' (with Zariski topology): for every subvariety of ''A'', one additional non-closed point has been introduced, and this point "keeps track" of the corresponding subvariety. One thinks of this point as the Generic Point for the subvariety. Furthermore, the sheaf on Spec(''R'') and the sheaf of polynomial functions on ''A'' are essentially identical. By studying spectra of polynomial rings instead of algebraic sets with Zariski topology, one can generalize the concepts of algebraic geometry to non-algebraically closed fields and beyond, eventually arriving at the language of Scheme s. EXTERNAL LINK
|
|
|