[論文レビュー] Cells in quantum affine sl_n

Kevin McGerty|ArXiv.org|Sep 6, 2002

Algebraic structures and combinatorial models参考文献 4被引用数 3

ひとこと要約

この論文は、量子群の幾何的実現を用いて、量子アフィン $σλ_n$ における Lusztig の予想されるセル構造を確立する。アフィン q-シュール代数とその自己同型基底を分析することにより、両側セル、左セルの数、および漸近代数を明示的に記述し、両側セルが $X^+$ 内の支配的重みによってパラメトライズされること、および漸近代数が一般線型群の表現環の積上の行列環に同型であることを確認する。

ABSTRACT

We study Lusztig's theory of cells for quantum affine $\mathfrak{sl}_n$. Using the geometric construction of the quantum group due to Lusztig and Ginzburg--Vasserot, we describe explicitly the two-sided cells, the number of left cells in a two--sided cell, and the asymptotic algebra, verifying conjectures of Lusztig.

研究の動機と目的

• 量子アフィン $σλ_n$ における Lusztig の予想されるセル構造を検証すること。
• 量子アフィン設定における両側セル、1つの両側セルに含まれる左セルの数、および漸近代数を記述すること。
• アフィン q-シュール代数とその自己同型基底を用いて、セル理論の幾何的実現を確立すること。
• 漸近代数が extremal 重みモジュールおよびユニバーサル標準モジュールとどのように関係するかを明らかにすること。

提案手法

• Lusztig および Ginzburg–Vasserot の枠組みを用いて、修正量子群 $σλ_n$ の幾何的構成を利用する。
• アフィン q-シュール代数 $ρ_D$ を $G$-軌道の $ρ^n \times ρ^n$ 上の交換子代数として分析し、$ρ_{D,n,n}$ 内の行列によって添字づけられる基底要素を持つ。
• 自己同型基底 $ρ_D$ と関連する部分順序および構造定数を用いて、セルを定義する。
• 対対称自己同型 $ρ$ と内積 $(·,·)_D$ を用いて、セル構造と双対性および整数性の関係を確立する。
• 軌道を $ρ^n \times ρ^n$ 上で、$r(A), c(A)$ が行和と列和を符号化する行列 $A ∈ ρ_{D,n,n}$ に同一視する。
• 漸近代数 $A_\mu$ を、$R_\mu = \prod_{i=1}^{n-1} R(GL_{\mu(i)}(\mathbb{C}))$ 上の行列環として構成し、サイズは $\prod_{i=1}^{n-1} \binom{n}{i}^{\mu(i)}$ である。

実験結果

リサーチクエスチョン

• RQ1 量子アフィン $σλ_n$ 代数の両側セルはどのようにパラメトライズされるか？
• RQ2 量子アフィン代数の各両側セルに含まれる左セルの数は何か？
• RQ3 各両側セルに付随する漸近代数の構造は何か？
• RQ4 アフィン q-シュール代数の自己同型基底はセル分解とどのように関係するか？
• RQ5 漸近代数は extremal 重みモジュールおよびユニバーサル標準モジュールとどのように関係するか？

主な発見

• 代数 $σλ_n$ の両側セルは、支配的整数的重みの集合 $X^+$ と自然な同一視を持つ。
• 両側セル $ σ_\lambda$ に含まれる左セルの数は、対応する支配的重み $λ$ のみに依存し、$λ_i$ の二乗和を含む式で与えられる。
• 両側セルが $μ \in X^+$ で添字づけられる場合、それに付随する漸近代数 $A_\mu$ は、$\prod_{i=1}^{n-1} GL_{\mu(i)}(\mathbb{C})$ の表現環上のサイズ $\prod_{i=1}^{n-1} \binom{n}{i}^{\mu(i)}$ の行列環に同型である。
• $a$-関数は、セルに対応する $μ$ に対して、$b$ が $a(b) = \sum_{i=1}^n (\lambda_i^2 - \upsilon_i^2)$ で与えられる。ここで $\upsilon$ は重み $ν$ の代表元である。
• 結果は、$σλ_n$ に対して Lusztig の [L95, 節 5] のすべての予想を確認しており、$λ(i)$ の値が $\langle i, \lambda \rangle$ として正しく解釈されることも示している。
• 構成により、extremal 重みモジュールが漸近代数からの引き戻しとして幾何的実現され、Kashiwara および Nakajima の理論と結びつく。