Algebraische Zahlentheorie befaßt sich spätestens seit Hilbert mit Körpererweiterungen von Zahlkörpern. So wie sich das quadratische Reziprozitätsgesetz als Satz über Ideale in quadratischen Erweiterungen von Q interpretieren läßt, so sollen auch alle höheren Reziprozitätsgesetze im Kontext abelscher Erweiterungen von Zahlkörpern erklärt werden.
Die Klassifikation abelscher Erweiterungen eines Zahlkörpers benötigt das Studium des sogenannten Klassenkörpers (d.h. der maximalen unverzweigten abelschen Erweiterung des Zahlkörpers, deren Galois-Gruppe ist die Idealklassengruppe des Zahlkörpers), sowie der maximalen abelschen Erweiterung Kab des Zahlkörpers K und ihrer Galois-Gruppe Gal(Kab/K).

Das Artinsche Reziprozitätsgesetz besagt, dass man für endliche, abelsche Erweiterungen L/K einen Isomorphismus einer gewissen Idealklassengruppe (der Strahlklassengruppe) auf die Galois-Gruppe Gal(L/K) hat, der einer Idealklasse p den Frobenius-Automorphismus Frobp zuordnet. Insbesondere bekommt man für die maximale abelsche Erweiterung einen Isomorphismus Cl(K)/N(Cl(K^{ab}))\cong Gal(K^{ab}/K) für die Idealklassengruppe Cl(K) und die Normabildung N:Kab—>K, die einem Element l\in K^{ab} die Determinante der Multiplikation mit l (als K-linearem Automorphismus von Kab) zuordnet.

Für lokale Körper K wie die p-adischen Zahlen Qp wird diese Theorie deutlich einfacher. Man hat einen Homomorphismus der multiplikativen Gruppe Kx auf die Galois-Gruppe Gal(Kab/K), der ein Element k auf Frobpordp(k) abbildet. Helmut Hasse bewies 1930, dass man für nicht-archimedische lokale Körper wie Qp so einen Isomorphismus K^\times/N((K^{ab})^\times)\cong Gal(K^{ab}/K) bekommt. (Für archimedische lokale Körper wie R oder C hat man einen surjektiven Morphismus, dessen Kern die Einheitskomponente ist.) Der Isomorphismus ist das mit Hilfe des Hilbert-Symbols definierte „lokale Normrestsymbol“, ursprünglich von Hilbert für Kummer-Erweiterungen definiert, aber auf alle endlichen abelschen Erweiterungen lokaler Körper anwendbar.

Claude Chevalley stellte durch die Einführung der Idelegruppe einen Zusammenhang zwischen den beiden Resultaten her. Als Idele bezeichnet man die Einheiten im Adelering, der zu einem Zahlkörper K definiert ist als das restringierte Produkt A_K=\widehat{\Pi}_vK_v über alle Vervollständigungen von K, wobei „restringiertes Produkt“ bedeutet, dass die Komponenten der Elemente für fast alle (von R und C verschiedenen) Vervollständigungen in \mathcal{O}_v\subset K_v – den Elementen mit nichtnegativer Bewertung – liegt. Zum Beispiel ist AQ das Produkt von R mit dem eingeschränkten Produkt aller p-adischen Zahlen Qp, wo also fast alle Komponenten zu Zp gehören sollen. Die Idele sind dann einfach das eingeschränkte Produkt der entsprechenden multiplikativen Einheitengruppen. (Chevalley definierte zunächst Idele und stellte erst einige Jahre später fest, dass sie die Einheiten im größeren Adelering sind.) Die Idelklassengruppe – der Anklang an Idealklassengruppe war beabsichtigt, denn sie übernimmt im Reziprozizätsgesetz die Rolle der Idealklassengruppe – ist der Quotient CK=IK/Kx der Idelegruppe nach der diagonal eingebetteten multiplikativen Gruppe Kx.
Mit diesen Definitionen gelang es Chevalley, die lokalen Isomorphismen zusammenzusetzen zu einem globalen Isomorphismus C_K\cong Gal(K^{ab}/K) oder allgemeiner C_K/N(C_L)\cong Gal(L/K) für jede endliche abelsche Erweiterung L/K. (Insbesondere entsprechen die abelschen Erweiterungen von K den offenen Untergruppen der Idelegruppe.) Sein Isomorphismus bildet ein Idel (ap)p auf \Pi_pFrob_p^{ord_p(a_p)} ab.
Für K=Q bekommt man den Satz von Kronecker-Weber: die maximale abelsche Erweiterung von Q erhält man durch Adjunktion aller Einheitswurzeln und die Galois-Gruppe ist das Produkt der multiplikativen Gruppen p-adischer Körper über alle Primzahlen: Gal({\bf Q}^{ab}/{\bf Q})=\Pi_p{\bf Q}_p^\times. (In diesem Fall ist jede Erweiterung verzweigt, der Klassenkörper also Q, und die Idealklassengruppe bekanntlich trivial.)
Mit seinem auf Eigenschaften der p-adischen Zahlen beruhenden Beweis des Isomorphismus gelang Chevalley die Algebraisierung der Klassenkörpertheorie, während Artins Beweis Funktionentheorie benutzt und letztlich eine Gleichheit von L-Funktionen bewiesen hatte.

Erich Hecke hatte 1917 eine L-Funktion von sogenannten Größencharakteren definiert, die sowohl die L-Reihen von Dirichlet-Charakteren (mit denen man die Verteilung von Primzahlen in arithmetischen Folgen untersucht) als auch die Dedekindsche Zetafunktion von Zahlkörpern (mit der man die Verteilung von Primidealen in Ganzheitsringen untersucht) verallgemeinerte und für die er mit einem aufwendigen Beweis ihre meromorphe Fortsetzbarkeit und ihre Funktionalgleichung bewies.

John Tate fand in seiner 1950 bei Emil Artin geschriebenen Dissertation “Fourier Analysis in Number Fields and Hecke’s Zeta Functions” einen konzeptuelleren Zugang zu Heckes Theorie und insbesondere zum Beweis der Funktionalgleichung für die L-Funktion im Kontext der Adele.

Statt der Größencharaktere betrachtete Tate stetige Homomorphismen der Idelegruppe nach C*. (Man spricht von Quasicharakteren, weil die Bezeichnung Charaktere für Homomorphismen nach S1 reserviert ist. Jeder Quasicharakter ist das Produkt aus einem Charakter und \vert.\vert_p^s für eine komplexe Zahl s.) Dieser Begriff umfaßt insbesondere die Dirichlet-Charaktere, die man ja mittels der Projektion A_{\bf Q}^*\to\widehat{{\bf Z}}^*\to ({\bf Z}/m{\bf Z})^* auf die Idelegruppe zurückziehen kann.
Tate definiert für jeden Quasicharakter eine L–Funktion. Für einen Charakter χ kann er insbesondere eine auf der komplexen Ebene definierte Funktion durch L(\chi,s):=L(\chi\vert.\vert_p^s) definieren. Das ist der lokale L-Faktor. Für diesen hat man eine Funktionalgleichung L(\chi,s)=L(\chi^{-1},1-s).
Diese L-Funktion unterscheidet sich von einer vorher bekannten Λ-Funktion nur um einen von den archimedischen Stellen kommenden Faktor. Insbesondere folgt aus der Funktionalgleichung der Λ-Funktion die Funktionalgleichung der L-Funktion.

Für die Riemannsche Zetafunktion hat man eine Funktionalgleichung \xi(s)=\xi(1-s) mit \xi(s)=\pi^{-\frac{s}{2}}\Gamma(\frac{s}{2})\zeta(s). Der Beweis dieser Funktionalgleichung benutzt wesentlich die Poissonsche Summenformel \sum_{a\in{\bf Z}}f(at)=\frac{1}{\vert t\vert}\sum_{a\in{\bf Z}}\hat{f}(a/t) für schnell fallende C-Funktionen (sogenannte Schwartz-Funktionen) f und ihre Fourier-Transformierte \hat{f}. Man wendet sie auf die Funktion f(x)=e^{-\pi\vert x\vert^2} an, für die f=\hat{f} gilt.

In den 30er Jahren hatte Pontrjagin die Theorie der Fourier-Transformation auf beliebige lokalkompakte Gruppen verallgemeinert. Für eine lokalkompakte abelsche Gruppen G mit Haar-Maß μ hat man ihre duale Gruppe von Charakteren, und für jede Funktion f auf G dann ihre „Fourier-Transformierte“ \hat{f}(\chi)=\int_Gf(g)\overline{\chi(g)}d\mu(G).
Die reellen Zahlen R sind im Sinne der Pontrjagin-Dualität selbstdual, so dass die Fourier-Transformierte \hat{f} wieder auf R definiert ist. Tate bewies in seiner Dissertation, dass auch lokale Körper K (und ihre Produkte) selbstdual sind, so dass die Fourier–Transformierte wieder auf K (oder dem Produkt) definiert ist. Insbesondere kann man das auf die lokalkompakte Gruppe der Idele anwenden.
Weiter bewies Tate dann eine Verallgemeinerung der Poissonschen Summenformel für Adele: \sum_{a\in A}f(at)=\frac{1}{\vert t\vert}\sum_{a\in A}\hat{f}(a/t) für sogenannte Schwartz-Bruhat-Funktionen f. Beim Beweis der Funktonalgleichung wendet man sie auf die Funktion f(x)=e^{-\pi\vert x_\infty\vert^2}\Pi_p\chi_{{\bf Z}_p}(x_p) an.

Der Vorteil von Tate‘s Argument besteht darin, dass er die Funktionalgleichung in Funktionalgleichungen für die lokalen Faktoren zerlegt. Man kann sich am einfachsten Beispiel, der Funktionalgleichung für die Riemannsche Zetafunktion, anschauen, was das konkret bedeutet. Man hat hier eine Produktzerlegung \xi(s)=Z_\infty(s)\Pi_pZ_p(s) mit Z_\infty(s)=\pi^{-\frac{s}{2}}\Gamma(\frac{s}{2}) und Z_p(s)=\sum_n\frac{1}{p^{ns}}=\frac{1}{1-p^{-s}}=\int_{{\bf Q}_p\setminus 0}\vert x\vert_p^s\frac{d\mu(x)}{\vert x\vert_p}. Man hat nun einerseits in R, dass Z_\infty(1-s)\vert x\vert^{1-s} die Fourier-Transformierte von Z_\infty(s)\vert x\vert^{s} ist und andererseits in Qp, dass Z_p(1-s)\vert x\vert_p^{1-s} die Fourier-Transformierte von Z_p(s)\vert x\vert_p^{s} ist, woraus jeweils mit der Poissonschen Summenformel die gewünschte Funktionalgleichung für den lokalen Faktor folgt.

Aus heutiger Sicht geben die Arbeiten von Artin und Tate den GL(1)-Fall des Langlands-Programms.

Bild: https://commons.wikimedia.org/wiki/File:John_Tate.jpg

Kommentare (3)

  1. #1 Alienist
    30. Oktober 2020

    Artikel 1

    Die Sinus-Quellen der Fourier-Transformation einer Apertur-Funktion tut der Quanten-Physiker in den Rand der Apertur, weil dort kommunizierende Materie ist, die sinusförmig mitschwingen kann.
    (Tenet – Matter matters)

    Die Sinusquellen der Fourier-Transformation einer Apertur-Funktion tut der Mathematiker in die Apertur, was im absoluten Vakuum bedeutet, dass im Nichts (Apertur – Öffnung) Sinus-Quellen entstehen.
    (Tenet – Matter is filthy)

    Artikel 2

    Unpräzise Aussage A des Satirikers Christian Ehring in der heute show von Oliver Welke am 23.10.2020 ab 22 Uhr: Autismus wird durch impfen nicht verursacht.

    Werden die Tätigkeitsverben dieser Aussage von einem Alienist negiert, entsteht die modifizierte Aussage A’: Autismus wird durch nicht impfen nicht nicht verursacht.

    Der Alienist definiert:

    {nicht nicht} = {}

    Somit folgt modifizierte Aussage A’’: Autismus wird durch nicht impfen verursacht.

    Dies ist offensichtlich falsch, weil alle Menschen vor Kenntnis des Impfens durch die überall vorhandenen Viren in Autisten umgewandelt worden wären, was mit nur einem einzigen Gegenbeispiel leicht zu widerlegen ist.

    Mit Hilfe des Vervollständigungsoperators UND versteht der Alienist den Satiriker schließlich, A’’’: Autismus wird durch impfen und nicht impfen nicht verursacht.

    Nun definiert der Alienist:

    {impfen} = {modifizierte Viren}
    {nicht impfen} = {nicht modifizierte Viren}

    und erhält Sinn:Autismus wird durch modifizierte Viren und nicht modifizierte Viren nicht verursacht.

    Zusammenfassung von Artikel 1 UND Artikel 2

    Ein Alienist kann den Physiker und den Satiriker aber nicht den hochfunktionalen Mathematiker verstehen.

  2. #2 Alienist
    31. Oktober 2020

    Natürlich wird ein Alienist von Aliens als Nicht-Club-Mitglied ignoriert.

    Thilo ergänzte weder hier noch im Würfel-Artikel, dass Timothy-Gower „2+2“ gleichsetzte mit „gewürfelte Augenzahl“, was im Sinne von George Orwells ist, der da schrieb, dass 2+2 das ist, was die Partei gleichsetzt, was wiederum sprachlich erlaubt ist.

    Mathematisch ist die Aussage 2+2=Eine_gewürfelte_Augenzahl falsch, weil wegen eetablierter mathematischer Statistik 2+2=4 sein soll, aber Thilo ließ es zu.

    Wenn Thilo falsche Mathematik in seinem Blog erlaubt, was ist dann in seinem Blog bzw. in diesem Artikel wahr oder falsch?

  3. […] Konditionierung linearer Gleichungssysteme Das Simplex-Verfahren Das WKS-Abtasttheorem Adelische Poisson-Summation Der Vergleichssatz von Rauch Die Berechnung des Kobordismusrings Die Endlichkeit der […]