Representation theory of mirabolic quantum $\mathfrak{sl}_n$

技術的概要：ミラボリック量子 $\mathfrak{sl}_n$ の表現論

問題提起
本論文は、「ミラボリック」な一般化によって量子シュール代数の幾何学的構成から導かれる代数構造であるミラボリック量子群 $MU(n)$ の表現論を取り扱う。古典的な Beilinson-Lusztig-MacPherson (BLM) 構成は、部分旗の対を通じて量子被包代数 $U_v(\mathfrak{sl}_n)$ を導き出すのに対し、ミラボリックな設定では、有限体上の有限次元ベクトル空間における 2 つの旗と 1 つのベクトルからなる 3 元組を考慮する。2 番目の著者による先行研究 ([Ros18]) は $n=2$ の場合を確立し、最近の研究 [FZM25] は、生成元と関係式を通じて一般の $n$ に対する $MU(n)$の表示を提供した。しかし、$n > 2$に対する$MU(n)$ の有限次元表現の完全な分類と、その表現圏の半単純性の証明は、未解決の課題となっていた。

手法
著者は [FZM25] で確立された $MU(n)$の表示を用いて、量子被包代数$U_v(\mathfrak{sl}_n)$ 上の余加群代数としての構造を分析する。手法は以下の手順で進められる。

1. 構造解析: 本論文は、特定の余作用写像 $\rho$ を通じて $MU(n)$が$U_v(\mathfrak{sl}_n)$上の余加群代数であることを確立する。この構造により、著者は$U_v(\mathfrak{sl}_n)$ のよく理解された表現論を活用できる。
2. 表現の構成: 著者は、$\mathfrak{sl}_n$ の支配的整重 $\lambda$ と整数 $0 \le r \le n$ によってパラメータ化される表現の族 $L_{\lambda, r}$ を定義する。これらは、$L_\lambda$ を $U_v(\mathfrak{sl}_n)$ の単純加群、$W_r$ を定義表現の $r$ 番目の量子ウェッジ積としたとき、テンソル積 $L_\lambda \otimes W_r$ として構成される。追加の生成元 $\ell$（「ミラボリック」要素）の作用は、$W_r$ 上で明示的に定義される。
3. 「深さ」の導入: 表現の「深さ」という重要な新しい不変量が導入される。重みベクトル $x$ に対して、深さ $r$ は、$j < r$ に対して $\ell f_1 \cdots f_j x$ が消滅し、かつ $\ell f_1 \cdots f_r x$ が消滅しないことによって定義される。このパラメータ $r$ は、ミラボリック表現を標準的な $U_v(\mathfrak{sl}_n)$ の表現と区別する。
4. 普遍加群（Verma 型）: 著者は、2 つの無限次元の「Verma 型」加群、$V_{\lambda, r}$（$MU(n)$の商として生成元と関係式を通じて定義）と$M_{\lambda, r}$（$M_\lambda$を$U_v(\mathfrak{sl}_n)$ の標準的 Verma 加群として $M_\lambda \otimes W_r$ と定義）を構成する。中心的な技術的達成は、これら 2 つの構成間の同型を証明することである（定理 4.4）。
5. 分類と半単純性: 普遍加群の同型と深さ不変量の性質を用いて、著者はすべての有限次元既約表現が何らかの $L_{\lambda, r}$ に同型であることを証明する。さらに、既約対象間の拡大を解析し、代数上の反自己同型を利用することで、有限次元表現の圏が半単純であることを示す。

主要な貢献と結果

• 完全な分類: 本論文は、$MU(n)$の既約有限次元表現の完全な分類を提供する。そのような表現のすべては、$\lambda$が支配的整重であり$0 \le r \le n$であるような一意な対$(\lambda, r)$に対して$L_{\lambda, r}$ に同型である。
• 半単純性: $MU(n)$ の有限次元表現の圏が半単純であることが証明される（定理 5.3）。これは、既約表現間に非自明な拡大が存在しないことを示すことにより達成され、その結果は「深さ」不変量の特定の性質と普遍加群の構造に依存する。
• 明示的な表示: 著者は、2 つの Verma 型構成間の同型を利用し、生成元と関係式を用いて既約表現 $L_{\lambda, r}$ の明示的な表示を導出する（系 4.7）。
• 編組加群構造: 本論文は、有限次元 $MU(n)$-表現の圏が、有限次元$U_v(\mathfrak{sl}_n)$-表現の圏上の編組加群圏をなすことを確立する（命題 5.7）。この構造は、ランク$n+1$ の自由加群圏に同値であることが示され、これら表現のテンソル積に対する Type BC 編組群の作用へと導かれる（系 5.9）。
• 普遍構成の同型: 重要な技術的結果として定理 4.4 があり、これは商構成 $V_{\lambda, r}$ とテンソル積構成 $M_{\lambda, r}$ が同型な表現を与えることを証明する。これは、$MU(n)$の代数的表示と$U_v(\mathfrak{sl}_n)$ から導かれる幾何的・組合せ論的直観との間の溝を埋めるものである。

意義
本論文の主な意義は、$v$ が 1 の原始根でない一般の場合において、ミラボリック量子群 $MU(n)$の有限次元表現の完全な分類を初めて提供することにある。圏の半単純性と既約元の明示的なパラメータ化を確立することで、この研究は$n=2$に対する既知の結果を任意の$n$に拡張する。「深さ」不変量の導入は、標準的な$U_v(\mathfrak{sl}_n)$ 理論には直接的な analogue を持たない、ミラボリックな設定における表現を区別するための新しい代数的道具を提供する。さらに、圏を $U_v(\mathfrak{sl}_n)$-加群上の編組加群圏として同定することは、ミラボリックな設定をより広範な圏論的構造、特に Type A と Type B/C の組合せ論の混合を示す構造へと接続する。著者は、これらの結果が将来のミラボリック量子シュール - ウェイル双対性に関する研究の基盤となると指摘している。

本論文は明示的にその範囲を一般の場合に限定しており、$v$ が 1 の原始根である場合には半単純性と分類の結果が必ずしも成り立たないことを認めており、その設定を将来の研究の方向性として残している。