Ein weites Netz von Vermutungen und Sätzen, das tiefe Beziehungen zwischen automorphen Darstellungen reduktiver Gruppen über globalen oder lokalen Körpern und n-dimensionalen Darstellungen (oder Parametern) der absoluten Galoisgruppen bzw. der Weil–Deligne-Gruppen postuliert; häufig formuliert durch das Abgleichen von L-Funktionen und lokal-globalen Kompatibilitäten.

Prinzip

Das ordnende Prinzip ist Reziprozität und Funktorialität: arithmetische Galoisdaten und analytische automorphe Daten sind zwei Erscheinungsformen desselben globalen Objekts, und Übertragungen zwischen Gruppen entsprechen natürlichen Operationen an Galoisparametern.

Demonstration

Illustrativer Fall: die Modularitätsaussage für bestimmte elliptische Kurven (ein klassischer Langlands-Typus) besagt, dass eine zweidimensionale Galoisdarstellung von einer Modulform herrührt; lokal stellt die lokale Langlands-Korrespondenz für GL_n über p-adischen Körpern irreduzible admissible Darstellungen einerseits und n-dimensionale Weil–Deligne-Parameter andererseits einander gegenüber.

Fehlanwendung

Die gesamte vermutete Korrespondenz in offenen Fällen als gegeben zu behandeln oder automorphe–galoische Zuordnungen als elementare Bijektionen zu lesen, ohne lokale Faktoren, L-Funktionen oder Normalisierungen zu berücksichtigen; Funktorialitätsaussagen als unbedingte Identitäten fehlzuinterpretieren führt in die Irre.

Konsequenz

Wo die Korrespondenz verfügbar ist, übersetzt sie analytische Eigenschaften (L-Funktionen, Spektraldekompositionen) in arithmetische Informationen (Galoisdarstellungen, Reziprozitätsgesetze) und ermöglicht so die Konstruktion von Galoisdarstellungen aus automorphen Formen sowie Vorhersagen zu arithmetischen Invarianten.

Umkehrung

Das Umgekehrte wäre das Fehlen eines Reziprozitätsprinzips: analytische automorphe Phänomene und arithmetische Galoisphänomene blieben getrennt, und Methoden der einen Seite produzierten keine jeweils passenden Gegenstücke auf der anderen.

Abgrenzung

Gilt für reudktive Gruppen über lokalen oder globalen Körpern und für geeignete Kategorien automorpher bzw. darstellungstheoretischer Objekte; viele Formulierungen sind conjectural, und die Reichweite variiert zwischen lokal und global sowie zwischen allgemeinen Funktorialitätsaussagen und Fällen, die nur für GL_n oder spezielle Gruppen nachgewiesen sind.

Semantische Spannung

Es besteht eine Spannung zwischen konkreten, bewiesenen lokalen Korrespondenzen (z. B. lokale Langlands für GL_n) und den weiten, conjecturalen globalen/funktorialen Behauptungen; außerdem kann 'Langlands-Reziprozität' entweder als explizite Bijektion von Objekten oder als Netz kompatibler Invarianten verstanden werden.

Synthese

Die Langlands-Korrespondenz ist der leitende Rahmen, der behauptet, dass automorphe Darstellungen und galoische (bzw. Weil–Deligne-)Parameter parallele Beschreibungen derselben arithmetischen Information sind und so Reziprozitätsgesetze und Funktorialität zwischen Zahlentheorie und Darstellungstheorie organisiert.