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.