2025-11-26T13:34:17.913044

Equivariant Koszul Duality, Modular Category $\mathcal{O}$, and Periodic Kazhdan--Lusztig Polynomials

Riche, Situ

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in the principal block of the category of strongly $B$-equivariant $\mathfrak{g}$-modules (also called modular category $\mathcal{O}$), from a simple object to a costandard object, under the assumption that Lusztig's conjecture holds (which is known in large characteristic). The answer is given by a coefficient of a periodic Kazhdan--Lusztig polynomial associated with the corresponding affine Weyl group. Among other things, the proof uses a torus-equivariant version of the Koszul duality for $\mathfrak{g}$-modules constructed by the first author.

academic

Equivariant Koszul Duality, Modular Category $\mathcal{O}$ , and Periodic Kazhdan--Lusztig Polynomials

基本信息

论文ID: 2511.18518
标题: Equivariant Koszul Duality, Modular Category $\mathcal{O}$ , and Periodic Kazhdan--Lusztig Polynomials
作者: Simon Riche, Quan Situ
分类: math.RT (Representation Theory), math.AG (Algebraic Geometry)
发表时间: 2025年11月23日 (arXiv提交)
论文链接: https://arxiv.org/abs/2511.18518

摘要

本文研究了正特征代数闭域上的连通约化代数群 $G$ ，其李代数 $\mathfrak{g}$ 以及Borel子群 $B$ 。作者证明了在Lusztig猜想成立的假设下（在大特征数情况下已知成立），强 $B$ -等变 $\mathfrak{g}$ -模范畴（也称为模范畴 $\mathcal{O}$ ）主块中，从单对象到余标准对象的扩张群维数公式。答案由关联仿射Weyl群的周期性Kazhdan-Lusztig多项式的系数给出。证明中使用了第一作者构造的 $\mathfrak{g}$ -模Koszul对偶性的环等变版本。

研究背景与动机

1. 核心问题

本文要解决的核心问题是：在正特征域上，计算模范畴 $\mathcal{O}$ 中从单模到余标准模的扩张群维数。

2. 问题的重要性

这个问题具有多重重要性：

表示论基础问题：扩张群是表示论中的基本不变量，它们编码了范畴的同调结构信息。
组合学联系：该问题将表示论与Kazhdan-Lusztig组合学建立深刻联系，后者在多个数学领域有重要应用。
Lusztig猜想的推论：本文结果是Lusztig关于正特征表示论猜想的自然推论，验证了该猜想框架的一致性。
几何联系：通过Koszul对偶性，该问题与代数簇上的相干层几何有深刻联系。

3. 历史背景与现有结果

文中详细回顾了相关历史：

复数域情况：在特征零时，Bernstein-Gelfand-Gelfand范畴 $\mathcal{O}$ 的结构由Kazhdan-Lusztig理论完全描述。
$G$ -模情况：对于约化群 $G$ 的表示，Andersen等人证明了在Lusztig猜想成立时，Kazhdan-Lusztig多项式系数计算从单模到诱导模的扩张群维数。
$G_1T$ -模情况：对于Frobenius核 $G_1$ 与极大环面 $T$ 生成的子群，Cline-Parshall-Scott证明了类似结果，涉及周期性Kazhdan-Lusztig多项式。
$(g,B)$ -模情况：这是本文研究的新情况，此前缺乏类似的扩张群公式。

4. 现有方法的局限性

对于 $G$ -模和 $G_1T$ -模，证明扩张群公式的标准方法是：

对Bruhat序进行归纳
同时证明wall-crossing函子作用后的半单性质

但这种方法不适用于 $(g,B)$ -模，因为：

类似的半单性在此情况下不成立（可从Steinberg张量积公式看出）
需要完全不同的、更复杂的证明路线

5. 本文的研究动机

本文有两个主要动机：

动机一：表示论类比

为 $(g,B)$ -模建立与 $G$ -模、 $G_1T$ -模平行的扩张群公式
完善正特征表示论的整体图景

动机二：几何应用

与Achar-Dhillon-Riche关于仿射旗簇上半无穷层的工作相关
在准备中的工作将建立半无穷层范畴与 $\text{Mod}(g,B)$ 主块的等价
本文定理间接证明了1中关于半无穷层stalk的猜想

核心贡献

本文的主要贡献包括：

1. 主要定理（Theorem 1.1）

定理陈述：假设 $p > h$ （ $h$ 为Coxeter数）且Lusztig猜想成立。对任意 $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)$ 其中 $p_{y,w}$ 是周期性Kazhdan-Lusztig多项式。

2. 环等变Koszul对偶性理论

构造了 $\mathfrak{g}$ -模Koszul对偶性的环面 $T$ -等变版本（Section 6），包括：

等变分裂向量丛的构造
等变导出范畴之间的等价
与标准对象、投射对象的相容性

3. 完备化上的等变层理论

在附录A中发展了"形式完备化"上的等变相干层理论：

定义了完备化概念下的等变拟凝聚层范畴
建立了推拉函子及其导出版本
证明了伴随性等基本性质

4. 几何wall-crossing函子

建立了几何wall-crossing函子与表示论translation函子的精确对应（Section 5）：

对所有仿射单反射 $s \in S_{\text{aff}}$ 构造了几何对应物
证明了braid群作用的相容性
给出了标准对象和baby Verma模的几何描述

5. 技术工具

完备泛Verma模的引入和性质（Section 3.6）
Translation函子在完备化设置下的行为
Koszul分次的精确描述及其与Loewy级数的关系

方法详解

任务定义

输入：两个仿射Weyl群元素 $y, w \in W_{\text{aff}}$

输出：扩张群 $\text{Ext}^m_{\text{Mod}(g,B)}(L(w \bullet 0), \nabla(y \bullet 0))$ 的维数（对所有 $m \geq 0$ ）

约束条件：

特征数 $p > h$ （ $h$ 为Coxeter数）
Lusztig猜想成立（在充分大的特征数下已知）

整体证明策略

证明分为以下关键步骤：

步骤1：转化为泛Verma模的扩张群（Section 2.7）

利用伴随性和同调代数，证明（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))$

这将问题从 $(g,B)$ -模转化为 $T$ -等变 $U(g)$ -模。

关键技术：

引入余标准对象 $\nabla(\lambda) := (\Delta^{\uparrow}(-\lambda))^{\circledast}$
证明Ext-正交性（Lemma 2.7）
使用"extra" $S(t)$ -作用（来自环面等变结构的微分）

步骤2：完备化与局部化（Sections 3-4）

引入中心完备化代数： $U^{\hat{\lambda}}_{\hat{\chi}} := U(g) \otimes_{Z(U(g))} Z(U(g))^{\hat{\lambda}}_{\hat{\chi}}$

其中完备化关于中心的极大理想 $(\chi, \lambda)$ 进行。

局部化定理（Theorem 4.1）：对正则权 $\lambda$ ，存在等价 $D^b(\text{mod}^H(U^{\hat{\lambda}}_{\hat{\chi}})) \xrightarrow{\sim} D^b\text{Coh}^H(\tilde{g}^{(1)}_{\hat{\chi}})$

这使用了Bezrukavnikov-Mirković-Rumynin的理论，并推广到等变和完备化设置。

完备泛Verma模（Section 3.6）：定义 $\hat{\Delta}(\lambda) := \tilde{\Delta}(\lambda) \otimes_{O(g^{*(1)} \times t^*)} O(g^{*(1)} \times t^*)_{(\hat{0},0)}$

证明其在translation函子下的行为（Proposition 3.9）。

步骤3：Koszul对偶性（Section 6）

构造线性Koszul对偶性的等变和分次版本：

定理（Theorem 6.1）：假设Lusztig猜想成立，存在对象族

$(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\})$

满足：

$\text{for}_{\mathbb{G}_m}(L^{\text{gr}}_x) \cong L_x$ ， $\text{for}_{\mathbb{G}_m}(P^{\text{gr}}_x) \cong P_x$
$\kappa(L^{\text{gr}}_x \otimes O_{\tilde{N}^{(1)}}(-\rho)) \cong P^{\text{gr}}_{t_{\rho}\check{x}}$
与平移相容

这里 $\kappa$ 是Koszul对偶等价。

关键构造：

分裂向量丛 $V^{\lambda}_{\chi}$ 及其等变结构
利用Lusztig猜想保证半单性（Proposition 6.3）
通过归纳构造分次提升

步骤4：几何描述与组合学（Section 7）

Koszul分次：定义 $(pX \times \mathbb{Z})$ -分次代数 $\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}}$

添加来自 $\mathbb{G}_m$ -等变结构的 $\mathbb{Z}$ -分次。

关键引理（Lemma 7.2）： $P^{\text{gr}}_x$ 是 $L^{\text{gr}}_x\langle 2\ell(w_{\circ})\rangle$ 在 $\text{mod}^{pX \times \mathbb{Z}}(\mathbb{E})$ 中的内射包络。

Loewy级数联系（Corollary 7.6）： $\text{rad}^m(Z_x) = \bigoplus_{j \geq m} (Z^{\text{gr}}_x)_j$

即根滤列恰好是分次滤列。

最终计算（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}}]$

结合Andersen-Kaneda关于baby Verma模Loewy级数的结果： $\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}$

以及周期性KL多项式的对称性，得到主定理。

技术创新点

1. 完备化框架下的等变理论

传统等变层理论不能直接应用于完备化
附录A发展了新的理论框架，定义了 $H$ -等变拟凝聚层 $(F, \theta)$ ，其中 $\theta: \text{act}^* F \xrightarrow{\sim} \text{pr}^* F$ 满足cocycle条件

2. 完备泛Verma模

引入 $\hat{\Delta}(\lambda)$ 作为关键技术工具
证明其在translation函子和wall-crossing函子下的精确行为
使用"extra" $S(t)$ -作用追踪中心特征

3. 几何wall-crossing的精确对应

对所有 $s \in S_{\text{aff}}$ （不仅是简单反射）构造几何函子 $\Xi_s$
证明 $\gamma^{\hat{0}}_{\hat{\chi}} \circ \Theta_s \cong \Xi_s \circ \gamma^{\hat{0}}_{\hat{\chi}}$ （Proposition 5.7）
建立braid群作用的相容性（Proposition 5.4）

4. Koszul分次的几何意义

$\mathbb{Z}$ -分次来自 $\mathbb{G}_m$ -等变结构
通过Koszul对偶将其转化为Loewy级数
这是连接几何和组合学的关键桥梁

实验设置

注：作为纯数学理论论文，本文不包含数值实验，以下部分改为"理论验证"。

理论验证框架

1. 假设条件

特征数条件： $p > h$ （Coxeter数）
Lusztig猜想：等价条件见22, Proposition II.C.17(a)
- 在 $p$ 充分大时已知成立（Fiebig 2012）
- 具体界依赖于根系

2. 验证范围

主块：权重形如 $w \bullet 0$ （ $w \in W_{\text{aff}}$ ）
正则块：通过translation函子可推广
奇异块：本文方法尚未涵盖

3. 一致性检验

文中通过以下方式验证理论一致性：

特殊情况验证：

$x = w_{\circ}$ 时的显式计算（Proposition 4.9）
与已知的 $G_1T$ -模理论比较（Remark 3.3, 3.11）
最长元情况的Loewy长度验证（Lemma 7.2的证明）

内部一致性：

伴随函子关系的验证
Braid群作用的相容性
不同路径计算结果的一致性

实验结果

主要结果

定理1.1的完整陈述：

设 $p > h$ ，Lusztig猜想成立。对任意 $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)$

其中 $p_{y,w}$ 是周期性Kazhdan-Lusztig多项式（按37的约定）。

关键中间结果

1. 标准对象的几何描述（Corollary 5.9）

对 $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. Koszul对偶的效果（Lemma 6.7）

对任意 $x \in W_{\text{ex}}$ ： $\kappa(M^{\text{gr}}_x \otimes O_{\tilde{N}^{(1)}}(-\rho)) \cong Z^{\text{gr}}_{t_{\rho}x}$

3. 扩张群的中间表达（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}}]$

理论意义

1. 统一性

将 $(g,B)$ -模纳入与 $G$ -模、 $G_1T$ -模平行的框架
三种情况都由相应的KL多项式描述扩张群

2. 几何解释

扩张群维数 = KL多项式系数
KL多项式系数 = Loewy级数中的重数
通过Koszul对偶建立了表示论与几何的桥梁

3. 组合学验证

结果与仿射Weyl群的组合学深刻相关
验证了周期性KL多项式的表示论意义

结论与讨论

主要结论

本文在Lusztig猜想成立的假设下（大特征数已知），证明了：

核心公式： $\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)}$

这完成了正特征表示论中扩张群公式的三部曲：

$G$ -模：球形KL多项式（Andersen）
$G_1T$ -模：一般KL多项式（Cline-Parshall-Scott）
$(g,B)$ -模：周期性KL多项式（本文）

技术成就

等变Koszul对偶：首次构造 $T$ -等变版本并添加 $\mathbb{G}_m$ -分次
完备化理论：发展了形式完备化上的等变层理论（Appendix A）
几何-表示论字典：建立了wall-crossing函子的精确对应
组合学联系：通过Loewy级数连接Koszul分次与KL多项式

局限性

作者诚实地指出以下限制：

1. Lusztig猜想的依赖

主定理需要Lusztig猜想成立
虽然大特征数已知，但精确界依赖于根系
小特征数情况仍然开放

2. 正则块限制

主定理陈述于主块（权重 $0$ ）
通过translation可推广到正则块
奇异块情况未解决（Remark 1.2）

3. 技术假设

某些构造需要强假设（如Appendix A中的§A.8, §A.9）
可能表明定义需要改进
完备化理论尚不完全令人满意

4. 半单性失效

传统方法中的半单性在此不成立
导致证明极其复杂
需要完整的几何机制

未来方向

文中明确或隐含提出的研究方向：

1. 奇异块推广

如何处理奇异权重？
需要新的组合学工具？
可能涉及更复杂的KL多项式

2. 完备化理论改进

去除技术假设（如射影性）
发展更一般的等变层理论
可能需要形式概形框架

3. 半无穷几何应用

完成与Achar-Dhillon-Riche工作的联系
探索范畴等价的更多性质
研究其他几何对象的表示论意义

4. 小特征数情况

不依赖Lusztig猜想的证明？
或至少理解失败的机制
可能需要新的表示论工具

5. 其他群的推广

超群、量子群的类似理论？
非约化群的情况？

深度评价

优点

1. 数学深度

理论创新：引入多项新概念（完备泛Verma模、完备化等变理论）
技术难度：克服传统方法失效的困难，构造完整的证明路线
统一性：将三种表示论情况纳入统一框架

2. 方法论贡献

等变Koszul对偶：首次系统处理等变和分次情况
完备化框架：Appendix A可独立应用于其他问题
几何-代数字典：wall-crossing函子对应的精确性

3. 结果的重要性

解决长期问题： $(g,B)$ -模的扩张群此前未知
验证猜想：间接证明半无穷层的几何猜想
组合学意义：赋予周期性KL多项式新的表示论解释

4. 写作质量

结构清晰：7个主要章节 + 附录，逻辑严密
动机充分：详细解释历史背景和研究动机
技术细节：证明完整，关键步骤有充分说明

5. 理论完整性

不仅证明主定理，还建立了完整的技术框架
中间结果（如Corollary 5.9）本身有独立价值
为后续研究奠定坚实基础

不足

1. 技术复杂度

可读性挑战：需要多个领域的深厚背景（表示论、代数几何、同调代数）
篇幅：93页，理解全文需要大量时间
依赖关系：依赖作者及合作者的多篇前期工作

2. 假设的限制性

Lusztig猜想：虽然大特征数已知，但仍是非平凡假设
正则性：奇异块未涵盖
技术假设：Appendix A中的某些假设较强（如射影性、仿射覆盖条件）

3. 理论的完备性

完备化理论：作者承认不完全令人满意（Introduction §1.5末尾）
定义的适当性：某些假设可能表明定义需改进
推广潜力：不清楚方法能否推广到更一般情况

4. 计算方面

无显式例子：未给出具体群的计算实例
算法：未讨论如何实际计算KL多项式系数
数值验证：缺少小秩群的具体验证

5. 几何直观

抽象性：几何对象（如 $\tilde{g}^{(1)}_{\hat{\chi}}$ ）较抽象
可视化：难以形成直观图像
物理意义：未讨论可能的物理应用

影响力评估

1. 对领域的贡献

表示论：

完成正特征表示论扩张群公式的系统研究
为模范畴 $\mathcal{O}$ 建立基础理论
影响评分：★★★★★

代数几何：

完备化等变理论可应用于其他问题
与半无穷几何的联系开辟新方向
影响评分：★★★★☆

组合学：

赋予周期性KL多项式新解释
验证KL理论在新情况下的有效性
影响评分：★★★★☆

2. 实用价值

理论工具：

Appendix A的完备化理论可独立使用
等变Koszul对偶技术可推广
实用评分：★★★★☆

计算方面：

主定理给出理论公式，但实际计算仍困难
需要知道KL多项式（本身是困难问题）
实用评分：★★★☆☆

3. 可复现性

理论复现：

证明完整且详细
依赖已发表的结果
理论上可完全验证
评分：★★★★★

计算复现：

未提供代码或算法
具体例子的计算需要大量工作
评分：★★☆☆☆

4. 后续研究潜力

短期：

奇异块推广
与半无穷几何的具体联系
其他群的类似结果

长期：

去除Lusztig猜想依赖
完备化理论的系统发展
与量子群、范畴化的联系

潜力评分：★★★★★

适用场景

1. 直接适用

研究 $(g,B)$ -模的同调性质
计算特定情况的扩张群
验证关于KL多项式的猜想

2. 技术借鉴

需要完备化等变理论的问题
其他情况的Koszul对偶构造
几何-表示论对应的建立

3. 理论框架

正特征表示论的一般研究
模范畴的结构理论
仿射Weyl群组合学的应用

4. 不适用场景

特征零情况（已有更简单方法）
小特征数且Lusztig猜想未知
需要显式计算的实际问题（除非KL多项式已知）

参考文献（精选）

本文引用了42篇参考文献，以下是最关键的几篇：

基础理论

Jantzen (2003): Representations of algebraic groups - 正特征表示论的标准参考
Lusztig (1980): Hecke algebras and Jantzen's generic decomposition patterns - 周期性KL多项式的引入

局部化理论

Bezrukavnikov-Mirković-Rumynin (2008): Localization of modules for a semisimple Lie algebra in prime characteristic - 正特征局部化的奠基工作

Koszul对偶

Riche (2010): Koszul duality and modular representations of semisimple Lie algebras - 本文推广的基础
Mirković-Riche (2016): Linear Koszul duality, II - 线性Koszul对偶理论

组合学

Soergel (1997): Kazhdan–Lusztig polynomials and a combinatoric for tilting modules - KL多项式的组合学

总结

这是一篇高水平的纯数学理论论文，在正特征表示论领域做出了重要贡献。主要成就包括：

✅ 解决重要问题：证明 $(g,B)$ -模的扩张群公式 ✅ 技术创新：发展等变Koszul对偶和完备化理论
✅ 理论深度：建立几何-表示论-组合学的深刻联系 ✅ 系统性：完成正特征扩张群理论的统一图景

主要局限： ⚠️ 依赖Lusztig猜想（虽然大特征数已知） ⚠️ 技术复杂度高，可读性挑战 ⚠️ 某些理论框架尚不完全令人满意 ⚠️ 缺少具体计算例子

推荐指数：

表示论研究者：★★★★★
代数几何学家：★★★★☆
组合学家：★★★☆☆
一般数学读者：★★☆☆☆（需要深厚背景）

本文为后续研究（特别是奇异块推广、半无穷几何应用）奠定了坚实基础，预期将产生持久影响。

Equivariant Koszul Duality, Modular Category $\mathcal{O}$, and Periodic Kazhdan--Lusztig Polynomials

Equivariant Koszul Duality, Modular Category O\mathcal{O}O, and Periodic Kazhdan--Lusztig Polynomials

Equivariant Koszul Duality, Modular Category $\mathcal{O}$ , and Periodic Kazhdan--Lusztig Polynomials