Serre-Vermutung

Die Serre-Vermutung ist ein mathematischer Satz über Galois-Darstellungen und Modulformen, der im Jahr 2006 von Chandrashekhar Khare, Jean-Pierre Wintenberger und Mark Kisin bewiesen wurde. Die Serre-Vermutung impliziert den Modularitätssatz und damit auch den großen Satz von Fermat. Die Serre-Vermutung geht auf eine Vermutung von Jean-Pierre Serre zurück.

Unabhängig von Khare und Wintenberger bewies auch Luis Dieulefait 2004 Spezialfälle der Serre-Vermutung, die für den Beweis des großen Satzes von Fermat ausreichen.

Formulierung

Die Vermutung betrifft Darstellungen (Galois-Darstellungen) der absoluten Galoisgruppe $G_{\mathbb {Q} }$ der rationalen Zahlen $\mathbb {Q}$. Die absolute Galoisgruppe enthält alle Galoisgruppen von Automorphismen von algebraischen Zahlkörpern, die als endliche galoissche Erweiterungen des Körpers der rationalen Zahlen gegeben sind.

Sei $\rho$ eine absolut irreduzible, stetige und ungerade zweidimensionale Darstellung von $G_{\mathbb {Q} }$ über einem endlichen Körper

$F=\mathbb {F} _{l^{r}}$

der Charakteristik $l$,

$\rho :G_{\mathbb {Q} }\rightarrow GL_{2}(F).\$

Nach der Vermutung von Serre wird jede solche Darstellung durch eine Darstellung im Raum der Spitzenformen zur Kongruenzuntergruppe $\Gamma _{0}(N)$ der Stufe $N=N(\rho )$, Gewicht $k=k(\rho )$, und Nebentypus

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

festgelegt, wobei Modulformen in Charakteristik $l$ mit Koeffizienten der Fourierentwicklung in $F$ betrachtet werden. Die Wirkung der absoluten Galoisgruppe in dieser Darstellung wird durch die Hecke-Operatoren beschrieben, linearen Abbildungen im Raum der Spitzenformen dieses Typs. Es gibt eine normierte Hecke-Eigenform, sie ist simultane Eigenfunktion aller Heckeoperatoren, mit der Fourierentwicklung

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

Spezielle Elemente der absoluten Galoisgruppe $G_{\mathbb {Q} }$, die Frobeniuselemente $\operatorname {Frob} _{p}$ zur Primzahl p, beinhalten wesentliche Informationen zur Arithmetik der Zahlkörper. Nach der Vermutung von Serre gilt weiter für alle Primzahlen $p$, teilerfremd zu $N\,l$:

$\operatorname {Trace} (\rho (\operatorname {Frob} _{p}))=a_{p}\$

und

$\det(\rho (\operatorname {Frob} _{p}))=p^{k-1}\chi (p).\$

Das heißt, Spur und Determinante – und damit im Wesentlichen die Wirkung der Frobeniusabbildung in der betrachteten Darstellung – werden durch die Hecke-Eigenform festgelegt. Serre vermutete sogar (und zeigte dies explizit an Beispielen), dass sich die Parameter der Darstellung $\rho$ (Stufe, Gewicht, Nebentypus) explizit berechnen lassen (starke Serre-Vermutung).

Es war bereits sehr lange durch tiefe Sätze von Gorō Shimura, Pierre Deligne, Barry Mazur und Robert Langlands bekannt, dass man jeder Hecke-Eigenform $f\in S_{k}(N,\chi )$ eine Darstellung (wie oben gefordert) zuordnen kann. Die Serre-Vermutung behauptet die Umkehrung: Jede irreduzible, stetige und ungerade Darstellung stammt von einer Modulform.

Literatur

Originalarbeiten der Beweise:

• Chandrashekhar Khare: Serre's modularity conjecture: The level one case, Duke Mathematical Journal, Band 134, 2006, S. 557–589
• Chandrashekhar Khare, Jean-Pierre Wintenberger: Serre’s Modularity Conjecture, Teil 1,2, Inventiones Mathematicae, Band 158, 2009, S. 485–504, 505–586, Teil I (PDF-Datei; 344 kB), Teil II (PDF-Datei; 974 kB)
• Khare, Wintenberger: On Serre’s reciprocity conjecture for 2-dimensional mod p representations of Gal(${\bar {\mathbb {Q} }}/\mathbb {Q}$), Annals of Mathematics, Band 169, 2009, S. 229–253
• Luis Dieulefait: The level 1 weight 2 case of Serre's conjecture, Revista Matemática Iberoamericana, Band 23, 2007, S. 1115–1124.
• Mark Kisin: Modularity of 2-adic Barsotti-Tate representations, Inventiones Mathematicae, Band 178, 2009, S. 587–634, Preprints, Kisin

Zur Serre-Vermutung:

• William A. Stein, Ken Ribet: Lectures on Serre’s conjecture, in: Brian Conrad, Karl Rubin (Hrsg.), Arithmetical algebraic geometry (Park City 1999), IAS/Park City Lectures 9, American Mathematical Society, 2001, S. 143–232, pdf
• Gabor Wiese: Der Zusammenhang zwischen Modulformen und Zahlkörpern, Essener Unikate Nr. 33, 2007, pdf
• L. J. P. Kilford: Modular forms, Imperial College Press 2008, Kapitel 6.2 (Galois representations attached to mod p modular forms), S. 152ff

Weblinks

• Serre's Modularity Conjecture 50-minütige Vorlesung von Ken Ribet vom 25. Oktober 2007 (Folien PDF, andere Version der Folien PDF)
• Gabor Wiese, Die Serresche Modularitätsvermutung und Computeralgebra, 2010, pdf