Schéma produit

Schéma produit

En géométrie algébrique, le produit de deux schémas (plus exactement de deux schémas au-dessus d'un même schéma de base) est l'équivalent des produits d'anneaux, d'espaces vectoriels, d'espaces topologiques... C'est un outil de base pour construire des schémas, faire du changement de bases etc.

Sommaire

Définition

On fixe un schéma S (appelé schéma de base) et on considère la catégorie des S-schémas. Soient X,Y deux S-schémas. En langage catégoriel, le produit (fibré) de X,Y au-dessus de S est simplement le produit fibré de X\to S, Y\to S dans la catégorie des S-schémas. En terme plus concret, le produit fibré de X,Y au-dessus de S est la donnée d'un S-schéma noté X\times_S Y, et des morphismes (morphismes de projection) p: X\times_S Y\to X, q: X\times_S Y\to Y vérifiant la propriété universelle suivante:

pour tout S-schéma Z et pour tout couple de morphismes de S-schémas f: Z\to X et g: Z\to Y, il existe un unique morphisme h : Z\to X\times_S Y tel que f = ph et g = qh.

Proposition Le produit fibré (X\times_S Y, p, q) existe et est unique à isomorphisme unique près.

Comme toute solution d'un problème universelle, l'unicité découle immédiatement de la définition. L'existence se prouve en se ramenant au produit fibré de deux schémas affines au-dessus d'un schéma affine. On utilise alors le fait que le produit tensoriel de deux algèbres au-dessus d'un anneau commutatif unitaire A est la somme dans la catégorie des A-algèbres, catégorie opposée de la catégorie des A-schémas affines.

Notation On note généralement le produit fibré par X\times_S Y, les morphismes de projection étant sous-entendu. Si S = SpecA est affine, on peut remplacer S par A dans la notation. Le morphisme h: Z\to X\times_S Y dans la propriété universelle ci-dessus se note (f,g).

Premières propriétés

  • Pour tout S-schéma Z, l'application
{\rm Mor}_S(Z, X\times_S Y) \to {\rm Mor}_S(Z, X)\times {\rm Mor}_S(Z, Y)

définie par h \mapsto (ph, qh) est bijective.

  • Si X = SpecA,Y = SpecB et S = SpecR sont affines, alors X\times_S Y={\rm Spec} (A\otimes_R B) et les morphisme de projections p,qsont induits par les homomorphismes d'anneaux A\to A\otimes_R B, B\to A\otimes_R B définis respectivement par a\mapsto a\otimes 1 et b\mapsto 1\otimes b.
  • Si U,V sont des parties ouvertes respectives de X,Y, alors U\times_S V=p^{-1}(U)\cap q^{-1}(V), et les morphismes de projections de U\times_S V sont juste les restrictions de p,q.
  • On a des isomorphismes canoniques
X\times_S Y\to Y\times_S X,
(X\times_S Y)\times_S Z \to X\times_S (Y\times_S Z)
  • Si Z est un Y-schéma, alors on a un isomorphisme canonique
(X\times_S Z)\times_Z Y \to X\times_S Y.

Exemples

  • Si A,B sont des algèbres au-dessus d'un corps k. Alors {\rm Spec} A\times_k {\rm Spec B} est le k-schéma affine associé à la k-algèbre A\otimes_k B.
  • Si A=k[T_1,\ldots, T_n] et B=k[S_1,\ldots, S_m], alors A\otimes_k B=k[T_1,\ldots, T_n, S_1, \ldots, S_m]. Donc {\mathbb A}^n_k \times_k {\mathbb A}^m_k = {\mathbb A}^{n+m}_k.
  • Si A=k[T_1,\ldots, T_n]/I et B=k[S_1,\ldots, S_m]/J, alors A\otimes_k B est le quotient de k[T_1,\ldots, T_n, S_1, \ldots, S_m] par l'idéal engendré par I,J.
  • Le produit de la droite projective {\mathbb P}^1_k par elle-même n'est pas isomorphe au plan projectif {\mathbb P}^2_k. Ce produit est isomorphe à la quadratique x0x3 − x1x2 = 0 de {\mathbb P}^3_k. Plus généralement, le produit de deux variétés projectives est une variété projective (plongement de Segre).
  • {\rm Spec} {\C}\times_{\R} {\rm Spec} \C est une variété algébrique sur \R qui a exactement deux points, alors que chaque composante {\rm Spec} \C n'en a qu'un.

Espace topologique sous-jacent

Les points de X \times_S Y ne sont pas les points du produit cartésien X\times Y en général (cf. l'exemple ci-dessus de {\rm Spec} \C produit au-dessus de \R avec lui-même). Pour les variétés algébriques sur un corps k, on a

(X\times_k Y)(k) = X(k) \times Y(k).

Donc on a un bon contrôle des points rationnels. Cependant, même quand k est algébriquement clos et que l'on se restrient aux points fermés (les points fermés de X\times_k Y est en bijection avec le produit cartésien des points fermés de X et de Y dans ce cas-là), la topologie de Zariski sur le produit X\times Y (produit cartésien) est strictement plus fine que la topologie produit en général. Par exemple, si X = Y sont la droite affine sur k. Alors X\times_k Y est le plan affine Speck[t,s]. L'ouvert de Zariski D(t − s) (le complémentaire de la diagonale) ne contient aucun ouvert non-vide de la forme U\times V avec des ouverts U,V de {\mathbb A}^1_k.

Changement de bases

Le concept du changement de bases est fondamental dans la théorie des schémas. Soit X\to S un S-schéma. Soit T\to un morphisme de schémas. Alors le produit fibré X\times_S T muni de la deuxième projection q: X\times_S T\to T est un T-schéma, et on dit qu'il est obtenu par le changement de bases T\to S. Le T-schéma ainsi obtenu est noté XT. Plus généralement, si f : X\to Y est un morphisme de S-schémas, le produit fibré par T induit un morphisme f_T: X_T\to Y_Y de T-schémas.

  • Par exemple, si B\to C est un homomorphismes d'anneaux (commutatifs unitaires), l'espace affine A^n_C peut être construit à partir de A^n_B en considérant le changement de bases {\rm Spec} C \to {\rm Spec} B.
  • Si K / k est une extension de corps, {\rm Spec} k[T_1, \ldots,T_n]/I devient, après changement de bases {\rm Spec} K \to {\rm Spec} k, {\rm Spec} (K[T_1, \ldots,T_n]/(I)).
  • Similairement, {\rm Proj} k[T_0, \ldots, T_n]/I devient {\rm Proj} (K[T_0, \ldots, T_n]/(I)).

Dans ces deux exemples, le changement de base est donné par une extension de corps. On parle alors d'extension du corps de base ou d'extensions des scalaires. Par exemple, une conique projective non-singulière devient isomorphisme à la droite projective après une extension quadratique séparable du corps de base.

  • Si X est une variété algébrique sur un corps k et si K / k est une extension. Alors X(K) = XK(K) est l'ensemble des points rationnels de XK.

Fibres d'un morphisme

Soit f : X\to Y un morphisme de schémas. Soit y\in Y un point. Ensemblistement, la fibre de f en y est le sous-ensemble f − 1(y) de X. Le produit fibré permet de munir canoniquement ce sous-ensemble d'une structure de schéma. En effet, on a un morphisme canonique {\rm Spec} k(y) \to Y, où k(y) est le corps résiduel de Y en y. Soit X_y:=X\times_Y {\rm Spec} k(y). C'est un k(y)-schéma par la seconde projection. On montre que la projection X\times_Y {\rm Spec} k(y)\to X induit un homéomorphisme de Xs sur f − 1(y). Le k(y)-schéma Xy est appelé la fibre de f en y. Le Y-schéma X peut alors être vu comme la famille des k(y)-schémas, lorsque y parcourt les points de Y.

Si Y est irréductible de point générique η, la fibre Xη est appelée la fibre générique de f. Si y est un point fermé de Y, la fibre Xy est appelée une fibre fermée (ou la fibre spéciale lorsque Y est le spectre d'un anneau de valuation discrète).

Exemples

  • Les fibres du morphisme structural de l'espace affine {\mathbb A}^n_Y sur Y sont des espaces affines {\mathbb A}^n_{k(y)}.
  • Soit X={\rm Spec} (\Z[t, s]/(ts^2-p)) où p est un nombre premier fixé. C'est un \Z-schéma. Sa fibre générique est isomorphe à la droite affine moins l'origine sur le corps des rationnels car p est inversible dans \Q. De même sa fibre en tout premier l (correspondant donc à l'idéal premier l \Z) est isomorphe à la droite affine moins l'origine sur le corps fini Fl à l éléments. En revanche, sa fibre en p, égale à SpecFp[t,s] / (ts2) est la réunion de deux droites affines sur Fp se coupant transversalement en un point. Cette fibre n'est pas réduite car la classe de ts dans le quotient est nilpotent et non-nulle.
  • Soit L / K une extension de corps de nombres et soient OK,OL leurs anneaux d'entiers respectifs. Soit f : {\rm Spec} O_L \to {\rm Spec} O_K induit par l'inclusion des anneaux d'entiers. Alors l'extension L / K est non-ramifiée au-dessus d'un idéal premier \mathfrak p de OK si et seulement si la fibre de f en \mathfrak p est un schéma réduit.
  • Si E est une courbe elliptique sur \Z, son équation de Weierstrass minimale définit un schéma projectif sur \Z (qui est {\rm Proj} \Z[X, Y, Z]/(Y^2Z+a_1XZY+a_3Z^2Y-(X^3+a_2X^2Z+a_4XZ^2+a_6Z^3)). Sa fibre en un nombre premier p (vu comme le point p\Z de {\rm Spec} \Z) est une courbe projective sur le corps premier Fp et est appelée la (ou plutôt une) réduction de E mod p.

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Produit cartesien — Produit cartésien Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé ensemble produit, est l ensemble… …   Wikipédia en Français

  • schéma — [ ʃema ] n. m. • 1867; « figure géométrique » 1765; scema « figure de rhétorique » v. 1350; lat. schema, gr. skhêma « manière d être, figure » 1 ♦ Figure donnant une représentation simplifiée et fonctionnelle (d un objet, d un mouvement, d un… …   Encyclopédie Universelle

  • Schema directeur de la region Ile-de-France — Schéma directeur de la région Île de France Le schéma directeur de la région d Île de France ou SDRIF est un document d urbanisme et d aménagement du territoire qui définit une politique à l échelle de la région Île de France. Il vise à contrôler …   Wikipédia en Français

  • Schéma directeur d'aménagement et d'urbanisme de la région de Paris — Schéma directeur de la région Île de France Le schéma directeur de la région d Île de France ou SDRIF est un document d urbanisme et d aménagement du territoire qui définit une politique à l échelle de la région Île de France. Il vise à contrôler …   Wikipédia en Français

  • Schéma directeur d'aménagement et d'urbanisme de la région Île-de-France — Schéma directeur de la région Île de France Le schéma directeur de la région d Île de France ou SDRIF est un document d urbanisme et d aménagement du territoire qui définit une politique à l échelle de la région Île de France. Il vise à contrôler …   Wikipédia en Français

  • Schéma directeur de la région île-de-france — Le schéma directeur de la région d Île de France ou SDRIF est un document d urbanisme et d aménagement du territoire qui définit une politique à l échelle de la région Île de France. Il vise à contrôler la croissance urbaine et démographique… …   Wikipédia en Français

  • Schema de desintegration — Schéma de désintégration Le Schéma de désintégration d une substance radioactive est une représentation graphique de toutes les transitions dans cette désintégration, et de leur relations. Schéma de désintégration du 60Co Ces relations peuvent… …   Wikipédia en Français

  • Schema directeur (informatique) — Schéma directeur (informatique) Un schéma directeur est la première étape de la formalisation d un Système d’Information. Elle est concrétisée par la mise en place des structures autour desquelles devra s’articuler un projet et par une vue… …   Wikipédia en Français

  • Produit cartésien — Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé ensemble produit, est l ensemble de tous les… …   Wikipédia en Français

  • Schéma intègre — En mathématiques et plus particulièrement en géométrie algébrique, un schéma intègre est un schéma qui est localement défini par des anneaux intègres. Dans tout ce qui suit, le mot schéma peut être remplacé par variété algébrique sauf mention… …   Wikipédia en Français

Share the article and excerpts

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