[論文レビュー] Quantum correspondences of affine Lie superalgebras

Ying Xu, R. B. Zhang|arXiv (Cornell University)|Jul 5, 2016

Algebraic structures and combinatorial models参考文献 19被引用数 8

ひとこと要約

本稿は、Drinfeld twist $\mathcal{J}$ を用いたホップ超代数構造のねじれを介して、$\mathfrak{osp}(2m+1|2n)$ と $\mathfrak{osp}(2n+1|2m)$ などの双対ペアの量子アフィン超代数の間で明示的な同型を確立する。主な結果は、これらの量子超代数の表現カテゴリがブレード付き厳密テンソルカテゴリとして同値であることである。これは、量子群における既知の $q \leftrightarrow -q$ 対称性の一般化である。

ABSTRACT

There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories.

研究の動機と目的

• 量子群 $\mathfrak{osp}(1|2n)$ と $\mathfrak{so}(2n+1)$ の間で知られている同型を、アフィンリースーパー代数に一般化すること。
• 量子アフィン超代数の双対ペア間で明示的なホップ超代数同型を構成すること。
• それらの表現カテゴリがブレード付き厳密テンソルカテゴリとして同値であることを確立すること。
• 数学的物理と表現論における量子双対性現象を、量子双対性の体系的構成によって統一すること。

提案手法

• 根系の対称性による作用をもつ $\mathbb{Z}_2$-群 $G$ を用いて、スモーズ積 $\mathfrak{U}_q(\mathfrak{g}, \Pi) = \mathrm{U}_q(\mathfrak{g}, \Pi) \sharp \mathbb{C}G$ を構成する。
• 単純根に付随する要素 $\sigma_i$ を用いて、Drinfeld twist $\mathcal{J}$ を定義し、これにより余乗法と反対合を変更する。
• ねじれを適用して、新しいホップ超代数構造 $({\mathfrak{U}}_q({\mathfrak{g}},\Pi), \tilde{\Delta}^{\mathcal{J}}, \epsilon, \tilde{S}^{\mathcal{J}})$ を得る。この構造は、余構造が変更されているが、元の代数構造は保存される。
• $\mathfrak{g}'$ の双対代数に対して、明示的な代数同型を介して、ねじれたホップ超代数が $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$ に同型であることを証明する。
• ねじれを用いて、$\mathfrak{U}_q(\mathfrak{g}, \Pi)$ と $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$ の表現カテゴリをブレード付きテンソルカテゴリとして関連付ける。
• Yetter-Drinfeld 加群とニコルズ代数の量子双対の枠組みを用いて、双対性を圏論的に解釈する。

実験結果

リサーチクエスチョン

• RQ1 有限次元量子群における観察された $q \leftrightarrow -q$ 双対性は、量子アフィン超代数へと拡張可能か？
• RQ2 タイプ $\mathfrak{osp}(2m+1|2n)$ と $\mathfrak{osp}(2n+1|2m)$ の量子アフィン超代数の間の双対性の背後にある正確な代数的構造は何か？
• RQ3 双対量子アフィン超代数の表現カテゴリは、どのようにブレード付きテンソルカテゴリとして関連付けることができるか？
• RQ4 $\mathcal{J}$ であるDrinfeldねじれが、$\mathbb{Z}_2$-次数を保存しないホップ超代数同型を実現するために果たす役割は何か？
• RQ5 量子双対性を統一するための圏論的枠組み—例えば、ニコルズ代数の量子双対—は存在するか？

主な発見

• 表1にリストされた双対ペア $({\mathfrak{g}}, {\mathfrak{g}}')$ に対して、$\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$ と $\mathfrak{U}_q(\mathfrak{g}, \Pi)$ 間の明示的な結合代数同型が構成された。
• 同型は、余乗法と反対合を変更するが、元の代数構造を保存するDrinfeldねじれ $\mathcal{J}$ を介して実現された。
• ねじれたホップ超代数 $({\mathfrak{U}}_q({\mathfrak{g}},\Pi), \tilde{\Delta}^{\mathcal{J}}, \epsilon, \tilde{S}^{\mathcal{J}})$ の余乗法は、$\tilde{\Delta}^{\mathcal{J}}(E_i) = E_i \otimes 1 + K_i \otimes E_i$ および $\tilde{\Delta}^{\mathcal{J}}(F_i) = F_i \otimes K_i^{-1} + 1 \otimes F_i$ であり、標準的な量子群の形と一致する。
• $\mathfrak{U}_q(\mathfrak{g}, \Pi)$ と $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$ の表現カテゴリは、ブレード付き厳密テンソルカテゴリとして同値である。
• 双対性は超代数同型ではなく、群作用とDrinfeldねじれを介してホップ超代数構造を再定義する「図の入れ替え（ねじれ）」によって生じる。
• 既知の $\mathfrak{osp}(1|2n) \cong \mathfrak{so}(2n+1)$ の量子双対性はアフィンの場合に一般化され、$\mathfrak{sl}(2m+1|2n)^{(2)}$ や $\mathfrak{osp}(2m+2|2n)^{(2)}$ のようなねじれたアフィン型を含む。