Lemme de normalisation de Noether

Lemme de normalisation de Noether

Le lemme de normalisation de Noether, dû à la mathématicienne allemande Emmy Noether[1], donne une description des algèbres de type fini sur un corps.

On fixe une algèbre de type fini A sur un corps (commutatif) K.

Sommaire

Énoncé

Lemme de normalisation de Noether[2] : Il existe un entier positif ou nul d et un homomorphisme fini injectif de K-algèbres

 K[X_1, \dots, X_d] \hookrightarrow A.
Remarques
  • Il existe une version graduée du lemme de normalisation de Noether[3] : Soit A une algèbre graduée sur un corps K, engendrée par un nombre fini d'éléments homogènes de degrés strictement positifs. Alors il existe un entier positif ou nul d et un homomorphisme fini injectif de K-algèbres graduées
 K[X_1, \dots, X_d] \hookrightarrow A.
  • L'homomorphisme fini  K[X_1, \dots, X_d] \to A implique que tout élément a de A est entier sur  K[X_1, \dots, X_d], c'est-à-dire qu'il vérifie une relation polynomiale du type
a^n+P_{n-1}a^{n-1}+\dots+P_0=0

avec les P_i\in K[X_1, \dots, X_d].


Exemples
  • L'algèbre K[X,1 / X] = K[X,Y] / (XY − 1) est finie sur la sous-algèbre de polynômes K[X + 1 / X] (elle est engendrée comme module par 1 et X).
  • Soit A = K[X,Y] / (XY). Alors l'homomorphisme K[T]\to A, qui envoie T sur x+y (l'image de X+Y dans le quotient A), est injectif et fini.

Applications

  • Supposons que A soit aussi un corps, alors A est une extension finie de K. C'est une forme du théorème des zéros de Hilbert. En effet, sous la présentation ci-dessus, on voit aisément que K[X_1,\dots, X_d] est aussi un corps. Ce qui implique que d = 0 et donc que A est fini sur K.
  • Supposons A intègre. Alors pour tout idéal premier  \mathfrak p de A, on a[5] :
 \dim (A/\mathfrak p) + \dim A_{\mathfrak p}=\dim A.

En particulier, pour tout idéal maximal \mathfrak m de A, l'anneau local A_{\mathfrak m} est de dimension dim A.

Signification géométrique

  • L'énoncé ci-dessus admet un analogue projectif : toute variété projective de dimension d sur K est un revêtement fini (ramifié) d'un espace projectif \mathbb P^d_K.

Extension séparable

On suppose que A est intègre. L'injection K[X_1,\dots, X_d]\hookrightarrow A donnée par le lemme de normalisation induit une extension finie des corps de fractions K(X_1,\dots, X_d)\to \mathrm{Frac}(A). Quand K est de caractéristique nulle, l'extension est automatique séparable. Dans le cas général, on a[7] :

  • Il existe toujours un homomorphisme fini injectif K[X_1,\dots, X_d]\hookrightarrow A qui induise une extension finie séparable K(X_1,\dots, X_d)\to \mathrm{Frac}(A) (sous la condition, nécessaire, que Frac(A) soit une extension séparable (transcendante) de K).

En termes géométriques, toute variété algébrique affine V intègre, géométriquement réduite, de dimension d, admet un morphisme fini surjectif f  : V\to \mathbb A^d_K, qui soit de plus génériquement séparable (autrement dit, il existe un ouvert dense U de \mathbb A^d_K tel que la restriction f : f^{-1}(U) \to U soit un revêtement étale (en)).

Le même énoncé reste valide en remplaçant V par une variété projective (intègre et géométriquement réduite) et l'espace affine par l'espace projectif[8].

Généralisation

Si A est de type fini sur un anneau commutatif intègre R et contenant R, alors il existe f dans R, non nul, et un homomorphisme fini injectif de R-algèbres après localisations

 R_f[X_1, \dots, X_d] \hookrightarrow A_f. [9]

Un tel homomorphisme n'existe pas en général sur R (considérer par exemple R = K[X] et A = RX = R[1 / X]).

Exemples d'applications

En effet, sous la présentation ci-dessus, on voit aisément que K[X_1,\dots, X_d] est aussi un corps. Ce qui implique que d = 0 et donc que A est fini sur K.
  • Supposons A intègre. Alors pour tout idéal premier  \mathfrak p de A, on a[5] :
 \dim (A/\mathfrak p) + \dim A_{\mathfrak p}=\dim A.
En particulier, pour tout idéal maximal \mathfrak m de A, l'anneau local A_{\mathfrak m} est de dimension dim A.
  • Supposons que A soit de Cohen-Macaulay, alors A est libre de rang fini sur un anneau de polynômes K[X_1,\dots, X_d].
Ceci résulte du fait que A est alors localement libre de rang fini sur K[X_1,\dots, X_d][6] et du théorème de Quillen-Suslin.
  • Soit f : X\to Y un morphisme de type fini entre schémas noethériens. On suppose f dominant (i.e. f(X) est dense dans Y). Alors l'image de f contient une partie ouverte dense de Y.
En effet, on se ramène facilement au cas où X, Y correspondent à des anneaux intègres A, R avec R un sous-anneau de A. D'après la forme généralisée du lemme de normalisation, il existe h dans R non-nul et un homomorphisme fini injectif R_h[X_1, \dots, X_d] \to A_h. On en déduit alors facilement que l'image de f contient l'ouvert principal (non-vide) D(h) de Y. Ce résultat conduit à la preuve du théorème de Chevalley sur l'image de parties constructibles.
  • Soit A un anneau de Jacobson. Soit B une A-algèbre de type fini. Alors pour tout idéal maximal \mathfrak m de B, l'image réciproque A\cap \mathfrak m est un idéal maximal de A.
On se ramène facilement au cas où B est un corps de type fini sur (et contient) A. On en déduit une injection finie A_f[X_1,\dots, X_d]\to B_f=B. Donc A_f[X_1,\dots, X_d] est un corps et d = 0. Il suit que Af est un corps. Comme A est de Jacobson, on trouve que f est inversible et donc que A est un corps.
  • On déduit faiclement de la propriété qui précède que toute algèbre de type fini sur un anneau de Jacobson est de de Jacobson.
  • Toute variété algébrique géométriquement intègre X est birationnelle à une hypersurface d'un espace affine. Cela veut dire que X contient un ouvert non-vide qui est isomorphe à un ouvert d'une hypersurface.

Notes

  1. Il semblerait que l'énoncé original se trouve dans (de) E. Noether, « Der Endlichkeitsatz der Invarianten endlicher linearer Gruppen der Charakteristik p », dans Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, vol. 1926, 1926, p. 28-35 [texte intégral] 
  2. Serge Lang, Chapter X, §4
  3. David J. Benson, Theorem 2.2.7
  4. M. Nagata, I, § 14
  5. a et b David Eisenbud, Corollary 13.4
  6. a et b Winfried Bruns et H. Jürgen Herzog, Proposition 2.2.11
  7. Irena Swanson et Craig Huneke, Theorem 4.2.2
  8. Kiran Kedlaya, More étale covers of affine spaces in positive characteristic, J. Algebraic Geom. 14 (2005), 187–192
  9. M. Nagata, I.14.4.

Bibliographie

(en) David J. Benson, Polynomial invariants of finite groups, London Mathematical Society Lecture Note Series, Vol 190, 1993

(en) Winfried Bruns et H. Jürgen Herzog, Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics, 39, 1993

(en) David Eisenbud, Commutative algebra with a view toward algebraic geometry, Springer, coll. « Graduate Texts in Mathematics » (no 150), 1995 (ISBN 9780387942698) 

(en) Serge Lang, Algebra, Addison-Wesley Publ. Co., second edition, 1984.

(en) Masayoshi Nagata, Local rings, Interscience Publ., New York, 1962.

(en) Irena Swanson et Craig Huneke, Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, vol 336, 2006


Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Emmy Noether — Portrait de Emmy Noether avant 1910. Naissance 23 mars 1882 Erlangen (Bavière, Allemagne) Décès 14 avril  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • GÉOMÉTRIE ALGÉBRIQUE — Sous sa forme actuelle, la géométrie algébrique est une branche de l’algèbre relativement récente (cf. ALGÈBRE, DEDEKIND). Pour «comprendre» les phénomènes d’intersection des courbes et des surfaces, il s’est révélé nécessaire d’élaborer des… …   Encyclopédie Universelle

  • Liste des lemmes (mathematiques) — Liste des lemmes (mathématiques) Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le… …   Wikipédia en Français

  • Liste des lemmes (mathématiques) — Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le premier nom propre cité. Si le nom …   Wikipédia en Français

  • Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… …   Wikipédia en Français

  • Anneau de Jacobson — Un anneau de Jacobson est un anneau commutatif[1] dont tout idéal premier est intersection d idéaux maximaux. Comme tout idéal radiciel est intersection des idéaux premiers qui le contiennent, un anneau de Jacobson est tel que tout idéal radiciel …   Wikipédia en Français

  • Théorème des zéros de Hilbert — Le théorème des zéros de Hilbert, parfois appelé Nullstellensatz, est un théorème d algèbre commutative qui est à la base du lien entre les idéaux et les variétés algébriques. Il a été démontré par le mathématicien allemand David Hilbert.… …   Wikipédia en Français

  • Ensemble algébrique — En géométrie algébrique, un ensemble algébrique est l ensemble des solutions d un systèmes d équations polynômiales à plusieurs variables. Ce sont les points d une variété algébrique affine ou projective. Ils servent de support intuitif à la… …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

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