Algebraic space

Last updated February 08, 2024

In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin ^[1] for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer étale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the étale topology.

The resulting category of algebraic spaces extends the category of schemes and allows one to carry out several natural constructions that are used in the construction of moduli spaces but are not always possible in the smaller category of schemes, such as taking the quotient of a free action by a finite group (cf. the Keel–Mori theorem).

Definition

There are two common ways to define algebraic spaces: they can be defined as either quotients of schemes by étale equivalence relations, or as sheaves on a big étale site that are locally isomorphic to schemes. These two definitions are essentially equivalent.

Algebraic spaces as quotients of schemes

An algebraic spaceX comprises a scheme 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.

Some authors, such as Knutson, add an extra condition that an algebraic space has to be quasi-separated, meaning that the diagonal map is quasi-compact.

One can always assume that R and U are affine schemes. 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.

If R is the trivial equivalence relation over each connected component of U (i.e. for all x, y belonging to the same connected component of U, we have xRy if and only if x=y), then the algebraic space will be a scheme in the usual sense. Since a general algebraic space X does not satisfy this requirement, it 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)\rightarrow \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₁, ..., x_n), let

k\{x_{1},\ldots ,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₁, ..., x_n} / (g)

of algebraic functions on U.

A point on an algebraic space is said to be smooth if Õ_X_{, x} ≅ k{z₁, ..., z_d} for some indeterminates z₁, ..., 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 sheafO_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 A¹ in the sense just defined) to any algebraic space V which is étale over X.

Algebraic spaces as sheaves

An algebraic space ${\mathfrak {X}}$ can be defined as a sheaf of sets

{\mathfrak {X}}:({\text{Sch}}/S)_{\text{et}}^{op}\to {\text{Sets}}

such that

There is a surjective étale morphism $h_{X}\to {\mathfrak {X}}$
the diagonal morphism $\Delta _{{\mathfrak {X}}/S}:{\mathfrak {X}}\to {\mathfrak {X}}\times {\mathfrak {X}}$ is representable.

The second condition is equivalent to the property that given any schemes $Y,Z$ and morphisms $h_{Y},h_{Z}\to {\mathfrak {X}}$ , their fiber-product of sheaves

h_{Y}\times _{\mathfrak {X}}h_{Z}

is representable by a scheme over $S$ . Note that some authors, such as Knutson, add an extra condition that an algebraic space has to be quasi-separated, meaning that the diagonal map is quasi-compact.

Algebraic spaces and schemes

Algebraic spaces are similar to schemes, and much of the theory of schemes extends to algebraic spaces. For example, most properties of morphisms of schemes also apply to algebraic spaces, one can define cohomology of quasicoherent sheaves, this has the usual finiteness properties for proper morphisms, and so on.

Proper algebraic spaces over a field of dimension one (curves) are schemes.
Non-singular proper algebraic spaces of dimension two over a field (smooth surfaces) are schemes.
Quasi-separated group objects in the category of algebraic spaces over a field are schemes, though there are non quasi-separated group objects that are not schemes.
Commutative-group objects in the category of algebraic spaces over an arbitrary scheme which are proper, locally finite presentation, flat, and cohomologically flat in dimension 0 are schemes.
Not every singular algebraic surface is a scheme.
Hironaka's example can be used to give a non-singular 3-dimensional proper algebraic space that is not a scheme, given by the quotient of a scheme by a group of order 2 acting freely. This illustrates one difference between schemes and algebraic spaces: the quotient of an algebraic space by a discrete group acting freely is an algebraic space, but the quotient of a scheme by a discrete group acting freely need not be a scheme (even if the group is finite).
Every quasi-separated 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.
The quotient of the complex numbers by a lattice is an algebraic space, but is not an elliptic curve, even though the corresponding analytic space is an elliptic curve (or more precisely is the image of an elliptic curve under the functor from complex algebraic spaces to analytic spaces). In fact this algebraic space quotient is not a scheme, is not complete, and is not even quasi-separated. This shows that although the quotient of an algebraic space by an infinite discrete group is an algebraic space, it can have strange properties and might not be the algebraic space one was "expecting". Similar examples are given by the quotient of the complex affine line by the integers, or the quotient of the complex affine line minus the origin by the powers of some number: again the corresponding analytic space is a variety, but the algebraic space is not.

Algebraic spaces and analytic spaces

Algebraic spaces over the complex numbers are closely related to analytic spaces and Moishezon manifolds.

Roughly speaking, the difference between complex algebraic spaces and analytic spaces is that complex algebraic spaces are formed by gluing affine pieces together using the étale topology, while analytic spaces are formed by gluing with the classical topology. In particular there is a functor from complex algebraic spaces of finite type to analytic spaces. Hopf manifolds give examples of analytic surfaces that do not come from a proper algebraic space (though one can construct non-proper and non-separated algebraic spaces whose analytic space is the Hopf surface). It is also possible for different algebraic spaces to correspond to the same analytic space: for example, an elliptic curve and the quotient of C by the corresponding lattice are not isomorphic as algebraic spaces, but the corresponding analytic spaces are isomorphic.

Artin showed that proper algebraic spaces over the complex numbers are more or less the same as Moishezon spaces.

Generalization

A far-reaching generalization of algebraic spaces is given by algebraic stacks. In the category of stacks we can form even more quotients by group actions than in the category of algebraic spaces (the resulting quotient is called a quotient stack).

Citations

↑ Artin 1969; Artin 1971.

Related Research Articles

In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C that makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.

In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field $k$ of some family of polynomials in the polynomial ring $An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.$

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space $over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .$

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct ℓ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type.

In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by $,, or, is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme, which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.$

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In mathematics, an algebraic stack is a vast generalization of algebraic spaces, or schemes, which are foundational for studying moduli theory. Many moduli spaces are constructed using techniques specific to algebraic stacks, such as Artin's representability theorem, which is used to construct the moduli space of pointed algebraic curves $and the moduli stack of elliptic curves. Originally, they were introduced by Alexander Grothendieck to keep track of automorphisms on moduli spaces, a technique which allows for treating these moduli spaces as if their underlying schemes or algebraic spaces are smooth. After Grothendieck developed the general theory of descent, and Giraud the general theory of stacks, the notion of algebraic stacks was defined by Michael Artin.$

In algebraic geometry, an étale morphism is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.

The étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces.

In algebraic geometry, the étale topology is a Grothendieck topology on the category of schemes which has properties similar to the Euclidean topology, but unlike the Euclidean topology, it is also defined in positive characteristic. The étale topology was originally introduced by Alexander Grothendieck to define étale cohomology, and this is still the étale topology's most well-known use.

In mathematics, the flat topology is a Grothendieck topology used in algebraic geometry. It is used to define the theory of flat cohomology; it also plays a fundamental role in the theory of descent. The term flat here comes from flat modules.

In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.

In algebraic geometry, the Nisnevich topology, sometimes called the completely decomposed topology, is a Grothendieck topology on the category of schemes which has been used in algebraic K-theory, A¹ homotopy theory, and the theory of motives. It was originally introduced by Yevsey Nisnevich, who was motivated by the theory of adeles.

In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the concepts of rational and birational maps are widely used as well; they are partial functions that are defined locally by rational fractions instead of polynomials.

This is a glossary of algebraic geometry.

In geometry, Hironaka's example is a non-Kähler complex manifold that is a deformation of Kähler manifolds found by Heisuke Hironaka. Hironaka's example can be used to show that several other plausible statements holding for smooth varieties of dimension at most 2 fail for smooth varieties of dimension at least 3.

In algebraic geometry, a Deligne–Mumford stack is a stack F such that

References

Artin, Michael (1969), "The implicit function theorem in algebraic geometry", in Abhyankar, Shreeram Shankar (ed.), Algebraic geometry: papers presented at the Bombay Colloquium, 1968, of Tata Institute of Fundamental Research studies in mathematics, vol. 4, Oxford University Press, pp. 13–34, MR 0262237
Artin, Michael (1971), Algebraic spaces, Yale Mathematical Monographs, vol. 3, Yale University Press, ISBN 978-0-300-01396-2, MR 0407012
Knutson, Donald (1971), Algebraic spaces, Lecture Notes in Mathematics, vol. 203, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0059750, ISBN 978-3-540-05496-2, MR 0302647

External links

Danilov, V.I. (2001) [1994], "Algebraic space", Encyclopedia of Mathematics , EMS Press
Algebraic space in the stacks project

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[FOOTNOTEArtin1969Artin1971-1] Artin 1969; Artin 1971.

[1]