[論文レビュー] Crystal bases of q-deformed Kac modules over the quantum superalgebra $U_q(\gl(m|n))$

Jae-Hoon Kwon|arXiv (Cornell University)|Mar 26, 2012

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

ひとこと要約

本稿は、量子スーパー代数 $U_q(\mathfrak{gl}(m|n))$ 上の q-変形 Kac モジュールに対して、結晶基底の存在と一意性を確立し、奇数の根 $\alpha_0$ のために修正された Kashiwara 演算子を導入する。主な結果は、$V(\lambda)$ が多項式表現である場合、q-変形 Kac モジュールの結晶基底がその既約商 $V(\lambda)$ のそれと整合することであり、これにより $(m|n)$-フック盤と非可換双対 RSK 対応を用いた組合せ的実現が可能になる。

ABSTRACT

We introduce the notion of a crystal base of a finite dimensional q-deformed Kac module over the quantum superalgebra $U_q(\gl(m|n))$, and prove its existence and uniqueness. In particular, we obtain the crystal base of a finite dimensional irreducible $U_q(\gl(m|n))$-module with typical highest weight. We also show that the crystal base of a q-deformed Kac module is compatible with that of its irreducible quotient $V(λ)$ given by Benkart, Kang and Kashiwara when $V(λ)$ is an irreducible polynomial representation.

研究の動機と目的

• $U_q(\mathfrak{gl}(m|n))$ 上の q-変形 Kac モジュールの結晶基底理論を構築すること。これらは、カテゴリ $\mathcal{O}_{\text{int}}$ に属さない、非可約な最高ウェイトモジュールである。
• 有限次元 $U_q(\mathfrak{gl}(m|n))$-モジュールにおける非半単純性の問題を解決するため、奇数の等長根 $\alpha_0$ のために修正された Kashiwara 演算子 $\widetilde{e}_0$ と $\widetilde{f}_0$ を導入すること。
• これらの q-変形 Kac モジュールに対して、結晶基底の存在と一意性を証明し、既約多項式表現の範囲を超えて結晶基底理論を拡張すること。
• 既約商 $V(\lambda)$ が多項式表現である場合、q-変形 Kac モジュール $K(\lambda)$ の結晶基底と $V(\lambda)$ のそれとの整合性を確立すること。

提案手法

• 奇数の等長根 $\alpha_0$ を取り扱うために、$K(\lambda)$ 上に修正された Kashiwara 演算子 $\widetilde{e}_0$ と $\widetilde{f}_0$ を導入し、可換化可能 Kac-Moody代数の $U_q^-(\mathfrak{g})$ におけるそれらに類似させる。
• $K(\lambda)$ を、外積代数 $\Lambda((\mathbb{C}^m)^* \otimes \mathbb{C}^n)$ の $q$-変形と、最高ウェイト $\lambda$ の $U_q(\mathfrak{gl}(m|n)_0)$-モジュール $V_{m,n}(\lambda)$ のテンソル積として実現する。
• $K(\lambda)$ の結晶基底を、$\mathscr{P}(\Phi_1^-)$ と $\mathscr{B}_{m,n}(\lambda)$ の積として構成する。ここで $\mathscr{P}(\Phi_1^-)$ は負の奇数根の冪集合であり、$\mathscr{B}_{m,n}(\lambda)$ は $V_{m,n}(\lambda)$ の結晶である。
• $U_q(\mathfrak{gl}(m|n))$ の PBW 型基底を用いて、$U_q(\mathfrak{gl}(m|n)_0)$ の作用を、$q$-変形外積代数上の完全な $U_q(\mathfrak{gl}(m|n))$-モジュール構造へ拡張する。
• canonical 射影 $K(\lambda) \to V(\lambda)$ を用いて結晶基底の整合性を確立し、$V(\lambda)$ が多項式表現である場合に、$K(\lambda)$ の結晶基底が $V(\lambda)$ のそれへ全射的に写像されることを示す。
• $(m|n)$-フック半標準盤と非可換双対 RSK アルゴリズムを用いて、$\mathscr{B}(V(\lambda))$ が $\mathscr{B}(K(\lambda))$ に埋め込まれる組合せ的記述を与える。

実験結果

リサーチクエスチョン

• RQ1 カテゴリ $\mathcal{O}_{\text{int}}$ に属さない q-変形 Kac モジュール $K(\lambda)$ に対して、$U_q(\mathfrak{gl}(m|n))$ 上に結晶基底が存在するか？
• RQ2 非半単純モジュールの文脈において、奇数の等長根 $\alpha_0$ を取り扱うために、修正された Kashiwara 演算子 $\widetilde{e}_0$ と $\widetilde{f}_0$ をどのように定義できるか？
• RQ3 既約商 $V(\lambda)$ が多項式表現である場合、$K(\lambda)$ の結晶基底と $V(\lambda)$ のそれとの整合性は保たれるか？
• RQ4 $K(\lambda)$ の結晶を、負の奇数根の冪集合や盤の結晶といった組合せ的対象を用いて明示的に記述できるか？
• RQ5 $\mathscr{B}(K(\lambda))$ から $\mathscr{B}(V(\lambda))$ への射影の背後にある組合せ的メカニズムは何か？

主な発見

• q-変形 Kac モジュール $K(\lambda)$ は、奇数根 $\alpha_0$ のために修正された Kashiwara 演算子 $\widetilde{e}_0$ と $\widetilde{f}_0$ を構成することにより、一意な結晶基底を有する。
• $K(\lambda)$ の結晶基底は、$\mathscr{P}(\Phi_1^-) \times \mathscr{B}_{m,n}(\lambda)$ に同型であり、ここで $\mathscr{P}(\Phi_1^-)$ は負の奇数根の冪集合、$\mathscr{B}_{m,n}(\lambda)$ は最高ウェイト $\lambda$ の $U_q(\mathfrak{gl}(m|n)_0)$-モジュールの結晶である。
• $V(\lambda)$ が多項式表現である場合、$K(\lambda)$ の結晶基底はその既約商 $V(\lambda)$ のそれと整合する。これは、canonical 射影 $K(\lambda) \to V(\lambda)$ が $K(\lambda)$ の結晶基底を $V(\lambda)$ のそれへ全射的に写像することを意味する。
• $\mathscr{B}(V(\lambda))$ が $\mathscr{B}(K(\lambda))$ に埋め込まれる仕組みは、非可換双対 RSK アルゴリズムと $(m|n)$-フック半標準盤を用いて組合せ的に記述される。
• $\mathscr{B}(K(\lambda + \ell\delta_+))$ から $\mathscr{B}(K(\lambda))$ への射影 $\overline{\vartheta_{-\ell}}$ は全射であり、Kashiwara 演算子と可換であるため、結晶のレベルで整合性が確認される。
• 本研究は、典型的な最高ウェイトを持つ有限次元 $U_q(\mathfrak{gl}(m|n))$-モジュールの結晶基底の最初の明示的実現を提供し、量子スーパー代数の結晶基底理論における長年の空白を解消した。