Concept

Algebraic space

In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin 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 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). There are two common ways to define algebraic spaces: they can be defined as either quotients of schemes by etale equivalence relations, or as sheaves on a big etale site that are locally isomorphic to schemes. These two definitions are essentially equivalent. An algebraic space X comprises a scheme U and a closed subscheme R ⊂ U × U satisfying the following two conditions:

R is an equivalence relation as a subset of U × U
The projections pi: 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.

Official source

https://en.wikipedia.org/wiki/Algebraic_space

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related lectures (3)

Algebraic Quotients

Covers the concept of algebraic quotients in the context of a-variety.

Albanese Morphism: Kodaira Dimension Zero

Explores the Albanese morphism of varieties with Kodaira dimension zero in positive characteristic.

Quadratic Forms and Symmetric Matrices

Explores examples of algebraic quotients using invariance maps and discriminant.

Related people (1)

Mathieu Huruguen

Teaching & PhD Courses Algèbre linéaire et géométrie (pour MAN) PREPA-032(a) We present the fundamental notions of linear algebra in the geometric context where they emerged. We will therefore emphasize the dimensions 2 and 3, and insist on the visualisation of classical objects and operations in the plane and in the 3D space. Analysis II (for CMS) PREPA-005(a) This class focus on the studies of special functions : trigonometric, logarithmic and exponential functions. Anal

Related concepts (9)

Stack (mathematics)

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. Descent theory is concerned with generalisations of situations where isomorphic, compatible geometrical objects (such as vector bundles on topological spaces) can be "glued together" within a restriction of the topological basis.

Hilbert scheme

In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by . Hironaka's example shows that non-projective varieties need not have Hilbert schemes.

Étale morphism

In algebraic geometry, an étale morphism (etal) 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.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

R is an equivalence relation as a subset of U × U
The projections pi: 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.