Definition
Eine Familie konjekturaler und bewiesener Verknüpfungen zwischen Darstellungen von Galois‑ oder Weil‑Gruppen und automorphen Darstellungen reduktiver Gruppen, die tiefe Beziehungen zwischen Zahlentheorie, harmonischer Analyse und arithmetischer Geometrie über L‑Parameter und Funktorialitätsprinzipien organisiert.
Prinzip
Prinzip
Die leitenden Prinzipien sind Reziprozität (Abgleich arithmetischer Galois‑ oder L‑Parameter mit analytischen automorphen Daten), Funktorialität (Transfer automorpher Darstellungen entlang von Abbildungen der L‑Gruppen) und die Existenz kompatibler L‑ und ε‑Faktoren, die Lokal‑Global‑Kompatibilität kodieren.
Demonstration
Demonstration
Ein grundlegendes und bewiesenes Beispiel: die Klassenkörpertheorie ist die abelsche Langlands‑Korrespondenz für GL1 und verbindet Charaktere der Idealklassen‑ bzw. Idelengruppe mit eindimensionalen Galois‑Charakteren; nicht‑abelsche Fälle umfassen lokale und globale Korrespondenzen für GLn in vielen Fällen und Modularitätsresultate, die elliptische Kurven mit Modulformen verbinden.
Fehlanwendung
Fehlanwendung
Annahme einer einfachen Bijektion von Isomorphieklassen für alle Gruppen und Körper ohne Berücksichtigung lokaler Faktoren, L‑Pakete oder der Unterscheidung zwischen Parametern und irreduziblen Darstellungen; die Korrespondenz als Black‑Box zu benutzen, ohne Voraussetzungen wie Reduktivität oder die richtige Parameterdefinition zu prüfen.
Konsequenz
Konsequenz
Richtig angewandt liefert die Langlands‑Korrespondenz ein Wörterbuch zwischen arithmetischen und spektralen Objekten, das Reziprozitätsgesetze, analytische Werkzeuge zur Untersuchung von L‑Funktionen und Wege zur Beweisführung tiefgreifender arithmetischer Sätze wie Modularität und potentieller Automorphie ermöglicht.
Umkehrung
Umkehrung
Die konzeptionelle Umkehrung tauscht die spektrale (automorphe) und die arithmetische (galoisische) Seite: man kann mit automorphen Formen beginnen und arithmetische Konsequenzen (z. B. Galois‑Darstellungen) ableiten, statt von Galois‑Daten auf automorphe Realisierungen zu schließen.
Abgrenzung
Abgrenzung
Geltungsbereich sind reduzive algebraische Gruppen über lokalen und globalen Körpern und ihre admissiblen Darstellungen; viele Fälle bleiben konjektural, und die Korrespondenz lässt sich nicht ohne Weiteres auf nicht‑reduktive Gruppen, beliebige Koeffizientenringe oder Kontexte ohne wohlbestimmte L‑Gruppe ausdehnen.
Semantische Spannung
Semantische Spannung
Die Spannung besteht darin, es als „Korrespondenz“ zu bezeichnen (was explizite Bijektionen nahelegt), während es sich faktisch um ein umfangreiches Programm aus miteinander verknüpften Vermutungen und Theoremen handelt; konkurrierende Deutungen betonen explizite Parametrisierung, fonktorialen Transfer oder analytische Eigenschaften der L‑Funktionen.
Synthese
Synthese
Die Langlands‑Korrespondenz ist der ordnende Rahmen, der postuliert, dass Darstellungen arithmetischer Fundamentalgruppen (Galois/Weil) mittels L‑Parametern und Funktorialität mit automorphen Darstellungen reduktiver Gruppen korrespondieren und so arithmetische und spektrale Daten lokal und global verbinden.