Fonctions L et points rationnels de tordues galoisiennes de courbes modulaires
| Auteur / Autrice : | Élie Studnia |
| Direction : | Loïc Merel |
| Type : | Thèse de doctorat |
| Discipline(s) : | Mathématiques |
| Date : | Soutenance le 06/11/2024 |
| Etablissement(s) : | Université Paris Cité |
| 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 : | Président / Présidente : Anna Cadoret |
| Examinateurs / Examinatrices : Giada Grossi, Vincent Pilloni, Jan Vonk | |
| Rapporteurs / Rapporteuses : Henri Darmon, Pierre Parent |
Résumé
Dans cette thèse, on discute de l'existence de courbes elliptiques sur une base générale pour lesquelles la p-torsion est un schéma en groupes fixé (où p est un nombre premier). On prouve tout d'abord que ce problème est représentable au sens de Katz-Mazur par une courbe affine lisse, puis on décrit une autre manière de construire sa compactification sur un corps, comme la tordue de X(p) par une représentation galoisienne bidimensionnelle modulo p. On étudie ensuite la fonction L d'une telle courbe modulaire tordue sur le corps des rationnels et le signe de l'équation fonctionnelle conjecturalement satisfaite par ses facteurs. Lorsque la représentation galoisienne possède une petite image, on affine cette décomposition et on montre que les fonctions L de chacun des facteurs satisfont des équations fonctionnelles dont on détermine le signe. Grâce au système d'Euler de Beilinson-Flach, et en étendant des résultats de grande image galoisienne dûs à Loeffler, on montre la conjecture de Bloch-Kato en rang zéro pour chaque facteur sans multiplication complexe, et on applique ce résultat pour contrôler explicitement la mauvaise réduction de courbes elliptiques pour laquelle l'image de Galois est contenue dans le normalisateur d'un sous-groupe de Cartan non déployé, sous une hypothèse supplémentaire de non-annulation de certaines fonctions L de Rankin-Selberg, que l'on sait vérifier dans certains cas.