Definition
Ein breites Netzt von Vermutungen und Theoremen, das tiefe Entsprechungen zwischen automorphen Darstellungen (analytische Objekte auf reduktiven Gruppen über globalen oder lokalen Körpern) und arithmetischen/Galois-Daten (z. B. n-dimensionale Galois-Darstellungen) vorschlägt, gegliedert in lokale und globale Fälle und geleitet vom Prinzip der Funktorialität.
Prinzip
Prinzip
Reziprozität und Funktorialität: Spektral/analytische Daten aus automorphen Formen entsprechen arithmetischen Darstellungen von Galois-Gruppen, und Übertragungen zwischen Gruppen entsprechen Übertragungen von L‑Funktionen und lokalen Faktoren, wodurch ein vereinheitlichendes Prinzip zwischen Zahlentheorie und harmonischer Analyse entsteht.
Demonstration
Demonstration
Die Klassenkörpertheorie realisiert die Langlands-Entsprechung für GL(1): Charaktere der Idealklassengruppe entsprechen eindimensionalen Galois-Darstellungen. Der Modularity-Satz (ein GL(2)-Fall) verbindet elliptische Kurven über Q mit modularen Formen und ihren automorphen Darstellungen.
Fehlanwendung
Fehlanwendung
Die allgemeinen Langlands-Vermutungen als vollständig bewiesen zu behandeln oder lokale Komponenten und Verzweigungsverhalten falsch zu identifizieren, führt zu fehlerhaften Folgerungen; auch die Vermischung von geometrischer und zahlentheoretischer Variante ohne Beachtung der Unterschiede ist irreführend.
Konsequenz
Konsequenz
Wo sie bewiesen ist, liefert die Entsprechung mächtige Übersetzungen: Automorphe Methoden erzeugen arithmetische Resultate (z. B. Informationen über Galois-Darstellungen, L‑Werte und Reziprozitätsgesetze), und arithmetische Eingaben informieren über analytische Eigenschaften wie Funktionalgleichungen und Spektralzerlegungen.
Umkehrung
Umkehrung
Man kann die Entsprechung entweder als Zuweisung arithmetischer (Galois-)Parameter an automorphe Darstellungen sehen oder als Konstruktion automorpher Objekte, die durch arithmetische Eigenschaften vorhergesagt sind; die Umkehrung der Perspektive betont die jeweilige Priorität von Spektral- oder Arithmetikseite.
Abgrenzung
Abgrenzung
Das Langlands-Programm ist in vielen Bereichen größtenteils conjectural; bewiesene Fälle umfassen lokale und globale Entsprechungen für GL_n über Zahl- und Funktionenkörpern und zahlreiche Instanzen für klassische Gruppen, doch allgemeine Funktorialität und Reziprozitätsaussagen bleiben in voller Allgemeinheit offen.
Semantische Spannung
Semantische Spannung
Es besteht Spannung zwischen der klassischen (zahlentheoretischen) Langlands-Entsprechung, dem geometrischen Langlands-Programm (algebraisch‑geometrisch und kategorial) und spezialisierten Reziprozitätsgesetzen; der Begriff 'Langlands' umfasst daher mehrere verwandte, aber unterscheidbare Rahmen.
Synthese
Synthese
Die Langlands-Korrespondenz postuliert eine große Dualität, die analytische automorphe Daten in arithmetische Galois‑Daten übersetzt und umgekehrt, organisiert durch Funktorialität und Reziprozität: sie ist eine vereinheitlichende, teils conjecturale Architektur, die harmonische Analyse, Darstellungstheorie und Zahlentheorie verbindet.