Stark’s conjectures connect special units in number fields with special values of -functions attached to these fields. We consider the fundamental equality of Stark’s refined conjecture for the case of an abelian Galois group, and prove it when this group has exponent . For biquadratic extensions and most others, we prove more, establishing the conjecture in full.
Soient le groupe de Galois d’une extension galoisienne finie, , d’un corps de nombres et un ensemble de places de , contenant les places de sauvagement ramifiées dans . Nous démontrons, dans de nombreux cas particuliers, une conjecture faite par J. Queyrut dans un article précédent : l’ordre de la classe de l’anneau des entiers de , dans le sous-groupe de torsion du groupe de Grothendieck des -module localement libres en dehors de , est égal à 1 ou 2, selon le signe des constantes...
On définit, en réponse à une question de Sarnak dans sa lettre a Bombieri [Sar01], un accouplement symplectique sur l’interprétation spectrale (due à Connes et Meyer) des zéros de la fonction zêta. Cet accouplement donne une formulation purement spectrale de la démonstration de l’équation fonctionnelle due à Tate, Weil et Iwasawa, qui, dans le cas d’une courbe sur un corps fini, correspond à la démonstration géométrique usuelle par utilisation de l’accouplement de dualité de Poincaré Frobenius-équivariant...
On définit la notion de système d’Euler associé à une représentation -adique du groupe de Galois absolu de dans le cas cyclotomique. Cette notion a été introduite par Kolyvagin. L’existence d’un tel système a des conséquences très importantes sur l’étude des groupes de Selmer de que nous développons ici.