(ϕ,Γ)-modules de de Rham et fonctions L p-adiques
Auteur / Autrice : | Joaquín Rodrigues Jacinto |
Direction : | Pierre Colmez |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 25/11/2016 |
Etablissement(s) : | Paris 6 |
Ecole(s) doctorale(s) : | École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) |
Partenaire(s) de recherche : | Laboratoire : Institut de mathématiques de Jussieu-Paris Rive Gauche (1997-....) |
Jury : | Examinateurs / Examinatrices : Jan Nekovář, Olivier Fouquet, Jacques Tilouine |
Rapporteur / Rapporteuse : Denis Benois, Henri Darmon |
Mots clés
Résumé
Nous étudions, dans cette thèse, la construction des fonctions L p-adiques des motifs sur Q et, plus particulièrement, des formes modulaires. Dans les premiers trois chapitres on étend des constructions de Perrin-Riou pour construire, pour une représentation p-adique de de Rham V du groupe de Galois absolu G_Qp de Qp (ou, plus généralement, un (ϕ,Γ)-module de de Rham sur l'anneau de Robba) et un système compatible d'éléments globaux, une fonction L p-adique. On montre, en utilisant des lois de réciprocité montrées par Perrin-Riou, Colmez, Cherbonnier-Colmez, Berger et Nakamura, que ces fonctions interpolent des valeurs arithmétiques intéressantes aux caractères localement algébriques.Dans les derniers trois chapitres, on se spécialise au cas de dimension 2. On démontre, en s'inspirant des techniques de Nakamura et des nouvelles techniques de changement de poids de Colmez introduites pour l'étude des vecteurs localement algébriques dans la correspondance de Langlands L p-adique pour GL₂(Qp), une équation fonctionnelle pour notre fonction L p-adique. Comme une application de cette équation fonctionnelle, on fournit les argument manquants dans les travaux de Nakamura, complétant la preuve de la conjecture ε locale de Kato pour les représentations de dimension 2. Pour le motif associé à une forme modulaire, on utilise tous ces résultats pour interpréter les valeurs interpolées par la fonction L p-adique en termes des valeurs spéciales de la fonction L complexe de cette forme.