See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Conjecture de Shimura-Taniyama-Weil - Wikipédia

Conjecture de Shimura-Taniyama-Weil

Un article de Wikipédia, l'encyclopédie libre.

La conjecture de Shimura-Taniyama-Weil énonce que pour toute courbe elliptique sur \mathbb{Q}\, il existe une forme modulaire de poids 2 pour un sous-groupe de congruence Γ0(N), ayant même fonction L que la courbe elliptique.

Une grande partie de cette conjecture, suffisamment pour en déduire le Dernier théorème de Fermat, a été démontrée par Andrew Wiles. Cette conjecture est maintenant un théorème grâce aux travaux de Christophe Breuil, Brian Conrad, Fred Diamond, et Richard Taylor qui ont traité les cas restants.

Cette conjecture est un cas très particulier de conjectures énoncées par Robert Langlands reliant motifs et représentations automorphes.


La (partie affine d'une) courbe elliptique E définie sur \mathbb{Q}\, (le corps des nombres rationnels) est donnée par une équation du type

y2 + a1xy + a3y = x3 + a2x2 + a4x + a6,

où les coefficients sont des entiers. On peut choisir une telle équation minimale (c'est-à-dire que le discriminant est minimal).

Si p est un nombre premier, on peut réduire modulo p les coefficients de cette équation minimale définissant E ; pour toutes les valeurs de p, sauf un nombre fini, l'équation réduite définit une courbe elliptique sur le corps fini \mathbb{F}_p\,. L'équation réduite a n_p\, solutions[1]. On peut alors considérer la suite

ap = pnp

qui est un invariant important de la courbe elliptique E.

Par ailleurs, une forme modulaire donne aussi naissance à une suite de coefficients. Une courbe elliptique telle que la suite des ap est en accord avec celle obtenue à partir d'une forme modulaire est appelée modulaire. La conjecture de Shimura-Taniyama-Weil prédit que :

"Toutes les courbes elliptiques sur \mathbb{Q}\, sont modulaires."

Une version faible fut énoncée par Yutaka Taniyama en septembre 1955, au cours d'une session de problèmes lors d'une conférence à Tokyo : il demanda s'il était possible de trouver une forme dont la transformée de Mellin donnerait la fonction L de Hasse-Weil de la courbe elliptique. Dans une série d'articles, Goro Shimura construisit pour chaque forme modulaire dotée de bonnes propriétés (en particulier de poids 2 et à coefficients rationnels) une courbe elliptique adéquate, c'est-à-dire qu'il établit la moitié du dictionnaire entre 'elliptique' et 'modulaire'. Taniyama se suicida en 1958. La conjecture fut reformulée par André Weil dans les années 60, lorsqu'il montra que la modularité résulterait de propriétés simples sur les fonctions L de Hasse-Weil[2]. Cette formulation rendit la conjecture plus convaincante et le nom de Weil lui fut longtemps associé, parfois de manière exclusive[3]. Elle devint aussi une composante importante dans le programme d'unification de Langlands.

Dans les années 60, Y. Hellegouarch avait étudié les propriétés de courbes elliptiques associées à des contre-exemples au Dernier théorème de Fermat. Reprise dans les années 80 par Gerhard Frey, et précisée par Jean-Pierre Serre, cette idée permit à Ken Ribet de démontrer que la conjecture de Shimura-Taniyama-Weil pour ces courbes "de Hellegouarch-Frey" impliquait vraiment le Théorème de Fermat. En 1994, Andrew Wiles, avec l'aide de son ancien élève Richard Taylor, démontra un cas particulier de la conjecture (le cas des courbes elliptiques semi-stables), qui suffisait pour la preuve du dernier théorème de Fermat[4].

La conjecture complète fut finalement démontrée en 1999 par Breuil, Conrad, Diamond et Taylor en s'appuyant sur les idées de Wiles.

On peut en déduire (modulo un travail non nul...) un certain nombre de résultats dans la lignée du dernier théorème de Fermat. Par exemple : "aucun cube n'est la somme de deux puissances n-ièmes avec n ≥ 3".

En mars 1996, Wiles partagea le Prix Wolf avec Robert Langlands. Bien qu'aucun des deux n'ait démontré la conjecture complète, il fut reconnu qu'ils avaient établi les résultats clés menant à sa démonstration.

[modifier] Notes

  1. La courbe elliptique réduite a donc np + 1 points, en comptant le point à l'infini.
  2. Plus précisément de ce que les fonctions L d'une famille de courbes elliptiques déduites de celle de départ admettraient un prolongement analytique à tout le plan complexe et vérifieraient une équation fonctionnelle liant leurs valeurs en s et leurs valeurs en 2-s, voir A. Weil, Collected Papers, vol. 3, p. 165. De telles propriétés, analogues à celles de la fonction zêta de Riemann, étaient attendues pour toutes les fonctions L.
  3. Le mathématicien S. Lang mena une campagne active au moment de la preuve de Wiles pour éliminer le nom de Weil de l'énoncé de la conjecture, voir son article dans la Gazette des mathématiciens ainsi que les références qui s'y trouvent. Une présentation mesurée du rôle de chacun se trouve dans l'exposé de Jean-Pierre Serre à Bourbaki en 1994.
  4. Voir l'exposé de Serre cité plus haut et, pour plus de détails Yves Hellegouarch, Invitation aux mathématiques de Fermat-Wiles [détail des éditions]

[modifier] Références

  • Henri Darmon : A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced, Notices of the American Mathematical Society, Vol. 46 (1999), No. 11. Contient une introduction agréable du théorème et les grandes lignes de la démonstration (en anglais).
  • Brian Conrad, Fred Diamond, Richard Taylor: Modularity of certain potentially Barsotti-Tate Galois representations, Journal of the American Mathematical Society 12 (1999), pp. 521–567. Contient la démonstration.


  • (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Modularity theorem ».



aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -