Théorème de Quillen-Suslin
Le théorème de Quillen-Suslin, également connu sous le nom de problème de Serre ou conjecture de Serre, est un théorème d'algèbre commutative concernant la relation entre les modules libres et les modules projectifs sur des anneaux de polynômes. Dans un cadre géométrique, c'est une proposition sur la trivialité des fibrés vectoriels sur un espace affine.
Le théorème stipule que tout module projectif de type fini sur un anneau de polynôme est libre.
Histoire[modifier | modifier le code]
Contexte[modifier | modifier le code]
Géométriquement, les modules projectifs de type fini sur l'anneau correspondent à des fibrés vectoriels sur un espace affine , et les modules libres correspondent à des fibrés vectoriels triviaux. Cette correspondance (des modules aux fibrés vectoriels (algébriques)) est donnée par le foncteur de 'globalisation' ou 'twiddlification', envoyant (cite Hartshorne II.5, page 110). L'espace affine est topologiquement contractile, il n'admet donc pas de fibrés vectoriels topologiques non triviaux.
![{\displaystyle R[x_{1},\dots ,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4655882a55bf72acec0737c4a089be5c4463adff)
Jean-Pierre Serre, dans son article de 1955 Faisceaux algébriques cohérents, remarqua que la question correspondante n'était pas connue pour les fibrés vectoriels algébriques : « On ne sait pas s'il existe des A -modules projectifs de type fini qui ne sont pas libres[1]. Ici est un anneau polynomial sur un corps, c'est-à-dire = . »
![{\displaystyle k[x_{1},\dots ,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac6b93b5ea01d89530418e3348fcd76cf5aa18a3)
À la consternation de Serre, ce problème est rapidement devenu connu sous le nom de conjecture de Serre. (Serre a écrit : « Je me suis opposé aussi souvent que j'ai pu [à son nom]. » [2]) L'énoncé ne découle pas immédiatement des preuves données dans le cas topologique ou holomorphe.
Serre a fait quelques progrès vers une solution en 1957 lorsqu'il a prouvé que chaque module projectif de type fini sur un anneau polynomial sur un corps était stablement libre, ce qui signifie qu'après avoir formé sa somme directe avec un module libre de type fini, il devient libre. Le problème resta ouvert jusqu'en 1976, lorsque Daniel Quillen et Andrei Suslin prouvèrent indépendamment le résultat. Quillen a reçu la médaille Fields en 1978 en partie pour sa preuve de la conjecture de Serre. Leonid Vaseršteĭn a donné plus tard une preuve plus simple et beaucoup plus courte du théorème que l'on peut trouver dans l'Algèbre de Serge Lang.
Généralisation[modifier | modifier le code]
Une généralisation reliant les modules projectifs sur les anneaux noethériens réguliers A et leurs anneaux polynomiaux est connue sous le nom de conjecture de Bass-Quillen.
Notes[modifier | modifier le code]
- "On ignore s'il existe des A-modules projectifs de type fini qui ne soient pas libres." Serre, FAC, p. 243.
- Lam, p. 1
Références[modifier | modifier le code]
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Quillen–Suslin theorem » (voir la liste des auteurs).
- Jean-Pierre Serre, « Faisceaux algébriques cohérents », Annals of Mathematics, vol. 61, no 2, , p. 197–278 (DOI 10.2307/1969915, JSTOR 1969915, MR 0068874)
- Jean-Pierre Serre, Séminaire P. Dubreil, M.-L. Dubreil-Jacotin et C. Pisot, 1957/58, Fasc. 2, Exposé 23, (MR 0177011), « Modules projectifs et espaces fibrés à fibre vectorielle »
- Daniel Quillen, « Projective modules over polynomial rings », Inventiones Mathematicae, vol. 36, no 1, , p. 167–171 (DOI 10.1007/BF01390008, MR 0427303)
- (ru) Andrei A. Suslin, « ru:Проективные модули над кольцами многочленов свободны » [« Projective modules over polynomial rings are free »], Doklady Akademii Nauk SSSR, vol. 229, no 5, , p. 1063–1066 (MR 0469905)
