Ein Geflecht von Vermutungen und Sätzen, das tiefe Korrespondenzen zwischen Galois‑Darstellungen und automorphen Darstellungen vorschlägt, organisiert um L‑Funktionen, Reziprozität und Funktorialität für reductive Gruppen über lokalen und globalen Körpern.

Prinzip

Zwei leitende Ideen: Reziprozität (Verallgemeinerung der Klassenkörpertheorie, die abelsche Galois‑Darstellungen mit automorphen Objekten verknüpft) und Funktorialität (Übertragung automorpher Darstellungen entlang Homomorphismen der L‑Gruppen), wobei L‑Funktionen die Kompatibilität und arithmetische Informationen vermitteln.

Demonstration

Der GL1‑Fall ist die klassische Klassenkörpertheorie, die Charaktere der Idealklassengruppe mit abelschen Galois‑Charakteren in Verbindung bringt. Der GL2‑Fall umfasst die Modulierbarkeitsaussage für elliptische Kurven über Q: bestimmte zweidimensionale Galois‑Darstellungen entsprechen Modulformen, und ihre L‑Funktionen stimmen überein, was das Langlands‑Paradigma veranschaulicht.

Fehlanwendung

Vorauszusetzen, die allgemeine Korrespondenz sei bereits vollständig bewiesen, obwohl Teile weiterhin vermutet sind, oder Funktionsübertragungen anzuwenden, ohne lokale L‑Pakete, Parameternormalisierungen oder notwendige automorphe Bedingungen zu berücksichtigen.

Konsequenz

Wäre das Programm in voller Allgemeinheit wahr, so würde es einen vereinheitlichten Rahmen schaffen, der Zahlentheorie, Darstellungstheorie und harmonische Analysis verbindet, und Reziprozitätsgesetze, lokal‑globale Kompatibilitäten sowie tiefe Aussagen über automorphe L‑Funktionen und die Arithmetik von Körpern vorhersagen.

Umkehrung

Die Korrespondenz umkehren, indem man vom automorphen Spektrum ausgeht und versucht, Galois‑Gruppen oder Körper zu rekonstruieren; das ist in Beispielen ergiebig, ersetzt aber nicht die explizite Parametrisierung auf der galoisschen Seite, die das Programm anstrebt.

Abgrenzung

Formuliert für reductive algebraische Gruppen über lokalen und globalen Körpern und für zulässige Darstellungen; schließt nichtreductive Gruppen und viele analytische oder kombinatorische Probleme aus, und große Teile bleiben vermutet statt allgemein bewiesen.

Semantische Spannung

Es besteht eine Spannung zwischen der globalen Reziprozitätsvorstellung (Abgleich ganzer globaler Darstellungen) und dem lokalen analytischen/darstellungstheoretischen Blick (lokale L‑Parameter, L‑Pakete) sowie zwischen allgemeiner Funktorialität in der Vermutung und den konkret bewiesenen Fällen.

Synthese

Das Langlands‑Programm postuliert eine umfassende Reziprozität, die galoissche und automorphe Welten verbindet: es beschreibt, wie arithmetische Galois‑Daten mit analytischen, darstellungstheoretischen Objekten via L‑Funktionen und Funktorialität korrespondieren und bildet damit eine kohärente, teils noch vermutete Architektur der modernen Zahlentheorie.