Der Modellansatz: Modell055 - L-Funktionen
Bei genauem Hinsehen finden wir die Naturwissenschaft und besonders Mathematik überall in unserem Leben, vom Wasserhahn über die automatischen Temporegelungen an Autobahnen, in der Medizintechnik bis hin zum Mobiltelefon. Woran die Forscher, Absolventen und Lehrenden in Karlsruhe gerade tüfteln, erfahren wir im Modellansatz Podcast aus erster Hand.
Eine alte Fragestellung lautet, was die Summe der Kehrwerte aller natürlicher Zahlen ist. Mit anderen Worten: existiert der Grenzwert der Harmonischen Reihe ? Die Antwort, die man im ersten Semester kennenlernen ist: Diese Reihe ist divergent, d.h. der Wert ist nicht endlich. Über die spannenden Entwicklungen in der Zahlentheorie, die sich daraus ergeben, berichtet Fabian Januszewski im Gespräch mit Gudrun Thäter.
Eine zur harmonischen Reihe verwandte Fragestellung lautet: Wie steht es um den Wert von ? Diese Frage wurde im 17. Jahrhundert aufgeworfen und man wußte, daß der Wert dieser Reihe endlich ist. Allerdings kannte man den exakten Wert nicht. Diese Frage war als das sogannte Basel-Problem bekannt. Eine ähnliche Reihe ist
Ihr Wert läßt sich elementar bestimmen:
Dies war lange bekannt, aber das Basel-Problem war ungleich schwieriger: Es blieb fast einhundert Jahre lang ungelöst. Erst Leonhard Euler löste es 1741:
Die Riemann'sche
-Funktion
Die Geschichte der L-Reihen beginnt bereits bei Leonhard Euler, welcher im 18. Jahrhundert im Kontext des Basel-Problems die Riemann'sche -Funktion'
entdeckte und zeigte, dass sie der Produktformel
genügt, wobei die Menge der Primzahlen durchläuft und
eine reelle Variable ist. Diese Tatsache ist äquivalent zum Fundamentalsatz der Arithmetik: jede natürliche Zahl besitzt eine eindeutige Primfaktorzerlegung.
Eulers Lösung des Basel-Problems besagt, daß und diese Formel läßt sich auf alle geraden positiven Argumente verallgemeinern:
wobei die
-te Bernoulli-Zahl bezeichnet.
Im 19. Jahrhundert zeigte Bernhard Riemann, dass die a priori nur für konvergente Reihe
eine holomorphe Fortsetzung auf
besitzt, einer Funktionalgleichung der Form
genügt und einen einfachen Pol mit Residuum
bei
aufweist. Letztere Aussage spiegelt die Tatsache wieder, dass in
jedes Ideal ein Hauptideal ist und
die einzigen multiplikativ invertierbaren Elemente sind. Weiterhin weiß
viel über die Verteilung von Primzahlen.
Setzen wir
dann zeigte Riemann, daß die so definierte vervollständigte Riemann'sche -Funktion auf ganz
holomorph ist und der Funktionalgleichung
genügt. Da die
-Funktion Pole bei nicht-positiven ganzzahligen Argumenten besitzt, ergibt sich hieraus die Existenz und Lage der sogenannten "trivialen Nullstellen" von
:
für
.
Konzeptionell sollte man sich den Faktor als Eulerfaktor bei
vorstellen. John Tate zeigte in seiner berühmten Dissertation, daß dies tatsächlich sinnvoll ist: Die endlichen Eulerfaktoren werden von Tate als Integrale über
interpretiert, und der "unendliche" Eulerfaktor ist ebenfalls durch ein entsprechendes Integral über
gegeben. Er legte damit den Grundstein für weitreichende Verallgemeinerungen.
Die Riemann'sche -Funktion ist der Prototyp einer
-Funktion, einem Begriff, der langsam Schritt für Schritt verallgemeinert wurde, zunächst von Richard Dedekind, Lejeune Dirichlet und Erich Hecke und weiter von Emil Artin, Helmut Hasse, André Weil, Alexander Grothendieck, Pierre Deligne, Jean-Pierre Serre und Robert Langlands et al.
-Funktionen spielen in der modernen Zahlentheorie eine zentrale Rolle, und bis heute ranken sich fundamentale Vermutungen um diesen Begriff.
Selbst die Mysterien der Riemann'schen -Funktion sind auch heute bei weitem nicht vollständig ergründet. Die berühmteste Vermutung in diesem Kontext ist die Riemann'sche Vermutung. Riemann zeigte 1859 nicht nur, daß die Riemann'sche
-Funktion eine holomorphe Fortsetzung auf
besitzt, sondern stellte auch einen engen Zusammenhang zwischen der Verteilung der Primzahlen und den Nullstellen von
her. Eulers Produktenwicklung von
für
zeigt, dass stets
für
. Aus der Funktionalgleichung von
ergibt sich, dass
für natürliche Zahlen
. Die sind die sogenannten trivialen Nullstellen der
-Funktion. Riemann vermutete, dass sämtliche nicht-trivialen Nullstellen auf der Geraden
liegen.
Euler bestimmte im wesentlichen die Werte für positives
. Bis heute wissen wir sehr wenig über die Werte
an positiven ungeraden Argumenten. Ein Satz von Apéry besagt, daß
irrational ist. Wir haben allerdings keine einfache Formel für diesen Funktionswert. Konzeptionell unterscheiden sich die ungeraden von den geraden positiven Argumenten darin, daß der in
auftretende Faktor der
-Funktion für ungerades positives
dort einen Pol besitzt, was ebenfalls das Verschwinden von
zur Folge hat.
Über die Werte an negativen ungeraden Argumenten wissen wir aus der Funktionalgleichung, daß . Insbesondere gilt
. Dieser Wert kann in gewissen Kontexten als Grenzwert (der divergierenden!) Reihe
interpretiert werden (formal ergeben diese Identitäten natürlich keinen Sinn). In gewissen Situationen ist der Funktionswert ein sinnvoller endlicher Ersatz für den nicht existierenden Grenzwert der Reihe
. Derartige Phänomene treten in Zahlentheorie an vielen Stellen auf.
Kubota-Leopoldts
-adische
-Funktion
Kummer entdeckte 1851 die erstaunliche Relation wenn
, wobei
eine Primzahl ist. Dies ist nach Eulers Formel für
bzw.
äquivalent zu
für
. Kummer nutzte dieses Kriterium, um Fermats Großen Satz für reguläre Primzahlen zu beweisen. Er zeigte, daß ein enger Zusammenhang zwischen der
-Teilbarkeit der Bernoulli-Zahlen bzw. der
-Werte und Klassengruppen von
-Kreisteilungskörpern besteht.
Kubota und Leopoldt verallgemeinerten 1964 Kummers Kongruenzen und zeigten für
. Dies sagt nichts anderes, als daß die Funktion
bezüglich des
-adischen Absolutbetrages stetig ist. Insbesondere setzt sich diese Funktion eindeutig zu einer stetigen Funktion
fort. Kubota und Leopoldt zeigen, daß diese Funktion nicht nur stetig, sondern auch
-adisch analytisch ist mit einem einzigen einfachen Pol und ebenfalls einer Funktionalgleichung genügt.
Hier ist hervorzuheben, daß es a priori überhaupt nicht klar ist, daß sich die rein analytisch definierten komplexen Funktionswerte der Riemann'schen -Funktion an gewissen Stellen rational sind und sich
-adisch derart gutartig verhalten.
Die berühmte Leopoldt-Vermutung sagt voraus, daß die -adischen
-Funktionen von Zahlkörpern, welche die
-adischen Inkarnationen der Dedekind'schen
-Funktionen sind, ebenfalls einen einzigen einfachen Pol besitzen. Diese Vermutung ist nur für abelsche Erweiterungen von
bekannt. Der allgemeine Fall ist weiterhin offen und gilt als ein fundamentales und sehr schwieriges Problem der modernen Zahlentheorie. Die Leopoldt-Vermutung impliziert Aussagen über die Struktur der absoluten Galois-Gruppe von
.
-Funktionen elliptischer Kurven
Eine elliptische Kurve ist eine glatte projektive Kurve vom Geschlecht 1. In Charakteristik 0 läßt sich jede solche Kurve
durch eine Weierstraß-Gleichung der Gestalt
. Wenn
sprechen wir von elliptischen Kurven über
. Wenn für eine Primzahl
die Koeffizienten
und
sogar
-ganz sind (das trifft auf alle bis auf endlich viele Primzahlen zu), können wir die Kurve
modulo
betrachten und erhalten auf diese Weise für alle bis auf endlich viele Primzahlen eine elliptische Kurve
über dem endlichen Körper
. Auf
liegen nur endlich viele Punkte, deren Anzahl wir mit
bezeichnen. Einer solchen Primzahl ordnen wir den Euler-Faktor
zu. Für diejenigen Primzahlen, für welche wir keine glatte Kurve über
erhalten, läßt sich ebenfalls ein Eulerfaktor definieren. Diese sind von der Gestalt
, wobei
möglich ist.
Das Produkt all dieser Eulerfaktoren ergibt die Hasse-Weil -Funktion
der elliptischen Kurve
. Ein fundamentaler Satz von Helmut Hasse besagt, daß
. Daher konvergiert
für
absolut und läßt sich dort zu einer Reihe der Form
ausmultiplizieren, wobei
die gleiche Bedeutung wie zuvor hat. Die Vermutung von Hasse-Weil besagt, daß
eine holomorphe Fortsetzung auf ganz
besitzt und die vervollständigte
-Funktion
einer Funktionalgleichung
mit einer expliziten Funktion
genügt.
Die -Funktion kodiert also die Lösbarkeit der definierenden Gleichung modulo aller Primzahlen
. Daher sprechen wir auch davon, daß
durch "lokale Daten" von
definiert ist, sie kodiert das Verhalten von
"bei den Primzahlen". Spannend daran ist, daß wir vermuten, daß
sehr viel über die Struktur von
über
verrät.
Die -rationalen Punkte auf
bilden eine endlich erzeugte abelsche Gruppe
. Diese ist daher zwangläufig von der Form
, wobei
eine endliche abelsche Gruppe ist. Die Zahl
wird als der "geometrische Rang" von
bezeichnet. Er quantifiziert intuitiv, wieviele Lösungen die Gleichung
mit
besitzt. Beispielsweise gilt
genau dann, wenn die Anzahl der Lösungen endlich ist.
Die Vermutung von Birch und Swinnerton-Dyer sagt voraus, daß der geometrische Rang mit der Verschwindungsordnung von
bei
übereinstimmt. Letztere Größe wird daher auch als der analytische Rang bezeichnet. Die Birch-und-Swinnerton-Dyer-Vermutung setzt voraus, daß der Funktionswert
wohldefiniert ist (genau genommen sogar, daß die
-Funktion bei
holomorph ist!), was aufgrund der Definition der
-Funktion als Euler-Produkt a priori überhaupt nicht klar ist. Eine genauere Formulierung der Vermutung sagt sogar den ersten von null verschiedenen Taylorreihen-Koeffizienten der
-Funktion bei
voraus.
Die Vermutung von Birch und Swinnerton-Dyer läßt sich als Lokal-Global-Prinzip interpretieren: obwohl in die Definition von lediglich die Information eingeht, wieviele Lösungen die Gleichung
in
eingeht, verrät uns
nach Birch und Swinnerton-Dyer (hypothetisch!) wieviele Lösungen es in
gibt.
Die Vermutung von Hasse-Weil ist dank Heckes Arbeiten eine Konsequenz der berühmten Taniyama-Shimura-Weil-Vermutung, welche besagt, daß es zu jeder elliptischen Kurve über
eine Modulform
von Gewicht 2 existiert, mit der Eigenschaft
bei
die Fourierentwicklung
besitzt, wobei die Koeffizienten
aus der
-Funktion von
stammen. Dies ist nach Hecke äquivalent zu
.
Diese Vermutung wurde von Richard Taylor und Andrew Wiles für semi-stabile elliptische Kurven bewiesen, was einen Beweis von Fermats Großem Satz zur Folge hatte: die Gleichung besitzt für
keine nicht-trivialen Lösungen.
Inzwischen wissen wir, daß die Taniyama-Shimura-Vermutung und damit auch die Hasse-Weil-Vermutung nach Breuil-Conrad-Diamond-Taylor sogar für jede elliptische Kurve über gilt. Die Vermutung von Birch und Swinnerton-Dyer ist nur in wenigen Spezialfällen bekannt bleibt ein bis heute ungelöstes Problem.
Für -Funktionen elliptischer Kurven lassen sich ebenfalls
-adische Pendants, sogenannte
-adische
-Funktione definieren.
Allgemeine
-Funktionen
Grothendiecks Arbeiten zur étalen Kohomologie der Schemata erlauben es uns, allgemeinen glatten projektiven Varietäten über "geometrisch definierte"
-Funktionen zuzuordnen. Konkret handelt es sich bei der étalen Kohomologie einer glatten projektiven Varietät um einen endlichdimensionalen
-Vektorraum
, auf welchem die absolute Galois-Gruppe operiert. In der absoluten Galois-Gruppe gibt es für jede Primzahl
ein ausgezeichnetes (bis auf Konjugation eindeutiges) Element: das sogenannte Frobenius-Element. Wir definieren dann die
-Funktion als ein Eulerprodukt über die Kehrwerte der charakteristischen Polynome der Frobenius-Elemente, ausgewertet jeweils bei
. Fundamentale Eigenschaften dieses Euler-Produktes wie beispielsweise die Unabhängigkeit von der Primzahl
, sind Konsequenzen der bis heute offenen Standard-Vermutungen Grothendiecks. Die von Pierre Deligne 1974 bewiesenen Weil'schen Vermutungen implizieren, dass das Euler-Produkt in einer rechten Halbebene absolut konvergiert.
Die verallgemeinerte Vermutung von Hasse-Weil sagt voraus, dass jede auf diese Weise "geometrische definierte" -Funktion eine meromorphe Fortsetzung mit nur endlich vielen Polstellen auf ganz
besitzt und einer Funktionalgleichung genügt. Weiterhin sollen alle auftretenden Polstellen im wesentlichen durch den einzigen Pol der Riemann'schen
-Funktion erklärt werden.
Analog läßt sich für geometrische -Funktionen eine verallgemeinerte Riemann'sche Vermutung formulieren, welche Konsequenzen für die Verteilung von Punkten (und Untervarietäten, allgemeiner algebraische Zykel) auf algebraischen Varietäten über
hätte. Ironischerweise wird die Konvergenz des Eulerprodukt in der Definition der geometrischen
-Funktionen genau genommen durch die Riemann'sche Vermutung für
-Funktionen von Varitäten über endlichen Körpern impliziert, welche Deligne tatsächlich zeigen konnte, obwohl die ursprüngliche Riemann'sche Vermutung bis heute offen ist.
Weitreichende Vermutungen von Langlands sagen voraus, daß jede geometrische -Funktion mit einer sogenannten automorphen
-Funktion übereinstimmt. Letztere werden automorphen Darstellungen zugeordnet, welche wiederum Verallgemeinerungen von Modulformen sind. In gewissen Situationen können wir diesen
-Funktionen ebenfalls
-adische
-Funktionen gegenüberstellen.
Literatur und Zusatzinformationen
- Haruzo Hida, Elementary theory of
-functions and Eisenstein series, Cambridge University Press, 1993.
- Jean-Pierre Serre, "Cours d'arithmétique", Presses Universitaires de France, 1970.
- Goro Shimura, "Introduction to the arithmetic theory of automorphic functions." Princeton University Press, 1971.
- Jürgen Neukirch, Algebraische Zahlentheorie, Springer Verlag, 1992.
- André Weil, Basic Number Theory, Springer Verlag, 1973.
- Podcast Modellansatz 036: Analysis und die Abschnittskontrolle
- Bernhard Riemann, Über die Anzahl der Primzahlen unter einer gegebenen Grösse, Monatsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, 1859
- John T. Tate, "Fourier analysis in number fields, and Hecke's zeta-functions", Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965), Thompson, 1950, S. 305–347.
- Andrew Wiles, "Modular Elliptic Curves and Fermat’s Last Theorem." Annals of Mathematics 142, 1995, S. 443–551.
- Richard Taylor, Andrew Wiles, "Ring-theoretic properties of certain Hecke algebras." Annals of Mathematics 142, 1995, S. 553–572.
- Brian Conrad, Fred Diamond, Richard Taylor, "Modularity of certain potentially Barsotti-Tate Galois representations", Journal of the American Mathematical Society 12, 1999, S. 521–567.
- Christophe Breuil, Brian Conrad, Fred Diamond, Richard Taylor, "On the modularity of elliptic curves over Q: wild 3-adic exercises", Journal of the American Mathematical Society 14, 2001, S. 843–939.
- Frobeniushomomorphismus
- Galois-Darstellungen
- Weil-Vermutungen
- Standard-Vermutungen
- Automorphe Formen
- Das Langlands-Programm
- Wikipedia: Automorphe L-Funktionen
- Emil Artin, Über eine neue Art von
-Reihen, Abh. Math. Seminar Hamburg, 1923.
- Armand Borel, "Automorphic L-functions", in A. Borel, W. Casselman, "Automorphic forms, representations and L-functions" (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Oregon, 1977), Teil 2, Proc. Sympos. Pure Math., XXXIII, American Mathematical Society, 1979, S. 27–61.
- Robert P. Langlands, "Problems in the theory of automorphic forms", in "Lectures in modern analysis and applications III," Lecture Notes in Math 170, 1970, S. 18–61.
- Robert P. Langlands, '"'Euler products", Yale University Press, 1971.
- Wikipedia: Spezielle Werte von L-Funktionen
- Pierre Deligne; "Valeurs de fonctions L et périodes d’intégrales." , in A. Borel, W. Casselman, "Automorphic forms, representations and L-functions" (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Oregon, 1977)'', Teil 2, Proc. Sympos. Pure Math., XXXIII, American Mathematical Society, 1979, S. 313–346.