Irreducible objects in the Gaiotto category at roots of unity

論文要約：1の冪根におけるガイオット・カテゴリーの既約対象

1. 背景と問題設定 (Problem)

本論文は、D. Gaiottoによって提唱され、R. TravkinとR. Yangによって証明された「ガイオット・カテゴリー（Gaiotto category）」の性質に関する未解決問題に取り組んでいます。

既知の事実:
$q$ が1の冪根でない（genericな）場合、アフィン・グラスマンニアン $\text{Gr}_{GL_N}$ 上の特定の群（$GL_M(\mathcal{O}) \ltimes U_{M,N}^-(K)$）に対して等変な$q$-ねじれD加群の圏は、量子超群 $U_q(\mathfrak{gl}(M|N))$ の表現圏と等価であることが知られています。

本論文の問い:
この等価性は、$q$ が1の冪根（root of unity）である場合にも成立するのか？ 具体的には、両方の圏における既約対象（irreducible objects）の集合の間に自然な全単射が存在するかという点に焦点を当てています。

2. 研究手法 (Methodology)

著者は、量子群の理論を直接扱う代わりに、以下の「量子から正標数への対応」という原理に基づいたアプローチを採用しています。

1. 正標数への置き換え: $q$ が素数 $p$ の1の冪根である場合、量子超群の表現圏は、標数 $p$ の体上の超群 $GL(M|N)$の表現圏$\text{Rep}_p(GL(M|N))$ と密接に関連しているという原理を利用します。
2. Serganovaのアルゴリズムの応用: 超群においては、ボレル部分群が互いに共役ではない（「標準的」なものと「混合的（mixed）」なものがある）という特殊性があります。著者は、BrundanとKujawaによって定式化されたSerganovaのアルゴリズムを用い、標準的なボレル部分群における最高ウェイトの集合から、混合的ボレル部分群における既約表現の最高ウェイトの集合を決定します。
3. 軌道の分類: ガイオット・カテゴリー側の既約対象は、アフィン・グラスマンニアン上の「関連する軌道（relevant orbits）」によってパラメータ化されます。著者は、TravkinとYangの先行研究を拡張し、標数 $p$ の条件下での軌道の条件（条件B）を再定義しました。

3. 主な貢献と結果 (Key Contributions and Results)

本論文の核心は、両方の圏の既約対象を記述するウェイトの集合が一致することを示すことにあります。

• 定理2 (既約表現の記述): $\text{Rep}_p(GL(M|N))$ において、混合的ボレル部分群に関する既約対象の最高ウェイトは、特定の条件（ウェイトの単調性と、ウェイトの差が $p$ で割れることに関する条件）を満たすタプルとして記述されることを示しました。
• 命題7 (関連する軌道の記述): $q^p = 1$ のとき、ガイオット・カテゴリーにおける関連する軌道の条件を特定しました。特筆すべきは、従来の「差が0であること」という条件が、「差が $0 \pmod p$ であること」へと拡張される点です。
• 主定理 (Theorem 10):
  $q^p = 1$（$p$ は素数）のとき、ガイオット・カテゴリー $\mathcal{D}_{GL_M(\mathcal{O}) \ltimes U_{M,N}(K), \chi}^q(\text{Gr}_N)$ がサポートする軌道の集合は、超群 $GL(M|N)$ の混合的ボレル部分群に関する既約表現の最高ウェイトの集合と（整数ウェイトの格子内で）一致する。

4. 意義 (Significance)

本研究は、以下の点で重要な意義を持ちます。

1. ガイオット予想の拡張: $q$ が1の冪根の場合においても、量子超群の表現論と幾何学的なD加群の圏との間に、既約対象のレベルでの対応関係が維持されることを示唆する強力な証拠を提供しました。
2. 幾何学と表現論の架け橋: アフィン・グラスマンニアン上の軌道論（幾何学）と、正標数における超群の表現論（代数学）を、ウェイトの組み合わせ論を通じて結びつけました。
3. 計算手法の確立: Serganovaのアルゴリズムを、量子群の1の冪根における挙動を理解するための道具として有効に活用できることを示しました。