nLab
scheme

Idea

A scheme is a space that locally looks like a particularly simple ringed space: an affine scheme. This can be formalised either within the category of locally ringed spaces or within the category of presheaves of sets on the category of affine schemes $\mathrm{Aff}$.

The notion of scheme originated in algebraic geometry where it is, since Grothendieck’s revolution of that subject, a central notion.

However, the idea that

A scheme is a ringed space that is locally isomorphic to an affine space.

is much more general and need not be restricted to the locality in Zariski topology and to a notion of affine spaces that are formal duals of rings. If one takes another subcanonical Grothendieck topology $\tau$ on $\mathrm{Aff}$ then one talks about $\tau$-locally affine spaces. More generally one can take another “category of local models” $\mathrm{Loc}$ replacing $\mathrm{Aff}$ and suitable topology and consider sheaves on it, as locally affine space in this generalized sense. The category $\mathrm{Loc}$ can sometimes be represented by ringed spaces of special type and the gluing can be sometimes made in a genuine (classical, not Grothendieck) topology, within the category of ringed spaces.

For instance a smooth manifold is a ringed space locally isomorphic to a “smooth affine space” ${ℝ}^n$, with its standard smooth structure.

The standard concept of scheme in algebraic geometry is therefore usefully understood as a special case of generalized schemes that naturally appear for instance also in differential geometry, in synthetic differential geometry and many other topics.

Definition

As locally ringed spaces

A scheme is a locally ringed space $(X,{𝒪}_X)$ with an open cover (as locally ringed spaces), by affine schemes: the spectra $\mathrm{Spec}A=(\mid \mathrm{Spec}A\mid ,{𝒪}_{\mathrm{Spec}A})$ of unital commutative rings.

A morphism $f:X\to Y$ of schemes is a morphism of the underlying locally ringed spaces. This means it is a morphism of ringed spaces such that for each point $x\in X$ the induced map of local rings

$$({𝒪}_Y{)}_{f(x)}\to ({𝒪}_X{)}_x$$(\mathcal{O}_Y)_{f(x)} \to (\mathcal{O}_X)_x

is local (in that it carries the maximal ideal to the maximal ideal). See functor of points.

As sheaves on ${\mathrm{CRing}}^{\mathrm{op}}$

Definition

(k-ring, k-functor,affine k-scheme)

For a ring $k$ the category of $k$-rings, denoted by $M_k:=k/\mathrm{Ring}$ is defined to be the category of commutative associative $k$-algebras with unit which are rings. This is equivalently the category of pairs $(R,f:k\to R)$ where $R$ is a Ring and $f$ is a morphism of $k$-algebras.

The category of $k$-functors, denoted by $\mathrm{co}\mathrm{Psh}(M_k)$, is defined to be the category of covariant functors $M_k\to \mathrm{Set}$.

The forgetful functor $O_k:R\to R$ sending a $k$-ring to its underlying set is called affine line.

For the full and faithful contravariant functor

$${\mathrm{Sp}}_k:\{\begin{array}{lll}{M}_k& \to & \mathrm{co}\mathrm{Psh}(M_k)\\ A& \to & M_k(A,-)\end{array}$$Sp_k:\begin{cases} M_k&\to& co Psh(M_k) \\ A&\to& M_k(A,-) \end{cases}

${\mathrm{Sp}}_{k}A$ (and every isomorphic functor) is called an affine $k$-scheme. ${\mathrm{Sp}}_k$ restricts to an equivalence between the categories of $k$-rings and the category $\mathrm{Aff}{\mathrm{Sch}}_k$ of affine $k$-schemes. We think of this category as of $M_k^{\mathrm{op}}$. The functor ${\mathrm{Sp}}_k$ commutes with limits and skalar extension (see below). Consequently $\mathrm{Aff}{\mathrm{Sch}}_k$ is closed under limits and base change.

The affine line $O_k=M_k(k[t],-)$ is an affine $k$-scheme.

A function on a $k$-scheme $X$ is defined to be an object $f\in O(X):=\mathrm{co}\mathrm{Psh}(M_k)(X,O_k)$. $O(X)$ is a $k$-ring by component-wise addition and -multiplication.

Remark

The category of $k$-functors has limits.

The terminal object is $e:R\mapsto \{\varnothing \}$. Products and pullbacks are computed component-wise.

Remark

For $\varphi :k\to k^{\prime }$ the ”base change” functor $(-){\otimes }_k{k}^{\prime }:\mathrm{co}\mathrm{Psh}(M_k)\to \mathrm{co}\mathrm{Psh}(M_{k^{\prime }})$ induced by $(-)\circ \varphi :M_k\to M_{k^{\prime }}$ given by postcompositions with $\varphi$ is called skalar extension.

Now we come to the definition of not necessarily affine k-schemes

For a $k$-functor $X\in \mathrm{coPsh}(M_k)$ and $E\subseteq O(X)=M_k(X,O_k)$ a set of functions on $X$, Definition in k-ring?, we define

$$V(E)(R):=\{x\in X(R)\mid f\in E,f(x)=0\}$$V(E)(R):=\{x\in X(R) | f\in E, f(x)=0\}

and

$$D(E)(R):=\{x\in X(R)\mid f\in E,\text{the}f(x)\text{generate the unit ideal of}R\}$$D(E)(R):=\{x\in X(R)|f\in E, \text{the} f(x) \text{generate the unit ideal of} R\}

For a transformation $u:Y\to X$ of $k$-functors and $Z\subseteq X$ a subfunctor we define

$$u^{-1}(Z)(U):=\{y\in Y(R)\mid u(Y)\in Z(R)\}$$u^{-1}(Z)(U):=\{y\in Y(R)|u(Y)\in Z(R)\}

A subfunctor $Y\subseteq X$ is called open subfunctor resp. closed subfunctor if for every transformation $u:T\to X$ we have $u^{-1}(Y)$ is of the form $V(E)$ resp. $D(E)$.

Definition

A $k$-functor $X$ is called a $k$-scheme if the following two conditions hold:

1. ($X$ is a sheaf for the Zariski Grothendieck topology? on $M_k^{\mathrm{op}}$) For all $k$-rings and all families $(f_i{)}_i$ such that $R={\coprod }_{i}R{f}_i$ we have: if for all $x_i\in R[f_i^{-1}]$ such that the images of $x_i$ and $x_j$ coincide in $X(R[f_i^{-1}{f}_j^{-1}])$ there is a unique $x\in X(R)$ mapping to the $x_i$.

2. ($X$ has a cover of Zarisky open immersions of affine $k$-schemes) The exists a family $(U_i{)}_i$ of open affine subfunctors of $X$ such that for all fields $K\in M_k$ we have that $X(K)={\coprod }_i{U}_i(K)$.

Remark

The category of $k$-schemes is closed under limits, forming open- and closed subfunctors and skalar extension.

Translation between the two approaches

The fundamental theorem on morphisms of schemes asserts that there is a fully faithful functor from the category $\mathrm{Sch}$ of schemes to the category $\mathrm{Aff}:=\mathrm{Psh}(C{\mathrm{Ring}}^{\mathrm{op}})$ of presheaves on the opposite category of commutative rings given by

$$(X,{𝒪}_X)\mapsto \mathrm{Sch}((\mid \mathrm{Spec}(-)\mid ,{𝒪}_{\mathrm{Spec}(-)}),(X,{𝒪}_X))$$(X,\mathcal{O}_X)\mapsto Sch((|Spec (-)|,\mathcal{O}_{Spec(-)}),(X,\mathcal{O}_X))

This identifies schemes with those presheaves on CRing${}^{\mathrm{op}}$ that

1. are sheaves with respect to the Zariski Grothendieck topology on ${\mathrm{CRing}}^{\mathrm{op}}$;
2. have a cover by Zariski-open immersions of affine schemes in the category of presheaves over $\mathrm{Aff}$.

The standard reference for the functor-of-points approach to schemes is Demazure-Gabriel.

Generalizations

In algebraic geometry this is a basic object of study, since the revolution of Grothendieck. There are generalizations like relative schemes (which are just objects in a slice category $\mathrm{Sch}/S$), relative noncommutative schemes in noncommutative algebraic geometry introduced by A. Rosenberg in terms of categories and covers defined using pairs of adjoint functors, the generalized schemes of Nikolai Durov, the algebraic stacks of Deligne-Mumford and Artin, the dg-schemes of Kapranov, the derived schemes of Jacob Lurie, the higher algebraic stacks of Toën–Vezzosi, almost schemes (Ofer Gabber and Lorenzo Ramero), formal schemes (Cartier–Grothendieck), locally affine spaces in the fpqc, fppf or étale topology (Grothendieck), algebraic spaces, etc.

Underlying topological space vs. underlying locale

Jacob Lurie argues that underlying locale point of view is better than underlying topological space point of view, see schemes as locally affine structured (∞,1)-toposes.

References

Terminology: EGA says prescheme, for what we call algebraic scheme, and says scheme for what we call separated scheme.

Standard monographs

• Robin Hartshorne, Algebraic geometry, Springer

• Qing Liu, Algebraic geometry and arithmetic curves, 592 pp. Oxford Univ. Press 2002

• D. Eisenbud, J. Harris, The geometry of schemes, Springer Grad. Texts in Math.

• David Mumford, Red book of varieties and schemes

• Amnon Neeman, Algebraic and analytic geometry, London Math. Soc. Lec. Note Series 345

• William Fulton, Intersection theory, Springer 1984

• Ulrich Görtz, Torsten Wedhorn, Algebraic geometry I. Schemes with examples and exercises, Advanced Lectures in Mathematics. Vieweg + Teubner, Wiesbaden, 2010. viii+615 pp. Springerlink book

• M. Demazure, P. Gabriel, Groupes algebriques, tome 1 (later volumes never appeared), Mason and Cie, Paris 1970 (functor of points approach, mainly)

• Michel Demazure, lectures on p-divisible groups web

• EGA, FGA explained

Other references

• Ravi Vakil’s Berkeley course notes

• Paul Goerss, Topological Algebraic Geometry - A Workshop – at the beginning one fins a quick introduction in the light of its higher categorical generalizations

• Wikipedia: scheme (mathematics).

MathOverflow: arbitrary-products-of-schemes-dont-exist, model-of-a-scheme-regular-over-the-generic-point, categorical-construction-of-the-category-of-schemes, when-is-an-algebraic-space-a-scheme, is-an-algebraic-space-group-always-a-scheme, connections-between-various-generalized-algebraic-geometries-toen-vaquie-durov

category: algebraic geometry