Théorème des syzygies de Hilbert
Le théorème des syzygies est un important résultat mathématiques sur la théorie des anneaux, plus spécifiquement des anneaux de polynômes. Il joue également un rôle historique considérable, en ce qu'il a motivé et orienté le développement de la géométrie algébrique au début du 20e siècle. Il est dû au mathématicien allemand David Hilbert qui l'a démontré en 1890[1], posant avec le théorème de la base et le théorème des zéros les fondements de l'étude moderne des anneaux de polynômes. Le terme de syzygie, d'origine astronomique, est utilisé par Hilbert pour désigner des « relations entre relations » entre les générateurs d'idéaux. On peut considérer aujourd'hui que ce résultat fut le premier pas vers l'algèbre homologique moderne.
Histoire et premier énoncé
Le théorème est prouvé en 1890 dans un long article de Hilbert[1], où il prouve également le théorème de la base et une version partielle de ce qui deviendra le théorème de Hilbert-Burch (en) avec les travaux de Lindsay Burch en 1968[2]. La version de Hilbert du théorème des syzygies portait sur le cas particulier d'un anneau de polynômes à coefficients complexes : soit un tel anneau, et soit un -module gradué de type fini ayant pour générateurs . Alors l'ensemble des tels que possède naturellement une structure de -module, on le note et on l'appelle le module de syzygies de . L'idée de Hilbert est de répéter ce processus : le -ème module de syzygies est obtenu en répétant fois cette constructions, partant de . Il observe alors que pour une valeur de assez grande, au plus , est un module libre ! Autrement dit, on obtient une résolution libre (en) de . Puisque les modules libres sont particulièrement faciles à manier, et qu'une résolution libre est une suite exacte, de nombreuses propriétés importantes peuvent être calculées grâce à cette résolution libre.
La principale motivation de Hilbert était de montrer que la fonction génératrice qui compte le nombre d'invariants de chaque degré est une fonction rationnelle. Il illustre la technique sur une famille simple de résolutions libres (on parle aujourd'hui du complexe de Koszul (en))[3],[4],[5] :
Le théorème a depuis été approfondi et simplifié, entre autres par la preuve par Quillen et Suslin en 1976 de la conjecture de Serre, qui relie les modules libres aux modules projectifs[6],[7]. Au cours du développement de l'algèbre homologique dans les années 1950, le théorème des syzygies a appelé de nouvelles questions, tant sur la taille des résolutions ainsi garanties que sur la meilleure manière d'extraire d'une résolution libre des informations utiles sur le module d'intérêt[8]. Se pose également le problème de calculer effectivement et efficacement des syzygies. Le premier résultat en ce sens est dû à Grete Hermann[9], qui a fourni en 1926 une borne théorique sur la complexité nécessaire ; en pratique, le calcul de bases de Gröbner est généralement suffisant.
Énoncé moderne
Tout module de type fini (pas nécessairement gradué) sur un anneau régulier possède une résolution projective (pas nécessairement libre).
On peut également reformuler le résultat en termes d'algèbre homologique, en énonçant que la dimension globale de est .
Exemples
- Soit un corps, alors le théorème des syzygies équivaut au théorème de la base incomplète, selon lequel tout espace vectoriel possède une base. Cet exemple important permet d'illustrer ce que montre, en toute généralité, le théorème.
- Soit avec un corps, alors le théorème des syzygies équivaut au théorème que dans un anneau principal, tout sous-module d'un module libre est lui-même libre.
- Soit avec . Alors possède une résolution libre La matrice de droite contient les relations entre générateurs de , la matrice de gauche contient les relations entre relations.
Références
- ↑ a et b (de) David Hilbert, Algebra · Invariantentheorie Geometrie, Springer, Berlin, Heidelberg, (ISBN 978-3-662-24586-6 et 9783662267370, DOI 10.1007/978-3-662-26737-0_16, lire en ligne), p. 199–257
- ↑ (en) Lindsay Burch, « On ideals of finite homoloǵical dimension in local rings », Math. Proc. Cambridge Philos. Soc., vol. 64, no 4, , p. 941-948 (DOI 10.1017/s0305004100043620).
- ↑ (en) David Eisenbud, The Geometry of Syzygies: A Second Course in Commutative Algebra and Algebraic Geometry, New York, Springer, (ISBN 978-0-387-26456-1, OCLC 209820036).
- ↑ (en) Roger Wiegand, « What is a Syzygy? », Notices Amer. Math. Soc., vol. 53, no 4, , p. 456-457.
- ↑ Jean-Louis Koszul, « Homologie et cohomologie des algèbres de Lie », Bull. Soc. Math. Fr., vol. 2, , p. 65-127 (DOI 10.24033/bsmf.1410).
- ↑ (en) Daniel Quillen, « Projective modules over polynomial rings », Invent. Math., vol. 36, no 1, , p. 167-171 (DOI 10.1007/bf01390008).
- ↑ (ru) Andrei A. Suslin, « Проективные модули над кольцами многочленов свободны », Doklady Akademii Nauk SSSR, vol. 229, no 5, , p. 1063-1066.
- ↑ (en-US) Gunnar Fløystad, Jason McCullough et Irena Peeva, « Three themes of syzygies », Bull. Amer. Math. Soc., vol. 53, no 3, , p. 415-435 (DOI 10.1090/bull/1533).
- ↑ (de) Grete Hermann, « Die Frage der endlich vielen Schritte in der Theorie der Polynomideale », Math. Ann., vol. 95, no 1, , p. 736-788 (DOI 10.1007/bf01206635).
Portail de l’algèbre