Morphisme affine

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

Définition

Si X est un schéma, un ouvert affine de X est une partie ouverte U de X qui, munie de la structure de schéma induite par celle de X, soit un schéma affine.

Soit f : X\to Y un morphisme de schémas. On dit que f est un morphisme affine si pour tout ouvert affine V de Y, f − 1(V) est un ouvert affine de X.

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 f − 1(Vi) soit un ouvert affine de X pour tout i.

Exemples

  • Un morphisme entre deux schémas affines est toujours affine.
  • Une immersion ouverte dans un schéma affine n'est affine que si le schéma de départ est également affine.

Propriétés

  • Une immersion fermée est un morphisme affine.
  • La composition de morphismes affines est affine.

Construction

Un morphisme affine f : X\to Y induit un faisceau quasi-cohérent d'algèbres f_*\mathcal O_X sur \mathcal O_Y.

Inversement, si \mathcal A est un faisceau quasi-cohérent d'algèbres sur \mathcal O_Y, alors on peut définir un Y-schéma \pi: \mathrm{Spec} \mathcal A\to Y tel que pour tout ouvert affine V de Y, \pi^{-1}(V)=\mathrm{Spec} (\mathcal A(V)).

Soit \mathcal E un faisceau localement libre de rang r. On peut considérer le faisceau d'algèbres symétriques \mathrm{Sym}(\mathcal E). Le morphisme affine \rho : \mathrm{Spec} (\mathrm{Sym}(\mathcal E))\to Y est alors un fibré vectoriel[1]de rang r. Pour tout ouvert affine V de Y sur lequel \mathcal E est libre, ρ − 1(V) est isomorphe à l'espace affine \mathbb A^r_{V} sur V.

Morphismes finis

Un morphisme fini est un morphisme affine f : X\to Y tel que f_*\mathcal O_X soit quasi-cohérent de type fini. Cela revient à dire que pour tout ouvert affine V de Y, f − 1(V) est affine, et \mathcal O_X(f^{-1}(V)) est fini sur \mathcal O_Y(V) (en tant que module). Il suffit que cette propriété soit vraie sur un recouvrement affine de Y.

Comme pour les morphismes affines, on a que les immersions fermés sont finies, et que la classe des morphismes finis est stable par composition, produit fibré et changement de base.

Les morphismes finis sont de type fini et même propres.

Si f est fini, alors f − 1(y) est fini (comme ensemble) pour tout point y de Y. Mais cette propriété ne caractérise pas les morphismes finis. Par exemple toute immersion ouverte vérifie cette propriété, mais une immersion ouverte n'est fini que si elle est aussi fermée.

Notes

  1. ↑ Hartshorne, Exercise II.5.18.

Bibliographie

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

(en) R. Hartshorne: Algebraic Geometry, Springer Verlag, 1977. Graduate Texts in Maths. 52.


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • AFFINE (APPLICATION) — AFFINE APPLICATI Soit E et F deux espaces vectoriels sur un corps commutatif K et A et B des espaces affines attachés à E et F. On dit qu’une application u de A dans B est une application linéaire affine (ou application affine) si, quelle que… …   Encyclopédie Universelle

  • Morphisme séparé — En géométrie algébrique, les schémas ne sont généralement pas séparés pour la topologie de Zariski. La notion de schémas séparés, ou plus généralement de morphismes séparés pallie ce défaut et permet de transposer certaines propriétés d unicité… …   Wikipédia en Français

  • 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 1 Définition 2 Lien avec les… …   Wikipédia en Français

  • 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. Sommaire 1 Définition 2 Propriétés générales …   Wikipédia en Français

  • Variété algébrique affine —  Ne doit pas être confondu avec les variétés affines (ou sous espaces affines) en géométrie affine En géométrie algébrique, une variété affine est un modèle local pour les variétés algébriques, c est à dire que celles ci sont obtenues par… …   Wikipédia en Français

  • Connexion affine — Une connexion affine sur la sphère fait rouler le plan affine tangent d un point à un autre. Dans ce déplacement, le point de contact trace une courbe du plan : le développement. En mathématiques, et plus précisément en géométrie… …   Wikipédia en Français

  • Structure affine — Sommaire 1 Définitions d un espace affine 1.1 Définition « générale » 1.2 Définition « naturelle » 1.3 …   Wikipédia en Français

  • Groupe Affine — Les automorphismes d un espace affine A constituent un groupe appelé groupe affine de A et noté GA(A). En notant E l espace vectoriel qui dirige A, l application qui à tout automorphisme u de A fait correspondre l automorphisme f de E associé à u …   Wikipédia en Français

  • Groupe affine — Les automorphismes d un espace affine A constituent un groupe appelé groupe affine de A et noté GA(A). En notant E l espace vectoriel qui dirige A, l application qui à tout automorphisme u de A fait correspondre l automorphisme f de E associé à u …   Wikipédia en Français

  • Schéma (géométrie algébrique) — Pour les articles homonymes, voir Schéma. En géométrie algébrique, un schéma est un espace localement annelé (X,OX) localement isomorphe à un schéma affine. Le faisceau OX est appelé le faisceau structural. Un schéma affine est le spectre d un… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”