Algebraic space

Algebraic space

In mathematics, an algebraic space is a generalization of the schemes of algebraic geometry introduced by Michael Artin for use in deformation theory.


An algebraic space "X" comprises a schemeOne can always assume that "U" is an affine scheme. Doing so means that the theory of algebraic spaces is not dependent on the full theory of schemes, and can indeed be used as a (more general) replacement of that theory.] "U" and a closed subscheme "R" ⊂ "U" × "U" satisfying the following two conditions:

:1. "R" is an equivalence relation as a subset of "U" × "U":2. The projections "p""i": "R" → "U" onto each factor are étale maps.

If a third condition

:3. "R" is the trivial equivalence relation over each connected component of "U"

is satisfied, then the algebraic space will be a scheme in the usual sense. Thus, an algebraic space allows a single connected component of "U" to cover "X" with many "sheets". The point set underlying the algebraic space "X" is then given by |"U"| / |"R"| as a set of equivalence classes.

Let "Y" be an algebraic space defined by an equivalence relation "S" ⊂ "V" × "V". The set Hom("Y", "X") of morphisms of algebraic spaces is then defined by the condition that it makes the descent sequence

:mathrm{Hom}(Y, X) ightarrow mathrm{Hom}(V, X) {} atop longrightarrow}atop{longrightarrow atop {} mathrm{Hom}(S, X)

exact (this definition is motivated by a descent theorem of Grothendieck for surjective étale maps of affine schemes). With these definitions, the algebraic spaces form a category.

Let "U" be an affine scheme over a field "k" defined by a system of polynomials "g"("x"), "x" = ("x"1, …, "x""n"), let

:"k"{"x"1, …, "x""n"}

denote the ring of algebraic functions in "x" over "k", and let "X" = {"R" ⊂ "U" × "U"} be an algebraic space.

The appropriate stalks "Õ""X", "x" on "X" are then defined to be the local rings of algebraic functions defined by "Õ""U", "u", where "u" ∈ "U" is a point lying over "x" and "Õ""U", "u" is the local ring corresponding to "u" of the ring

:"k"{"x"1, …, "x""n"} / ("g")

of algebraic functions on "U".

A point on an algebraic space is said to be smooth if "Õ""X", "x" ≅ "k"{"z"1, …, "z""d"} for some indeterminates "z"1, …, "z""d". The dimension of "X" at "x" is then just defined to be "d".

A morphism "f": "Y" → "X" of algebraic spaces is said to be étale at "y" ∈ "Y" (where "x" = "f"("y")) if the induced map on stalks

:"Õ""X", "x" → "Õ""Y", "y"

is an isomorphism.

The structure sheaf "O""X" on the algebraic space "X" is defined by associating the ring of functions "O"("V") on "V" (defined by étale maps from "V" to the affine line A1 in the sense just defined) to any algebraic space "V" which is étale over "X".

Facts about algebraic spaces

* Algebraic curves are schemes.
* Non-singular algebraic surfaces are schemes.
* Algebraic spaces with group structure are schemes.
* Not every singular algebraic surface is a scheme.
* Not every non-singular 3-dimensional algebraic space is a scheme.
* Every algebraic space contains a dense open affine subscheme, and the complement of such a subscheme always has codimension ≥ 1. Thus algebraic spaces are in a sense "close" to affine schemes.


"To be written"

ee also

* Algebraic stack



* Artin, Michael. "Algebraic Spaces". Yale University Press, 1971.
* Knutson, Donald. "Algebraic Spaces". Springer Lecture Notes in Mathematics, 203, 1971.

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Space (mathematics) — This article is about mathematical structures called spaces. For space as a geometric concept, see Euclidean space. For all other uses, see space (disambiguation). A hierarchy of mathematical spaces: The inner product induces a norm. The norm… …   Wikipedia

  • Algebraic topology — is a branch of mathematics which uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism. In many situations this is too much to hope for… …   Wikipedia

  • Algebraic holography — Algebraic holography, also sometimes called Rehren duality , is an attempt to understand the holographic principle of quantum gravity within the framework of algebraic quantum field theory, due to Karl Henning Rehren. It is sometimes described as …   Wikipedia

  • Algebraic character — is a formal expression attached to a module in representation theory of semisimple Lie algebras that generalizes the character of a finite dimensional representation and is analogous to the Harish Chandra character of the representations of… …   Wikipedia

  • Algebraic notation (chess) — Algebraic notation Algebraic notation (or AN) is a method for recording and describing the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, AN… …   Wikipedia

  • Algebraic chess notation — is used to record and describe the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, it replaced the parallel system of descriptive chess notation …   Wikipedia

  • Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

  • Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

  • Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

  • Algebraic variety — This article is about algebraic varieties. For the term a variety of algebras , and an explanation of the difference between a variety of algebras and an algebraic variety, see variety (universal algebra). The twisted cubic is a projective… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”