In
commutative algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prom ...
, the prime spectrum (or simply the spectrum) of a
ring ''R'' is the set of all
prime ideal
In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together wi ...
s of ''R'', and is usually denoted by
; in
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
it is simultaneously a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poin ...
equipped with the
sheaf of rings
In mathematics, a ringed space is a family of ( commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf ...
.
Zariski topology
For any
ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considered ...
''I'' of ''R'', define
to be the set of prime ideals containing ''I''. We can put a topology on
by defining the
collection of closed sets to be
:
This topology is called the
Zariski topology.
A
basis for the Zariski topology can be constructed as follows. For ''f'' ∈ ''R'', define ''D''
''f'' to be the set of prime ideals of ''R'' not containing ''f''. Then each ''D''
''f'' is an open subset of
, and
is a basis for the Zariski topology.
is a
compact space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
, but almost never
Hausdorff: in fact, the
maximal ideals in ''R'' are precisely the closed points in this topology. By the same reasoning, it is not, in general, a
T1 space. However,
is always a
Kolmogorov space (satisfies the T
0 axiom); it is also a
spectral space In mathematics, a spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection to coherent topos.
Definition
Let ''X'' be a topological ...
.
Sheaves and schemes
Given the space
with the Zariski topology, the structure sheaf ''O''
''X'' is defined on the distinguished open subsets ''D''
''f'' by setting Γ(''D''
''f'', ''O''
''X'') = ''R''
''f'', the
localization of ''R'' by the powers of ''f''. It can be shown that this defines a
B-sheaf and therefore that it defines a sheaf. In more detail, the distinguished open subsets are a
basis of the Zariski topology, so for an arbitrary open set ''U'', written as the union of
''i''∈''I'', we set Γ(''U'',''O''
''X'') = lim
''i''∈''I'' ''R''
''fi''. One may check that this presheaf is a sheaf, so
is a
ringed space
In mathematics, a ringed space is a family of ( commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf ...
. Any ringed space isomorphic to one of this form is called an affine scheme. General
schemes are obtained by gluing affine schemes together.
Similarly, for a module ''M'' over the ring ''R'', we may define a sheaf
on
. On the distinguished open subsets set Γ(''D''
''f'',
) = ''M''
''f'', using the
localization of a module. As above, this construction extends to a presheaf on all open subsets of
and satisfies gluing axioms. A sheaf of this form is called a
quasicoherent sheaf.
If ''P'' is a point in
, that is, a prime ideal, then the stalk of the structure sheaf at ''P'' equals the
localization of ''R'' at the ideal ''P'', and this is a
local ring In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebrai ...
. Consequently,
is a
locally ringed space.
If ''R'' is an integral domain, with field of fractions ''K'', then we can describe the ring Γ(''U'',''O''
''X'') more concretely as follows. We say that an element ''f'' in ''K'' is regular at a point ''P'' in ''X'' if it can be represented as a fraction ''f'' = ''a''/''b'' with ''b'' not in ''P''. Note that this agrees with the notion of a
regular function in algebraic geometry. Using this definition, we can describe Γ(''U'',''O''
''X'') as precisely the set of elements of ''K'' which are regular at every point ''P'' in ''U''.
Functorial perspective
It is useful to use the language of
category theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, ca ...
and observe that
is a
functor. Every
ring homomorphism induces a
continuous
Continuity or continuous may refer to:
Mathematics
* Continuity (mathematics), the opposing concept to discreteness; common examples include
** Continuous probability distribution or random variable in probability and statistics
** Continuous g ...
map
(since the preimage of any prime ideal in
is a prime ideal in
). In this way,
can be seen as a contravariant functor from the category of commutative rings to the category of topological spaces. Moreover, for every prime
the homomorphism
descends to homomorphisms
:
of local rings. Thus
even defines a contravariant functor from the category of commutative rings to the category of
locally ringed spaces. In fact it is the universal such functor hence can be used to define the functor
up to natural isomorphism.
The functor
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
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
one studies ''algebraic sets'', i.e. subsets of ''K''
''n'' (where ''K'' is an
algebraically closed field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in .
Examples
As an example, the field of real numbers is not algebraically closed, because ...
) that are defined as the common zeros of a set of
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exampl ...
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). Specifically, the maximal ideals in ''R'', i.e.
, together with the Zariski topology, is homeomorphic to ''A'' also with the Zariski topology.
One can thus view the topological space
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
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
schemes.
Examples
* The affine scheme
is the final object in the category of affine schemes since
is the initial object in the category of commutative rings.
* The affine scheme
is scheme theoretic analogue of
. From the functor of points perspective, a point
can be identified with the evaluation morphism
. This fundamental observation allows us to give meaning to other affine schemes.
*
looks topologically like the transverse intersection of two complex planes at a point, although typically this is depicted as a
since the only well defined morphisms to
are the evaluation morphisms associated with the points
.
* The prime spectrum of a
Boolean ring (e.g., a
power set ring) is a (Hausdorff)
compact space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
.
* (M. Hochster) A topological space is homeomorphic to the prime spectrum of a commutative ring (i.e., a
spectral space In mathematics, a spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection to coherent topos.
Definition
Let ''X'' be a topological ...
) if and only if it is quasi-compact,
quasi-separated and
sober.
Non-affine examples
Here are some examples of schemes that are not affine schemes. They are constructed from gluing affine schemes together.
* The Projective
-Space