Gluing schemes

Last updated October 24, 2024

In algebraic geometry, a new scheme (e.g. an algebraic variety) can be obtained by gluing existing schemes through gluing maps.

Statement

Suppose there is a (possibly infinite) family of schemes $\{X_{i}\}_{i\in I}$ and for pairs $i,j$ , there are open subsets $U_{ij}$ and isomorphisms $\varphi _{ij}:U_{ij}{\overset {\sim }{\to }}U_{ji}$ . Now, if the isomorphisms are compatible in the sense: for each $i,j,k$ ,

$\varphi _{ij}=\varphi _{ji}^{-1}$ ,
$\varphi _{ij}(U_{ij}\cap U_{ik})=U_{ji}\cap U_{jk}$ ,
$\varphi _{jk}\circ \varphi _{ij}=\varphi _{ik}$ on $U_{ij}\cap U_{ik}$ ,

then there exists a scheme X, together with the morphisms $\psi _{i}:X_{i}\to X$ such that^[1]

$\psi _{i}$ is an isomorphism onto an open subset of X,
$X=\cup _{i}\psi _{i}(X_{i}),$
$\psi _{i}(U_{ij})=\psi _{i}(X_{i})\cap \psi _{j}(X_{j}),$
$\psi _{i}=\psi _{j}\circ \varphi _{ij}$ on $U_{ij}$ .

Examples

Projective line

Let $X=\operatorname {Spec} (k[t])\simeq \mathbb {A} ^{1},Y=\operatorname {Spec} (k[u])\simeq \mathbb {A} ^{1}$ be two copies of the affine line over a field k. Let $X_{t}=\{t\neq 0\}=\operatorname {Spec} (k[t,t^{-1}])$ be the complement of the origin and $Y_{u}=\{u\neq 0\}$ defined similarly. Let Z denote the scheme obtained by gluing $X,Y$ along the isomorphism $X_{t}\simeq Y_{u}$ given by $t^{-1}\leftrightarrow u$ ; we identify $X,Y$ with the open subsets of Z.^[2] Now, the affine rings $\Gamma (X,{\mathcal {O}}_{Z}),\Gamma (Y,{\mathcal {O}}_{Z})$ are both polynomial rings in one variable in such a way

\Gamma (X,{\mathcal {O}}_{Z})=k[s]

and

\Gamma (Y,{\mathcal {O}}_{Z})=k[s^{-1}]

where the two rings are viewed as subrings of the function field $k(Z)=k(s)$ . But this means that $Z=\mathbb {P} ^{1}$ ; because, by definition, $\mathbb {P} ^{1}$ is covered by the two open affine charts whose affine rings are of the above form.

Affine line with doubled origin

Let $X,Y,X_{t},Y_{u}$ be as in the above example. But this time let $Z$ denote the scheme obtained by gluing $X,Y$ along the isomorphism $X_{t}\simeq Y_{u}$ given by $t\leftrightarrow u$ .^[3] So, geometrically, $Z$ is obtained by identifying two parallel lines except the origin; i.e., it is an affine line with the doubled origin. (It can be shown that Z is not a separated scheme.) In contrast, if two lines are glued so that origin on the one line corresponds to the (illusionary) point at infinity for the other line; i.e, use the isomorphism $t^{-1}\leftrightarrow u$ , then the resulting scheme is, at least visually, the projective line $\mathbb {P} ^{1}$ .

Fiber products and pushouts of schemes

The category of schemes admits finite pullbacks and in some cases finite pushouts;^[4] they both are constructed by gluing affine schemes. For affine schemes, fiber products and pushouts correspond to tensor products and fiber squares of algebras.

Related Research Articles

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants.

The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural isomorphism.

In commutative algebra, the prime spectrum of a commutative ring R is the set of all prime ideals of R, and is usually denoted by $; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .$

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

In mathematics, a direct limit is a way to construct a object from many objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms between those smaller objects. The direct limit of the objects $, where ranges over some directed set, is denoted by . This notation suppresses the system of homomorphisms; however, the limit depends on the system of homomorphisms.$

In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in $of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety.$

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 mathematics, a gerbe is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2. They can be seen as an analogue of fibre bundles where the fibre is the classifying stack of a group. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry. In addition, special cases of gerbes have been used more recently in differential topology and differential geometry to give alternative descriptions to certain cohomology classes and additional structures attached to them.

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.

In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes.

In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature. More precisely, they are two equivalent representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields.

Chow's lemma, named after Wei-Liang Chow, is one of the foundational results in algebraic geometry. It roughly says that a proper morphism is fairly close to being a projective morphism. More precisely, a version of it states the following:

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.

The concept of a Projective space plays a central role in algebraic geometry. This article aims to define the notion in terms of abstract algebraic geometry and to describe some basic uses of projective spaces.

In mathematics, the Kodaira–Spencer map, introduced by Kunihiko Kodaira and Donald C. Spencer, is a map associated to a deformation of a scheme or complex manifold X, taking a tangent space of a point of the deformation space to the first cohomology group of the sheaf of vector fields on X.

This is a glossary of algebraic geometry.

In algebraic geometry, a prestackF over a category C equipped with some Grothendieck topology is a category together with a functor p: F → C satisfying a certain lifting condition and such that locally isomorphic objects are isomorphic. A stack is a prestack with effective descents, meaning local objects may be patched together to become a global object.

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times the restriction of s for any f in O(U) and s in F(U).

Faithfully flat descent is a technique from algebraic geometry, allowing one to draw conclusions about objects on the target of a faithfully flat morphism. Such morphisms, that are flat and surjective, are common, one example coming from an open cover.

References

↑ Hartshorne 1977 , Ch. II, Exercise 2.12.
↑ Vakil 2017 , § 4.4.6.
↑ Vakil 2017 , § 4.4.5.
↑ "Section 37.14 (07RS): Pushouts in the category of schemes, I—The Stacks project".

Hartshorne, Robin (1977), Algebraic Geometry , Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Vakil, Ravi (November 18, 2017). "Math 216: Foundations of algebraic geometry".