La conjecture de Brumer-Stark est une conjecture en théorie algébrique des nombres donnant une généralisation à la fois de la formule analytique des nombres de classe pour les fonctions zêta de Dedekind et aussi du théorème de Stickelberger sur la factorisation des sommes de Gauss. Elle porte les noms d'Armand Brumer et Harold Stark.
Elle apparaît comme un cas particulier (abélien et du premier ordre) de la , lorsque la place qui se scinde dans l'extension est finie. Il y a très peu de cas où la conjecture est connue comme vraie. Son importance découle, par exemple, de sa connexion avec le douzième problème de Hilbert.
Énoncé de la conjecture Soit une extension abélienne de corps globaux, et soit un ensemble de places de contenant les places archimédiennes et les idéaux premiers qui se ramifient dans . La fonction L d'Artin équivariante -imprimitive est obtenue à partir de la usuelle en supprimant les facteurs d'Euler correspondant aux nombres premiers dans des fonctions L d'Artin à partir desquelles la fonction équivariante est construite. C'est une fonction sur les nombres complexes prenant ses valeurs dans l'anneau complexe de groupe , où est le groupe de Galois de . Elle est analytique sur l'ensemble du plan, à l'exception d'un seul pôle simple en .
Soit le groupe des racines de l'unité dans . Le groupe agit sur ; soit l'annulateur de en tant que -module. Un théorème important, d'abord prouvé par C. L. Siegel et plus tard indépendamment par , stipule que est en fait dans . Un théorème plus profond, prouvé indépendamment par Pierre Deligne et Ken Ribet, et Pierrette Cassou-Noguès, montre que est dans . En particulier, est dans , où est le cardinal de .
Le groupe des classes d'idéaux de est un -module. D'après la discussion ci-dessus, il est donc muni d'une action de . La conjecture de Brumer-Stark énonce ce qui suit :
La première partie de cette conjecture est due à Armand Brumer, et Harold Stark a suggéré à l'origine que la deuxième condition pourrait être vraie aussi. La conjecture a été énoncée pour la première fois sous une forme publiée par John Tate, exposé ..
Le terme « anti-unité » fait référence à la condition que doit être égal à 1 pour chaque place archimédienne .
Avancées On sait que la conjecture de Brumer-Stark est vraie dans les cas suivants : est abélienne (le sous-cas où est cyclotomique résulte du théorème de Stickelberger.) ; est quadratique ou biquadratique.
Corps de fonctions Une conjecture analogue dans le cas de corps de fonctions est connue, ayant été prouvée par John Tate et Pierre Deligne.
Références
Catégorie:Fonction zêta Catégorie:Théorie algébrique des nombres Catégorie:Conjecture