Serres modularitetsförmodan

Inom matematiken är Serres modularitetsförmodan, introducerad av Mall:Harvs, baserad på korrespondens under åren 1973–1974 med John Tate, en förmodan som säger att från en udda irreducibel tvådimensionell Galoisrepresentation över en ändlig kropp uppstår från en modulär form. En starkare version av förmodan specificerar vikten och nivån av modulära formen. Förmodan bevisades av Chandrashekhar Khare i fallet med nivå 1 2005 och 2008 lyckades Khare och Jean-Pierre Wintenberger bevisa hela förmodan.

Formulering

Förmodan handlar om absoluta Galoisgruppen $G_{\mathbb{Q}}$ av den rationella talkroppen $\mathbb{Q}$.

Låt $\rho$ vara en absolut irreducibel, kontinuerlig tvådimensionell representation av $G_{\mathbb{Q}}$ över en ändlig kropp som är udda (vilket betyder att komplex konjugering har determinant -1)

$F={𝔽}_{{\ell }^r}$

av karakteristik $\ell$,

$\rho :G_{\mathbb{Q}}\to {\mathrm{G}\mathrm{L}}_2(F).$

Till en godtycklig normaliserad modulär egenform

$f=q+a_2{q}^2+a_3{q}^3+\cdots$

av nivå $N=N(\rho )$, vikt $k=k(\rho )$ och någon Nebentypkaraktär

$\chi :\mathbb{Z}/N\mathbb{Z}\to F^{*}$,

relaterar en sats av Shimura, Deligne och Serre-Deligne en representation

${\rho }_f:G_{\mathbb{Q}}\to {\mathrm{G}\mathrm{L}}_2(𝒪),$

där $𝒪$ är ringen av heltal i en ändlig utvidgning av ${\mathbb{Q}}_{\ell }$. Denna representation karakterisers av kravet att för alla primtal $p$, relativt prima till $N\ell$ har vi

$\mathrm{Trace}({\rho }_f({\mathrm{Frob}}_p))=a_p$

och

$\det ({\rho }_f({\mathrm{Frob}}_p))=p^{k-1}\chi (p).$

Genom att reducera denna representation modulo maximala idealen av $𝒪$ ger en mod $\ell$ representation $\overline{{\rho }_f}$ av $G_{\mathbb{Q}}$.

Serres förmodan säger att för alla $\rho$ såsom ovan finns det en modulär egenform $f$ så att

$\overline{{\rho }_f}\cong \rho$.

Nivån och vikten av den förmodade formen $f$ beräknas explicit i Serres artikel. Dessutom härleder han flera resultat från denna förmodan, bland annat Fermats stora sats och Taniyama-Shimuras sats.

Källor

• Mall:Enwp
• Mall:Citation
• Mall:Citation
• Mall:Citation

Externa länkar

• Serre's Modularity Conjecture 50 minute lecture by Ken Ribet given on October 25, 2007 ( slides PDF, other version of slides PDF)