2025-11-30T17:13:19.330745

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

Grundinformationen

  • Papier-ID: 2511.05063
  • Titel: Tilting modules for reductive algebraic groups: characters and support varieties
  • Autoren: Pramod N. Achar (Louisiana State University), Simon Riche (Université Clermont Auvergne)
  • Klassifizierung: math.RT (Darstellungstheorie)
  • Veröffentlichungszeit/Konferenz: November 2025 eingereicht, Beitrag zu den Proceedings des ICM 2026
  • Papierlink: https://arxiv.org/abs/2511.05063

Zusammenfassung

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.

Forschungshintergrund und Motivation

Kernprobleme

  1. 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.
  2. 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.

Forschungsbedeutung

  • 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

Einschränkungen bestehender Methoden

  1. 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
  2. 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
  3. Asymptotisches Problem: Die klassische Kazhdan-Lusztig-Kombinatorik gibt nur "asymptotische" Approximationen, die in allgemeiner Charakteristik versagen

Innovationen dieses Papiers

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.

Kernbeiträge

Die Hauptbeiträge dieses Papiers sind:

  1. 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
  2. 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
  3. 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
  4. 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
  5. Modulversion der Lusztig-Vogan-Bijektion: Etablierung einer Lusztig-Vogan-Bijektion in positiver Charakteristik, die dominante Gewichte mit Kippvektorbündeln auf nilpotenten Bahnen verbindet

Methodische Details

Theoretischer Rahmen

1. Darstellungstheoretische Grundeinstellung

  • 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

2. Affine Weyl-Gruppe und Punkt-Wirkung

Die affine Weyl-Gruppe Waff=WZΦW_{aff} = W \ltimes \mathbb{Z}\Phi wirkt auf dem Gewichtsgitter durch Punkt-Wirkung: (wμ)λ=w(λ+pμ+ρ)ρ(w \ltimes \mu) \bullet \lambda = w(\lambda + p\mu + \rho) - \rho

Verbindungsprinzip (Andersen): Die Ext-Gruppen einfacher Module sind nur innerhalb derselben WaffW_{aff}-Bahn nicht-trivial, was zur Blockzerlegung der Darstellungskategorie führt.

Methoden für Charakterformeln

Kernwerkzeug: p-kanonische Basis

Für die affine Hecke-Algebra Haff\mathcal{H}_{aff} existieren:

  • Klassische Kazhdan-Lusztig-Basis {Hw:wWaff}\{\underline{H}_w : w \in W_{aff}\}
  • p-kanonische Basis {pHw:wWaff}\{^pH_w : w \in W_{aff}\} (abhängig von der Primzahl p)

Definition der entsprechenden Polynome: pHw=yWaffphy,wHy^pH_w = \sum_{y \in W_{aff}} \,^ph_{y,w} \cdot H_y

Schlüsseleigenschaft: Wenn p hinreichend groß ist, dann pHw=Hw^pH_w = \underline{H}_w, aber für allgemeines p können sie unterschiedlich sein.

Satz 2.6 (Charakterformel für Kippmodule)

Für eine finitary-Teilmenge JSaffJ \subset S_{aff} mit CJC_J \neq \emptyset und y,wWaffJy, w \in W^J_{aff}: dy,wJ=zW(1)(z)phzywJ,wwJ(1)d^J_{y,w} = \sum_{z \in W} (-1)^{\ell(z)} \cdot \,^ph_{zyw_J, ww_J}(1)

wobei dy,wJd^J_{y,w} der Entwicklungskoeffizient des Charakters des Kippmoduls in der Basis der induzierten Module ist.

Beweisstruktur (Fall p > h)

  1. Geometrische Realisierung: Konstruktion eines degrading functor F:DbCohG×Gm(N~)DbRepWext0(G)\mathcal{F}: D^b\text{Coh}_{G \times \mathbb{G}_m}(\tilde{\mathcal{N}}) \to D^b\text{Rep}_{W_{ext} \bullet 0}(G) wobei N~=G×Bn\tilde{\mathcal{N}} = G \times_B \mathfrak{n} die Springer-Zerlegung ist
  2. Kategorifizierung: Beweis der Existenz einer Hecke-Kategorie Haffk\mathcal{H}^k_{aff}, die auf RepWaff0(G)\text{Rep}_{W_{aff} \bullet 0}(G) wirkt
  3. Koszul-Dualität: Verwendung der Koszul-Dualitätstheorie in gemischten perverse-kohärenten Garben auf der affinen Grassmannian
  4. Smith-Treumann-Theorie: Der neueste allgemeine Beweis verwendet die Smith-Treumann-Theorie in der geometrischen Satake-Äquivalenz

Methoden für Stützvarietäten

Frobenius-Kern und Kohomologie

  • Frobenius-Kern: G1=ker(Fr:GG(1))G_1 = \ker(\text{Fr}: G \to G^{(1)}), endliches Gruppenschema
  • Kohomologiering: Wenn p > h, dann H(G1;k)k[N]H^\bullet(G_1; k) \cong k[\mathcal{N}] wobei Ng\mathcal{N} \subset \mathfrak{g} der nilpotente Kegel ist
  • Definition von Stützvarietäten:
    • VG1(M)=supp(Ext(M,M))V_{G_1}(M) = \text{supp}(\text{Ext}^\bullet(M,M))
    • VG1(M)=supp(H(G1;M))V^{G_1}(M) = \text{supp}(H^\bullet(G_1; M)) (relative Stützvarietät)

Humphreys-Vermutung (klassische Version, Vermutung 3.3)

Für wWextw \in W^\emptyset_{ext} sei C die G-Bahn, die durch die Lusztig-Bijektion (3.2) der doppelseitigen Zelle entspricht, die w enthält, dann: VG1(T(w0))=CV_{G_1}(\mathcal{T}(w \bullet 0)) = C

Beweisidee

Schritt 1: Geometrisierung Unter Verwendung des degrading functor wird für λX+\lambda \in X^+ definiert: Sλ:=πTgr(wλ0)DbCohG×Gm(N)\mathcal{S}_\lambda := \pi_* \mathcal{T}^{gr}(w_\lambda \bullet 0) \in D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})

Dann existiert ein Isomorphismus: H(G1;T(wλ0))RΓ(N,Sλ)H^\bullet(G_1; \mathcal{T}(w_\lambda \bullet 0)) \cong R^\bullet\Gamma(\mathcal{N}, \mathcal{S}_\lambda)

Schritt 2: co-t-Struktur-Theorie (Achar-Hardesty 5,6)

  • Konstruktion einer co-t-Struktur auf DbCohG×Gm(N)D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})
  • Beweis, dass Sλ\mathcal{S}_\lambda ein unzerlegbares Objekt im coheart ist (nach Verschiebung)

Schritt 3: Lusztig-Vogan-Bijektion Etablierung einer Bijektion: X+ΞG={(C,σ):CN ist eine Bahn,σΣC}X^+ \xleftrightarrow{\sim} \Xi_G = \{(C, \sigma) : C \subset \mathcal{N} \text{ ist eine Bahn}, \sigma \in \Sigma_C\}

wobei ΣC\Sigma_C einfache äquivariante kohärente Garben auf der Bahn C parametrisiert.

Schritt 4: Charakterisierung der Stützvarietät (Satz 3.10) Wenn λ\lambda dem Paar (C,σ)(C, \sigma) entspricht, dann: SλS(C,σ)\mathcal{S}_\lambda \cong \mathcal{S}(C, \sigma) wobei S(C,σ)\mathcal{S}(C, \sigma) durch geometrische Konstruktion gegeben ist und erfüllt:

  • Träger liegt auf C
  • Einschränkung auf C ist das Kippvektorbündel T(σ)\mathcal{T}(\sigma)

Dies gibt direkt die relative Humphreys-Vermutung.

Experimentelle Einstellung

Dieses Papier ist eine rein mathematische Theoriearbeit und beinhaltet keine "Experimente" im klassischen Sinne. Die Autoren überprüfen die Theorie jedoch auf folgende Weise:

Verifikation in Spezialfällen

  1. GLn-Fall: In 45 wurde zunächst die Kippcharakterformel für GLn verifiziert
  2. Quantengruppen-Analogie: Viele Ergebnisse haben entsprechende Versionen im Quantengruppen-Fall, die unabhängig verifiziert wurden

Rechnerische Verifikation

  • Verwendung von Rechenwerkzeugen für Kazhdan-Lusztig-Polynome und p-kanonische Basen
  • Für kleine Ränge und kleine Charakteristiken können explizite Rechnungen durchgeführt werden

Theoretische Konsistenzprüfung

  • Verifikation, dass die Formeln mit der bekannten Weyl-Charakterformel (2.1) konsistent sind
  • Überprüfung der Kompatibilität mit translation functors (2.5)
  • Verifikation der Konsistenz mit dem Steinberg-Tensorprodukt-Theorem

Experimentelle Ergebnisse

Zusammenfassung der Hauptsätze

1. Charaktere von Kippmodulen (Satz 2.6)

Ergebnis: Für alle finitary-Teilmengen J und p > h werden die Charaktere von Kippmodulen vollständig durch p-Kazhdan-Lusztig-Polynome bestimmt.

Bedeutung:

  • Erste exakte Formel für allgemeines p
  • Degeneriert automatisch zur Andersen-Vermutung wenn p → ∞
  • Es existiert eine Version für alle p (Riche-Williamson 47)

2. Beweiszustand der Humphreys-Vermutung

VersionKlassischer FallQuantengruppen-Fall
Klassische VersionA-Typ oder p≫0 bekanntBekannt
Relative VersionBekannt (alle p>h)Bekannt
Schementheoretische klassische VersionA-Typ oder p≫0 bekanntBekannt
Schementheoretische relative VersionA-Typ oder p≫0 bekanntBekannt

Wichtige Fortschritte:

  • 8 (2019): Beweis für hinreichend großes p
  • 6 (2024): Beweis der relativen Version durch Lusztig-Vogan-Bijektion (p > h)
  • 5 (2024): Schementheoretische Version für GLn (p > n)

Theoretische Erkenntnisse

Erkenntnis 1: Zentrale Rolle der p-kanonischen Basis

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.

Erkenntnis 2: Notwendigkeit der co-t-Struktur-Theorie

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.

Erkenntnis 3: Geometrische Bedeutung der Finkelberg-Mirković-Vermutung

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=C_\emptyset = \emptyset).

Verwandte Arbeiten

Historischer Kontext

1970er Jahre: Vermas Vorhersage

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.

1980er Jahre: Lusztig-Vermutung

Lusztig 37 schlug eine Charakterformel für einfache Module unter Verwendung von Kazhdan-Lusztig-Polynomen vor, erwartet für p ≥ h.

1990er Jahre: Andersens Arbeiten

  • 15: Beweis des Verbindungsprinzips
  • 16: Aufstellung der Kippmodul-Charaktervermutung, Beweis ihrer Implikation der Lusztig-Vermutung

2000er Jahre: Quantengruppen-Analogie

  • Bezrukavnikov 22: Lösung der Humphreys-Vermutung für Quantengruppen
  • Arkhipov-Bezrukavnikov-Ginzburg: Entwicklung geometrischer Methoden

2010er Jahre: Gegenbeispiele und neue Richtungen

  • Williamson 53: Entdeckung von Gegenbeispielen zur Lusztig-Vermutung
  • Juteau-Mautner-Williamson: Einführung der p-kanonischen Basis

2018-2024: Arbeitsreihe der Autoren dieses Papiers

  • 12 (2018): Konstruktion des degrading functor
  • 11 (2019): Beweis der Kippcharakterformel (p > h)
  • 8 (2019): Beweis der Humphreys-Vermutung (p≫0)
  • 47 (2022): Neuer Beweis unter Verwendung der Smith-Treumann-Theorie
  • 6 (2024): Vollendung der relativen Humphreys-Vermutung

Vergleich mit verwandten Arbeiten

AspektKlassische MethodeMethode dieses Papiers
Kombinatorisches WerkzeugKazhdan-Lusztig-Basisp-kanonische Basis
Anwendungsbereichp≫h (nicht-polynomiale Schranke)p > h oder alle p
Geometrisches WerkzeugKeineSpringer-Zerlegung, affine Grassmannian
KategorifizierungKeineHecke-Kategorie-Wirkung
Beschreibung von StützvarietätenVermutungBeweis durch co-t-Struktur

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. 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
  2. Charaktere von Kippmodulen vollständig gelöst: Satz 2.6 gibt die vollständige Antwort für Kippmodul-Charaktere (p > h oder alle p)
  3. 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
  4. Kraft geometrischer Methoden: Durch Springer-Zerlegung, affine Grassmannian und Langlands-Dualität werden Darstellungstheorie-Probleme in geometrische Probleme umgewandelt

Einschränkungen

1. Charakteristik-Schranken-Problem

  • Kippcharakterformel erfordert p > h (obwohl es eine Version für alle p gibt)
  • Klassische Version der Humphreys-Vermutung benötigt immer noch hinreichend großes p (außer A-Typ)
  • Gültigkeitsbereich der Donkin-Formel unklar (p ≥ 2h-4?)

2. Explizitheit der Charaktere einfacher Module

Obwohl prinzipiell aus Kippmodulen ableitbar:

  • Die durch Finkelberg-Mirković-Vermutung gegebene Formel beinhaltet schwer zu berechnende Euler-Charakteristiken
  • Es existiert keine geschlossene Form ähnlich der Weyl-Formel

3. Kompatibilität von Zellen

  • Beziehung zwischen p-Zellen und Kazhdan-Lusztig-Zellen nur für hinreichend großes p verstanden
  • Dies begrenzt den Beweis der klassischen Version der Humphreys-Vermutung

4. Rechenkomplexität

  • Berechnung der p-kanonischen Basis äußerst schwierig
  • Keine einheitliche Charakteristik-Schranke N(w) für alle Elemente w

Zukünftige Richtungen

1. Exakte Formel für Charaktere einfacher Module

Problem: Kann man eine explizitere Charakterformel für einfache Module als die Finkelberg-Mirković-Vermutung finden?

Mögliche Wege:

  • Verständnis der Euler-Charakteristik der Iwahori-äquivarianten Schnitt-Kohomologie auf affinen Flaggenvarietäten
  • Entwicklung neuer kombinatorischer Werkzeuge

2. Fall kleine Charakteristik

Problem: Was ist die Darstellungstheorie-Struktur für p ≤ h?

Herausforderungen:

  • Struktur von H(G1;k)H^\bullet(G_1; k) unbekannt
  • Keine "regulären Blöcke" (da C=C_\emptyset = \emptyset)
  • Finkelberg-Mirković-Vermutung deutet auf geometrisches Modell hin

3. Vollständiges Verständnis von p-Zellen

Problem: Beziehung zwischen p-Zellen und Kazhdan-Lusztig-Zellen?

Bedeutung:

  • Vollendung des Beweises der klassischen Version der Humphreys-Vermutung
  • Verständnis der Klassifizierung von tensor ideals (Vermutung (3.5))

4. Höhere Frobenius-Kerne

Problem: Kann man auf Gr=ker(Frr)G_r = \ker(\text{Fr}^r) verallgemeinern?

Motivation:

  • Zusammenhang mit Klassifizierung von tensor ideals
  • Könnte neue Struktur von p-Zellen offenbaren

5. Rechenmethoden

Problem: Wie berechnet man p-kanonische Basen effektiv?

Anforderungen:

  • Entwicklung neuer Algorithmen
  • Finden expliziter Schranken für N(w)

Tiefe Bewertung

Stärken

1. Theoretische Tiefe und Breite

  • Einheitlicher Rahmen: Charakterprobleme und Stützvarietäten-Probleme in einen einheitlichen geometrisch-darstellungstheoretischen Rahmen integriert
  • Interdisziplinäre Integration: Fusion von algebraischer Geometrie, Darstellungstheorie, Kombinatorik und Kategorientheorie
  • Tiefe Verbindungen: Offenbarung der Rolle der Langlands-Dualität in der Darstellungstheorie positiver Charakteristik

2. Technische Innovation

  • degrading functor: Kreative Nutzung der Springer-Zerlegung zur Verbindung von Geometrie und Darstellung
  • co-t-Struktur-Theorie: Entdeckung neuer Kategorienstrukturen in positiver Charakteristik
  • Smith-Treumann-Theorie-Anwendung: Einführung algebraisch-topologischer Werkzeuge in die Darstellungstheorie reduktiver Gruppen

3. Vollständigkeit der Problemlösung

  • Kippcharakter-Problem vollständig gelöst (Satz 2.6)
  • Relative Humphreys-Vermutung vollständig gelöst
  • Etablierung der Lusztig-Vogan-Bijektion in positiver Charakteristik

4. Schreibqualität

  • Klare historische Übersicht und Motivationserklärung
  • Systematische Einführung des theoretischen Rahmens
  • Angemessenes Gleichgewicht zwischen technischen Details und intuitiven Erklärungen
  • Umfassende Literaturübersicht und Zuschreibungen

Schwächen

1. Extrem hohe technische Hürde

  • Erfordert tiefe Kenntnisse in algebraischer Geometrie, derivierten Kategorien und Darstellungstheorie
  • Konstruktion des degrading functor ist äußerst technisch
  • co-t-Struktur-Theorie für Nicht-Spezialisten schwer verständlich

2. Begrenzte Rechenfähigkeit

  • Berechnung der p-kanonischen Basis äußerst schwierig
  • Obwohl Charakterformel existiert, ist sie schwer explizit zu berechnen
  • Mangel an detaillierten Rechnungen konkreter Beispiele

3. Bedingungsabhängigkeit der Ergebnisse

  • Die meisten Ergebnisse erfordern p > h
  • Klassische Humphreys-Vermutung noch nicht vollständig gelöst
  • Charakterformel für einfache Module nicht ausreichend explizit

4. Auslassung einiger technischer Details

  • Als Übersichtsartikel werden viele Beweisdetails auf Originalarbeiten verwiesen
  • Vollständige Konstruktion des degrading functor nicht gegeben
  • Konkrete Konstruktion der co-t-Struktur nur durch Literaturverweise

Einfluss

Beitrag zum Gebiet

  1. Paradigmenwechsel: Etablierung der p-kanonischen Basis als Kernwerkzeug
  2. Methodologische Innovation: Systematische Anwendung geometrischer Methoden in der Moduldarstellungstheorie
  3. Lösung langfristiger Probleme: Andersen-Vermutung (Kippcharaktere) und Humphreys-Vermutung (teilweise)

Praktischer Wert

  • Theoretische Grundlage für konkrete Berechnungen
  • Anleitung für die Entwicklung von Computeralgebra-Systemen
  • Potenzielle Anwendungen in mathematischer Physik (z.B. modales Langlands-Programm)

Reproduzierbarkeit

  • Theoretische Verifizierbarkeit hoch: Beweise basieren auf veröffentlichter strenger mathematischer Arbeit
  • Rechnerische Reproduzierbarkeit mittel: Prinzipiell berechenbar, aber praktisch schwierig
  • Code-Verfügbarkeit niedrig: Keine Computerimplementierung bereitgestellt (normal für reine Mathematik)

Anwendungsszenarien

1. Theoretische Forschung

  • Moduldarstellungstheorie reduktiver algebraischer Gruppen
  • Darstellungstheorie affiner Hecke-Algebren
  • Kazhdan-Lusztig-Theorie und ihre Verallgemeinerungen
  • Geometrische Darstellungstheorie

2. Verwandte Gebiete

  • Modales Langlands-Programm: Finkelberg-Mirković-Vermutung bietet geometrische Realisierung
  • Quantengruppen-Theorie: Viele Ergebnisse haben Quantengruppen-Analoga
  • Modulare Darstellungen von Lie-Algebren: Verbindung durch Frobenius-Kern
  • Kategorifizierungs-Theorie: Hecke-Kategorie-Wirkung

3. Rechneranwendungen

  • Berechnung von Charaktertafeln (wenn p nicht zu groß)
  • Bestimmung von Zerlegungszahlen
  • Verständnis der Tensorprodukt-Struktur

4. Nicht-Anwendungsszenarien

  • p = 0 (Charakteristik Null völlig unterschiedlich)
  • p ≤ h und Bedarf nach expliziten Formeln (Theorie noch nicht ausgereift)
  • Nicht-reduktive Gruppen oder unendlich-dimensionale Darstellungen

Referenzen (Schlüsselliteratur)

  1. 37 Lusztig (1980): "Some problems in the representation theory of finite Chevalley groups" - Aufstellung der ursprünglichen Vermutung
  2. 53 Williamson (2017): "Schubert calculus and torsion explosion" - Entdeckung von Gegenbeispielen, Einführung der p-kanonischen Basis
  3. 11 Achar-Makisumi-Riche-Williamson (2019): "Koszul duality for Kac-Moody groups and characters of tilting modules" - Erster Beweis der Kippcharakterformel
  4. 22 Bezrukavnikov (2006): "Cohomology of tilting modules over quantum groups and t-structures" - Humphreys-Vermutung für Quantengruppen
  5. 8 Achar-Hardesty-Riche (2019): "On the Humphreys conjecture on support varieties" - Humphreys-Vermutung für hinreichend großes p
  6. 6 Achar-Hardesty (2024): "Silting complexes of coherent sheaves and the Humphreys conjecture" - Vollendung der relativen Humphreys-Vermutung
  7. 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.