Morphisme de type fini


Morphisme de type fini

En géométrie algébrique, un morphisme de type fini peut être pensé comme une famille de variétés algébriques paramétrée par un schéma de base. C'est un des types de morphismes les plus couramment étudiés.

Sommaire

Définition

Soit f : X\to Y un morphisme de schémas. On dit que f est de type fini si pour tout ouvert affine V de Y, f − 1(V) est quasi-compact (i.e. réunion finie d'ouverts affines) et que pour tout ouvert affine U contenu dans f − 1(V), le morphisme canonique O_Y(V)\to O_X(U) est de type fini.

On montre que cette propriété est équivalente à la suivante qui est plus facilement vérifiable: il existe un recouvrement de Y par des ouverts affines Vi tels que chaque f − 1(Vi) soit la réunion d'un nombre fini d'ouverts affines Uij avec O_Y(V_i)\to O_X(U_{ij}) de type fini.

On dira aussi que X est un schéma de type fini sur Y. Lorsque Y = SpecA, on dit aussi que X est de type fini sur A.

Exemples

  • Si A\to B est un morphisme d'anneaux de type fini, alors le morphisme de schémas associé \mathrm{Spec } B\to \mathrm{Spec A} est de type fini. En particulier, si A = k est un corps et B une algèbre de type fini sur A, alors SpecB est une variété algébrique sur k.
  • Un espace projectif {\mathbb P}^n_A est de type fini sur A.

Lien avec les variétés algébriques

On fixe un corps k.

Soit X un schéma de type fini sur k. Soit X0 le sous-ensemble des points fermés de X, muni de la topologie induite par celle de X et on note i : X^0\to X l'inclusion canonique. Alors le couple (X0,i − 1OX) est un espace localement annelé isomorphe à une variété algébrique.

Ce procédé définit un foncteur de la catégorie des schémas de type fini sur k vers la catégorie des variétés algébriques sur k. On montre que ce foncteur est une équivalence de catégories. Ainsi, les points de vue schémas de type de fini et variétés algébriques sont essentiellement équivalentes.

Propriétés

  • Une immersion fermée est un morphisme de type fini.
  • Une immersion ouverte dans un schéma noethérien est de type fini.
  • La composition de morphismes de type fini est de type fini.
  • Si X\to Y est de type fini et si Z\to Y est un morphisme de schémas, alors le changement de base X\times_Y Z\to Z est de type fini.
  • En particulier, pour tout point y\in Y, la fibre X_y=X\times_Y \mathrm{Spec }k(y) est de type fini sur le corps résiduel k(y), c'est donc une variété algébrique sur k(y). Ainsi X\to Y peut être vu comme la famille des variétés algébriques Xy paramétrée par les points de Y, et sur des corps de base éventuellement variables.

Si on considère \mathrm{Spec }(\mathbb Z[T]) \to \mathrm{Spec }\mathbb Z, les fibres sont les droites affines \mathbb A^1_{\mathbb Q} (fibre au-dessus du point correspondant à l'idéal nul de \mathbb Z) et les \mathbb A^1_{{\mathbb F}_p} (fibre au-dessus du point correspondant à l'idéal maximal p\mathbb Z de \mathbb Z) pour les nombres premiers p. En quelque sorte \mathrm{Spec }(\mathbb Z[T]) encode les droites affines sur tous les corps premiers.

Bibliographie

A. Grothendieck et J. Dieudonné: Éléments de géométrie algébrique, Chapitre I. Springer Verlag, 1971. - (Grundlehren der Mathematischen Wissenschaften; 166).


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Morphisme de type fini de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Algèbre de type fini — Pour les articles homonymes, voir Algèbre (homonymie). En algèbre commutative, la notion d algèbre de type fini est une première généralisation des anneaux de polynômes à un nombre fini d indéterminées. Ces algèbres possèdent de bonnes propriétés …   Wikipédia en Français

  • Groupe Abélien De Type Fini — Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi de composition interne est… …   Wikipédia en Français

  • Groupe abelien de type fini — Groupe abélien de type fini Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi… …   Wikipédia en Français

  • Morphisme affine — En géométrie algébrique, un morphisme affine peut être pensé comme une famille de schémas affines paramétrée par un schéma de base. Sommaire 1 Définition 2 Propriétés 3 Construction 4 …   Wikipédia en Français

  • Algebre d'un groupe fini — Algèbre d un groupe fini En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l… …   Wikipédia en Français

  • Algèbre D'un Groupe Fini — En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l ordre du groupe et d une… …   Wikipédia en Français

  • Algèbre d'un groupe fini — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, l algèbre d un groupe fini est un cas particulier d algèbre d un monoïde qui s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un… …   Wikipédia en Français

  • Representations d'un groupe fini — Représentations d un groupe fini En mathématiques, un groupe est une structure algébrique dont la définition est remarquablement simple. Elle consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle… …   Wikipédia en Français

  • Représentations d'un groupe fini — En mathématiques, un groupe est une structure algébrique qui consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle est associative, il existe un élément neutre et tout élément admet un inverse. Un …   Wikipédia en Français

  • Groupe Fini — En mathématiques, un groupe fini est un groupe constitué d un nombre fini d éléments, c est à dire que son cardinal est fini. Sommaire 1 Introduction 2 Parité de l ordre et involution 3 Exemples …   Wikipédia en Français