[論文レビュー] Crystal bases for the quantum queer superalgebra

Dimitar Grantcharov, Ji Hye Jung+3 more|arXiv (Cornell University)|Mar 17, 2011

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

ひとこと要約

本稿は、カテゴリ $\mathcal{O}^{\geq 0}_{\mathrm{int}}$ における量子クィアスーパ algebra $U_q(\mathfrak{q}(n))$ の結晶基底理論を確立し、非ノルムな奇数生成子を取り扱うために奇数のカシワラ作用素を導入する。主な結果として、このカテゴリーに属する任意の加群が一意な結晶基底を持つことが証明され、量子群の組合せ的枠組みがクィアスーパ algebra の文脈へ拡張されることを示している。

ABSTRACT

In this paper, we develop the crystal basis theory for the quantum queer superalgebra $U_q(\mathfrak q(n))$. We define the notion of crystal bases and prove the tensor product rule for $U_q(\mathfrak q(n))$-modules in the category $O_int^{\geq 0}$. Our main theorem shows that every $U_q(\mathfrak q(n))$-module in the category $O_int^{\geq 0}$ has a unique crystal basis.

研究の動機と目的

• カテゴリ $\mathcal{O}^{\geq 0}_{\mathrm{int}}$ に於ける量子クィアスーパ algebra $U_q(\mathfrak{q}(n))$ の結晶基底理論を構築すること。このカテゴリはテンソル加群からなる。
• 一般表現カテゴリの非半単純性および $U_q(\mathfrak{q}(n))$ 内の奇数根生成子 $e_{\overline{i}}, f_{\overline{i}}$ の非ノルム性に起因する課題を克服すること。
• 結晶格子上でノルム的であることを保証するように、奇数のカシワラ作用素 $\tilde{e}_{\overline{1}}, \tilde{f}_{\overline{1}}, \tilde{k}_{\overline{1}}$ を定義し、厳密にその性質を確立すること。
• この文脈における結晶基底のテンソル積則を証明し、最高重層加群の組合せ的構造と整合性を持つようにすること。
• すべての $U_q(\mathfrak{q}(n))$-加群が $\mathcal{O}^{\geq 0}_{\mathrm{int}}$ に属する場合に、一意な結晶基底が存在することを確立し、量子群理論をクィアスーパ algebra の場合へ一般化すること。

提案手法

• 不一致を解消するため、$\mathbb{C}$ と $\mathbb{C}(q)$ の間でクラッター加群分類に生じる矛盾を避けるために、形式ローレンツ級数体 $\mathbb{C}((q))$ を用いて議論を行う。
• 生成子 $e_{\overline{1}}, f_{\overline{1}}$ のコマルチプライケーション式に基づいて、奇数のカシワラ作用素 $\tilde{e}_{\overline{1}}, \tilde{f}_{\overline{1}}, \tilde{k}_{\overline{1}}$ を定義し、任意の結晶格子 $L$ に対して $L/qL$ 上でノルム的であることを保証する。
• 奇数のカシワラ作用素のテンソル積則は、その定義から導出され、結晶基底のテンソル積における分解を可能にする。
• 結晶格子 $L/qL$ の構造とカシワラ作用素による連結成分の安定性を用いて、結晶基底の直和分解を構成する。
• 加群の次元に関する帰納法を用いて、任意の結晶基底が一意的に既約成分に分解されることを証明し、中谷の補題と $L/qL$ の構造を活用する。
• 証明は、$\mathcal{O}^{\geq 0}_{\mathrm{int}}$ の半単純性および $L(M^{(\lambda)})_{\lambda} = \bigoplus_{\nu=1}^s E_\nu$（$E_\nu$ は $U_q(\mathfrak{q}(n))$-部分加群）であるという事実に依存する。

実験結果

リサーチクエスチョン

• RQ1 奇数生成子のノルム性が成り立たないにもかかわらず、量子クィアスーパ algebra $U_q(\mathfrak{q}(n))$ に対して結晶基底理論を構築することは可能か？
• RQ2 結晶格子上でノルム的であることを保証するために、奇数のカシワラ作用素 $\tilde{e}_{\overline{1}}, \tilde{f}_{\overline{1}}$ をどのように定義すればよいか？
• RQ3 $U_q(\mathfrak{q}(n))$-加群のカテゴリ $\mathcal{O}^{\geq 0}_{\mathrm{int}}$ における結晶基底の正しいテンソル積則は何か？
• RQ4 $\mathcal{O}^{\geq 0}_{\mathrm{int}}$ に属する $U_q(\mathfrak{q}(n))$-加群は、すべて一意な結晶基底を持つのか？
• RQ5 $U_q(\mathfrak{q}(n))$-加群の古典的極限はどのように振る舞い、体の拡張によって一貫性を持たせることができるか？

主な発見

• $\mathcal{O}^{\geq 0}_{\mathrm{int}}$ に属する $U_q(\mathfrak{q}(n))$-加群はすべて一意な結晶基底を持つ。これが本稿の主な結果である。
• 奇数のカシワラ作用素 $\tilde{e}_{\overline{1}}, \tilde{f}_{\overline{1}}$ はコマルチプライケーション式に基づいて定義され、$L/qL$ 上でノルム的であるため、適切に定義された結晶構造が保証される。
• 結晶基底のテンソル積則は、$L/qL$ を連結成分に対応する部分空間に直和分解することによって確立される。
• 分解 $L = L(M^{(\lambda)}) \oplus \widetilde{L}$ は中谷の補題を用いて証明され、$\widetilde{L}/q\widetilde{L} = \bigoplus_{b \in B_2} l_b$ および $L(M^{(\lambda)})/qL(M^{(\lambda)}) = \bigoplus_{b \in B_1} l_b$ が成り立つ。
• 加群 $M$ の結晶基底は、その既約成分 $M^\nu$ の結晶基底の直和として示され、$L(M^\nu) = L \cap M^\nu$ が成り立つ。
• 標準的な形で古典的極限定理が確立された。これは、$\mathbb{C}((q))$ 上で議論することで、$\mathbb{C}$ と $\mathbb{C}(q)$ の間でクラッター加群分類の不一致を解消した結果である。