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

$Rep_q(GL(N-1|N))$ に対するGaiotto予想

基本情報

論文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同値の2つの主要な欠陥を克服している：導来層面での成立の欠如、および量子群の場合への拡張の困難さである。
数学物理からの動機： $q=1$ の場合は自己同型L関数からの既知の結果によって支持されているが、一般的な $q$ の場合の動機は主に数学物理から生じている。

既存方法の限界

古典的な幾何Satake同値には2つの深刻な欠陥がある：

導来圏の層面では成立しない
量子群の場合、すなわち $Rep(G^∨)$ を $Rep_q(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)を満たす二重標記 $(λ,θ)$ によってパラメータ化される