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

簡約代数群のティルティング加群：指標と支持多様体

基本情報

論文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 (表現論)
投稿時期/会議: 2025年11月投稿、ICM 2026会議論文集への寄稿
論文リンク: https://arxiv.org/abs/2511.05063

要旨

本論文はICM 2026会議論文集への著者らの寄稿であり、正標数の代数閉体上の簡約代数群の表現論における著者及び協力者の一連の成果を総説している。研究は主にティルティング加群（tilting modules）の二つの核心的問題に焦点を当てている：指標公式（character formulas）と支持多様体（support varieties）である。

研究背景と動機

核心的問題

指標計算問題：正標数pの代数閉体上で、簡約代数群Gの単純加群とティルティング加群の指標をいかに計算するか？これは表現論の基本的問題であり、有限群の複素表現における指標理論に類似している。
支持多様体記述問題：ティルティング加群の支持多様体をいかに記述するか？これはHumphreys予想に関連しており、その予想は支持多様体と冪零軌道の間に深い関連が存在することを予言している。

研究の重要性

指標は表現の合成因子及びその重複度を決定し、表現構造を理解するための鍵となる不変量である
ティルティング加群は表現論において特殊な役割を果たす：テンソル積の下で閉じており、その指標は単純加群の指標を導出するために用いられる
これらの問題はアフィンWeyl群のKazhdan-Lusztig組合論と深い関連を持ち、組合論、幾何学と表現論の相互作用を示している

既存方法の限界

Lusztig予想：古典的Kazhdan-Lusztig多項式を用いた単純加群指標公式を提案しているが、pが十分大きい場合にのみ成立し、Williamsonは反例を発見した
Andersen予想：ティルティング加群に対して同様の公式を提案しているが、p ≥ h（hはCoxeter数）が必要であり、また重みに制限がある
漸近性問題：古典的Kazhdan-Lusztig組合論は「漸近的」近似のみを与え、一般的な標数では失効する

本論文の革新点

古典的Kazhdan-Lusztig基に代わる**p-典範基（p-canonical basis）**を導入する。これはWilliamsonらが発展させた新しい道具であり、より一般的な標数下（p > h、さらには全てのp）で精密な公式を与えることができる。

核心的貢献

本論文の主要な貢献は以下を含む：

ティルティング加群指標公式（定理2.6）：p-Kazhdan-Lusztig多項式を用いたティルティング加群指標公式を証明し、p > hの場合に適用可能であり、全てのpに対して成立する版も存在する
Finkelberg-Mirković予想の応用：p > h+1の場合、この予想（既にBezrukavnikovとRicheにより証明）を通じて単純加群指標の幾何学的公式を与える
Humphreys予想の証明：
- pが十分大きい場合に従来的および相対的Humphreys予想を証明
- 全てのp > hに対して相対的Humphreys予想を証明
- GLnに対してp > nの場合にスキーム理論的版を証明
co-t-structure理論：冪零錐上の連接層導来圏のco-t-structure理論を発展させ、ティルティング加群の相対コホモロジーを記述するための新しい枠組みを提供
Lusztig-Vogan双射の加群版：正標数下のLusztig-Vogan双射を確立し、主導的重みと冪零軌道上のティルティング向量束を結合する

方法の詳細説明

理論的枠組み

1. 表現論の基本設定

簡約代数群：Gは標数p > 0の代数閉体k上の連結簡約代数群
関連する加群類：
- 誘導加群 N(λ)：Borel部分群の1次元表現から誘導
- 単純加群 L(λ)：既約表現
- ティルティング加群 T(λ)：特殊な濾過条件を満たす非分解加群

2. アフィンWeyl群とドット作用

アフィンWeyl群 $W_{aff} = W \ltimes \mathbb{Z}\Phi$ は重み格子にドット作用を通じて作用する： $(w \ltimes \mu) \bullet \lambda = w(\lambda + p\mu + \rho) - \rho$

連結原理（Andersen）：単純加群のExt群は同じ $W_{aff}$ -軌道内でのみ非零であり、これは表現圏のブロック分解をもたらす。

指標公式の方法

核心的道具：p-典範基

アフィンHecke代数 $\mathcal{H}_{aff}$ に対して、以下が存在する：

古典的Kazhdan-Lusztig基 $\{\underline{H}_w : w \in W_{aff}\}$
p-典範基 $\{^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（ティルティング加群指標公式）

有限型部分集合 $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の場合）

幾何学的実現：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分解
範疇化：Hecke圏 $\mathcal{H}^k_{aff}$ が $\text{Rep}_{W_{aff} \bullet 0}(G)$ に作用することを証明
Koszul双対性：アフィンGrassmannian上の混合perverse層とKoszul双対性理論を利用
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予想を直接与える。

実験設定

本論文は純粋数学の理論論文であり、従来的意味での「実験」は含まない。しかし著者は以下の方法で理論を検証している：

特殊情況の検証

GLnの場合：45においてまずGLnのティルティング指標公式を検証
量子群類似：多くの結果は量子群の場合に対応する版を持ち、これらは独立に検証されている

計算検証

Kazhdan-Lusztig多項式とp-典範基の計算ツールを使用
小秩数の群と小標数に対して、明示的計算による検証が可能

理論的一貫性検証

公式がWeyl指標公式(2.1)と一致することを検証
translation functorsの相容性を確認(2.5)
Steinberg張積定理との一貫性を検証

実験結果

主要定理の総括

1. ティルティング加群指標（定理2.6）

結果：全ての有限型部分集合Jとp > hに対して、ティルティング加群指標はp-Kazhdan-Lusztig多項式により完全に決定される。

意義：

初めて一般的pに対する精密な公式を与える
p → ∞の場合、自動的にAndersen予想に退化
全てのpに対して成立する版が存在する（Riche-Williamson 47）

2. Humphreys予想の証明状況

版	古典的情況	量子的情況
従来的版	A型またはp≫0で既知	既知
相対版	既知（全てのp>h）	既知
スキーム理論的従来的版	A型またはp≫0で既知	既知
スキーム理論的相対版	A型またはp≫0で既知	既知

主要な進展：

8 (2019)：pが十分大きい場合の証明
6 (2024)：Lusztig-Vogan双射を通じた相対版の証明（p > h）
5 (2024)：GLnのスキーム理論的版（p > n）

理論的発見

発見1：p-典範基の中心的地位

古典的Kazhdan-Lusztig組合論は「漸近的」近似に過ぎず、表現論を真に支配するのはp-典範基である。これはWilliamsonが発見した反例を説明する。

発見2：co-t-structureの必要性

正標数下では、ティルティング加群の相対コホモロジーは単純perverse-連接層に対応するのではなく、co-t-structureのcoheart内の非分解対象に対応する。これは量子群の場合との本質的な相違である。

発見3：Finkelberg-Mirković予想の幾何学的意義

この予想（予想2.10）は表現圏とLanglands双対群のアフィンGrassmannian上のWhittaker圏の等価を提供し、p < h（すなわち $C_\emptyset = \emptyset$ ）の場合でも意味を持つ。

側面	古典的方法	本論文の方法
組合論的道具	Kazhdan-Lusztig基	p-典範基
適用範囲	p≫h（非多項式界）	p > h または全てのp
幾何学的道具	なし	Springer分解、アフィンGrassmannian
範疇化	なし	Hecke圏の作用
支持多様体の記述	予想	co-t-structureを通じた証明

p-典範基が正しい組合論的道具である：それは正標数表現論の組合論的構造を精密に捉え、古典的Kazhdan-Lusztig基ではない
ティルティング加群指標が完全に解決された：定理2.6はティルティング加群指標の完全な答えを与える（p > hまたは全てのp）
Humphreys予想が基本的に解決された：相対版は全てのp > hで成立；従来的版はpが十分大きい場合またはA型で成立
幾何学的方法の威力：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-典範基の計算は非常に困難
全ての元素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-典範基を有効に計算する方法は？

必要性：

新しいアルゴリズムを発展させる
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-典範基の計算は極めて困難
指標公式は存在するが明示的計算は困難
具体的例の詳細な計算が不足

3. 結果の条件制限

多くの結果はp > hを必要とする
従来的Humphreys予想はなお完全には解決されていない
単純加群指標公式は十分に明示的ではない

4. 若干の技術的詳細の省略

総説論文として、多くの証明の詳細は原論文を参照する必要がある
degrading functorの完全な構成は与えられていない
co-t-structureの具体的構成は文献のみを引用

影響力

分野への貢献

パラダイムシフト：p-典範基を核心的道具として確立
方法論的革新：幾何学的方法の加群表現論への体系的応用
長期的問題の解決：Andersen予想（ティルティング指標）とHumphreys予想（部分的）

実用的価値

具体的計算に理論的基礎を提供
計算機代数システムの開発を指導
数学物理学（例えば加群Langlands纲領）での潜在的応用

再現可能性

理論的検証可能性が高い：証明は発表済みの厳密な数学的研究に基づく
計算再現可能性が中程度：原則的には計算可能だが、実践的には困難
コード可用性が低い：計算実装は提供されていない（純粋数学論文では正常）

適用場面

1. 理論研究

簡約代数群の加群表現論
アフィンHecke代数の表現論
Kazhdan-Lusztig理論及びその推広
幾何学的表現論

2. 関連分野

加群Langlands纲領：Finkelberg-Mirković予想が幾何学的実現を提供
量子群理論：多くの結果は量子群類似を持つ
李代数の加群表現：Frobenius核を通じた関連
範疇化理論：Hecke圏の作用

3. 計算応用

指標表の計算（pがそれほど大きくない場合）
分解数の決定
テンソル積構造の理解

4. 不適用場面

p = 0（標数零の場合は完全に異なる）
p ≤ hで明示的公式が必要な場合（理論はなお未完成）
非簡約群または無限次元表現

参考文献（主要文献）

37 Lusztig (1980): "Some problems in the representation theory of finite Chevalley groups" - 原始的予想を提出
53 Williamson (2017): "Schubert calculus and torsion explosion" - 反例を発見、p-典範基を導入
11 Achar-Makisumi-Riche-Williamson (2019): "Koszul duality for Kac-Moody groups and characters of tilting modules" - ティルティング指標公式を初めて証明
22 Bezrukavnikov (2006): "Cohomology of tilting modules over quantum groups and t-structures" - 量子群の場合のHumphreys予想
8 Achar-Hardesty-Riche (2019): "On the Humphreys conjecture on support varieties" - pが十分大きい場合のHumphreys予想
6 Achar-Hardesty (2024): "Silting complexes of coherent sheaves and the Humphreys conjecture" - 相対Humphreys予想を完成
47 Riche-Williamson (2022): "Smith-Treumann theory and the linkage principle" - 新しい方法を用いたティルティング指標公式の証明

総合的評価：これは傑出した総説論文であり、著者及び協力者による正標数表現論における十数年の深い研究を体系的に総括している。p-典範基の導入と幾何学的方法の発展を通じて、著者はこの分野の核心的問題を解決し、表現論の重大な進展を推し進めた。論文は技術的に強力だが組織が明確であり、専門家と学習者の両者にとって高い価値を持つ。これらの研究は加群表現論と幾何学的表現論に長期的な影響を与えるであろう。