# Affine scheme

A generalization of the concept of an affine variety, which plays the role of a local object in the theory of schemes. Let $A$ be a commutative ring with a unit. An affine scheme consists of a topological space $\operatorname{Spec}(A)$ and a sheaf of rings $\widetilde{A}$ on $\operatorname{Spec}(A)$. Here, $\operatorname{Spec}(A)$ is the set of all prime ideals of $A$ (called the points of the affine scheme) equipped with the Zariski topology (or equivalently with the spectral topology), in which a basis of open sets is given by $D(f) \stackrel{\text{df}}{=} \{ \mathfrak{p} \in \operatorname{Spec}(A) \mid f \notin \mathfrak{p} \}$, where $f$ runs through the elements of $A$. The sheaf $\widetilde{A}$ of local rings is defined by the condition that $\Gamma \! \left( D(f),\tilde{A} \right) = A_{f}$, where $A_{f}$ is the localization of the ring $A$ with respect to the multiplicative system $\{ f^{n} \}_{n \in \Bbb{N}_{0}}$.

Affine schemes were first introduced by A. Grothendieck (), who created the theory of schemes. A scheme is a ringed space that is locally isomorphic to an affine scheme.

An affine scheme $\operatorname{Spec}(A)$ is called Noetherian (integral, reduced, normal, or regular, respectively) if the ring $A$ 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 $\operatorname{Spec}(A)$ also has these properties. The space $\operatorname{Spec}(A)$ 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 defined as morphisms of locally ringed spaces. Each ring homomorphism $\phi: A \to B$ defines a morphism of affine schemes: $\left( \operatorname{Spec}(B),\widetilde{B} \right) \to \left( \operatorname{Spec}(A),\widetilde{A} \right)$, consisting of the continuous mapping $\operatorname{Spec}(\phi): \operatorname{Spec}(B) \to \operatorname{Spec}(A)$ ($[\operatorname{Spec}(\phi)](\mathfrak{p}) = {\phi^{\leftarrow}}[\mathfrak{p}]$ for $\mathfrak{p} \in \operatorname{Spec}(B)$), and a homomorphism of sheaves of rings $\widetilde{\phi}: \widetilde{A} \to \widetilde{B}$ that transforms the section $a / f$ of the sheaf $\widetilde{A}$ over the set $D(f)$ into the section $\phi(a) / \phi(f)$. The morphisms of an arbitrary scheme $(X,\mathcal{O}_{X})$ into an affine scheme $\left( \operatorname{Spec}(A),\widetilde{A} \right)$ (which are also called $X$-valued points of $\operatorname{Spec}(A)$) are in a one-to-one correspondence with ring homomorphisms $A \to \Gamma(X,\mathcal{O}_{X})$; thus, the correspondence $A \mapsto \left( \operatorname{Spec}(A),\widetilde{A} \right)$ 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 fiber products, dual to the constructions of the direct sum and the tensor product of rings. The morphisms of affine schemes that 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 $\widetilde{A}$, it is possible to construct, for any $A$-module $M$, a sheaf $\widetilde{M}$ of $\widetilde{A}$-modules on $\operatorname{Spec}(A)$ for which $$\Gamma \! \left( D(f),\widetilde{M} \right) = M_{f} = M \otimes_{A} A_{f}.$$ Such sheaves are called quasi-coherent. The category of $A$-modules is equivalent to the category of quasi-coherent sheaves of $\widetilde{A}$-modules on $\operatorname{Spec}(A)$; projective modules correspond to locally free sheaves. The cohomology spaces of quasi-coherent sheaves over an affine scheme are described by Serre’s theorem: $$H^{q} \! \left( \operatorname{Spec}(A),\widetilde{M} \right) = 0 \quad \text{if  q > 0 }.$$ The converse of this theorem (Serre’s criterion for affinity) states that if $(X,\mathcal{O}_{X})$ is a compact separable scheme, and if ${H^{1}}(X,F) = 0$ for any quasi-coherent sheaf $F$ of $\mathcal{O}_{X}$-modules, then $X$ is an affine scheme. Other criteria for affinity also exist (, ).

How to Cite This Entry:
Affine scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Affine_scheme&oldid=39991
This article was adapted from an original article by V.I. DanilovI.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article