2025-11-13T21:34:10.622077

Gaiotto conjecture for $Rep_q(GL(N-1|N))$

Braverman, Finkelberg, Travkin

We prove D.Gaiotto's conjecture about geometric Satake equivalence for quantum supergroup $U_q({\mathfrak{gl}}(N-1|N))$ for generic $q$. The equivalence goes through the category of factorizable sheaves.

academic

Gaiotto conjecture for $Rep_q(GL(N-1|N))$

基本信息

论文ID: 2107.02653
标题: Gaiotto conjecture for $Rep_q(GL(N-1|N))$
作者: Alexander Braverman, Michael Finkelberg, Roman Travkin
分类: math.RT (表示论), hep-th (高能物理理论), math.AG (代数几何), math.QA (量子代数)
提交时间: 2021年7月6日，最后修订2025年1月2日
论文链接: https://arxiv.org/abs/2107.02653

摘要

本文证明了D. Gaiotto关于量子超群 $U_q(gl(N-1|N))$ 的几何Satake等价的猜想，适用于一般的 $q$ 。该等价通过可分解层的范畴来实现。

研究背景与动机

核心问题

本文要解决的核心问题是证明Gaiotto猜想的一个特殊情形，即建立量子超群 $U_q(gl(N-1|N))$ 的表示范畴与某种几何范畴之间的等价关系。

问题重要性

几何Satake等价的推广：经典的几何Satake等价是几何表示论的基石，将仿射Grassmannian上的等变层范畴与Langlands对偶群的表示范畴联系起来。本文将这一理论推广到量子超群情形。
基本局部等价(FLE)的发展：J. Lurie和D. Gaitsgory提出的基本局部等价克服了经典几何Satake等价的两个主要缺陷：不在导出层面成立，以及难以推广到量子群情形。
数学物理的动机：虽然 $q=1$ 情形有来自自守L函数的已知结果支持，但一般 $q$ 情形的动机主要来自数学物理。

现有方法局限性

经典几何Satake等价存在两个严重缺陷：

在导出范畴层面不成立
难以推广到量子群的情形，即用 $Rep_q(G^∨)$ 替换 $Rep(G^∨)$

核心贡献

证明了Gaiotto猜想的特殊情形：对于 $M = N-1$ 的情况和一般的 $q$ （假设 $q$ 是超越数），建立了编织张量等价 $SPrev_{GL(N-1,O),q}(\bullet D) \simeq Rep_q(GL(N-1|N))$
构造了通过可分解层的等价：证明了上述等价通过可分解层范畴 $FS$ 实现，即有编织张量等价链 $SPrev_{GL(N-1,O),q}(\bullet D) \simeq FS \simeq Rep_q(GL(N-1|N))$
建立了导出等价：证明了相应的导出范畴等价 $SD^b_{GL(N-1,O),q}(\bullet D) \simeq D^b(Rep_q(GL(N-1|N)))$
发展了SW zastava理论：使用Sakellaridis-Wang的zastava模型构造了关键的几何对应。

方法详解

任务定义

证明对于超越数 $q$ 和 $M = N-1$ 的情形，存在编织张量等价： $SPrev_{GL(N-1,O),q}(\bullet D) \simeq Rep_q(GL(N-1|N))$

其中左侧是 $GL(N-1,O)$ -等变的 $q$ -单调层的范畴，右侧是量子超群 $U_q(gl(N-1|N))$ 的有限维表示范畴。

核心架构

1. 量子超群理论

定义：使用混合Borel子代数，其所有单纯根都是奇等距的
正单纯根： $\alpha_1 = \varepsilon_1-\delta_1, \alpha_2 = \delta_1-\varepsilon_2, \ldots, \alpha_{2N-2} = \delta_{N-1}-\varepsilon_N$
不可约表示分类：最高权由满足条件(2.1.2)的双标记 $(λ,θ)$ 参数化