Théorie de l'élimination
Eliminate the eliminators of the elimination theory[1]. »
S. S. Abhyankar
En algèbre commutative et en géométrie algébrique, la théorie de l'élimination traite de l'approche algorithmique de l'élimination de variables entre polynômes. Le cas linéaire est maintenant couramment traité par élimination de Gauss, plus efficace que la méthode de Cramer. De même, des algorithmes d'élimination s'appuient sur des calculs de bases de Gröbner, alors qu'il existe des publications anciennes sur divers types d'« éliminants », comme le résultant pour trouver les racines communes à deux polynômes, le discriminant, etc. En particulier le discriminant apparaît dans la théorie des invariants et est souvent construit comme l'invariant d'une courbe algébrique ou d'un polynôme homogène. Alors que le discriminant est un cas particulier de résultant, sa construction et sa signification peuvent varier. Une version moderne et systématique de la théorie du discriminant a été développée par Gelfand et ses coauteurs[2]. Certaines méthodes systématiques ont un contenu homologique que l'on peut expliciter, comme dans le théorème des syzygies de Hilbert. Ce domaine est au moins aussi ancien que le théorème de Bézout.
Le développement historique de l'algèbre commutative, qu'on appelait à l'origine théorie des idéaux, est intimement lié aux concepts de la théorie de l'élimination : des idées de Kronecker, qui avait écrit un article majeur sur le sujet,[réf. souhaitée] furent adaptées par Hilbert et « linéarisées » mais avec perte, dans un premier temps, du contenu constructif explicite. Le processus continua sur plusieurs décennies : le travail de Macaulay, d'après qui ont été nommés les anneaux de Cohen-Macaulay, a été motivé par l'élimination.
La théorie de l'élimination a aussi un contenu logique, qui apparaît dans le problème SAT, soulevant des questions de complexité algorithmique. L'élimination des quantificateurs existentiels est possible dans certains cas, comme celui des corps algébriquement clos. Une conséquence géométrique est que si X est une variété algébrique sur un corps algébriquement clos k et Y un fermé de Zariski du produit de X par un espace projectif sur k, alors le projeté X0 de Y dans X est un fermé[3] et plus généralement, pour tout entier e, l'ensemble Xe des points de X au-dessus desquels la fibre dans Y est de dimension supérieure ou égale à e est un fermé[4]. L'histoire semble montrer que ce fait a influencé la pensée de Hilbert sur les perspectives en théorie de la démonstration.[réf. souhaitée]
Notes et références[modifier | modifier le code]
- Extrait d'un poème d'Abhyankar sur l'histoire de la géométrie algébrique : (en) Chris Christensen, Ganesh Sundaram, Avinash Sathaye et Chandrajit Bajaj, Algebra, Arithmetic and Geometry with Applications : papers from Shreeram S. Abhyankar's 70th birthday conference, Berlin, Springer, , 782 p. (ISBN 978-3-540-00475-2, lire en ligne), p. 783-384.
- (en) Israel Gelfand, Mikhail Kapranov et Andrei Zelevinsky, Discriminants, Resultants, and Multidimensional Determinants, Birkhäuser, coll. « Mathematics: Theory & Applications », , 523 p. (ISBN 978-0-8176-3660-9, lire en ligne).
- (en) David Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, Springer, coll. « GTM » (no 150), , 785 p. (ISBN 978-0-387-94269-8, lire en ligne), p. 307.
- Eisenbud 1995, p. 318.
- (en) David A. Cox, John Little et Donal O'Shea, Using Algebraic Geometry, Springer, coll. « GTM » (no 185), , 2e éd., 12 p. (ISBN 978-0-387-20733-9, lire en ligne)
- (en) Serge Lang, Algebra, Springer, coll. « GTM » (no 211), , 3e éd., 914 p. (ISBN 978-0-387-95385-4, lire en ligne), chap. IX, § 3 (« Projections and elimination »), p. 388-401
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Elimination theory » (voir la liste des auteurs).
