logo IMB
Retour

Séminaire de Théorie des Nombres

Systèmes d'Euler, conjecture de Gras, conjecture principale d'Iwasawa.

Stéphane Viguié

( Univ. Franche-Comté )

Salle de Conférences

le 13 avril 2012 à 14:00

Les systèmes d'Euler ont été introduits au d'ebut des années 90. Étant donné une extension abélienne finie de corps globaux K/kK/k, ils permettent dans certains cas de comparer les structures du module galoisien des pp-classes AKA_K et du module galoisien des unités modulo unités de Stark MCEK/MCStKMCE_K /MCSt_K. Dans le cas où kk est un corps de fonctions de caractéristique ρ\rho, ou dans le cas où kk est quadratique imaginaire, nous étendons la méthode d'eveloppée par K.\,Rubin. Nous montrons que si p[K:k]p\nmid[K:k] (dans le cas des corps de fonctions, on suppose aussi pρp\neq\rho), alors pour tout (sauf les caractères MBQMBQ-conjugués au caractère de Teichmuller dans un cas pathologique ) MBQpMBQ_p-caractère irréductible ψ\psi on a égalité des cardinaux des ψ\psi-parties, #(AK,ψ)=#(MCEK/MCStK)ψ.\#\left( A_{K,\psi} \right) = \#\left( MCE_K/MCSt_K \right)_\psi. Dans le cas où kk est quadratique imaginaire, et où le nombre premier p{2,3}p\notin \{2,3\} est d'ecomposé dans kk, on note kk_\infty l'unique MBZpMBZ_p-extension de kk non ramifiée en dehors de MFpMFp. On considère une extension KK_\infty de kk_\infty , abélienne sur kk. Inspiré par les travaux de K.\,Rubin et W.\,Bley, nous montrons que pour tout MBCpMBC_p-caractère irréductible χ\chi du sous-groupe de torsion de Gal(K/k)Gal\left( K_\infty /k \right), on a égalité des idéaux caractéristiques des χ\chi-quotients, #(A,χ)=#(MCE/MCSt)χ.\#\left( A_{\infty ,\chi} \right) = \#\left( MCE_\infty /MCSt_\infty \right)_\chi.