##  [Deligne–Lusztig-Theorie](/de/node/64070) 

 Definition

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

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

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

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

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

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

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

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

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.