Dimension de Krull explicite. Application aux théorèmes de Kronecker, Bass, Serre et Forster.

Transcription

1 Dimension de Krull explicite. Application aux théorèmes de Kronecker, Bass, Serre et Forster. Henri Lombardi et Claude Quitté. Notes de cours. Juillet 2008, avec quelques changements de détails en 2012, pour se conformer aux conventions du livre publié chez Calvage & Mounet. A, B, C désignent des anneaux commutatifs. Si on ne précise pas un homomorphisme est un homomorphisme d anneaux. 1 Dimension et bords de Krull 1.1 Idéaux et filtres Dans cette section les démonstgrations sont laissées en exercice. Nous appelons monoïde une partie S qui contient 1 et qui est stable par multiplication. Nous n interdisons pas a priori 0 S. Un monoïde S d un anneau A est dit saturé lorsqu on a l implication s, t A (st S s S) Un monoïde saturé est encore appelé un filtre. Si on sature un monoïde, on ne change pas la localisation. Deux monoïdes sont dits équivalents s ils ont même saturé. La notion de filtre est une notion duale de celle d idéal, tout aussi importante. Les idéaux sont les images réciproques de 0 par les homomorphismes, ils servent à passer au quotient, c est-à-dire à annuler des éléments par force. Les filtres sont les images réciproque du groupe des unités par les homomorphismes, ils servent à localiser, c est-à-dire à rendre des éléments inversibles par force. Cette dualité est une forme de dualité entre l addition et la multiplication. Ceci se voit bien sur les axiomes respectifs qui servent à définir les idéaux (resp. idéaux premiers) et les filtres (resp. filtres premiers) : Idéal J Filtre F 0 J 1 F x J, y J x + y J x F, y F xy F x J xy J xy F x F premier premier xy J x J y J x + y F x F y F Un idéal est premier si et seulement si l anneau quotient est sans diviseur de zéro. Un filtre est premier si et seulement si le localisé est un anneau local. Supposons l anneau A non trivial. En mathématiques classiques un idéal (resp. un filtre) est premier si et seulement si son complémentaire est un filtre (resp. un idéal). En mathématiques constructives un idéal détachable A (resp. un filtre détachable A) est premier si et seulement si son complémentaire est un filtre (resp. un idéal). Notez que selon la définition ci-dessus, l anneau tout entier est à la fois un idéal premier et un filtre premier. Cette convention peut paraître étrange, mais elle relève de l idée qu un anneau trivial est à la fois intègre et local.

2 2 1 DIMENSION ET BORDS DE KRULL Une bonne façon de comprendre la dualité est de traiter simultanément idéaux et filtres. Pour ceci nous introduisons la notion de couple saturé. Un couple saturé dans A est un couple (a, f) où a est un idéal, f est un filtre, avec : (as a, s f) a a et (a + s f, a a) s f Récapitulons les axiomes pour les couples saturés (notez que la dernière condition se réécrit J + F = F). 0 J 1 F x J, y J x + y J x F, y F xy F x J xy J xy F x F xy J, y F x J x + y F, y J x F Fait 1.1 Pour tout homomorphisme ψ : A B, le couple (Ker ψ, ψ 1 (B )) est un couple saturé. Réciproquement : Fait 1.2 Soit (a, f) un couple saturé, θ : A A/a l application canonique. 1. θ(f) est un filtre, et f = θ 1 (θ(f)). 2. Soit φ : A/a (θ(f)) 1 (A/a) l application canonique, et π = φ θ. Nous utiliserons la notation abrégée (abusive) A f /a pour (θ(f)) 1 (A/a). 3. On a Ker π = a et π 1 ((A f /a) ) = f. 4. Tout élément de A f /a s écrit π(x)/π(s) avec s f. On a π(x)/π(s) = π(x )/π(s ) si et seulement si xs x s a. 5. A f /a est local si et seulement si f est un filtre premier (c est-à-dire si et seulement si A f est local). 6. A f /a est sans diviseur de zéro si et seulement si a est un idéal premier (c est-à-dire si et seulement si A/a est sans diviseur de zéro). Un idéal et un filtre sont dit associés lorsqu ils forment un couple saturé. Les deux théorèmes de factorisation usuels pour les idéaux et les filtres se généralisent en un seul théorème pour les couples saturés. C est le suivant. Théorème 1.3 (théorème de factorisation, 1) Soit (a, f) un couple saturé de A, π : A A f /a l homomorphisme canonique et ϕ : A B un homomorphisme. Alors ϕ se factorise par A f /a si et seulement si a Ker ϕ et ϕ(f) B. Dans ce cas, la factorisation est unique. Définition 1.4 Si (a, f) et (b, g) sont deux couples saturés de A on dit que (b, g) raffine (a, f) et on écrit (a, f) (b, g) lorsque a b et f g. Le lemme suivant décrit le couple saturé engendré (au sens de la relation de raffinement) par un couple de parties de A. Lemme 1.5 Considérons un couple (I, S) de parties de A. 1. Le couple saturé (a, f) engendré par (I, S) est obtenue en considérant tout d abord l idéal J et le filtre F engendrés par I et S. Ensuite on pose a = {x A s F, xs J} et f = {x A b A, bx J + F }.

3 1.1 Idéaux et filtres 3 2. Si S = le couple saturé engendré est (a, f), où a est l idéal engendré par I et f est le filtre obtenu en saturant le monoïde 1 + a. Dans ce cas A f /a = A/a. 3. Si I = le couple saturé engendré est (a, f), où f est le filtre engendré par S et a = {x A s f, xs = 0} = s f (0 : s). Dans ce cas A f/a = A f. Si en outre S est fini et s est le produit des éléments de S, a = n N (0 : sn ) = (0 : s ). Corollaire 1.6 Les couples saturés de A ont une structure de treillis distributif pour la relation de raffinement, avec : L élément minimum est ({0}, A ) et l élément maximum (A, A). (a, f) (b, g) est le couple saturé engendré par (a + b, f g). (a, f) (b, g) = (a b, f g). Le théorème de factorisation admet la variante suivante, qu on peut lire comme la solution du problème universel annuler I, inverser S. Théorème 1.7 (théorème de factorisation, 2) Soit I, S A, (a, f) le couple saturé engendré par (I, S) et ϕ : A B un homomorphisme. Alors ϕ se factorise par A f /a si et seulement si ϕ(i) {0} et ϕ(s) B. Dans ce cas, la factorisation est unique. Pour un couple saturé (a, f) on a les équivalences suivantes : a = A 1 a 0 f f = A A f /a = {0}. Un idéal a et un filtre f sont dit incompatibles lorsqu il engendrent la paire (A, A) c est-àdire lorsque a f (en mathématiques constructives, il faut avoir explicitement un élément dans l intersection). Lorsque a f =, on dit que l idéal et le filtre sont compatibles. Dans ce cas on peut à la fois annuler les éléments de a et rendre inversibles les éléments de f sans que l anneau soit réduit à 0. Proposition Soit ϕ : A C un homomorphisme et (b, g) un couple saturé de C, alors (ϕ 1 (b), ϕ 1 (g)) est un couple saturé de A. 2. Soit (a, f) un couple saturé de A et π : A B = A f /a l application canonique. Alors : (a) L application (b, g) (π 1 (b), π 1 (g)) est une bijection croissante (pour les relations de raffinement) entre d une part, les couples saturés de B, et d autre part, les couples saturés de A qui raffinent (a, f). (b) Si (b, g) est un couple saturé de B l application canonique de A π 1 (g)/π 1 (b) vers B g /b est un isomorphisme. (c) Dans cette bijection l idéal b est premier si et seulement si π 1 (b) est premier, tout idéal premier de A compatible avec f est obtenu. (d) Dans cette bijection le filtre g est premier si et seulement si π 1 (g) est premier, tout filtre premier de A compatible avec a est obtenu. On en déduit la comparaison suivante qui est instructive sur la dualité entre idéaux et filtres.

4 4 1 DIMENSION ET BORDS DE KRULL Fait 1.9 Soit a un idéal de A et π : A A/a l homomorphisme correspondant. 1. L application b π 1 (b) est une bijection croissante entre idéaux de A/a et idéaux de A contenant a. Dans cette bijection les idéaux premiers correspondent aux idéaux premiers. 2. L application g π 1 (g) est une bijection croissante entre filtres de A/a et filtres h de A vérifiant h = h + a, i.e. a a x A (a + x h x h). 3. Dans cette bijection les filtres premiers de A/a correspondant exactement aux filtres premiers de A compatibles avec a. Fait 1.10 Soit f un filtre de A et π : A A f l homomorphisme correspondant. 1. L application g π 1 (g) est une bijection croissante entre filtres de A f et filtres de A contenant f. Dans cette bijection les filtres premiers correspondent aux filtres premiers. 2. L application b π 1 (b) est une bijection croissante entre idéaux de A f et idéaux c de A vérifiant : s f x A (sx c x c). 3. Dans cette bijection les idéaux premiers de A f correspondant exactement aux idéaux premiers de A compatibles avec f. 1.2 Bords de Krull Treillis de Zariski Notation 1.11 Si a est un idéal de A on note D A (a) = a le radical de a. Si a = x 1,..., x n on notera D A (x 1,..., x n ) pour D A (a). On a donc x D A (a) si et seulement si une puissance de x appartient à a. Définition 1.12 On note Zar A l ensemble des D A (x 1,..., x n ) (n N et x 1,..., x n A). Cet ensemble est ordonné par la relation d inclusion. Rappelons qu un ensemble ordonné est appelé un treillis lorsqu il existe un élément maximum, un élément minimum, et que deux éléments arbitraires admettent un sup et un inf (en général, on note a b pour le sup et a b pour le inf de a et b). Le treillis est appelé distributif lorsque les deux lois sup et inf sont distributives l une par rapport à l autre. Fait 1.13 Zar A est un treillis distributif avec D A (a 1 ) D A (a 2 ) = D A (a 1 + a 2 ) D A (a 1 ) D A (a 2 ) = D A (a 1 a 2 ) On l appelle le treillis de Zariski de l anneau A. Dans les textes de mathématiques classiques (où on utilise librement des principes non constructifs tels que l axiome du choix) on considère le spectre de Zariski Spec A de A qui est l ensemble des idéaux premiers de A muni d une topologie possédant pour base d ouverts les D A (a) = {p Spec A a / p}. Si on note D A (x 1,..., x n ) pour D A (x 1 ) D A (x n ), on obtient alors le résultat suivant : Les ouverts quasi-compacts de Spec A sont exactement les D A (x 1,..., x n ), l application D A (x 1,..., x n ) D A (x 1,..., x n ) est bien définie, c est un isomorphisme de treillis distributifs.

5 1.2 Bords de Krull 5 Le spectre de Zariski est l exemple paradigmatique d espace spectral. Les espaces spectraux on été introduits par Stone [15] en Ils peuvent être caractérisés comme les espaces topologiques pour lesquels la topologie admet comme base d ouverts les ouverts quasi-compacts, qui par ailleurs forment un treillis distributif. Une application continue entre espaces spectraux est dite spectrale si l image réciproque de tout ouvert quasi-compact est un ouvert quasi-compact. La catégorie des espaces spectraux et applications spectrales est antiéquivalente à la catégorie des treillis distributifs. La notion de dimension de Krull peut être définie pour un espace spectral arbitraire X. Une manière intuitive d appréhender cette notion de dimension est la suivante. La dimension peut être caractérisée par récurrence en disant que d une part, la dimension 1 correspond à l espace vide, d autre part, un espace X est de dimension k (où k 0) si et seulement si pour tout ouvert quasi-compact Y de X, le bord Z de Y dans X (Z est fermé donc c est un sous espace spectral de X) est de dimension k 1. Voyons par exemple comment on peut définir le bord de l ouvert D A (a) dans Spec A. Le bord est l intersection de l adhérence de D A (a) et de celle de son complémentaire, que nous notons V(a). Comme V(a) est fermé, il est égal à son adhérence. Quant à l adhérence de D A (a) c est l intersection de tous les V(x) qui contiennent D A (a), c est-à-dire tels que D(x) D(a) =. Comme D(x) D(a) = D(xa), et comme D(y) = si et seulement si y est nilpotent on obtient une approche heuristique de l idéal bord de Krull de a, qui l est l idéal engendré par a d une part (ce qui correspond à V(a)), et par tous les x tels que xa est nilpotent d autre part (ce qui correspond à l adhérence de D(a)). Dimension de Krull Nous noterons Kdim A la dimension de Krull de l anneau A c est-à-dire la borne supérieure des longueurs l de chaînes d idéaux premiers p 0 p l. Puisque le complémentaire d un idéal premier est un filtre premier la dimension de Krull est aussi le maximum des longueurs des chaînes strictement croissantes de filtres premiers. Un anneau est de dimension de Krull 1 si et seulement si il ne possède pas d idéaux premiers, c est-à-dire s il est réduit à 0. Un anneau non nul est de dimension de Krull 0 si et seulement si tout idéal premier est maximal. Par exemple un corps ou un produit fini de corps est de dimension 0. Définition 1.14 Soit A un anneau commutatif et x A. (1) Le bord supérieur de Krull de x dans A est l anneau quotient A x K := A/J A K (x) où J K A (x) = x + (D A (0) : x) (1) On dira aussi que JA K (x) est l idéal bord de Krull de x. (2) Le bord inférieur de Krull de x dans A est l anneau localisé A K x := A S K A (x) où SA K(x) = x N (1 + xa). On dira aussi que le monoïde x N (1 + xa) est le monoïde bord de Krull de x. Ainsi un élément arbitraire de JA K (x) s écrit ax + b avec bx nilpotent. Remarque. La terminologie bord de Krull est justifiée par le cas géométrique suivant. Si l anneau A = K[V ] est l anneau des fonctions rationnelles sur une variété affine V, un élément f A représente une fonction sur V dont les zéros forment une sous variete affine W. Alors A/D A (J K A (f)), qui est l anneau réduit associé à Af K, est l anneau K[W ], où W désigne le bord de W dans V. Le fait de prendre le bord oblige la dimension à descendre d au moins une unité, que V soit irréductible ou non, que f soit nul, inversible, ou n importe quoi. Cela tient à ce que le bord du plein est vide.

6 6 1 DIMENSION ET BORDS DE KRULL Le théorème suivant (qu on trouve dans [5]) donne une caractérisation inductive élémentaire de la dimension de Krull (à partir de la dimension 1 qui caractérise l anneau trivial). Il fournit aussi une bonne signification intuitive pour cette dimension. Théorème 1.15 Pour un anneau commutatif A et un entier l 0 les propriétés suivantes sont équivalentes : 1. La dimension de Krull de A est l. 2. Pour tout x A la dimension de Krull de A x K est l Pour tout x A la dimension de Krull de A K x est l 1. Montrons d abord l équivalence des points 1 et 2. Rappelons que les idéaux premiers de S 1 A sont de la forme S 1 p où p est un idéal premier de A qui ne coupe pas S (fait 1.10). L équivalence résulte alors des deux affirmations suivantes. (a) Soit x A, si m est un idéal maximal de A il coupe toujours SA K (x). En effet si x m c est clair et sinon, x est inversible modulo m ce qui signifie que 1 + xa coupe m. (b) Si m est un idéal maximal de A, et si x m \ p où p est un idéal premier contenu dans m, alors p SA K (x) = : en effet si x(1 + xy) p alors, puisque x / p on a 1 + xy p m, ce qui donne la contradiction 1 m (puisque x m). Ainsi, si p 0 p l est une chaîne avec p l maximal, elle est raccourcie d au moins son dernier terme lorsqu on localise en n importe quel SA K (x), et elle n est raccourcie que de son dernier terme si x p l \ p l 1. L équivalence des points 1 et 3 se démontre de manière duale, en remplaçant les idéaux premiers par les filtres premiers. On rappelle d abord que les filtres premiers de A/J sont de la forme S modulo J, où S est un filtre premier de A qui ne coupe pas J (fait 1.9). Il suffit alors de démontrer les deux affirmations duales de (a) et (b) qui sont les suivantes : (a ) Soit x A, si S est un filtre maximal de A il coupe toujours JA K (x). En effet si x S c est clair et sinon, puisque S est maximal Sx N contient 0, ce qui signifie qu il y a un entier n et un élément s de S tels que sx n = 0. Alors (sx) n = 0 et s ( 0 : x) JA K(x). (b ) Si S est un filtre maximal de A, et si x S \ S où S S est un filtre premier, alors S JA K(x) =. En effet si ax + b S avec (bx) n = 0 alors, puisque x / S on a ax / S et, vu que S est premier, b S S, mais comme x S, (bx) n = 0 S ce qui est absurde. En outre le théorème 1.15 redonne la caractérisation élémentaire de cette dimension en terme d identités algébriques comme dans [2, 14] : Corollaire 1.16 Les propriétés suivantes sont équivalentes : 1. La dimension de Krull de A est l 2. Pour tous x 0,..., x l A il existe b 0,..., b l A tels que D A (b 0 x 0 ) = D A (0) D A (b 1 x 1 ) D A (b 0, x 0 )... D A (b l x l ) D A (b l 1, x l 1 ) D A (1) = D A (b l, x l ) (2) 3. Pour tous x 0,..., x l A il existe a 0,..., a l A et m 0,..., m l N tels que x m 0 0 (x m 1 1 (x m l l (1 + a l x l ) + + a 1 x 1 ) + a 0 x 0 ) = 0 (3)

7 1.2 Bords de Krull 7 Par exemple pour k = 2 le point 2. correspond au dessin suivant dans Zar A. 1 D A (x 2 ) D A (b 2 ) D A (x 1 ) D A (b 1 ) D A (x 0 ) D A (b 0 ) 0 Montrons l equivalence de 1. et 3. Utilisons par exemple pour 1. la caractérisation via les localisés A K x. L équivalence pour la dimension 0 est claire. Supposons la chose établie pour la dimension l. On voit alors que S 1 A est de dimension l si et seulement si pour tous x 0,..., x l A il existe a 0,..., a l A, m 0,..., m l N et s S tels que x m 0 0 (x m 1 1 (x m l l (s + a l x l ) + + a 1 x 1 ) + a 0 x 0 ) = 0. Il reste donc à remplacer s par un élément arbitraire de la forme x m l+1 l+1 (1 + a l+1x l+1 ). Il est recommandé de faire aussi la preuve de en utilisant la caractérisation via les quotients A x K. On a en prenant : b l = 1 + a l x l, et b k 1 = x m k k b k + a k 1 x k 1, pour k = l,..., 1. On a par récurrence en utilisant la caractérisation via les quotients A x K. L implication pour la dimension 0 est claire. Supposons la chose établie pour la dimension < l. Supposons la propriété 2. et montrons que pour tout x 0 la dimension de B = A x 0 K récurrence il suffit de trouver, pour tous x 1,..., x l des éléments b 1,..., b l tels que D B (b 1 x 1 ) = D B (0)... D B (b l x l ) D B (b l 1, x l 1 ) D B (1) = D B (b l, x l ) est < l. Par hypothèse de Or par hypothèse on a des éléments b 0,..., b l tels que D A (b 0 x 0 ) = D A (0) D A (b 1 x 1 ) D A (b 0, x 0 )... D A (b l x l ) D A (b l 1, x l 1 ) D A (1) = D A (b l, x l ) et les inégalités avec D A impliquent les mêmes avec D B. La deuxième inégalité signifie que (b 1 x 1 ) m = b 0 y 0 + x 0 z 0 (pour un certain m) et la première nous dit que b 0 x 0 est nilpotent. A fortiori b 0 y 0 x 0 est nilpotent donc b 0 y 0 + x 0 z 0 JA K(x 0) et b 1 x 1 est nilpotent dans B. On peut aussi montrer directement par un calcul un peu fastidieux. En particulier un anneau est (Krull-)zéro-dimensionnel (i.e. Kdim A 0) si et seulement si pour tout x il existe a tel que x(1 ax) est nilpotent. Remarque. Le système d inégalités (2) dans le point 2. du corollaire précédent établit une relation intéressante et symétrique entre les deux suites (b 0,..., b l ) et (x 0,..., x l ).

8 8 1 DIMENSION ET BORDS DE KRULL Lorsque l = 0, cela signifie D A (b 0 ) D A (x 0 ) = 0 et D A (b 0 ) D A (x 0 ) = 1, c est-à-dire que les deux éléments D A (b 0 ) et D A (x 0 ) sont compléments l un de l autre dans le treillis Zar A. Dans Spec A cela signifie que les ouverts de base correspondants sont complémentaires. Nous introduisons donc la terminologie suivante : lorsque deux suites (b 0,..., b l ) et (x 0,..., x l ) vérifient les inégalités (2) nous dirons qu elles sont complémentaires. Enfin une suite qui possède une suite complémentaire sera dite singulière. Remarque. On peut illustrer le corollaire 1.16 ci-dessus en introduisant l idéal bord de Krull itéré. Pour x 1,..., x n A, considérons (A x 1 K )x 2 K, ((Ax 1 K )x 2 K )x 3 K, etc... les anneaux bords supérieurs successifs, et notons JA K(x 1,..., x l ) le noyau de la projection canonique A (... (A x 1 K ) ) x l K. Alors on a y J A K(x 0,..., x l ) si et seulement si a 0,... a l T et m 0,..., m l N vérifiant : x m 0 0 (x m 1 1 (x m l l (y + a l x l ) + + a 1 x 1 ) + a 0 x 0 ) = 0. Et la dimension de Krull est l si et seulement si pour tous x 0,..., x l JA K(x 0,..., x l ). A on a 1 Un premier résultat important dans la théorie de la dimension de Krull est la dimension des anneaux de polynomes sur un corps discret : terminologie des mathématiques constructives pour désigner un corps dans lequel on dispose d un test d égalité. Proposition 1.17 Si K est un corps discret, la dimension de Krull de K[X 1,..., X l ] est égale à l. Nous établissons d abord le résultat suivant. Proposition 1.18 Soit K un corps discret, A une K-algèbre, et x 1,..., x l A algébriquement dépendants sur K. La suite (x 1,..., x l ) est singulière. Soit Q(x 1,..., x l ) = 0 une relation de dépendance algébrique sur K. Mettons un ordre lexicographique sur les monomes non nuls α p1,...,p l x p 1 1 x p 2 2 x p l l de Q, en accord avec les mots p 1 p 2... p l. Nous pouvons supposer le coefficient du plus petit monome non nul égal à 1 (ici on utilise l hypothèse que le corps est discret, car on suppose qu on peut déterminer pour chaque α p1,...,p l s il est nul ou inversible). Soit x m 1 1 x m 2 2 x m l l ce monome. En suivant l ordre lexicographique, nous voyons que nous pouvons écrire Q sous la forme Q = x m 1 1 x m l l + x m 1 1 x 1+m l l R l + x m 1 1 x 1+m l 1 l x m 1 1 x 1+m 2 2 R 2 + x 1+m 1 1 R 1 R l 1 où R j K[x k ; k j]. Alors Q = 0 est l égalité voulue. Peuve de la proposition 1.17 Nous notons d abord que la suite (X 1,..., X l ) est non singulière : dans (3) avec x i = X i le membre de gauche est non nul (considérer le coefficient de X m 1 1 X m 2 2 X m l l ). Pour prouver que la dimension de K[X 1,..., X l ] est l il suffit, vu la proposition 1.18, de montrer que l + 1 éléments K[X 1,..., X l ] sont toujours algébriquement dépendants sur K. Voici une preuve élémentaire de ce résultat classique. Soient y 1,..., y l+1 ces éléments, et d une borne sur leurs degrés. Pour un entier k 0 considérons la liste L k de tous les y δ 1 1 y δ l+1 l+1 tels que δ = l+1 i=1 δ i k. Le cardinal de L k égale ( ) k+l+1 k. Ceci est un polynome de degré l + 1 en k. Les éléments de L k vivent dans l espace vectoriel des éléments de K[X 1,..., X l ] de degré k d,

9 9 qui a pour dimension ( ) d k+l d k. Ceci est un polynome de degré l en k. Donc pour k assez grand, le cardinal de L k est plus grand que la dimension de l espace vectoriel où ses éléments vivent, et il y a une relation de dépendance linéaire entre les éléments de L k. Ceci fournit une relation de dépendance algébrique entre les y i s. On peut aussi traiter de cette façon la dimension de Krull des anneaux géométriques (les K-algèbres de présentation finie). Donc les théorèmes des sections 2 et 3 ont un contenu algorithmique clair pour ces anneaux (comme pour tout anneau où l on est capable d expliciter la dimension de Krull au sens du corollaire 1.16). Remarque. On a aussi des algorithmes pour les résultats suivants (en prenant la dimension de Krull au sens du corollaire 1.16) : Si B est un quotient ou un localisé de A, alors Kdim B Kdim A. Si (a i ) 1 i m une famille finie d idéaux de A et a = m i=1 a i, alors Kdim(A/a) = sup i Kdim(A/a i ). Si (S i ) 1 i m une famille finie de monoïdes comaximaux de A alors Kdim(A) = sup i Kdim(A Si ). Rappelons aussi que, en mathématiques classiques, Kdim(A) = sup m Kdim(A m ), où m parcourt tous les idéaux maximaux (mais il est difficile de concevoir un algorithme correspondant à ce résultat). 2 Le théorème de Kronecker et le stable range de Bass (versions non nœthériennes de Heitmann) 2.1 Le théorème de Kronecker Ce théorème a d abord été démontré par Kronecker [12] sous la forme suivante : une variété algébrique dans C n peut toujours être définie par n + 1 équations. Il a été étendu au cas des anneaux nœthériens (par van der Waerden, dans [17]) sous la forme suivante : dans un anneau nœthérien de dimension de Krull n, tout idéal a même radical qu un idéal engendré par au plus n + 1 éléments. La version de Kronecker a été améliorée par divers auteurs dans [16, 9] qui ont montré que n équations suffisent en général. Une preuve constructive de ce dernier théorème est dans [6]. Par ailleurs on ne sait toujours pas si toute courbe dans l espace complexe de dimension 3 est ou non intersection de deux surfaces. Heitmann [11] a enfin généralisé la version van der Waerden au cas non nœthérien. La preuve élémentaire qui suit est dans [1]. Le lemme suivant, bien que terriblement anodin, est une clef essentielle. Lemme 2.1 Pour u, v A on a D A (u, v) = D A (u + v, uv) = D A (u + v) D A (uv) En particulier si uv D A (0), alors D A (u, v) = D A (u + v). On a évidemment u + v, uv u, v donc D A (u + v, uv) D A (u, v). Par ailleurs u 2 = (u + v)u uv u + v, uv donc u D A (u + v, uv).

10 10 2 LE THÉORÈME DE KRONECKER ET LE STABLE RANGE DE BASS Rappelons que deux suites qui vérifient les inégalités (2) dans le corollaire 1.16 sont dites complémentaires. Lemme 2.2 Soit n 1. Si (b 1,..., b n ) et (x 1..., x n ) sont deux suites complémentaires dans A alors pour tout a A on a : D A (a, b 1,..., b n ) = D A (b 1 + ax 1,..., b n + ax n ), c est-à-dire encore : a D A (b 1 + ax 1,..., b n + ax n ). On les inégalités On en déduit celles-ci On a donc d après le lemme 2.1 Donc finalement D A (b 1 x 1 ) = D A (0) D A (b 2 x 2 ) D A (b 1, x 1 )... D A (b l x l ) D A (b l 1, x l 1 ) D A (1) = D A (b l, x l ) D A (ax 1 b 1 ) = D A (0) D A (ax 2 b 2 ) D A (ax 1, b 1 )... D A (ax l b l ) D A (ax l 1, b l 1 ) D A (a) D A (ax l, b l ) D A (a) D A (ax l + b l ) D A (ax l b l ) D A (ax l b l ) D A (ax l 1 + b l 1 ) D A (ax l 1 b l 1 )... D A (ax 2 b 2 ) D A (ax 2 + b 2 ) D A (ax 2 b 2 ) D A (ax 2 b 2 ) D A (ax 1 + b 1 ) D A (ax 1 b 1 ) = D A (ax 1 + b 1 ) D A (a) D A (ax 1 + b 1 ) D A (ax 2 + b 2 ) D A (ax l 1 + b l 1 ) D A (ax l + b l ) = D A (ax 1 + b 1, ax 2 + b 2,..., ax l + b l ). Théorème 2.3 (de Kronecker, avec la dimension de Krull, sans nœthérianité) Soit n 0. Si Kdim A < n et b 1,..., b n A alors il existe x 1,..., x n tels que pour tout a A D A (a, b 1,..., b n ) = D A (b 1 + ax 1,..., b n + ax n ). En conséquence, dans un anneau de dimension de Krull n, tout idéal de type fini a même radical qu un idéal engendré par au plus n + 1 éléments. Le premier point est clair d après le lemme 2.2 et le corollaire 1.16 (et si n = 0 l anneau est trivial et D A (a) = D A ( )). La deuxième affirmation en découle car il suffit d itérer le processus. En fait, si Kdim A n et J = D A (b 1,..., b n+r ) (r 2) on obtient en fin de compte J = D A (b 1 + c 1,..., b n+1 + c n+1 ) avec les c i b n+2,..., b n+r. Remarque. Pour le cas n = 1 la preuve donnée ci-dessus dit ceci. Puisque Kdim A 0 il existe x 1 tel que b 1 x 1 D A (0) et 1 D A (b 1, x 1 ). A fortiori b 1 ax 1 D A (0) et a D A (b 1, ax 1 ). Le lemme 2.1 nous dit que D A (b 1, ax 1 ) = D A (b 1 + ax 1 ), donc a D A (b 1 + ax 1 ).

11 2.2 Le théorème stable range de Bass Le théorème stable range de Bass Le théorème suivant est dû à Bass dans le cas nœthérien avec la dimension de Krull. La version non nœthérienne avec une dimension (inférieure à la dimension de Krull) qu il a introduite dans [11] est due à Heitmann. Nous donnons tout d abord la version non nœthérienne avec la dimension de Krull. Nous donnerons ensuite une version à la Heitmann [11], légèrement plus forte que dans [11], et, surtout, constructive. Théorème 2.4 (de Bass, avec la dimension de Krull, sans nœthérianité) Soit n 0. Si Kdim A < n, pour tous b 1,..., b n A. il existe x 1,..., x n tels qu on ait l implication suivante a A (1 a, b 1,..., b n 1 b 1 + ax 1,..., b n + ax n ). Cela résulte directement du premier point dans le théorème 2.3. Nous introduisons maintenant la notion de dimension de Heitmann d un anneau commutatif, calquée sur le définition inductive de la dimension de Krull. Notation 2.5 Si a est un idéal de A on note J A (a) son radical de Jacobson. Si a = x 1,..., x n on notera J A (x 1,..., x n ) pour J A (a). En particulier J A (0) = Rad A. On a donc x J A (a) si et seulement si pour tout y A, 1 + xy est inversible modulo a. Définition 2.6 On note Heit A l ensemble des J A (x 1,..., x n ). Lemme Pour un idéal arbritraire a on a J A (a) = J A (D A (a)). En conséquence Heit A est un treillis distributif quotient de Zar A. 2. Pour u, v A on a J A (u, v) = J A (u + v, uv) = J A (u + v) J A (uv) En particulier si uv J A (0), alors J A (u, v) = J A (u + v). On a a D A (a) J A (a) donc J A (a) = J A (D A (a)). L égalité D A (u, v) = D A (u + v, uv) (lemme 2.1) implique alors J A (u, v) = J A (u + v, uv). On peut montrer (voir [4]) que la Jdim définie par Heitmann dans [11] est la dimension de l espace spectral correspondant au treillis distributif Heit A. Définition 2.8 Pour x A le bord de Heitmann de x dans A est l anneau quotient A/J H A (x) avec J H A (x) := x + (J A (0) : x) qui est aussi appelé l idéal bord de Heitmann de x dans A. On notera aussi A x H pour A/J H A (x). Définition 2.9 La dimension de Heitmann de A est définie de manière inductive comme suit : Hdim A = 1 si et seulement si 1 A = 0 A.

12 12 2 LE THÉORÈME DE KRONECKER ET LE STABLE RANGE DE BASS Pour l 0, Hdim A l si et seulement si pour tout x A, Hdim(A x H ) l 1. Cette dimension a été introduite dans [3] (voir aussi [4]). Elle est a priori inférieure à celle définie par Heitmann dans [11] (la Jdim). Dans le cas d un anneau nœtherien la Hdim, la Jdim de Heitmann et la dimension du spectre maximal qui intervient dans les théorèmes de Serre et de Swan [18] sont les mêmes (voir [4]). Fait La dimension de Heitmann ne peut que diminuer par passage à un anneau quotient. 2. La dimension de Heitmann est toujours inférieure ou égale à la dimension de Krull. 3. Plus précisément Hdim A Kdim(A/J A (0)). 4. Enfin Hdim A 0 si et seulement si Kdim(A/J A (0)) 0. La preuve du point 1 est par récurrence en remarquant que pour tout x A, (A/a) x H est un quotient de A x H. La preuve du point 2 est par récurrence (en utilisant le point 1) en remarquant que A x H est un quotient de Ax K. Pour les points 3 et 4 on pose B = A/J A(0). On a alors J B (0) = 0 et on vérifie que A x H Bx H = Bx K pour tout x A. En particulier la dimension de Heitmann d un anneau local est nulle (du point de vue constructif il faut préciser que le corps résiduel doit être discret, c est-à-dire qu on doit avoir un test d égalité à 0 dans ce corps). Théorème 2.11 (de Bass, avec la dimension de Heitmann, sans nœthérianité) Soit n 0. Si Hdim A < n et 1 a, b 1,..., b n alors il existe x 1,..., x n b 1 + ax 1,..., b n + ax n. tels que 1 La même preuve donnerait le théorème 2.4 en remplaçant le bord de Heitmann par le bord de Krull. On remarque que 1 L équivaut à 1 J A (L) pour toute liste L. On raisonne par récurrence sur n. Lorsque n = 0 l anneau est trivial et J A (1) = J A ( ). Supposons n 1. Soit j = J H A (b n) l idéal bord de Heitmann de b n. Puisque A/j est de dimension de Heitmann n 2 l hypothèse de récurrence nous donne x 1,..., x n 1 A tels que 1 b 1 + x 1 a,..., b n 1 + x n 1 a dans A/j. (4) Notons L pour b 1 + x 1 a,..., b n 1 + x n 1 a. Un élément arbitraire de j = J H A (b n) s écrit b n y + x avec xb n J A (0). L appartenance (4) signifie donc qu il existe x n tel que A fortiori x n b n J A (0) et 1 L, b n, x n. (5) 1 J A (L, b n, x n ) = J A (L, b n ) J A (x n ). (6) Notons que par hypothèse 1 a, b 1,..., b n = L, b n, a. Donc Enfin (6) et (7) donnent par distributivité 1 J A (L, b n, a) = J A (L, b n ) J A (a) (7) 1 J A (L, b n ) J A (x n a) = J A (L, b n, x n a)

13 2.2 Le théorème stable range de Bass 13 Puisque b n x n a J A (0) le lemme 2.7 nous dit que J A (b n, x n a) = J A (b n + x n a), et donc que ce qui était le but recherché. 1 J A (L, b n + x n a) = J A (L, b n, x n a), On peut également démontrer la version améliorée suivante du théorème de Kronecker (voir [4], et [11, Heitmann] où le théorème est obtenu avec la Jdim à la place de la Hdim). Théorème 2.12 (de Kronecker, avec la dimension de Heitmann, sans nœthérianité) Soit n 0. Si Hdim(A[a 1 ]) < n et a, b 1,..., b n A alors il existe x 1,..., x n A tels que D A (a, b 1,..., b n ) = D A (b 1 + ax 1,..., b n + ax n ). En conséquence, si a 1,..., a r, b 1,..., b n A et Hdim(A[a 1 i ]) < n pour i = 1,..., r alors il existe y 1,..., y n a 1,..., a r tels que D A (a 1,..., a r, b 1,..., b n ) = D A (b 1 + y 1,..., b n + y n ). Remarque. Dans le cas d un anneau local nœthérien A, l idéal maximal est radicalement engendré par n = Kdim A éléments, mais pas moins. Ceci montre que parmi n générateurs radicaux du maximal, il n y en a aucun vérifiant Hdim(A[x 1 ]) < n 1. Par ailleurs Hdim(A) = 0 puisque A est local. Rappelons qu un vecteur L de A m est dit unimodulaire lorsque ses coordonnées engendrent l idéal 1, c est-à-dire encore lorsque D A (L) = 1. Ce qui finit cette section est classique et peut être trouvé par exemple dans [13]. Corollaire 2.13 Soit n 0. Si Hdim A < n et V A n+1 est unimodulaire, il peut être transformé en le vecteur (1, 0..., 0) par des manipulations élémentaires. Posons V = (v 0, v 1,..., v n ), avec 1 v 0, v 1,..., v n. On applique le théorème 2.11 avec a = v 0, on obtient x 1,..., x n tels que 1 v 1 + x 1 v 0,..., v n + x n v 0. Le vecteur V peut être transformé par manipulations élémentaires en le vecteur V = (v 0, v 1 +x 1 v 0,..., v n +x n v 0 ) = (v 0, v 1,..., v n) et on a des y i tels que n i=1 y iv i = 1. Par manipulations élémentaires on peut donc transformer V en V = (1, v 1,..., v n) puis en (1, 0,..., 0). Corollaire 2.14 Si Hdim A n tout A-module M stablement libre de rang n + 1 est libre. Si M A r A p+r, (avec p n + 1 et r > 0), M est isomorphe au noyau d une application linéaire surjective ϕ 0 = ϕ : A p+r A r. Posons m = p + r. Puisque ϕ est surjective, il existe ψ : A r A m telle que ϕ ψ = Id A r. Si F 0 = F et H sont les matrices de ϕ et ψ (pour les bases canoniques) on a F H = I r et les lignes de F sont unimodulaires. On a M Ker F. D après le corollaire 2.13 il existe une matrice inversible A A m m (produit de matrices élémentaires) telle que F A = G admet le vecteur (1, 0,..., 0) pour premier vecteur ligne : G := c 1. c r 1 F 1 De sorte que M Ker F 0 Ker G Ker F 1. F 1 est la matrice d une application linéaire ϕ 1 : A m 1 A r 1. On peut donc faire une preuve par récurrence sur r pour montrer que M A p. D un point de vue algorithmique cela revient à continuer le processus qui a remplacé F 0 par F 1 jusqu à obtenir F r, qui sera la matrice (vide) de l application nulle A p A 0 dont le noyau est bien isomorphe à A p.

14 14 3 LE SPLITTING OFF DE SERRE ET LE THÉORÈME DE FORSTER-SWAN Remarque. Si ϕ : A m A r est une application linéaire surjective, il existe ψ : A r A m telle que ϕ ψ = Id A r. Alors π = ψ ϕ : A m A m est une projection. Si on pose M = Ker π = Ker ϕ on a M Im π = A m et puisque Im π Im ϕ = A r, le module M est stablement libre, isomorphe à Im(Id A m π). Ainsi les modules stablement libres sont exactement les modules isomorphes aux noyaux de matrices surjectives. 3 Le splitting off de Serre, le théorème de Forster-Swan et le théorème de simplification de Bass Dans cette section les versions sans hypothèses nœthériennes avec la dimension de Krull de la plupart des grands théorèmes (en particulier de Serre et de Forster) sont dues à Heitmann [11]. Dans cet article il donne en plus des variantes des théorèmes de Swan et Serre, avec une dimension un peu compliquée définie à partir de la Jdim. Ici nous donnons les preuves avec la Hdim (meilleure que la Jdim, et surtout plus simple à utiliser) et sans hypothèse nœthérienne. Ces théorèmes semblent donc parachever le travail de Heitmann. Les preuves constructives élémentaires que l on trouve ici sont dans [4]. Elles améliorent la présentation et certains résultat de [3] et sont inspirées de [7]. 3.1 Manipulations élémentaires de colonnes Lemme 3.1 Soient L, L 1..., L k A m et b 1,..., b k A. Si Hdim(A) < k et alors il existe x 1,..., x k aa tels que 1 = D A (a, b 1,..., b k ) D A (L) 1 = D A (b 1 + ax 1,..., b k + ax k ) D A (L + x 1 L x k L k ) La preuve est par induction sur k. Pour k = 0, c est clair. Si k > 0, soit j = J H A (b k) l idéal bord de Heitmann b k. On a b k j et Hdim(A/j) < k 1, donc par induction, on peut trouver y 1,..., y k 1 tels que 1 = D(b 1 + a 2 y 1,..., b k 1 + a 2 y k 1 ) (L + ay 1 L ay k 1 L k 1 ) dans A/j (α) Posons L = L + ay 1 L ay k 1 L k 1, X = (b 1 + a 2 y 1,..., b k 1 + a 2 y k 1 ) et remarquons que D A (L, a) = D A (L, a) et D A (X, a) = D A (a, b 1,... b k 1 ). L égalité (α) signifie qu il existe y k tel que b k y k J A (0) et 1 = D A (X) D A (L ) D A (y k ) D A (b k ) (β) On a et, d après (β), D A (X) D A (L + ay k L k ) D A (a 2 ) D A (b k ) = D A (a, b 1,..., b k, L) = 1 D A (X) D A (L + ay k L k ) D A (y k ) D A (b k ) = D A (X) D A (L ) D A (y k ) D A (b k ) = 1 (δ) (γ) et (δ) impliquent (γ) D A (X, L + ay k L k, b k, a 2 y k ) = 1 = J A (X, L + ay k L k, b k, a 2 y k ) (η)

15 3.1 Manipulations élémentaires de colonnes 15 et d après le lemme 2.1 puique b k a 2 y k J A (0) c est-à-dire 1 = J A (X, L + ay k L k, b k + a 2 y k ) 1 b 1 + a 2 y 1,..., b k 1 + a 2 y k 1, b k + a 2 y k, L + ay 1 L ay k 1 L k 1 + ay k L k. Remarques. 1) Lorsqu on remplace la dimension de Heitmann par celle de Krull, le lemme précédent admet une version uniforme dans laquelle les x i ne dépendent pas de a (comme dans le lemme 2.2). 2) Le lemme ci-dessus peut être vu comme une variante raffinée du théorème En fait dans la suite, nous utilisons ce lemme uniquement avec l hypothèse renforcée comme suit : Si Hdim(A) < k et 1 = D A (a, L)... On en déduit le corollaire suivant (qui simplifie l argument dans [3] et a été suggéré par Lionel Ducos [7]). Corollaire 3.2 Supposons que C, C 1,..., C k sont des vecteurs dans A m et ν est un mineur d ordre k de [ C 1 C k ]. Si 1 = D A (ν) D A (C) et Hdim(A) < k alors il existe x 1,..., x k A tels que 1 = D A (C + x 1 C x k C k ). On prend a = ν et b i le mineur obtenu en remplaçant C i par C dans C 1,..., C k. On applique le lemme 3.1. On remarque alors que b i + ax i est aussi le mineur obtenu en remplaçant C i par C + x 1 C x n C n dans C 1,..., C n de sorte que b i + ax i D A (C + x 1 C x n C n ) et 1 = D A (b 1 + ax 1,..., b n + ax n ) D A (C + x 1 C x n C n ) implique que D A (C + x 1 C x n C n ) = 1. Nous fixons les notations suivantes : Notation 3.3 Soit F une matrice dans A n p avec pour colonnes C 0, C 1,..., C p, et G la matrice ayant pour colonnes C 1, C 2,..., C p. Soit D k (F ) l idéal déterminantiel d ordre k de F (l idéal engendré par les mineurs ν d ordre k de F ). Lemme 3.4 Si D A (C) D k (G) = 1 et Hdim(A) < k alors il existe t 1,..., t p tels que C + t 1 C t p C p est unimodulaire. Comme D A (C) D k (G) = 1, on a une famille ν 1,..., ν p de mineurs de G d ordre k tels que 1 = D A (C) i D A(ν i ). On applique alors le corollaire 3.2 pour avoir D A (C) D A (ν k ) = 1 dans A/J k avec J k = i>k D A(ν i ) jusqu à ce que nous obtenions D A (C) = 1 dans A. Théorème 3.5 Fixons k p. Supposons que la dimension de Heitmann de A est < k et D k (F ) = 1. Alors il existe t 1,..., t p tels que 1 = D A (C 0 + t 1 C t p C p ). Cela résulte directement du lemme 3.4.

16 16 3 LE SPLITTING OFF DE SERRE ET LE THÉORÈME DE FORSTER-SWAN 3.2 Le théorème splitting off de Serre, version non nœthérienne On déduit directement du théorème 3.5 la version suivante améliorée du Splitting-off de Serre. Théorème 3.6 (théorème de Serre, version dimension de Heitmann) Soit M un A-module projectif de rang k sur un anneau A tel que HdimA < k. Alors M N A pour un certain N. On suppose sans perte de généralité que M est l image d une matrice de projection F. L hypothèse que M est de rang k signifie que D k (F ) = 1. Le théorème 3.5 nous donne dans l image de F un vecteur unimodulaire u = t (u 1,..., u l ). On considère y 1,... y n qui vérifient i y iu i = 1. On va voir que Au, qui est clairement un module libre de base u, est facteur direct dans M. Pour cela on considère la forme linéaire λ : A l A définie par t (x 1,..., x n ) i y ix i, puis la restriction µ de λ à M. Soit N = Ker µ M. On a N Au = 0 car si µ(au) = 0 alors a = aµ(u) = µ(au) = 0. On a M = N + Au car si z M on peut écrire z = µ(z)u + z avec µ(z ) = µ(z) µ(z)µ(u) = 0 donc z N. Remarque. Dans le fonctionnement de cette preuve, on voit qu on aurait pu se contenter de supposer que M est un module image d une matrice F telle que D k (F ) = 1. Dans le cas nœthérien le théorème est équivalent (en mathématiques classiques) au théorème classique qui utilise la dimension du spectre maximal. Dans le cas non nœthérien Heitmann a donné la preuve pour la dimension de Krull d une part et pour une dimension définie à partir de la Jdim d autre part. Le théorème ci-dessus peut être considéré comme la vraie version non nœthérienne du théorème de Serre. Il implique le même théorème formulé avec la Jdim, qui était conjecturé par Heitmann. 3.3 Le théorème de Forster-Swan, une version non nœthérienne Dans cette section, on déduit du théorème 3.5, comme dans [8, 11], une version non nœthérienne du théorème de Forster-Swan. Modules de présentation finie Un module de présentation finie est un A-module M donné par un nombre fini de générateurs et de relations. De manière équivalente, c est un module M isomorphe au conoyau d un homomorphisme γ : A m A q La matrice G A q m de γ a pour colonnes les (coefficients des) relations entre les générateurs g 1,..., g q (une relation α 1 g α q g q = 0 est codée par le vecteur colonne t (α 1,..., α q ), et les g i sont les images de la base canonique de A q par la surjection canonique π : A q M). Une telle matrice s appelle une matrice de présentation du module M. Cela se traduit par : (g 1,..., g q ) G = 0, et toute relation entre les g i est une combinaison linéaire des colonnes de G, c est-à-dire encore : si (g 1,..., g q ) C = 0 avec C A q 1 il existe C A m 1 tel que C = G C. On constate qu on ne change pas la structure de M lorsqu on fait subir à la matrice de présentation G une des transformations suivantes : 1. ajout d une colonne nulle, (ceci ne change pas le module des relations entre des générateurs fixés)

17 3.3 Le théorème de Forster-Swan, une version non nœthérienne suppression d une colonne nulle, sauf à aboutir à une matrice vide, 3. remplacement de G, de type q m, par G de type (q + 1) (m + 1) obtenue à partir de G en rajoutant une ligne nulle en dessous puis une colonne à droite avec 1 en position (q + 1, m + 1), (ceci revient à rajouter un vecteur parmi les générateurs, en indiquant sa dépendance par rapport aux générateurs précédents) : G G = [ ] 1 01,m C G 4. opération inverse de la précédente, sauf à aboutir à une matrice vide, 5. ajout à une colonne d une combinaison linéaire des autres colonnes, (ceci ne change pas le module des relations entre des générateurs fixés) 6. ajout à une ligne d une combinaison linéaire des autres lignes, (par exemple si nous notons L i la i-ème ligne, le remplacement de la ligne L 1 par la ligne L 1 + γl 2 revient à remplacer le générateur g 2 par g 2 γg 1 ) 7. permutation de colonnes ou de lignes, 8. multiplication d une colonne ou d une ligne par un élément inversible (facultatif). On peut voir sans difficulté que si G et H sont deux matrices de présentation d un même module M, on peut passer de l une à l autre au moyen des transformations décrites ci-dessus. On rajoute les nouveaux générateurs un à un. Puis les relations entre les nouveaux générateurs peuvent être rajoutées car elles sont conséquences des relations entre les anciens générateurs et des relations qui définissent les nouveaux. Puis les anciens générateurs peuvent s exprimer en fonction des nouveaux : ce sont des relations conséquences de celles qu on a déjà. Ceci permet alors de supprimer un à un les anciens générateurs. Enfin on se débarasse des relations inutiles entre les nouveaux générateurs Lemme 3.7 On considère un A-module M de présentation finie avec une matrice de présentation G A q m. Alors l idéal déterminantiel D q k (G) (avec par convention D m (G) = A si m 0) ne dépend pas du système générateur ni de la matrice de présentation choisies pour décrire M. En particulier si M peut être engendré par k q éléments. alors D q k (G) est égal à A. L idéal déterminantiel D q k (G) ne dépend que de M et k, et non pas de la matrice de présentation qu on peut prendre pour M : cela tient à ce que les manipulations 1 à 8 décrites ci-dessus sur les matrices de présentation conservent toutes cet idéal. Si donc M est engendré [ par k] éléments, il admet une matrice de présentation F A k p, donc aussi la matrice 1 0 F = A 0 F (k+1) (p+1), et l idéal déterminantiel D 1 (F ) est clairement égal à A. Remarque. L idéal D q k (G) est appelé le k-ème idéal de Fitting du module M, et noté F k (M). Lemme 3.8 On considère un A-module M de présentation finie avec une matrice de présentation G A q m. Supposons A local. Soit un entier k < q. Alors le module M est engendré par k éléments si et seulement si la matrice G contient un mineur inversible d ordre q k. Cela équivaut aussi à D q k (G) = A.

18 18 3 LE SPLITTING OFF DE SERRE ET LE THÉORÈME DE FORSTER-SWAN La condition est suffisante même si l anneau n est pas local : En permutant éventuellement les lignes et les colonnes on ramène le mineur inversible en haut à gauche. Puis en multipliant à droite (ou à gauche) par une matrice inversible on se ramène à la forme [ ] Iq k A G 1 = B C puis par des manipulations élémentaires de lignes et de colonnes, on obtient [ ] Iq k 0 G 2 = q k,m q+k 0 k,q k G 3 Et G 3 est aussi une matrice de présentation de M. Lorsque l anneau est local la condition est nécessaire parce que si l idéal déterminantiel D q k (G) est égal à A un de ses générateurs (les mineurs d ordre q k) doit être inversible : dans un anneau local, si une somme d éléments est inversible, l un de ces éléments est inversible. Lemme 3.9 On considère un A-module M de présentation finie avec une matrice de présentation G A q m. Soit un entier k < q. Les propriétés suivantes sont équivalentes : 1. L idéal déterminantiel d ordre q k de G contient Après localisation en n importe quel idéal premier, M est engendré par k éléments. On remarque d abord que si un module M admet une matrice de présentation G alors le module localisé M S (où S est un filtre) admet la même matrice de présentation, vue comme une matrice à coefficients dans A S. L équivalence résulte alors du lemme 3.8 et du fait qu un idéal de type fini contient 1 si et seulement si il contient 1 après localisation en n importe quel idéal premier. Le théorème de Forster-Swan Voici maintenant une version du théorème de Forster-Swan [10, 18]. Théorème 3.10 (théorème de Swan, version dimension de Heitmann) Si Hdim(A) d et si M est un A-module de présentation finie localement engendré par r éléments, alors M peut être engendré par d + r éléments. Plus précisément si M est engendré par (y 1,..., y p ) avec p = d + r + s on peut calculer z 1,..., z d+r dans y d+r+1,..., y d+r+s tels que M soit engendré par y 1 + z 1,..., y d+r + z d+r. Soit m 0, m 1,..., m p un système de générateurs de M et F une matrice de présentation de M correspondant à ce système générateur. Si p d + r nous avons 1 = D d+1 (F ) d après le lemme 3.9. Notons L 0,..., L p les lignes de F. Nous appliquons le théorème 3.5 à la matrice transposée de F. Nous obtenons t 1,..., t p tels que la ligne L 0 +t 1 L 1 + +t p L p soit unimodulaire. Remplacer la ligne L 0 par la ligne L 0 +t 1 L 1 + +t p L p revient à remplacer (m 0, m 1,..., m p ) par (m 0, m 1 t 1 m 0,..., m p t p m 0 ) = (m 0, m 1,..., m p). Puisque la nouvelle ligne L 0 est unimodulaire, une combinaison linéaire convenable des colonnes est de la forme t (1, y 1,..., y p ), cela signifie que m 0 + y 1 m 1 + y p m p = 0 dans M, et donc que m 1,..., m p engendrent M.

19 3.4 Le théorème de Swan, forme sophistiquée Le théorème de Swan, forme sophistiquée Un raffinement du théorème 3.5 est le résultat suivant. Théorème 3.11 Supposons que 1 D 1 (F ) et que pour k = 1,..., p, l anneau A/D k+1 (F ) est de dimension de Heitmann < k. Alors il existe t 1,..., t p tels que le vecteur C 0 +t 1 C 1 + +t p C p est unimodulaire. On applique le lemme 3.4 successivement avec A/D 2 (F ), A/D 3 (F ),.... Théorème 3.12 (théorème de Swan général, version dimension de Heitmann) Soit M un module de type fini sur A et f k son idéal de Fitting d ordre k. Si Hdim(A/f k ) < m k pour k = 0,..., m, alors M peut être engendré par m éléments. Si le module est de présentation finie il suffit d appliquer le théorème 3.11 à la matrice transposée d une matrice de présentation de M (de la même manière que pour le théorème 3.10). Le raisonnement dans le cas général est un peu plus subtil. Notons h 1,..., h q des générateurs de M et supposons q > m. Notons h = (h 1,..., h q ). Toute relation entre les h i peut être écrite comme un vecteur colonne C A q qui vérifie hc = 0. L idéal de Fitting f q i de M est l idéal i = D i (F ) engendré par les mineurs d ordre i des matrices F A q n qui vérifient hf = 0 (c est-à-dire les matrices dont les colonnes sont des relations entre les h i ). Nous les appelerons des matrices de relation. Comme D A ( q ) = D A (f 0 ) = D A (Ann(M)) et que nous pouvons remplacer A par A/Ann(M), nous supposons sans perte de généralité que D A ( q ) = D A (0). Les hypothèses impliquent que Hdim(A/ k ) < k 1 pour k = 1,..., q (ce sont les hypothèses lorsque q = m + 1). On a donc 1 = 1, ce qui se constate sur une matrice de relations F. On peut alors appliquer le lemme 3.4 avec la matrice F, l entier k = 1 et l anneau A/ 2. Ceci nous donne une relation C telle que D A/ 2 (C) = 1, c est-à-dire encore telle qu il existe a 2 vérifiant 1 + a D A (C). Le fait que a 2 se constate sur une matrice de relations G et on considère la nouvelle matrice F = (C G). On a donc D A (C) 2 (G) = 1 et Hdim(A/ 3 ) < 2. On peut alors appliquer le lemme 3.4 avec la nouvelle matrice F, l entier k = 2 et l anneau A/ 3. Ceci nous donne une relation C telle que D A/ 3 (C) = 1, et ainsi de suite. On obtient en fin de compte une relation C telle que D A (C) = 1, puisque D A ( q ) = 0. Et Hdim A = Hdim(A/ q ) < q 1. En conséquence le corollaire 2.13 du théorème stable range de Bass s applique et nous pouvons transformer la colonne C en (1, 0,..., 0) par des manipulations élémentaires, ce qui revient à remplacer le système générateur h par une autre système de q éléments dont le premier est nul, bref à réduire de 1 le nombre de générateurs. Remarque. Notons qu il n y a pas a priori de version avec points du théorème précédent car la Hdim n est pas (à notre connaissance) la dimension de Krull d un espace spectral. Pour obtenir une version avec points, nous devrions considérer la variante (conjecturée par Heitmann, et a priori plus faible) dans laquelle la Hdim est replacée par la Jdim. On aurait alors sans doute une formulation classique utilisant les points du J-spectre de Heitmann. 3.5 Le théorème de simplification de Bass, avec la dimension de Heitmann, sans hypothèse nothérienne Nous prouvons maintenant le théorème de simplification de Bass. Dans le lemme suivant nous reprenons les notations 3.3.

20 20 RÉFÉRENCES Lemme 3.13 Si k (G) = 1 = D A (C) D A (a) et Hdim(A) < k alors il existe t 1,..., t p tels que 1 = D A (C + at 1 C at p C p ). Il suffit d appliquer le lemme 3.4 aux vecteurs C, ac 1,..., ac n (ce qui remplace G par ag). Théorème 3.14 (théorème de simplification de Bass, version dimension de Heitmann) Soit M un A-module projectif de rang k sur un anneau A tel que HdimA < k, et N, Q deux autres A-modules projectifs de type fini. Alors M Q N Q implique M N. Pour être complet, on redonne l argument de [8]. On peut supposer que Q = A et que N A m est image d une matrice idempotente. On a un isomorphisme φ : M A N A A m+1. Soit (C, a) A m+1 le vecteur φ(0, 1). Il nous faut construire un automorphisme de N A qui envoie (C, a) sur (0, 1). Soit α : M A A, (U, x) x. La forme linéaire α φ 1 envoie (C, a) sur 1, d où D A (C) D A (a) = 1. Donc, par le lemme 3.13, il existe C N tel que D A (C + ac ) = 1. est On a donc une forme linéaire λ : N A vérifiant λ(c +ac ) = 1 (obtenue comme restriction d une forme linéaire sur A m ). On a alors les trois automorphismes suivants de N A qui par composition réalisent le but fixé : ψ 1 : (V, x) (V + xc, λ(xc av )), (C, a) (C + ac, 0) ψ 2 : (V, x) (V, x + λ(v )), (C + ac, 0) (C + ac, 1) ψ 3 : (V, x) (V x(c + ac ), x), (C + ac, 1) (0, 1) (on vérifie que ψ 1 est un automorphisme en remarquant que si ψ 1 (V, x) = (W, y) alors x = y + aλ(w )). Remarques. Dans le fonctionnement de cette preuve, on voit qu on aurait pu se contenter de supposer que N est un module image d une matrice F telle que k (F ) = 1 et M Q N Q pour un module projectif Q. Notons aussi que les automorphismes ψ i sont réalisés en pratique comme des automorphismes de A n+1 qui fixent N A. De manière plus générale tous les théorèmes d algèbre commutative que nous avons démontrés se ramènent en fin de compte à des théorèmes concernant les matrices et leurs manipulations élémentaires. Références [1] Coquand T. Sur un théorème de Kronecker concernant les variétés algébriques C. R. Acad. Sci. Paris, Ser. I 338 (2004), [2] Coquand T., Lombardi H. Hidden constructions in abstract algebra (3) Krull dimension of distributive lattices and commutative rings. dans : Commutative ring theory and applications. Eds : Fontana M., Kabbaj S.-E., Wiegand S. Lecture notes in pure and applied mathematics vol 131. M. Dekker. (2002) [3] Coquand T., Lombardi H., Quitté C. Generating non noetherian modules constructively. Manuscripta mathematica 115, (2004), , 14, 15 [4] Coquand T., Lombardi H., Quitté C. Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématiques de Besançon, Théorie des Nombres ( ). 11, 12, 13, 14 [5] Coquand T., Lombardi H., Roy M.-F. An elementary characterisation of Krull dimension. From Sets and Types to Analysis and Topology : Towards Practicable Foundations for Constructive Mathematics (L. Crosilla, P. Schuster, eds.). Oxford University Press. (2005)