Séance de cours

Finite Maps: Morphisme des schémas

Graph Chat

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.

Description

Cette séance de cours sur les cartes finies couvre le concept de morphisme des schémas, définissant la couverture de l'affine et l'homomorphisme intégral. Il explore les propriétés des cartes finies, comme être quasi-finite et dominante. La séance de cours se penche également sur l'extension intégrale des anneaux et sur l'importance de la surjectivité dans le contexte des schémas.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Concepts associés (32)

É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.

Quasi-finite morphism

In algebraic geometry, a branch of mathematics, a morphism f : X → Y of schemes is quasi-finite if it is of finite type and satisfies any of the following equivalent conditions: Every point x of X is isolated in its fiber f−1(f(x)). In other words, every fiber is a discrete (hence finite) set. For every point x of X, the scheme f−1(f(x)) = X ×YSpec κ(f(x)) is a finite κ(f(x)) scheme. (Here κ(p) is the residue field at a point p.) For every point x of X, is finitely generated over .

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).

Élément entier

En mathématiques, et plus particulièrement en algèbre commutative, les éléments entiers sur un anneau commutatif sont à la fois une généralisation des entiers algébriques (les éléments entiers sur l'anneau des entiers relatifs) et des éléments algébriques dans une extension de corps. C'est une notion très utile en théorie algébrique des nombres et en géométrie algébrique. Son émergence a commencé par l'étude des entiers quadratiques, en particulier les entiers de Gauss. On fixe un anneau commutatif A.

Morphisme plat

En géométrie algébrique, un morphisme de schémas peut être vu comme une famille de schémas paramétrée par les points de Y. La notion de platitude de f est une sorte de continuité de cette famille. Un morphisme est dit plat en un point x de X si l'homomorphisme d'anneaux induit par f est plat. On dit que f est un morphisme plat s'il est plat en tout point de X. On dit que f est fidèlement plat s'il est de plus surjectif. Si est un faisceau quasi-cohérent sur X.

Afficher plus

Séances de cours associées (64)

Théorie des anneaux : Morphismes et isomorphismes

Couvre les morphismes d'anneaux commutatifs, les sous-anneaux et les morphismes d'anneaux injectifs.

Morphismes entre variétés affines

Couvre la définition des morphismes entre les variétés algébriques affines et la construction de morphismes en utilisant des homomorphismes algébriques.

Morphisme des groupes

Couvre le concept de morphisme de groupes, d'actions sur des ensembles et d'automorphismes.

Propriétés de levage dans les catégories de modèle: un aperçu

Fournit un aperçu des propriétés de levage dans les catégories de modèles, en se concentrant sur leurs définitions et leurs implications pour les morphismes et les diagrammes commutatifs.

Functor Hom: Groupes abeliens

Explore le functeur Hom dans les groupes abeliens, en se concentrant sur sa construction et ses propriétés.

Afficher plus

Concepts associés (32)

Étale morphism

Quasi-finite morphism