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.