Concept

Closed immersion

In algebraic geometry, a closed immersion of schemes is a morphism of schemes that identifies Z as a closed subset of X such that locally, regular functions on Z can be extended to X. The latter condition can be formalized by saying that is surjective. An example is the inclusion map induced by the canonical map . The following are equivalent: is a closed immersion. For every open affine , there exists an ideal such that as schemes over U. There exists an open affine covering and for each j there exists an ideal such that as schemes over . There is a quasi-coherent sheaf of ideals on X such that and f is an isomorphism of Z onto the global Spec of over X. In the case of locally ringed spaces a morphism is a closed immersion if a similar list of criteria is satisfied The map is a homeomorphism of onto its image The associated sheaf map is surjective with kernel The kernel is locally generated by sections as an -module The only varying condition is the third. It is instructive to look at a counter-example to get a feel for what the third condition yields by looking at a map which is not a closed immersion, whereIf we look at the stalk of at then there are no sections. This implies for any open subscheme containing the sheaf has no sections. This violates the third condition since at least one open subscheme covering contains . A closed immersion is finite and radicial (universally injective). In particular, a closed immersion is universally closed. A closed immersion is stable under base change and composition. The notion of a closed immersion is local in the sense that f is a closed immersion if and only if for some (equivalently every) open covering the induced map is a closed immersion. If the composition is a closed immersion and is separated, then is a closed immersion. If X is a separated S-scheme, then every S-section of X is a closed immersion. If is a closed immersion and is the quasi-coherent sheaf of ideals cutting out Z, then the direct image from the category of quasi-coherent sheaves over Z to the category of quasi-coherent sheaves over X is exact, fully faithful with the essential image consisting of such that .

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Séances de cours associées (8)
Publications associées (1)

Unlikely intersections on the p-adic formal ball

Vlad Serban

We investigate generalizations along the lines of the Mordell-Lang conjecture of the author's p-adic formal Manin-Mumford results for n-dimensional p-divisible formal groups F. In particular, given a finitely generated subgroup (sic) of F(Q(p)) and a close ...
SPRINGER INT PUBL AG2023
Concepts associés (5)
Morphism of algebraic varieties
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.
Smooth scheme
In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. First, let X be an affine scheme of finite type over a field k. Equivalently, X has a closed immersion into affine space An over k for some natural number n.
Morphism of schemes
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. A morphism of algebraic stacks generalizes a morphism of schemes. By definition, a morphism of schemes is just a morphism of locally ringed spaces. A scheme, by definition, has open affine charts and thus a morphism of schemes can also be described in terms of such charts (compare the definition of morphism of varieties).
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.