Tilting modules for reductive algebraic groups: characters and support varieties
Achar, Riche
These notes are our contribution to the Proceedings of the ICM 2026. We discuss some results we have obtained (in part jointly with coauthors) regarding the representation theory of reductive algebraic groups over algebraically closed fields of positive characteristic. These statements mainly concern tilting modules, in particular their characters and support varieties.
academic
Kippmodule für reduktive algebraische Gruppen: Charaktere und Stützvarietäten
Dieses Papier ist ein Beitrag der Autoren zu den Proceedings des ICM 2026 und gibt einen Überblick über eine Reihe von Ergebnissen der Autoren und ihrer Mitarbeiter in der Darstellungstheorie reduktiver algebraischer Gruppen über algebraisch abgeschlossenen Körpern positiver Charakteristik. Die Forschung konzentriert sich auf zwei Kernfragen der Kippmodule (tilting modules): Charakterformeln und Stützvarietäten.
Charakterberechnungsproblem: Wie berechnet man die Charaktere einfacher Module und Kippmodule einer reduktiven algebraischen Gruppe G über einem algebraisch abgeschlossenen Körper der Charakteristik p > 0? Dies ist ein grundlegendes Problem der Darstellungstheorie, analog zur Charaktertheorie komplexer Darstellungen endlicher Gruppen.
Beschreibung von Stützvarietäten: Wie beschreibt man die Stützvarietäten von Kippmodulen? Dies betrifft die Humphreys-Vermutung, die eine tiefe Verbindung zwischen Stützvarietäten und nilpotenten Bahnen vorhersagt.
Charaktere bestimmen die Kompositionsfaktoren einer Darstellung und deren Vielfachheiten; sie sind Schlüsselinvarianten zum Verständnis der Darstellungsstruktur
Kippmodule spielen eine besondere Rolle in der Darstellungstheorie: Sie sind unter Tensorprodukten abgeschlossen, und ihre Charaktere können zur Ableitung der Charaktere einfacher Module verwendet werden
Diese Probleme sind tiefgreifend mit der Kazhdan-Lusztig-Kombinatorik der affinen Weyl-Gruppe verbunden und zeigen das Zusammenspiel von Kombinatorik, Geometrie und Darstellungstheorie
Lusztig-Vermutung: Verwendet klassische Kazhdan-Lusztig-Polynome für Charakterformeln einfacher Module, gilt aber nur für hinreichend großes p, und Williamson hat Gegenbeispiele gefunden
Andersen-Vermutung: Schlägt ähnliche Formeln für Kippmodule vor, erfordert aber auch p ≥ h (h ist die Coxeter-Zahl) und Einschränkungen auf Gewichte
Asymptotisches Problem: Die klassische Kazhdan-Lusztig-Kombinatorik gibt nur "asymptotische" Approximationen, die in allgemeiner Charakteristik versagen
Einführung der p-kanonischen Basis als Ersatz für die klassische Kazhdan-Lusztig-Basis. Dies ist ein neues Werkzeug, das von Williamson und anderen entwickelt wurde und exakte Formeln unter allgemeineren Charakteristiken (p > h, sogar für alle p) ermöglicht.
Charakterformel für Kippmodule (Satz 2.6): Beweis der Charakterformel für Kippmodule unter Verwendung von p-Kazhdan-Lusztig-Polynomen für den Fall p > h, mit einer Version für alle p
Anwendung der Finkelberg-Mirković-Vermutung: Für p > h+1 wird durch diese Vermutung (bewiesen von Bezrukavnikov und Riche) eine geometrische Formel für Charaktere einfacher Module gegeben
Beweis der Humphreys-Vermutung:
Beweis der klassischen und relativen Humphreys-Vermutung für hinreichend großes p
Beweis der relativen Humphreys-Vermutung für alle p > h
Beweis der schementheoretischen Version für GLn für p > n
co-t-Struktur-Theorie: Entwicklung einer co-t-Struktur-Theorie für die derivierte Kategorie kohärenter Garben auf dem nilpotenten Kegel, die einen neuen Rahmen für die Beschreibung der relativen Kohomologie von Kippmodulen bietet
Modulversion der Lusztig-Vogan-Bijektion: Etablierung einer Lusztig-Vogan-Bijektion in positiver Charakteristik, die dominante Gewichte mit Kippvektorbündeln auf nilpotenten Bahnen verbindet
Reduktive algebraische Gruppen: G ist eine zusammenhängende reduktive algebraische Gruppe über einem algebraisch abgeschlossenen Körper k der Charakteristik p > 0
Wichtige Modulklassen:
Induzierte Module N(λ): induziert von eindimensionalen Darstellungen der Borel-Untergruppe
Einfache Module L(λ): irreduzible Darstellungen
Kippmodule T(λ): unzerlegbare Module, die spezielle Filterbedingungen erfüllen
Die affine Weyl-Gruppe Waff=W⋉ZΦ wirkt auf dem Gewichtsgitter durch Punkt-Wirkung:
(w⋉μ)∙λ=w(λ+pμ+ρ)−ρ
Verbindungsprinzip (Andersen): Die Ext-Gruppen einfacher Module sind nur innerhalb derselben Waff-Bahn nicht-trivial, was zur Blockzerlegung der Darstellungskategorie führt.
Konstruktion einer co-t-Struktur auf DbCohG×Gm(N)
Beweis, dass Sλ ein unzerlegbares Objekt im coheart ist (nach Verschiebung)
Schritt 3: Lusztig-Vogan-Bijektion
Etablierung einer Bijektion:
X+∼ΞG={(C,σ):C⊂N ist eine Bahn,σ∈ΣC}
wobei ΣC einfache äquivariante kohärente Garben auf der Bahn C parametrisiert.
Schritt 4: Charakterisierung der Stützvarietät (Satz 3.10)
Wenn λ dem Paar (C,σ) entspricht, dann:
Sλ≅S(C,σ)
wobei S(C,σ) durch geometrische Konstruktion gegeben ist und erfüllt:
Träger liegt auf C
Einschränkung auf C ist das Kippvektorbündel T(σ)
Dies gibt direkt die relative Humphreys-Vermutung.
Dieses Papier ist eine rein mathematische Theoriearbeit und beinhaltet keine "Experimente" im klassischen Sinne. Die Autoren überprüfen die Theorie jedoch auf folgende Weise:
Die klassische Kazhdan-Lusztig-Kombinatorik ist nur eine "asymptotische" Approximation; die p-kanonische Basis kontrolliert wirklich die Darstellungstheorie. Dies erklärt die von Williamson gefundenen Gegenbeispiele.
In positiver Charakteristik entspricht die relative Kohomologie von Kippmodulen nicht einfachen perverse-kohärenten Garben, sondern unzerlegbaren Objekten im coheart der co-t-Struktur. Dies ist ein wesentlicher Unterschied zum Quantengruppen-Fall.
Diese Vermutung (Vermutung 2.10) bietet eine Äquivalenz zwischen der Darstellungskategorie und der Whittaker-Kategorie auf der affinen Grassmannian der Langlands-Dualgruppe, die sogar dann sinnvoll ist, wenn p < h (d.h. C∅=∅).
Verma 50 schlug zunächst vor, dass die Darstellungstheorie in positiver Charakteristik mit der Kombinatorik der affinen Weyl-Gruppe zusammenhängt, und stellte das Verbindungsprinzip und die Charakterunabhängigkeitsvermutung auf.
p-kanonische Basis ist das richtige kombinatorische Werkzeug: Sie erfasst präzise die kombinatorische Struktur der Darstellungstheorie in positiver Charakteristik, nicht die klassische Kazhdan-Lusztig-Basis
Charaktere von Kippmodulen vollständig gelöst: Satz 2.6 gibt die vollständige Antwort für Kippmodul-Charaktere (p > h oder alle p)
Humphreys-Vermutung grundlegend gelöst: Die relative Version gilt für alle p > h; die klassische Version gilt für hinreichend großes p oder A-Typ
Kraft geometrischer Methoden: Durch Springer-Zerlegung, affine Grassmannian und Langlands-Dualität werden Darstellungstheorie-Probleme in geometrische Probleme umgewandelt
37 Lusztig (1980): "Some problems in the representation theory of finite Chevalley groups" - Aufstellung der ursprünglichen Vermutung
53 Williamson (2017): "Schubert calculus and torsion explosion" - Entdeckung von Gegenbeispielen, Einführung der p-kanonischen Basis
11 Achar-Makisumi-Riche-Williamson (2019): "Koszul duality for Kac-Moody groups and characters of tilting modules" - Erster Beweis der Kippcharakterformel
22 Bezrukavnikov (2006): "Cohomology of tilting modules over quantum groups and t-structures" - Humphreys-Vermutung für Quantengruppen
8 Achar-Hardesty-Riche (2019): "On the Humphreys conjecture on support varieties" - Humphreys-Vermutung für hinreichend großes p
6 Achar-Hardesty (2024): "Silting complexes of coherent sheaves and the Humphreys conjecture" - Vollendung der relativen Humphreys-Vermutung
47 Riche-Williamson (2022): "Smith-Treumann theory and the linkage principle" - Beweis der Kippcharakterformel mit neuer Methode
Gesamtbewertung: Dies ist eine hervorragende Übersichtsarbeit, die systematisch über ein Jahrzehnt tiefe Arbeiten der Autoren und ihrer Mitarbeiter zur Darstellungstheorie in positiver Charakteristik zusammenfasst. Durch die Einführung der p-kanonischen Basis und die Entwicklung geometrischer Methoden lösen die Autoren Kernprobleme dieses Gebiets und fördern bedeutende Fortschritte in der Darstellungstheorie. Das Papier ist technisch anspruchsvoll, aber klar organisiert und von hohem Wert für Experten und Lernende. Diese Arbeiten werden langfristige Auswirkungen auf die Moduldarstellungstheorie und geometrische Darstellungstheorie haben.