View source for Algebraic space

A generalization of the concepts of a [[Scheme|scheme]] and an [[Algebraic variety|algebraic variety]]. This generalization is the result of certain constructions in algebraic geometry: Hilbert schemes, Picard schemes, moduli varieties, contractions, which are often not realizable in the category of schemes and require its extensions. However, the category of algebraic spaces is closed under these constructions, which renders the algebraic space a natural object of algebraic geometry.

Any scheme $S$ defines some sheaf $\tilde S$ in the [[Etale topology|étale topology]] of the category of schemes, which in turn uniquely defines the scheme $S$. An algebraic space is a sheaf of sets $F$ in the étale topology of schemes satisfying the condition of local representability (in the étale topology): There exists a scheme $U$ and a sheaf morphism $\tilde U \rightarrow F$ such that for any scheme $V$ and morphism $\tilde V \rightarrow F$ the fibred product $\tilde U \times_F \tilde V$ is represented by a scheme $Z$, and the induced morphism of schemes $Z \rightarrow V$ is a surjective étale morphism. The scheme $U$ is known as the étale covering of the sheaf $F$, which is a quotient sheaf of the sheaf $\tilde U$ according to the étale equivalence relation $\tilde U \times_F \tilde U$. This last proposition reveals the geometric sense of an algebraic space as a quotient scheme according to the étale equivalence relation. Morphisms of an algebraic space are defined as morphisms of sheaves; the category of schemes becomes identical with a complete subcategory of the category of algebraic spaces.

Many concepts in the theory of schemes are applicable to algebraic spaces: point, local ring, étale topology, Zariski topology, field of functions, structure sheaf and coherent sheaves. Many results in the theory of schemes such as Serre's affinity criterion (cf. [[Affine scheme|Affine scheme]]), and the theorem of finiteness and existence of a proper morphism, can be applied to algebraic spaces.

Finer results include the representability of Picard and Hilbert functors in the category of algebraic spaces. If a flat equivalence relation is given on an algebraic space, then the factorization by this relation yields an algebraic space (such a situation occurs, for example, when there is a free action of a finite group on the space). Finally, an algebraic space permits a contraction of a subspace with an ample conormal sheaf.

All algebraic spaces contain a subspace that is open and dense in the Zariski topology and that is a scheme. One-dimensional and non-singular two-dimensional algebraic spaces are schemes, but this is not true of three-dimensional or singular two-dimensional algebraic spaces; a group in the category of algebraic spaces over a field is a scheme. Complete algebraic spaces of dimension $n$ over the field of complex numbers have the natural structure of a compact analytic space with $n$ algebraically-independent meromorphic functions.

====References====
<table>
<TR><TD valign="top">[1]</TD> <TD valign="top"> M. Artin, "Algebraic spaces" , Yale Univ. Press (1969) {{MR|0427316}} {{MR|0407012}} {{ZBL|0232.14003}} {{ZBL|0226.14001}} {{ZBL|0216.05501}} </TD></TR>
<TR><TD valign="top">[2]</TD> <TD valign="top"> D. Knutson, "Algebraic spaces" , Springer (1971) {{MR|0302647}} {{ZBL|0221.14001}} </TD></TR>
</table>



====Comments====
The notion of an algebraic space was introduced by M. Artin and, in a slightly different but equivalent form, it was studied by B. Moishezon [[#References|[a1]]]. The theorem cited at the end of the article (on subspaces) is due to him.

====References====
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top"> B. Moishezon, "Algebraic varieties and compact complex spaces" , ''Proc. Internat. Congress Mathematicians (Nice, 1970)'' , '''2''' , Gauthier-Villars (1971) pp. 643–648 {{MR|0425189}} {{ZBL|0232.14004}} </TD></TR>
</table>

{{TEX|done}}