Accueil🇫🇷Chercher

Conjecture de modularité de Serre

En mathématiques, la conjecture de modularité de Serre, introduite par Jean-Pierre Serre (1975,1987), énonce qu'une représentation galoisienne impaire, irréductible et bidimensionnelle sur un corps fini provient d'une forme modulaire. Une version plus forte de cette conjecture spécifie le poids et le niveau de la forme modulaire. La conjecture dans le cas de niveau 1 a été prouvée par Chandrashekhar Khare en 2005[1], et une preuve de la conjecture complète a été complétée conjointement par Khare et Jean-Pierre Wintenberger en 2008[2].


Formulation

La conjecture concerne le groupe de Galois absolu du corps des nombres rationnels .

Soit une représentation absolument irréductible (i.e. irréductible sur le corps des complexes), continue et bidimensionnelle de sur un corps fini .

De plus, on suppose est impaire, ce qui signifie que l'image de la conjugaison complexe a un déterminant -1.

À toute forme propre modulaire normalisée

de niveau , poids , et caractères de Dirichlet

,

un théorème dû à Shimura, Deligne et Serre-Deligne associe à une représentation

est l'anneau des entiers dans une extension finie de . Cette représentation est caractérisée par la condition que pour tout nombre premier , premier avec on a

et

En réduisant cette représentation modulo l'idéal maximal de donne une représentation modulo de .

La conjecture de Serre affirme que pour toute représentation comme ci-dessus, il existe une forme modulaire propre tel que

.

Le niveau et le poids de la forme conjecturale sont explicitement conjecturés dans l'article de Serre. De plus, il tire un certain nombre de résultats de cette conjecture, parmi lesquels le dernier théorème de Fermat et la conjecture (désormais prouvée) de Shimura-Taniyama-Weil, maintenant connue sous le nom de théorème de modularité (bien que celui-ci implique le dernier théorème de Fermat, Serre le prouve directement à partir de sa conjecture).

Niveau et poids optimaux

La forme forte de la conjecture de Serre décrit le niveau et le poids de la forme modulaire.

Le niveau optimal est le conducteur d'Artin de la représentation, avec la puissance de supprimé.

Preuve

Une preuve des cas de niveau 1 et de petit poids de la conjecture a été obtenue en 2004 par Chandrashekhar Khare et Jean-Pierre Wintenberger, et par Luis Dieulefait, indépendamment[3] - [4].

En 2005, Chandrashekhar Khare a obtenu une preuve du cas de niveau 1 de la conjecture de Serre, et en 2008 une preuve de la conjecture complète en collaboration avec Jean-Pierre Wintenberger.

Notes

  1. Chandrashekhar Khare, Serre's modularity conjecture: The level one case, vol. 134, , 557–589 p. (DOI 10.1215/S0012-7094-06-13434-8).
  2. Chandrashekhar Khare et Jean-Pierre Wintenberger, Serre's modularity conjecture (I), vol. 178, , 485–504 p. (DOI 10.1007/s00222-009-0205-7, Bibcode 2009InMat.178..485K, CiteSeerx 10.1.1.518.4611) et Chandrashekhar Khare et Jean-Pierre Wintenberger, Serre's modularity conjecture (II), vol. 178, , 505–586 p. (DOI 10.1007/s00222-009-0206-6, Bibcode 2009InMat.178..505K, CiteSeerx 10.1.1.228.8022).
  3. Chandrashekhar Khare et Jean-Pierre Wintenberger, On Serre's reciprocity conjecture for 2-dimensional mod p representations of Gal(Q/Q), vol. 169, , 229–253 p. (DOI 10.4007/annals.2009.169.229 Accès libre).
  4. Luis Dieulefait, The level 1 weight 2 case of Serre's conjecture, vol. 23, , 1115–1124 p. (DOI 10.4171/rmi/525, arXiv math/0412099, lire en ligne).

Lectures complémentaires

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.