Eine geometrische Konstruktion, die virtuelle und echte Darstellungen endlicher Gruppen vom Lie-Typ erzeugt, indem l-adische étale Kohomologie mit Frobeniuswirkung of speziell konstruierten algebraischen Varietäten (Deligne–Lusztig-Varietäten) berechnet wird und so algebraische Geometrie mit der Darstellungstheorie endlicher Gruppen verbindet.

Prinzip

Man benutzt Varietäten mit Frobenius-Korrespondenzen, deren étale Kohomologiegruppen mit geeigneten lokalen Systemen und Frobenius-Spur virtuelle Charaktere der endlichen reduktiven Gruppe liefern; geometrische Induktion und Fixpunktberechnungen übersetzen sich in darstellungstheoretische Informationen.

Demonstration

Deligne–Lusztig-Varietäten für eine reduktive Gruppe über F_q erzeugen cuspidale und induzierte Darstellungen von Gruppen wie GL_n(F_q) oder anderen endlichen Gruppen vom Lie-Typ; die Berechnung von Frobenius-Spuren auf der Kohomologie liefert explizite Charakterwerte und konstruiert Familien irreduzibler Darstellungen.

Fehlanwendung

Den Aufbau auf Gruppen anzuwenden, die nicht vom Lie-Typ sind, die Notwendigkeit zu ignorieren, dass die Primzahl ℓ von der charakteristischen Primzahl p verschieden sein muss, oder lokale Systemverdrehungen und Frobeniuswirkungen falsch zu berechnen, zerstört die darstellungstheoretische Interpretation.

Konsequenz

Bietet eine wirkungsvolle geometrische Methode zur Konstruktion und Analyse irreduzibler Charaktere und Darstellungen endlicher Gruppen vom Lie-Typ, klärt die Rolle der Geometrie in der Charaktertheorie und bildet Grundlage für Teile des lokalen Langlands-Programms und der modulären Darstellungstheorie.

Umkehrung

Umgekehrt hat nicht jede Darstellung einer endlichen Gruppe vom Lie-Typ notwendigerweise eine bekannte Deligne–Lusztig-geometrische Herkunft; einige algebraische oder modulare Konstruktionen erzeugen Darstellungen, die nicht offensichtlich durch diese Varietäten realisierbar sind.

Abgrenzung

Gilt für endliche reduktive Gruppen (endliche Gruppen vom Lie-Typ) und verwendet l-adische Kohomologie und Frobenius; setzt technische Voraussetzungen voraus (Wahl von ℓ≠p, Gewichtskontrolle, Reinheit) und deckt nicht unmittelbar beliebige endliche Gruppen oder nicht-reduktive algebraische Gruppen ab.

Semantische Spannung

Spannung zwischen der geometrischen Herkunft von Darstellungen (Kohomologie von Varietäten) und rein algebraischen oder kombinatorischen Klassifikationsmethoden; ebenso Spannung zwischen l-adischen/kohomologischen Beschreibungen und komplexen Charakter- oder modularen Ansätzen.

Synthese

Die Deligne–Lusztig-Theorie konstruiert Darstellungen endlicher Gruppen vom Lie-Typ durch Berechnung der Frobenius-äquivarianten l-adischen Kohomologie speziell gewählter Varietäten und übersetzt geometrische Fixpunkt- und Garbeninformationen in explizite charaktertheoretische Daten, wodurch Geometrie und Darstellungstheorie verknüpft werden.