Module plat

Module plat

La notion de module plat a été introduite par Jean-Pierre Serre[1]. Elle généralise les modules projectifs et a fortiori les modules libres. En algèbre commutative et en géométrie algébrique, cette notion a été notamment exploitée par Alexander Grothendieck et son école, et s'est révélée d'une importance considérable[2].

Sommaire

Définition

Un module M sur un anneau commutatif (unitaire) A est dit plat si le foncteur produit tensoriel avec M est exact (en), c'est-à-dire pour toute suite exacte

0\to N\to L\to K\to 0

de A-modules, la suite obtenue par produit tensoriel

0\to N\otimes_A M\to L\otimes_A M\to K\otimes_A M\to 0

reste exacte. Comme le produit tensoriel est exact à droite pour tout module, la propriété revient à dire que pour tout morphisme injectif de A-modules N\to L, l'application induite N\otimes_A M\to L\otimes_A M est injective.

Remarque. La notion de platitude se définit de la même façon pour les modules sur un anneau unitaire non nécessairement commutatif.

Exemple. Le {}^\Z-module {}^{\Z/2\Z} n'est pas plat : l'application multiplication par 2, de {}^\Z dans {}^\Z, est injective, mais si on la tensorise par {}^{\Z/2\Z}, elle devient nulle, alors que {}^{\Z\otimes_\Z(\Z/2\Z)} est non nul car isomorphe à {}^{\Z/2\Z}. Donc l'application après tensorisation n'est plus injective. Plus généralement, tout module plat est sans torsion, c'est-à-dire que ax = 0 avec {}^{a\in A} et {}^{x\in M} n'est possible que si a = 0 ou x = 0.

On dit qu'un morphisme d'anneaux φ : A → B est plat si B est plat pour la structure de A-module induite par φ. On dit aussi que B est plat sur A, le morphisme φ étant sous-entendu.

Exemples

  • Tout module libre est plat. Ainsi, sur un corps, tout espace vectoriel est plat.
  • Supposons A noethérien local d'idéal maximal \mathfrak m. Soit \hat A son complété formel (en) pour la topologie \mathfrak m-adique. Alors l'homomorphisme canonique A\to\hat A est injectif et plat. Si B est un autre anneau local noethérien tel que A\subseteq B\subseteq\hat A et que l'idéal maximal de B soit égal à \mathfrak m B, alors AB est plat. Cela implique que l'inclusion canonique de \C[T_1,\dots, T_n] dans l'anneau \mathcal O_n des germes de fonctions holomorphes à n variables à l'origine est un homomorphisme plat.

Quelques critères

  • M est plat si et seulement si pour tout idéal I de A, l'application canonique IAM → M qui à ax associe ax, est injective.
  • Si A est local et si M est de type fini sur A, alors M est plat si et seulement s'il est libre.
  • Sur un anneau de Dedekind, tout module sans torsion est plat.
  • (Nature locale de la platitude) M est plat sur A si et seulement si pour tout idéal maximal m de A, le produit tensoriel MAAm est plat sur Am.
  • (Théorème de Govorov et Lazard)[4] Un module est plat si et seulement si c'est une limite inductive de modules libres de rang fini.

Opérations laissant stables les modules plats

  • Si M et N sont plats, alors MN (plus généralement, toute somme directe de modules plats) et MAN sont plats.
  • (Changement de base) Si AB est un morphisme d'anneaux (unitaire) quelconque et si M est plat sur A, alors MAB est plat sur B.
  • Soit 0 → NLK → 0 une suite exacte. Si N et K sont plats, alors L aussi. Si L et K sont plats, alors N aussi. Par contre, si N et L sont plats, il n'y a aucune raison que K soit plat (considérer par exemple {}^{N=2\Z} et {}^{L=\Z}).
  • En général un sous-module d'un module plat n'est pas plat. De même le quotient d'un module plat n'est pas plat.

Fidèle platitude

Une propriété plus forte que la platitude est la fidèle platitude. On dit qu'un A-module M est fidèlement plat s'il est plat et si pour tout A-module non nul N, on a MAN ≠ 0.

On dit qu'un homomorphisme d'anneaux φ : A → B est fidèlement plat s'il fait de B un A-module fidèlement plat. C'est équivalent à dire que AB est plat et que pour tout idéal maximal M de A, il existe un idéal maximal N de B tel que M = φ-1(N).

Tout module libre non nul est fidèlement plat. Le {}^\Z-module {}^\Q est plat mais non fidèlement plat.

Interprétation géométrique

Supposons A commutatif unitaire et noethérien. Soit M un module de type fini sur A. Pour tout idéal premier P de A, le produit tensoriel MAk(P) – où k(P) est le corps des fractions de A/P – est un espace vectoriel sur k(P). Ainsi M peut être vu comme une famille d'espaces vectoriels (sur des corps variables) paramétrée par les points du spectre Spec A. L'application qui à P associe la dimension de MAk(P) est semi-continue supérieurement (Spec A étant muni de la topologie de Zariski, et l'ensemble des entiers positifs ou nuls de la topologie discrète). On peut montrer que lorsque A est réduit, M est plat si et seulement si cette fonction est continue (donc localement constante).

Un module M est fidèlement plat si et seulement s'il est plat et si MAk(P) est non nul pour tout P.

Relation avec les foncteurs Tor (en)

Supposons A commutatif unitaire. Soit M un A-module. Alors la platitude de M est équivalente à chacune des propriétés suivantes :

  • Pour tout A-module N et pour tout entier n supérieur ou égal à 1, on a \operatorname{Tor}^A_n(M, N)=0.
  • Pour tout idéal de type fini I de A, on a \operatorname{Tor}^A_1(M, A/I)=0.

Soit AB un homomorphisme d'anneaux plat. Alors pour tous A-modules M, N et pour tout entier n>0, on a

\operatorname{Tor}^A_n(M, N)\otimes_A B= \operatorname{Tor}^B_n(M\otimes_A B, N\otimes_A B).

Notes

  1. J.-P. Serre, « Géométrie algébrique et géométrie analytique », dans Annales de l'Institut Fourier, vol. 6, 1956, p. 1–42 [texte intégral] 
  2. Michel Raynaud, Grothendieck et la théorie des schémas, p. 4-5.
  3. Par exemple, le \mathbb Z-module \mathbb Q est plat (c'est une localization de \mathbb Z), mais pas projectif car il n'existe pas d'homomorphisme non-nul f de \mathbb Q dans un module libre M (en effet, f(1)=2^nf(1/2^n)\in 2^nM pour tout entier naturel n, ce qui est impliquerait que f(1)=0, et donc f=0).
  4. (en) David Eisenbud (en), Commutative algebra with a view toward algebraic geometry, GTM 150, Springer-Verlag, 1999, Appendix A6.2.

Références

  • (en) H. Matsumura, Commutative Algebra, Benjamin Cummings, 2e éd., 1980, chap. 2.

Wikimedia Foundation. 2010.

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

См. также в других словарях:

  • Module projectif — En mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme… …   Wikipédia en Français

  • Module libre — En algèbre, un module libre est un module M qui possède une base B, c est à dire un sous ensemble de M tel que tout élément de M s écrive de façon unique comme combinaison linéaire (finie) d éléments de B. Sommaire 1 Définitions 2 Exemples et… …   Wikipédia en Français

  • Module sur un anneau — En mathématiques, au sein des structures algébriques, « un module est à un anneau ce qu un espace vectoriel est à un corps »[1] : pour un espace vectoriel, l ensemble des scalaires forme un corps tandis que pour un module, cet… …   Wikipédia en Français

  • Module semi-simple — Camille Jordan, auteur du théorème clé de la théorie En mathématiques et plus précisément en algèbre non commutative, un module sur un anneau est dit semi simple ou complètement réductible s il est somme directe de sous modules simples ou, ce qui …   Wikipédia en Français

  • Module artinien — En théorie des anneaux, un module artinien (du nom d Emil Artin) est un module vérifiant la condition des chaines décroissantes. C est une sorte de généralisation des espaces vectoriels de dimension finie. Sommaire 1 Définition 2 Exemples 3… …   Wikipédia en Français

  • Module fidèle — Un module M sur un anneau A est dit fidèle si son annulateur est réduit à {0}, en d autres termes, si l action de chaque est non triviale ( pour un certain ). Autrement dit, un module est fidèle si la représentation associée est injective. À… …   Wikipédia en Français

  • Module monogène — Un module monogène est un module qui peut être engendré par un seul élément, par exemple est engendré par 1. v · Théorie des anneaux Anneau unitaire • Anneau commutatif • Corps des fractions • Idéal • …   Wikipédia en Français

  • Module Lunaire — Apollo Pour les articles homonymes, voir LEM et LM. Module lunaire du programme Apollo …   Wikipédia en Français

  • Module lunaire — Apollo Pour les articles homonymes, voir LEM et LM. Module lunaire du programme Apollo …   Wikipédia en Français

  • Module lunaire Apollo — Pour les articles homonymes, voir LEM et LM. Module lunaire du programme Apollo Dimensions …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»