Tilting modules for reductive algebraic groups: characters and support varieties

基本信息

• 论文ID: 2511.05063
• 标题: Tilting modules for reductive algebraic groups: characters and support varieties
• 作者: Pramod N. Achar (Louisiana State University), Simon Riche (Université Clermont Auvergne)
• 分类: math.RT (Representation Theory)
• 发表时间/会议: 2025年11月提交，为ICM 2026会议论文集的贡献
• 论文链接: https://arxiv.org/abs/2511.05063

摘要

本文是作者对ICM 2026会议论文集的贡献，综述了作者及其合作者在正特征代数闭域上约化代数群表示论方面取得的一系列成果。研究主要聚焦于倾斜模（tilting modules）的两个核心问题：特征标公式（character formulas）和支撑簇（support varieties）。

研究背景与动机

核心问题

1. 特征标计算问题：在正特征p的代数闭域上，如何计算约化代数群G的简单模和倾斜模的特征标？这是表示论中的基本问题，类似于有限群复表示中的特征标理论。
2. 支撑簇描述问题：如何描述倾斜模的支撑簇？这涉及Humphreys猜想，该猜想预言支撑簇与幂零轨道之间存在深刻联系。

研究重要性

• 特征标决定了表示的合成因子及其重数，是理解表示结构的关键不变量
• 倾斜模在表示论中扮演特殊角色：它们在张量积下封闭，且其特征标可用于推导简单模的特征标
• 这些问题与仿射Weyl群的Kazhdan-Lusztig组合学有深刻联系，体现了组合学、几何与表示论的交织

现有方法的局限性

1. Lusztig猜想：使用经典Kazhdan-Lusztig多项式给出简单模特征标公式，但仅在p足够大时成立，且Williamson发现了反例
2. Andersen猜想：针对倾斜模提出类似公式，但也需要p ≥ h（h为Coxeter数）且对权重有限制
3. 渐近性问题：经典Kazhdan-Lusztig组合学只给出"渐近"近似，在一般特征下失效

本文创新点

引入p-canonical basis（p-典范基）替代经典Kazhdan-Lusztig基，这是Williamson等人发展的新工具，能够在更一般的特征下（p > h，甚至对所有p）给出精确公式。

核心贡献

本文的主要贡献包括：

1. 倾斜模特征标公式（定理2.6）：证明了使用p-Kazhdan-Lusztig多项式的倾斜模特征标公式，适用于p > h的情况，并存在对所有p成立的版本
2. Finkelberg-Mirković猜想的应用：当p > h+1时，通过该猜想（已由Bezrukavnikov和Riche证明）给出简单模特征标的几何公式
3. Humphreys猜想的证明：
   • 在p充分大时证明传统和相对Humphreys猜想
   • 对所有p > h证明相对Humphreys猜想
   • 对GLn在p > n时证明概形理论版本
4. co-t-structure理论：发展了幂零锥上连贯层导出范畴的co-t-structure理论，为描述倾斜模的相对上同调提供了新框架
5. Lusztig-Vogan双射的模版本：建立了正特征下的Lusztig-Vogan双射，连接主导权与幂零轨道上的倾斜向量丛

方法详解

理论框架

1. 表示论基础设置

• 约化代数群：G为特征p > 0的代数闭域k上的连通约化代数群
• 关键模类：
  • 诱导模 N(λ)：由Borel子群的1维表示诱导
  • 简单模 L(λ)：不可约表示
  • 倾斜模 T(λ)：满足特殊滤过条件的不可分解模

2. 仿射Weyl群与dot作用

仿射Weyl群 $W_{aff} = W \ltimes \mathbb{Z}\Phi$ 通过dot作用在权格上： $(w \ltimes \mu) \bullet \lambda = w(\lambda + p\mu + \rho) - \rho$

连接原理（Andersen）：简单模的Ext群仅在相同$W_{aff}$-轨道内非零，这导致表示范畴的块分解。

特征标公式的方法

核心工具：p-canonical basis

对于仿射Hecke代数 $\mathcal{H}_{aff}$，存在：

• 经典Kazhdan-Lusztig基 $\{\underline{H}_w : w \in W_{aff}\}$
• p-canonical basis $\{^pH_w : w \in W_{aff}\}$（依赖于素数p）

定义相应的多项式： $^pH_w = \sum_{y \in W_{aff}} \,^ph_{y,w} \cdot H_y$

关键性质：当p充分大时，$^pH_w = \underline{H}_w$，但对一般p可能不同。

定理2.6（倾斜模特征标公式）

对于finitary子集 $J \subset S_{aff}$ 使得 $C_J \neq \emptyset$，以及 $y, w \in W^J_{aff}$： $d^J_{y,w} = \sum_{z \in W} (-1)^{\ell(z)} \cdot \,^ph_{zyw_J, ww_J}(1)$

其中 $d^J_{y,w}$ 是倾斜模特征标在诱导模基下的展开系数。

证明策略（p > h情况）

1. 几何实现：构造degrading functor $\mathcal{F}: D^b\text{Coh}_{G \times \mathbb{G}_m}(\tilde{\mathcal{N}}) \to D^b\text{Rep}_{W_{ext} \bullet 0}(G)$ 其中 $\tilde{\mathcal{N}} = G \times_B \mathfrak{n}$ 是Springer分解
2. 范畴化：证明存在Hecke范畴 $\mathcal{H}^k_{aff}$ 作用于 $\text{Rep}_{W_{aff} \bullet 0}(G)$
3. Koszul对偶：利用仿射Grassmannian上的混合perverse层与Koszul对偶理论
4. Smith-Treumann理论：最新的一般性证明使用了几何Satake等价中的Smith-Treumann理论

支撑簇的方法

Frobenius核与上同调

• Frobenius核：$G_1 = \ker(\text{Fr}: G \to G^{(1)})$，有限群概型
• 上同调环：当p > h时， $H^\bullet(G_1; k) \cong k[\mathcal{N}]$ 其中 $\mathcal{N} \subset \mathfrak{g}$ 是幂零锥
• 支撑簇定义：
  • $V_{G_1}(M) = \text{supp}(\text{Ext}^\bullet(M,M))$
  • $V^{G_1}(M) = \text{supp}(H^\bullet(G_1; M))$（相对支撑簇）

Humphreys猜想（传统版本，猜想3.3）

对于 $w \in W^\emptyset_{ext}$，设C是通过Lusztig双射(3.2)对应于包含w的双边胞腔的G-轨道，则： $V_{G_1}(\mathcal{T}(w \bullet 0)) = C$

证明思路

步骤1：几何化 利用degrading functor，对于 $\lambda \in X^+$，定义： $\mathcal{S}_\lambda := \pi_* \mathcal{T}^{gr}(w_\lambda \bullet 0) \in D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})$

则有同构： $H^\bullet(G_1; \mathcal{T}(w_\lambda \bullet 0)) \cong R^\bullet\Gamma(\mathcal{N}, \mathcal{S}_\lambda)$

步骤2：co-t-structure理论（Achar-Hardesty 5,6）

• 在 $D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})$ 上构造co-t-structure
• 证明 $\mathcal{S}_\lambda$ 是coheart中的不可分解对象（移位后）

步骤3：Lusztig-Vogan双射 建立双射： $X^+ \xleftrightarrow{\sim} \Xi_G = \{(C, \sigma) : C \subset \mathcal{N} \text{ 是轨道}, \sigma \in \Sigma_C\}$

其中 $\Sigma_C$ 参数化轨道C上的简单等变连贯层。

步骤4：支撑刻画（定理3.10） 若 $\lambda$ 对应于 $(C, \sigma)$，则： $\mathcal{S}_\lambda \cong \mathcal{S}(C, \sigma)$ 其中 $\mathcal{S}(C, \sigma)$ 由几何构造，满足：

• 支撑在C上
• 限制到C是倾斜向量丛 $\mathcal{T}(\sigma)$

这直接给出相对Humphreys猜想。

实验设置

本文是纯数学理论论文，不涉及传统意义上的"实验"。但作者通过以下方式验证理论：

特殊情况验证

1. GLn情况：在45中首先验证了GLn的倾斜特征标公式
2. 量子群类比：许多结果在量子群情况下有对应版本，这些已被独立验证

计算验证

• 使用Kazhdan-Lusztig多项式和p-canonical basis的计算工具
• 对于小秩群和小特征，可以进行显式计算验证

理论一致性检验

• 验证公式与已知的Weyl特征标公式(2.1)一致
• 检验translation functors的相容性(2.5)
• 验证与Steinberg张量积定理的一致性

实验结果

主要定理总结

1. 倾斜模特征标（定理2.6）

结果：对所有finitary子集J和p > h，倾斜模特征标由p-Kazhdan-Lusztig多项式完全确定。

意义：

• 首次给出对一般p的精确公式
• 当p → ∞时自动退化为Andersen猜想
• 存在对所有p成立的版本（Riche-Williamson 47）

2. Humphreys猜想的证明状态

关键进展：

• 8 (2019)：p充分大时的证明
• 6 (2024)：通过Lusztig-Vogan双射证明相对版本（p > h）
• 5 (2024)：GLn的概形理论版本（p > n）

理论发现

发现1：p-canonical basis的核心地位

经典Kazhdan-Lusztig组合学只是"渐近"近似，真正控制表示论的是p-canonical basis。这解释了Williamson发现的反例。

发现2：co-t-structure的必要性

在正特征下，倾斜模的相对上同调对应的不是简单perverse-coherent层，而是co-t-structure的coheart中的不可分解对象。这是与量子群情况的本质区别。

发现3：Finkelberg-Mirković猜想的几何意义

该猜想（猜想2.10）提供了表示范畴与Langlands对偶群仿射Grassmannian上Whittaker范畴的等价，即使在p < h（即$C_\emptyset = \emptyset$）时也有意义。

相关工作

历史脉络

1970年代：Verma的预言

Verma 50首次建议正特征表示论与仿射Weyl群组合学相关，提出了连接原理和特征标独立性猜想。

1980年代：Lusztig猜想

Lusztig 37提出使用Kazhdan-Lusztig多项式的简单模特征标公式，预期在p ≥ h时成立。

1990年代：Andersen的工作

• 15：证明连接原理
• 16：提出倾斜模特征标猜想，证明它蕴含Lusztig猜想

2000年代：量子群类比

• Bezrukavnikov 22：解决量子群的Humphreys猜想
• Arkhipov-Bezrukavnikov-Ginzburg：发展几何方法

2010年代：反例与新方向

• Williamson 53：发现Lusztig猜想的反例
• Juteau-Mautner-Williamson：引入p-canonical basis

2018-2024：本文作者的系列工作

• 12 (2018)：构造degrading functor
• 11 (2019)：证明倾斜特征标公式（p > h）
• 8 (2019)：证明Humphreys猜想（p≫0）
• 47 (2022)：使用Smith-Treumann理论的新证明
• 6 (2024)：完成相对Humphreys猜想

与相关工作的比较

结论与讨论

主要结论

1. p-canonical basis是正确的组合工具：它精确捕捉正特征表示论的组合结构，而非经典Kazhdan-Lusztig basis
2. 倾斜模特征标完全解决：定理2.6给出了倾斜模特征标的完整答案（p > h或所有p）
3. Humphreys猜想基本解决：相对版本对所有p > h成立；传统版本在p充分大或A型时成立
4. 几何方法的威力：通过Springer分解、仿射Grassmannian和Langlands对偶性，将表示论问题转化为几何问题

局限性

1. 特征界限问题

• 倾斜特征标公式需要p > h（虽然有对所有p的版本）
• Humphreys猜想的传统版本仍需p充分大（除A型外）
• Donkin公式的有效性范围仍不清楚（p ≥ 2h-4？）

2. 简单模特征标的显式性

虽然原则上可从倾斜模推导，但：

• Finkelberg-Mirković猜想给出的公式涉及难以计算的Euler特征
• 不存在类似Weyl公式的简洁闭形式

3. 胞腔的兼容性

• p-cells与Kazhdan-Lusztig cells的关系仅在p充分大时理解
• 这限制了Humphreys猜想传统版本的证明

4. 计算复杂性

• p-canonical basis的计算非常困难
• 不存在对所有元素w统一的特征界N(w)

未来方向

1. 简单模特征标的精确公式

问题：能否找到比Finkelberg-Mirković猜想更显式的简单模特征标公式？

可能途径：

• 理解仿射旗簇上Iwahori-等变交截上同调的Euler特征
• 发展新的组合工具

2. 小特征情况

问题：p ≤ h时的表示论结构是什么？

挑战：

• $H^\bullet(G_1; k)$的结构未知
• 不存在"正则块"（$C_\emptyset = \emptyset$）
• Finkelberg-Mirković猜想提示存在几何模型

3. p-cells的完全理解

问题：p-cells与Kazhdan-Lusztig cells的关系？

意义：

• 完成Humphreys猜想传统版本的证明
• 理解tensor ideals的分类（猜想(3.5)）

4. 高阶Frobenius核

问题：能否推广到$G_r = \ker(\text{Fr}^r)$？

动机：

• 与tensor ideals分类相关
• 可能揭示p-cells的新结构

5. 计算方法

问题：如何有效计算p-canonical basis？

需求：

• 发展新算法
• 找到N(w)的显式界

深度评价

优点

1. 理论深度与广度

• 统一框架：将特征标问题和支撑簇问题纳入统一的几何-表示论框架
• 多学科交叉：融合代数几何、表示论、组合学和范畴论
• 深刻联系：揭示了Langlands对偶性在正特征表示论中的作用

2. 技术创新

• degrading functor：创造性地利用Springer分解连接几何与表示
• co-t-structure理论：发现正特征下的新范畴结构
• Smith-Treumann理论应用：将代数拓扑工具引入代数群表示论

3. 问题解决的彻底性

• 倾斜特征标问题完全解决（定理2.6）
• Humphreys猜想相对版本完全解决
• 建立了Lusztig-Vogan双射的正特征版本

4. 写作质量

• 清晰的历史回顾和动机说明
• 系统的理论框架介绍
• 适当的技术细节与直观解释平衡
• 完整的文献综述和归功

不足

1. 技术门槛极高

• 需要深厚的代数几何、导出范畴和表示论背景
• degrading functor的构造非常技术性
• co-t-structure理论对非专家不易理解

2. 计算可行性有限

• p-canonical basis的计算极其困难
• 特征标公式虽然存在但难以显式计算
• 缺少具体例子的详细计算

3. 结果的条件限制

• 多数结果需要p > h
• 传统Humphreys猜想仍未完全解决
• 简单模特征标公式不够显式

4. 某些技术细节省略

• 作为综述性文章，许多证明细节需查阅原文
• degrading functor的完整构造未给出
• co-t-structure的具体构造仅引用文献

影响力

对领域的贡献

1. 范式转变：确立p-canonical basis作为核心工具
2. 方法论创新：几何方法在模表示论中的系统应用
3. 长期问题解决：Andersen猜想（倾斜特征标）和Humphreys猜想（部分）

实用价值

• 为具体计算提供理论基础
• 指导计算机代数系统的开发
• 在数学物理（如模Langlands纲领）中的潜在应用

可复现性

• 理论可验证性高：证明基于已发表的严格数学工作
• 计算可复现性中等：原则上可计算，但实践中困难
• 代码可用性低：未提供计算实现（这在纯数学论文中正常）

适用场景

1. 理论研究

• 约化代数群的模表示论
• 仿射Hecke代数的表示论
• Kazhdan-Lusztig理论及其推广
• 几何表示论

2. 相关领域

• 模Langlands纲领：Finkelberg-Mirković猜想提供几何实现
• 量子群理论：许多结果有量子群类比
• 李代数的模表示：通过Frobenius核联系
• 范畴化理论：Hecke范畴作用

3. 计算应用

• 特征标表的计算（当p不太大时）
• 分解数的确定
• 张量积结构的理解

4. 不适用场景

• p = 0（特征零情况完全不同）
• p ≤ h且需要显式公式（理论尚未完善）
• 非约化群或无限维表示

参考文献（关键文献）

1. 37 Lusztig (1980): "Some problems in the representation theory of finite Chevalley groups" - 提出原始猜想
2. 53 Williamson (2017): "Schubert calculus and torsion explosion" - 发现反例，引入p-canonical basis
3. 11 Achar-Makisumi-Riche-Williamson (2019): "Koszul duality for Kac-Moody groups and characters of tilting modules" - 首次证明倾斜特征标公式
4. 22 Bezrukavnikov (2006): "Cohomology of tilting modules over quantum groups and t-structures" - 量子群情况的Humphreys猜想
5. 8 Achar-Hardesty-Riche (2019): "On the Humphreys conjecture on support varieties" - p充分大时的Humphreys猜想
6. 6 Achar-Hardesty (2024): "Silting complexes of coherent sheaves and the Humphreys conjecture" - 完成相对Humphreys猜想
7. 47 Riche-Williamson (2022): "Smith-Treumann theory and the linkage principle" - 使用新方法的倾斜特征标公式证明

总体评价：这是一篇杰出的综述性论文，系统总结了作者及合作者在正特征表示论方面十余年的深刻工作。通过引入p-canonical basis和发展几何方法，作者解决了该领域的核心问题，推动了表示论的重大进展。论文技术性强但组织清晰，对专家和学习者都有很高价值。这些工作必将对模表示论和几何表示论产生长远影响。