Scheme (mathematics)

	Main Article	Discussion	Related Articles  [?]	Bibliography  [?]	External Links  [?]	Citable Version  [?]	Catalogs [?]
	This editable Main Article is under development and subject to a disclaimer. [edit intro]

Schemes, and functions between them, are the principal objects of study in modern algebraic geometry. Algebraic geometry began as the study of varieties, geometric figures described by polynomial equations with coefficents in a field. The geometric properties of an affine variety are reflected in algebraic properties in its ring of functions, which is the quotient of a polynomial ring. These algebraic properties can be defined in the context of arbitrary commutative rings, and [[affine scheme]s are the corresponding geometric objects. A general scheme is a geometric object which looks like an affine scheme in a neighborhood of every point.

Schemes have superseded varieties as the main objects of interest in algebraic geometry for several reasons: they give a uniform way to treat all previous disparate definitions of varieties, including affine, projective, quasi-projective, and abstract varieties, and there is a huge variety of schemes that are not classical varieties. Also, the theory of varieties is most successful when the points on the varieties have values in an algebraically closed field. By contrast, important problems in arithmetic geometry involve studying arithmetic properties of points on varieties, which cannot be done by working over an algebraically closed field. Schemes have proven to be effective at overcoming this difficulty.

The theory of schemes was pioneered by Alexander Grothendieck. The foundations of scheme theory were initially organized in Grothendieck's multi-volume work Éléments de Géométrie Algébrique with the assistance of Jean Dieudonné.

A number of technical definitions and procedures are outlined in the glossary of scheme theory.

The Category of Schemes[edit]

A scheme ${\displaystyle (X,{{𝒪}}_X)}$ consists of a topological space ${\displaystyle X}$ together with a sheaf ${\displaystyle {{𝒪}}_X}$ of rings (called the structural sheaf on ${\displaystyle X}$) such that every point of ${\displaystyle X}$ has an open neighborhood ${\displaystyle U}$ such that the locally ringed space ${\displaystyle (U,{{𝒪}}_X{|}_U)}$ is isomorphic to an affine scheme.

Projective Schemes constitute an important class of schemes, especially for the study of curves.

The category of schemes is defined by taking morphisms of schemes to be morphisms of locally ringed spaces. Many kinds of morphisms of schemes are characterized affine-locally, in the sense that

Gluing Properties[edit]

The notion of "gluing" is one of the central ideas in the theory of schemes. Let ${\displaystyle S}$ be a scheme, and ${\displaystyle (X_i{)}_{i\in I}}$ a family of ${\displaystyle S}$-schemes. If we're given families ${\displaystyle (X_{ij}{)}_{j\in I}}$ and ${\displaystyle S}$-isomorphisms ${\displaystyle f_{ij}:X_{ij}\to X_{ji}}$ such that: ${\displaystyle f_{ii}=i{d}_{X_i}}$, ${\displaystyle f_{ij}(X_{ij}\cap X_{ik})=X_{ji}\cap X_{jk}}$, and ${\displaystyle f_{ik}=f_{jk}\circ f_{ij}}$ on ${\displaystyle X_{ij}\cap X_{ik}}$ for all ${\displaystyle i,j,k\in I}$, then there is an ${\displaystyle S}$-scheme ${\displaystyle X}$ together with ${\displaystyle S}$-immersions ${\displaystyle g_i:X_i\to X}$ such that ${\displaystyle g_i=g_j\circ f_{i}j}$ on ${\displaystyle X_{ij}}$ and so that ${\displaystyle X=\bigcup _{i\in I}{g}_i(X_i)}$. This scheme ${\displaystyle X}$ is called the gluing over ${\displaystyle S}$ of the ${\displaystyle X_i}$ along the ${\displaystyle X_{ij}}$.

The ${\displaystyle S}$-scheme ${\displaystyle X}$ is universal for the property above: i.e., for any ${\displaystyle S}$-scheme ${\displaystyle Z}$ and family of morphisms ${\displaystyle u_i:X_i\to Z}$ such that ${\displaystyle u_i=u_j\circ f_{ij}}$ on ${\displaystyle X_{ij}}$, then there is a unique morphism ${\displaystyle u:X\to Z}$ such that ${\displaystyle u_i=u\circ g_i}$. Moreover, if ${\displaystyle Z}$ is a scheme, then giving a morphism ${\displaystyle u:Z\to X}$ is equivalent to giving an open covering ${\displaystyle (Z_i{)}_{i\in I}}$ of ${\displaystyle Z}$ and morphisms ${\displaystyle u_i:Z_i\to X_i}$ such that ${\displaystyle u_j=f_{ij}\circ u_i}$ on ${\displaystyle Z_i\cap Z_j}$.

==Morphisms of Schemes==