Äquivariante Koszul-Dualität, Modulare Kategorie $\mathcal{O}$ und Periodische Kazhdan-Lusztig-Polynome

Grundinformationen

• Papier-ID: 2511.18518
• Titel: Equivariant Koszul Duality, Modular Category $\mathcal{O}$, and Periodic Kazhdan--Lusztig Polynomials
• Autoren: Simon Riche, Quan Situ
• Klassifizierung: math.RT (Darstellungstheorie), math.AG (Algebraische Geometrie)
• Veröffentlichungsdatum: 23. November 2025 (arXiv-Einreichung)
• Papier-Link: https://arxiv.org/abs/2511.18518

Zusammenfassung

Dieses Papier untersucht zusammenhängende reduktive algebraische Gruppen $G$ über algebraisch abgeschlossenen Körpern positiver Charakteristik, ihre Lie-Algebra $\mathfrak{g}$ und Borel-Untergruppe $B$. Die Autoren beweisen unter der Annahme der Lusztig-Vermutung (bekannt für große Charakteristik) eine Dimensionsformel für Erweiterungsgruppen vom einfachen zum kostandard-Objekt im Hauptblock der stark $B$-äquivarianten $\mathfrak{g}$-Modulkategorie (auch modulare Kategorie $\mathcal{O}$ genannt). Die Antwort wird durch die Koeffizienten der periodischen Kazhdan-Lusztig-Polynome der zugehörigen affinen Weyl-Gruppe gegeben. Der Beweis verwendet eine ringäquivariante Version der $\mathfrak{g}$-Modul-Koszul-Dualität, konstruiert vom ersten Autor.

Forschungshintergrund und Motivation

1. Kernproblem

Das Kernproblem dieses Papiers ist: Berechnung der Dimensionen von Erweiterungsgruppen $\text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0))$ in der modularen Kategorie $\mathcal{O}$ über Körpern positiver Charakteristik.

2. Bedeutung des Problems

Dieses Problem hat mehrfache Bedeutung:

• Grundlagenproblem der Darstellungstheorie: Erweiterungsgruppen sind fundamentale Invarianten in der Darstellungstheorie und kodieren die homologische Struktur der Kategorie.
• Verbindung zur Kombinatorik: Das Problem verbindet Darstellungstheorie mit Kazhdan-Lusztig-Kombinatorik, die in vielen mathematischen Bereichen wichtig ist.
• Folgerung aus der Lusztig-Vermutung: Die Ergebnisse sind natürliche Folgerungen der Lusztig-Vermutung über Darstellungstheorie in positiver Charakteristik und verifizieren die Konsistenz dieses Rahmens.
• Geometrische Verbindung: Durch Koszul-Dualität ist das Problem mit der Geometrie kohärenter Garben auf algebraischen Varietäten tiefgreifend verbunden.

3. Historischer Hintergrund und bestehende Ergebnisse

Das Papier gibt einen detaillierten Überblick über die verwandte Geschichte:

• Fall komplexer Zahlen: In Charakteristik Null wird die Struktur der Bernstein-Gelfand-Gelfand-Kategorie $\mathcal{O}$ vollständig durch die Kazhdan-Lusztig-Theorie beschrieben.
• Fall von $G$-Modulen: Für Darstellungen reduktiver Gruppen $G$ bewiesen Andersen und andere, dass unter der Lusztig-Vermutung die Kazhdan-Lusztig-Polynomkoeffizienten die Erweiterungsgruppen von einfachen zu induzierten Modulen berechnen.
• Fall von $G_1T$-Modulen: Für die von Frobenius-Kern $G_1$ und maximaler Torus $T$ erzeugte Untergruppe bewiesen Cline-Parshall-Scott ähnliche Ergebnisse, die periodische Kazhdan-Lusztig-Polynome betreffen.
• Fall von $(g,B)$-Modulen: Dies ist der neue Fall, den dieses Papier untersucht; zuvor fehlte eine ähnliche Erweiterungsgruppenformel.

4. Einschränkungen bestehender Methoden

Für $G$-Module und $G_1T$-Module ist die Standardmethode zum Beweis von Erweiterungsgruppenformeln:

• Induktion über die Bruhat-Ordnung
• Gleichzeitiger Beweis der Halbeinfachheit nach Anwendung von Wall-Crossing-Funktoren

Diese Methode ist nicht anwendbar auf $(g,B)$-Module, weil:

• Die analoge Halbeinfachheit in diesem Fall nicht gilt (erkennbar aus der Steinberg-Tensorprodukt-Formel)
• Ein völlig anderer, komplexerer Beweisweg erforderlich ist

5. Forschungsmotivation dieses Papiers

Dieses Papier hat zwei Hauptmotivationen:

Motivation Eins: Darstellungstheoretische Analogie

• Etablierung von Erweiterungsgruppenformeln für $(g,B)$-Module parallel zu $G$-Modulen und $G_1T$-Modulen
• Vervollständigung des Gesamtbildes der Darstellungstheorie in positiver Charakteristik

Motivation Zwei: Geometrische Anwendungen

• Verbindung zur Arbeit von Achar-Dhillon-Riche über halbunendliche Garben auf affinen Flaggensorten
• In Vorbereitung befindliche Arbeiten werden eine Äquivalenz zwischen der Kategorie halbunendlicher Garben und dem Hauptblock von $\text{Mod}(g,B)$ etablieren
• Dieses Papier beweist indirekt eine Vermutung in 1 über Halme halbunendlicher Garben

Kernbeiträge

Die Hauptbeiträge dieses Papiers sind:

1. Hauptsatz (Theorem 1.1)

Satzaussage: Angenommen $p > h$ ($h$ ist die Coxeter-Zahl) und die Lusztig-Vermutung gilt. Für beliebige $y, w \in W_{\text{aff}}$ gilt: $\sum_m \dim_k \text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0)) \cdot v^m = p_{y,w}(v)$ wobei $p_{y,w}$ das periodische Kazhdan-Lusztig-Polynom ist.

2. Ringäquivariante Koszul-Dualitätstheorie

Konstruktion einer ringäquivarianten Version der $\mathfrak{g}$-Modul-Koszul-Dualität (Abschnitt 6), einschließlich:

• Konstruktion äquivarianter gespaltener Vektorbündel
• Äquivalenzen zwischen äquivarianten abgeleiteten Kategorien
• Kompatibilität mit Standard- und projektiven Objekten

3. Äquivariante Garbentheorie auf Vervollständigungen

Entwicklung einer äquivarianten kohärenten Garbentheorie auf "formalen Vervollständigungen" (Anhang A):

• Definition äquivarianter quasikohärenter Garbenkategorien unter Vervollständigung
• Etablierung von Push-Pull-Funktoren und deren abgeleiteten Versionen
• Beweis grundlegender Eigenschaften wie Adjungiertheit

4. Geometrische Wall-Crossing-Funktoren

Etablierung einer exakten Entsprechung zwischen geometrischen Wall-Crossing-Funktoren und darstellungstheoretischen Translationsfunktoren (Abschnitt 5):

• Konstruktion geometrischer Entsprechungen für alle affinen einfachen Reflexionen $s \in S_{\text{aff}}$
• Beweis der Kompatibilität der Zopfgruppenoperation
• Geometrische Beschreibung von Standard- und Baby-Verma-Modulen

5. Technische Werkzeuge

• Einführung und Eigenschaften vollständiger universeller Verma-Module (Abschnitt 3.6)
• Verhalten von Translationsfunktoren in der Vervollständigungseinstellung
• Präzise Beschreibung der Koszul-Graduierung und ihrer Beziehung zur Loewy-Reihe

Methodische Details

Aufgabendefinition

Eingabe: Zwei Elemente der affinen Weyl-Gruppe $y, w \in W_{\text{aff}}$

Ausgabe: Dimensionen der Erweiterungsgruppen $\text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0))$ (für alle $m \geq 0$)

Nebenbedingungen:

• Charakteristik $p > h$ ($h$ ist die Coxeter-Zahl)
• Lusztig-Vermutung gilt (für hinreichend große Charakteristik bekannt)

Gesamte Beweisstruktur

Der Beweis gliedert sich in folgende Schlüsselschritte:

Schritt 1: Umwandlung in Erweiterungsgruppen universeller Verma-Module (Abschnitt 2.7)

Unter Verwendung von Adjungiertheit und homologischer Algebra wird bewiesen (Proposition 2.11): $\text{Ext}^n_{\text{Mod}(g,B)}(L(\mu), \nabla(\lambda)) \cong \text{Ext}^n_{\text{Mod}_T(U(g))}(\tilde{\Delta}(\lambda), L(\mu))$

Dies transformiert das Problem von $(g,B)$-Modulen zu $T$-äquivarianten $U(g)$-Modulen.

Schlüsseltechniken:

• Einführung des kostandard-Objekts $\nabla(\lambda) := (\Delta^{\uparrow}(-\lambda))^{\circledast}$
• Beweis von Ext-Orthogonalität (Lemma 2.7)
• Verwendung der "zusätzlichen" $S(t)$-Operation (aus der ringäquivarianten Struktur stammend)

Schritt 2: Vervollständigung und Lokalisierung (Abschnitte 3-4)

Einführung der zentral vervollständigten Algebra: $U^{\hat{\lambda}}_{\hat{\chi}} := U(g) \otimes_{Z(U(g))} Z(U(g))^{\hat{\lambda}}_{\hat{\chi}}$

wobei die Vervollständigung bezüglich des maximalen Ideals $(\chi, \lambda)$ des Zentrums durchgeführt wird.

Lokalisierungssatz (Theorem 4.1): Für reguläre Gewichte $\lambda$ existiert eine Äquivalenz $D^b(\text{mod}^H(U^{\hat{\lambda}}_{\hat{\chi}})) \xrightarrow{\sim} D^b\text{Coh}^H(\tilde{g}^{(1)}_{\hat{\chi}})$

Dies verwendet die Theorie von Bezrukavnikov-Mirković-Rumynin und verallgemeinert sie auf äquivariante und vervollständigte Einstellungen.

Vollständige universelle Verma-Module (Abschnitt 3.6): Definition $\hat{\Delta}(\lambda) := \tilde{\Delta}(\lambda) \otimes_{O(g^{*(1)} \times t^*)} O(g^{*(1)} \times t^*)_{(\hat{0},0)}$

Beweis ihres Verhaltens unter Translationsfunktoren (Proposition 3.9).

Schritt 3: Koszul-Dualität (Abschnitt 6)

Konstruktion der linearen Koszul-Dualität in äquivarianter und graduierter Version:

Theorem (Theorem 6.1): Unter der Annahme, dass die Lusztig-Vermutung gilt, existieren Objektfamilien

• $(L^{\text{gr}}_x : x \in W_{\text{ex}}) \subset D^b\text{Coh}^{T^{(1)} \times \mathbb{G}_m}(\tilde{N}^{(1)})$
• $(P^{\text{gr}}_x : x \in W_{\text{ex}}) \subset \text{DGCoh}^{T^{(1)} \times \mathbb{G}_m}(\tilde{g}^{(1)} \times^R_{g^{*(1)}} \{0\})$

erfüllend:

1. $\text{for}_{\mathbb{G}_m}(L^{\text{gr}}_x) \cong L_x$, $\text{for}_{\mathbb{G}_m}(P^{\text{gr}}_x) \cong P_x$
2. $\kappa(L^{\text{gr}}_x \otimes O_{\tilde{N}^{(1)}}(-\rho)) \cong P^{\text{gr}}_{t_{\rho}\check{x}}$
3. Kompatibilität mit Translationen

Hier ist $\kappa$ die Koszul-Dualitätsäquivalenz.

Schlüsselkonstruktion:

• Gespaltene Vektorbündel $V^{\lambda}_{\chi}$ und ihre äquivariante Struktur
• Verwendung der Lusztig-Vermutung zur Garantie der Halbeinfachheit (Proposition 6.3)
• Induktive Konstruktion graduierter Liftungen

Schritt 4: Geometrische Beschreibung und Kombinatorik (Abschnitt 7)

Koszul-Graduierung: Definition der $(pX \times \mathbb{Z})$-graduierten Algebra $\mathbb{E} = \bigoplus_{\lambda \in pX} \text{Hom}_{G_1T}\left(\bigoplus_{w \in W} P_w\langle\lambda\rangle, \bigoplus_{w \in W} P_w\right)^{\text{op}}$

mit zusätzlicher $\mathbb{Z}$-Graduierung aus der $\mathbb{G}_m$-äquivarianten Struktur.

Schlüssellemma (Lemma 7.2): $P^{\text{gr}}_x$ ist die injektive Hülle von $L^{\text{gr}}_x\langle 2\ell(w_{\circ})\rangle$ in $\text{mod}^{pX \times \mathbb{Z}}(\mathbb{E})$.

Loewy-Reihen-Verbindung (Corollary 7.6): $\text{rad}^m(Z_x) = \bigoplus_{j \geq m} (Z^{\text{gr}}_x)_j$

das heißt, die Radikalfiltrierung ist genau die Graduierungsfiltrierung.

Endgültige Berechnung (Proposition 7.4): $\dim_k \text{Ext}^m_{\text{Mod}_T(U(g))}(\tilde{\Delta}_y, L_x) = [Z^{\text{gr}}_y\langle m - \ell(w_{\circ})\rangle : L^{\text{gr}}_{\check{x}}]$

Kombiniert mit Andersen-Kanedas Ergebnis über die Loewy-Reihe von Baby-Verma-Modulen: $\sum_{m \geq 0} [\text{rad}^m(Z_w)/\text{rad}^{m+1}(Z_w) : L_y] \cdot v^m = p_{w_{\circ}w, w_{\circ}y}$

und der Symmetrie periodischer KL-Polynome ergibt sich der Hauptsatz.

Technische Innovationen

1. Äquivariante Theorie unter Vervollständigung

• Traditionelle äquivariante Garbentheorie kann nicht direkt auf Vervollständigungen angewendet werden
• Anhang A entwickelt einen neuen theoretischen Rahmen, definiert $H$-äquivariante quasikohärente Garben $(F, \theta)$, wobei $\theta: \text{act}^* F \xrightarrow{\sim} \text{pr}^* F$ eine Kozyklusbedingung erfüllt

2. Vollständige universelle Verma-Module

• Einführung von $\hat{\Delta}(\lambda)$ als Schlüsselwerkzeug
• Beweis ihres exakten Verhaltens unter Translations- und Wall-Crossing-Funktoren
• Verwendung der "zusätzlichen" $S(t)$-Operation zur Verfolgung der Zentralcharakteristik

3. Exakte Entsprechung geometrischer Wall-Crossing

• Konstruktion geometrischer Funktoren für alle $s \in S_{\text{aff}}$ (nicht nur einfache Reflexionen)
• Beweis von $\gamma^{\hat{0}}_{\hat{\chi}} \circ \Theta_s \cong \Xi_s \circ \gamma^{\hat{0}}_{\hat{\chi}}$ (Proposition 5.7)
• Etablierung der Kompatibilität der Zopfgruppenoperation (Proposition 5.4)

4. Geometrische Bedeutung der Koszul-Graduierung

• $\mathbb{Z}$-Graduierung stammt aus $\mathbb{G}_m$-äquivarianter Struktur
• Umwandlung in Loewy-Reihe durch Koszul-Dualität
• Dies ist die Schlüsselbrücke zwischen Geometrie und Kombinatorik

Experimentelle Einstellung

Anmerkung: Als reines mathematisches Theoriepapier enthält dieses Papier keine numerischen Experimente; der folgende Abschnitt wird stattdessen als "Theoretische Verifizierung" präsentiert.

Theoretischer Verifizierungsrahmen

1. Annahmebedingungen

• Charakteristikbedingung: $p > h$ (Coxeter-Zahl)
• Lusztig-Vermutung: Äquivalente Bedingung siehe 22, Proposition II.C.17(a)
  • Bekannt wahr für hinreichend großes $p$ (Fiebig 2012)
  • Spezifische Schranke hängt vom Wurzelsystem ab

2. Verifizierungsbereich

• Hauptblock: Gewichte der Form $w \bullet 0$ ($w \in W_{\text{aff}}$)
• Reguläre Blöcke: Durch Translationsfunktoren verallgemeinerbar
• Singuläre Blöcke: Methoden dieses Papiers decken dies noch nicht ab

3. Konsistenzprüfungen

Das Papier verifiziert die Konsistenz der Theorie auf folgende Weise:

Verifizierung von Spezialfällen:

• Explizite Berechnung für $x = w_{\circ}$ (Proposition 4.9)
• Vergleich mit bekannter $G_1T$-Modultheorie (Remark 3.3, 3.11)
• Verifizierung der Loewy-Länge im Fall des längsten Elements (Beweis von Lemma 7.2)

Interne Konsistenz:

• Verifizierung von Adjungiertheitsfunktor-Beziehungen
• Kompatibilität der Zopfgruppenoperation
• Konsistenz von Berechnungen über verschiedene Pfade

Experimentelle Ergebnisse

Hauptergebnisse

Vollständige Aussage von Theorem 1.1:

Setze $p > h$, Lusztig-Vermutung gelte. Für beliebige $y, w \in W_{\text{aff}}$: $\sum_m \dim_k \text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0)) \cdot v^m = p_{y,w}(v)$

wobei $p_{y,w}$ das periodische Kazhdan-Lusztig-Polynom ist (nach Konvention in 37).

Schlüsselmittelergebnisse

1. Geometrische Beschreibung von Standardobjekten (Corollary 5.9)

Für $x = t_{\lambda}w_{\circ}w$ ($\lambda \in X$, $w \in W$): $\hat{M}_x \cong I_{(H_{w^{-1}})^{-1}}(O_{(g/n)^{*(1)}_{\hat{0}}})\langle p\lambda \rangle$$Z_x \cong I^{\text{dg}}_{(H_{w^{-1}})^{-1}}(O_{\{(w^{(1)}_{\circ}, 0)\}})\langle p\lambda \rangle$

2. Effekt der Koszul-Dualität (Lemma 6.7)

Für beliebige $x \in W_{\text{ex}}$: $\kappa(M^{\text{gr}}_x \otimes O_{\tilde{N}^{(1)}}(-\rho)) \cong Z^{\text{gr}}_{t_{\rho}x}$

3. Mittlerer Ausdruck für Erweiterungsgruppen (Proposition 7.4)

$\dim_k \text{Ext}^m_{\text{Mod}_T(U(g))}(\tilde{\Delta}_y, L_x) = [Z^{\text{gr}}_y\langle m - \ell(w_{\circ})\rangle : L^{\text{gr}}_{\check{x}}]$

Theoretische Bedeutung

1. Einheitlichkeit

• Einbeziehung von $(g,B)$-Modulen in einen Rahmen parallel zu $G$-Modulen und $G_1T$-Modulen
• Alle drei Fälle werden durch entsprechende KL-Polynome beschrieben

2. Geometrische Interpretation

• Erweiterungsgruppendimenionen = KL-Polynomkoeffizienten
• KL-Polynomkoeffizienten = Multiplizitäten in der Loewy-Reihe
• Koszul-Dualität etabliert eine Brücke zwischen Darstellungstheorie und Geometrie

3. Kombinatorische Verifizierung

• Ergebnisse sind tiefgreifend mit der Kombinatorik der affinen Weyl-Gruppe verbunden
• Verifiziert die darstellungstheoretische Bedeutung periodischer KL-Polynome

Verwandte Arbeiten

1. Kazhdan-Lusztig-Theorie

Klassische Theorie (Charakteristik Null):

• Kazhdan-Lusztig (1979): Einführung von KL-Polynomen, Vermutung ihrer Beziehung zur Verma-Modulstruktur
• Beilinson-Bernstein, Brylinski-Kashiwara (1981): Beweis der KL-Vermutung durch D-Modul-Theorie

Verallgemeinerung auf positive Charakteristik:

• Lusztig (1980): Vermutung der positiven Charakteristik-Version
• Andersen (1986): Beweis, dass KL-Vermutung Erweiterungsgruppenformel impliziert ($G$-Module)
• Cline-Parshall-Scott (1992): Ähnliche Ergebnisse für $G_1T$-Module

Beitrag dieses Papiers: Verallgemeinerung des Rahmens auf $(g,B)$-Module, Vervollständigung des einheitlichen Bildes für alle drei Fälle.

2. Lokalisierungstheorie

Grundlegende Arbeiten:

• Beilinson-Bernstein (1981): D-Modul-Lokalisierung über komplexen Zahlen
• Bezrukavnikov-Mirković-Rumynin (2006-2008): Lokalisierungstheorie in positiver Charakteristik

Entwicklung in diesem Papier:

• Verallgemeinerung auf Vervollständigungseinstellung (Abschnitt 4)
• Etablierung äquivarianter Versionen (Anhang A)
• Beweis der Kompatibilität mit Translationsfunktoren

3. Koszul-Dualität

Allgemeine Theorie:

• Beilinson-Ginzburg-Soergel (1996): Koszul-Dualitätsmuster in der Darstellungstheorie
• Mirković-Riche (2010, 2016): Lineare Koszul-Dualität

Frühere Arbeiten des ersten Autors:

• Riche (2010): Koszul-Dualität für $\mathfrak{g}$-Module
• Dieses Papier: Verallgemeinerung auf äquivariante Einstellung mit $\mathbb{G}_m$-Graduierung

4. Modulare Kategorie $\mathcal{O}$

Komplexe Zahlen:

• Bernstein-Gelfand-Gelfand (1976): Definition der Kategorie $\mathcal{O}$
• Umfangreiche Forschung, Struktur vollständig verstanden

Positive Charakteristik:

• Losev (2023): Einführung des Begriffs "modulare Kategorie $\mathcal{O}$"
• Dieses Papier: Erste systematische Untersuchung ihrer Erweiterungsgruppenstruktur

Anmerkung: Soergel (2000) verwendete auch "modulare Kategorie $\mathcal{O}$", bezog sich aber auf ein anderes Objekt.

5. Halbunendliche Garbentheorie

Verwandte Arbeiten:

• Achar-Dhillon-Riche (in Vorbereitung): Halbunendliche Garben auf affinen Flaggensorten
• Vermutung: Halme einfacher Objekte werden durch periodische KL-Polynome berechnet

Beitrag dieses Papiers:

• Durch Kategorienäquivalenz verifiziert dieses Papier die Vermutung
• Bietet ein Beispiel für darstellungstheoretischen Beweis geometrischer Vermutungen

Einzigartigkeit dieses Papiers

Im Vergleich zu verwandten Arbeiten sind die Hauptunterschiede:

1. Neue Kategorie: $(g,B)$-Module fehlte zuvor eine systematische homologische Untersuchung
2. Neue Techniken: Äquivariante Theorie unter Vervollständigung ist eine neue Entwicklung
3. Neue Schwierigkeiten: Traditionelle Induktionsmethoden schlagen fehl, völlig anderer Beweisweg erforderlich
4. Neue Verbindungen: Etablierung von Verbindungen zur halbunendlichen Geometrie

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Dieses Papier beweist unter der Annahme der Lusztig-Vermutung (für große Charakteristik bekannt):

Kernformel: $\boxed{\sum_m \dim_k \text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0)) \cdot v^m = p_{y,w}(v)}$

Dies vervollständigt die Trilogie der Erweiterungsgruppenformeln in der Darstellungstheorie positiver Charakteristik:

• $G$-Module: Sphärische KL-Polynome (Andersen)
• $G_1T$-Module: Allgemeine KL-Polynome (Cline-Parshall-Scott)
• $(g,B)$-Module: Periodische KL-Polynome (dieses Papier)

Technische Erfolge

1. Äquivariante Koszul-Dualität: Erste Konstruktion der $T$-äquivarianten Version mit $\mathbb{G}_m$-Graduierung
2. Vervollständigungstheorie: Entwicklung äquivarianter Garbentheorie auf formalen Vervollständigungen (Anhang A)
3. Geometrie-Darstellungstheorie-Wörterbuch: Etablierung exakter Entsprechung geometrischer Wall-Crossing-Funktoren
4. Kombinatorische Verbindung: Verbindung der Koszul-Graduierung mit KL-Polynomen durch Loewy-Reihen

Einschränkungen

Die Autoren weisen ehrlich auf folgende Einschränkungen hin:

1. Abhängigkeit von der Lusztig-Vermutung

• Hauptsatz erfordert Gültigkeit der Lusztig-Vermutung
• Obwohl für große Charakteristik bekannt, ist dies eine nichttriviale Annahme
• Spezifische Schranke hängt vom Wurzelsystem ab
• Fall kleiner Charakteristik bleibt offen

2. Beschränkung auf reguläre Blöcke

• Hauptsatz wird für Hauptblock (Gewicht $0$) formuliert
• Verallgemeinerung auf reguläre Blöcke durch Translation möglich
• Singuläre Blöcke nicht gelöst (Remark 1.2)

3. Technische Annahmen

• Einige Konstruktionen erfordern starke Annahmen (z.B. in Anhang A, §A.8, §A.9)
• Könnte darauf hindeuten, dass Definitionen verbesserungsbedürftig sind
• Vervollständigungstheorie noch nicht vollständig befriedigend

4. Versagen der Halbeinfachheit

• Halbeinfachheit in traditionellen Methoden gilt hier nicht
• Führt zu extrem komplexem Beweis
• Erfordert vollständigen geometrischen Mechanismus

Zukünftige Richtungen

Im Papier explizit oder implizit vorgeschlagene Forschungsrichtungen:

1. Verallgemeinerung auf singuläre Blöcke

• Wie behandelt man singuläre Gewichte?
• Benötigt man neue kombinatorische Werkzeuge?
• Könnte komplexere KL-Polynome betreffen

2. Verbesserung der Vervollständigungstheorie

• Beseitigung technischer Annahmen (z.B. Projektivität)
• Systematische Entwicklung allgemeinerer äquivarianter Garbentheorie
• Möglicherweise erforderlich: Formalschema-Rahmen

3. Anwendungen auf halbunendliche Geometrie

• Vervollständigung der Verbindung mit Achar-Dhillon-Riche-Arbeit
• Erkundung weiterer Eigenschaften der Kategorienäquivalenz
• Untersuchung darstellungstheoretischer Bedeutung anderer geometrischer Objekte

4. Fall kleiner Charakteristik

• Beweis ohne Abhängigkeit von Lusztig-Vermutung?
• Oder zumindest Verständnis des Versagensmechanismus
• Möglicherweise erforderlich: Neue darstellungstheoretische Werkzeuge

5. Verallgemeinerung auf andere Gruppen

• Ähnliche Theorie für Supergruppen, Quantengruppen?
• Fall nicht-reduktiver Gruppen?

Tiefgreifende Bewertung

Stärken

1. Mathematische Tiefe

• Theoretische Innovation: Einführung mehrerer neuer Konzepte (vollständige universelle Verma-Module, äquivariante Vervollständigungstheorie)
• Technische Schwierigkeit: Überwindung des Versagens traditioneller Methoden, Konstruktion vollständiger Beweisweg
• Einheitlichkeit: Einbeziehung aller drei darstellungstheoretischen Fälle in einheitlichen Rahmen

2. Methodologische Beiträge

• Äquivariante Koszul-Dualität: Erste systematische Behandlung äquivarianter und graduierter Fälle
• Vervollständigungsrahmen: Anhang A kann unabhängig auf andere Probleme angewendet werden
• Geometrie-Algebra-Wörterbuch: Exaktheit der Wall-Crossing-Funktoren-Entsprechung

3. Bedeutung der Ergebnisse

• Lösung langfristiger Probleme: Erweiterungsgruppen von $(g,B)$-Modulen zuvor unbekannt
• Verifikation von Vermutungen: Indirekte Verifikation geometrischer Vermutung über halbunendliche Garben
• Kombinatorische Bedeutung: Neue darstellungstheoretische Interpretation periodischer KL-Polynome

4. Schreibqualität

• Klare Struktur: 7 Hauptkapitel + Anhang, logisch stringent
• Ausreichende Motivation: Detaillierter historischer Hintergrund und Forschungsmotivation
• Technische Details: Vollständige Beweise, Schlüsselschritte ausreichend erläutert

5. Theoretische Vollständigkeit

• Nicht nur Beweis des Hauptsatzes, sondern Etablierung vollständigen technischen Rahmens
• Mittelergebnisse (z.B. Corollary 5.9) haben unabhängigen Wert
• Solide Grundlage für nachfolgende Forschung

Schwächen

1. Technische Komplexität

• Lesbarkeitsherausforderung: Erfordert tiefe Kenntnisse mehrerer Bereiche (Darstellungstheorie, algebraische Geometrie, homologische Algebra)
• Umfang: 93 Seiten, Verständnis des gesamten Textes erfordert erhebliche Zeit
• Abhängigkeiten: Abhängigkeit von mehreren früheren Arbeiten des Autors und Mitarbeiter

2. Restriktivität der Annahmen

• Lusztig-Vermutung: Obwohl für große Charakteristik bekannt, bleibt nichttriviale Annahme
• Regularität: Singuläre Blöcke nicht abgedeckt
• Technische Annahmen: Einige Annahmen in Anhang A sind stark (z.B. Projektivität, affine Überdeckungsbedingung)

3. Vollständigkeit der Theorie

• Vervollständigungstheorie: Autoren geben zu, dass nicht vollständig befriedigend (Introduction §1.5 Ende)
• Definitionsgerechtigkeit: Einige Annahmen könnten darauf hindeuten, dass Definitionen verbesserungsbedürftig sind
• Verallgemeinerungspotential: Unklar, ob Methoden auf allgemeinere Fälle verallgemeinerbar sind

4. Rechnerische Aspekte

• Keine expliziten Beispiele: Keine konkreten Berechnungen für spezifische Gruppen
• Algorithmen: Keine Diskussion praktischer Berechnung von KL-Polynomkoeffizienten
• Numerische Verifizierung: Fehlende konkrete Verifizierung für Gruppen niedriger Ränge

5. Geometrische Intuition

• Abstraktheit: Geometrische Objekte (z.B. $\tilde{g}^{(1)}_{\hat{\chi}}$) sind abstrakt
• Visualisierung: Schwierig, intuitive Bilder zu bilden
• Physikalische Bedeutung: Keine Diskussion möglicher physikalischer Anwendungen

Einflussbeurteilung

1. Beitrag zum Bereich

Darstellungstheorie:

• Vervollständigung systematischer Untersuchung von Erweiterungsgruppenformeln in positiver Charakteristik
• Etablierung von Grundlagentheorie für modulare Kategorie $\mathcal{O}$
• Einflussbeurteilung: ★★★★★

Algebraische Geometrie:

• Vervollständigungsäquivariante Theorie anwendbar auf andere Probleme
• Verbindung zur halbunendlichen Geometrie eröffnet neue Richtungen
• Einflussbeurteilung: ★★★★☆

Kombinatorik:

• Neue Interpretation periodischer KL-Polynome
• Verifizierung der Effektivität der KL-Theorie in neuem Fall
• Einflussbeurteilung: ★★★★☆

2. Praktischer Wert

Theoretische Werkzeuge:

• Vervollständigungstheorie in Anhang A unabhängig nutzbar
• Äquivariante Koszul-Dualitätstechniken verallgemeinerbar
• Praktische Beurteilung: ★★★★☆

Rechnerische Aspekte:

• Hauptsatz gibt theoretische Formel, praktische Berechnung bleibt schwierig
• Erfordert Kenntnis von KL-Polynomen (selbst schwieriges Problem)
• Praktische Beurteilung: ★★★☆☆

3. Reproduzierbarkeit

Theoretische Reproduzierbarkeit:

• Beweis vollständig und detailliert
• Abhängig von veröffentlichten Ergebnissen
• Theoretisch vollständig verifizierbar
• Beurteilung: ★★★★★

Rechnerische Reproduzierbarkeit:

• Keine bereitgestellten Codes oder Algorithmen
• Konkrete Beispielberechnungen erfordern erhebliche Arbeit
• Beurteilung: ★★☆☆☆

4. Potenzial für Nachfolgeforschung

Kurzfristig:

• Verallgemeinerung auf singuläre Blöcke
• Konkrete Verbindung zur halbunendlichen Geometrie
• Ähnliche Ergebnisse für andere Gruppen

Langfristig:

• Beseitigung der Abhängigkeit von Lusztig-Vermutung
• Systematische Entwicklung der Vervollständigungstheorie
• Verbindungen zu Quantengruppen und Kategorifizierung

Potenzialbeurteilung: ★★★★★

Anwendungsszenarien

1. Direkte Anwendung

• Untersuchung homologischer Eigenschaften von $(g,B)$-Modulen
• Berechnung von Erweiterungsgruppen in spezifischen Fällen
• Verifizierung von Vermutungen über KL-Polynome

2. Technische Anleihen

• Probleme, die Vervollständigungsäquivariante Theorie benötigen
• Konstruktion von Koszul-Dualität in anderen Situationen
• Etablierung geometrisch-darstellungstheoretischer Entsprechungen

3. Theoretischer Rahmen

• Allgemeine Forschung zu Darstellungstheorie in positiver Charakteristik
• Strukturtheorie modularer Kategorien
• Anwendungen affiner Weyl-Gruppen-Kombinatorik

4. Nicht anwendbar

• Charakteristik-Null-Fälle (einfachere Methoden verfügbar)
• Kleine Charakteristik ohne Lusztig-Vermutung
• Praktische Probleme, die explizite Berechnung erfordern (außer wenn KL-Polynome bekannt)

Ausgewählte Literaturverzeichnis

Dieses Papier zitiert 42 Referenzen; die wichtigsten sind:

Grundlagentheorie

1. Jantzen (2003): Representations of algebraic groups - Standardreferenz für Darstellungstheorie in positiver Charakteristik
2. Lusztig (1980): Hecke algebras and Jantzen's generic decomposition patterns - Einführung periodischer KL-Polynome

Lokalisierungstheorie

3. Bezrukavnikov-Mirković-Rumynin (2008): Localization of modules for a semisimple Lie algebra in prime characteristic - Grundlagenwerk zur Lokalisierung in positiver Charakteristik

Koszul-Dualität

4. Riche (2010): Koszul duality and modular representations of semisimple Lie algebras - Grundlage für Verallgemeinerungen dieses Papiers
5. Mirković-Riche (2016): Linear Koszul duality, II - Theorie linearer Koszul-Dualität

Kombinatorik

6. Soergel (1997): Kazhdan–Lusztig polynomials and a combinatoric for tilting modules - Kombinatorik von KL-Polynomen

Verwandte Anwendungen

7. Achar-Dhillon-Riche (in Vorbereitung): Semiinfinite sheaves on affine flag varieties - Geometrische Anwendungen der Ergebnisse dieses Papiers

Zusammenfassung

Dies ist ein hochrangiges reines mathematisches Theoriepapier, das wichtige Beiträge zur Darstellungstheorie in positiver Charakteristik leistet. Hauptleistungen sind:

✅ Lösung wichtiger Probleme: Beweis der Erweiterungsgruppenformel für $(g,B)$-Module ✅ Technische Innovation: Entwicklung äquivarianter Koszul-Dualität und Vervollständigungstheorie
✅ Theoretische Tiefe: Etablierung tiefgreifender Verbindungen zwischen Geometrie, Darstellungstheorie und Kombinatorik ✅ Systematik: Vervollständigung des einheitlichen Bildes der Erweiterungsgruppentheorie in positiver Charakteristik

Haupteinschränkungen: ⚠️ Abhängigkeit von Lusztig-Vermutung (obwohl für große Charakteristik bekannt) ⚠️ Hohe technische Komplexität, Lesbarkeitsherausforderungen ⚠️ Einige theoretische Rahmen noch nicht vollständig befriedigend ⚠️ Fehlende konkrete Rechenbeispiele

Empfehlungsindex:

• Darstellungstheoretiker: ★★★★★
• Algebraische Geometer: ★★★★☆
• Kombinatoriker: ★★★☆☆
• Allgemeine Mathematiker: ★★☆☆☆ (erfordert tiefe Spezialkenntnisse)

Dieses Papier legt solide Grundlagen für Nachfolgeforschung (besonders Verallgemeinerung auf singuläre Blöcke, Anwendungen auf halbunendliche Geometrie) und wird voraussichtlich anhaltende Auswirkungen haben.