[論文レビュー] Multi-brace cotensor Hopf algebras and quantum groups

Xin Fang, Marc Rosso|arXiv (Cornell University)|Oct 11, 2012

Algebraic structures and combinatorial models参考文献 11被引用数 10

ひとこと要約

本稿は、量子群およびその表現を構成するための一般枠組みとして、多ブラケットコテンソルホップ代数を導入する。グレーディングされたペアが多ブラケット条件を満たすように定義することで、可換な積をコテンソルコールゲブラに導入し、可約化可能Kac-Moody代数に対応する完全な量子群を量子 quasi 対称代数として実現する。これにより、量子双対における最高重みモジュラと単純モジュラの体系的構成が可能になる。

ABSTRACT

We construct multi-brace cotensor Hopf algebras with bosonizations of quantum multi-brace algebras as examples. Quantum quasi-symmetric algebras are then obtained by taking particular initial data; this allows us to realize the whole quantum group associated to a symmetrizable Kac-Moody Lie algebra as a quantum quasi-symmetric algebra and all highest weight irreducible representations can be constructed using this machinery. It also provides a systematic way to construct simple modules over the quantum double of a quantum group.

研究の動機と目的

• コテンソルコールゲブラ $T_H^c(M)$ 上の結合的積の分類を、ホップ代数構造をもたらすものとして行い、先行研究のbraided bialgebrasへの一般化を図ること。
• 量子シャッフル代数の精神に則り、半分ではなく完全な量子群の統一的構成を提供すること。
• この枠組みを用いて、量子双対上のすべての最高重み非可約表現および単純モジュラを実現すること。
• 量子群における交換関係の剛性を確立し、量子 quasi 対称代数におけるホップイデアルを特徴付けること。

提案手法

• 写像 $(f,g)$ に対する多ブラケット条件 (MB) を定義し、$T_H^c(M)\otimes T_H^c(M) \to M$ および $T_H^c(M)\otimes T_H^c(M) \to H$ のペアに対して、結合的かつホップ代数の整合性を保証する。
• コテンソルコールゲブラの普遍性を用いて、次数 0 および 1 の成分への射影を通じて、積を全代数へと持ち上げる。
• グレーディングされたペアの概念を導入し、$H \to T_H^c(M)$ および $T_H^c(M) \to H$ の包含と射影が「射影付きホップ代数」の枠組みに適合するように保証する。
• 量子多ブラケット代数のボゾニゼーションとして、量子 quasi 対称代数を構成し、量子対称代数および量子 quasi シャッフル代数を一般化する。
• 正部分と負部分の間の交換関係を変形するための「ダミーパラメータ」$\xi_i$ を導入し、特殊化によって完全な量子群が得られることを示す。
• イデアル $\xi_i - K_i^2 + 1$ がホップイデアルであることを証明し、$P_i(K_i)$ に関する多項式的条件を用いて、このようなホップイデアルを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 ペア $(f,g)$ がどのような条件下に、コテンソルコールゲブラ $T_H^c(M)$ に多ブラケット積を介したホップ代数構造をもたらすか？
• RQ2 可約化可能Kac-Moody代数に対応する完全な量子群は、量子 quasi 対称代数として実現可能か？
• RQ3 量子 quasi 対称代数は、量子双対上の最高重み表現および単純モジュラの構成において、果たす役割は何か？
• RQ4 量子群における交換関係の変形は、どの程度ホップ代数構造を保ち続けられるか？どのような制約が生じるか？

主な発見

• 多ブラケットコテンソルホップ代数の構成により、問題1が解決され、$T_H^c(M)$ 上のすべての結合的積が (MB) 条件によってホップ代数をもたらすことが分類された。
• 可約化可能Kac-Moody代数に対応する完全な量子群 $U_q(\mathfrak{g})$ は、ダミーパラメータ $\xi_i$ を $K_i^2 - 1$ に特殊化することによって、量子 quasi 対称代数として実現された。
• $U_q(\mathfrak{g})$ のすべての最高重み非可約表現は、誘導モジュラ $R_\lambda(1)$ の部分モジュラとして構成可能であり、これは単純であり、一意的な $U_T(M)$-部分モジュラ構造を持つ。
• $\xi_i + P_i(K_i)$ で生成されるイデアル $J$ がホップイデアルであるための必要十分条件は、$P_i(K_i) = \lambda_i(K_i^2 - 1)$（$\lambda_i \in \mathbb{K}$）となることである。これにより、交換関係の変形における剛性が示された。
• 本構成により、Josephの結果 $\mathrm{ad}(\widetilde{U_q}(\mathfrak{g}))(K_{-2\lambda})$ が $\mathcal{D}(\widetilde{U_q}(\mathfrak{g}), \widetilde{U_q}(\mathfrak{g})^\circ)$-モジュラとして非可約であることを示す、新しいかつ簡潔な証明が得られた。
• Canonical projection $\pi: Q_H(M) \to Q_H(M)/J$ がホップ代数準同型となるのは、$P_i(K_i)$ が $K_i^2 - 1$ に比例する場合に限る。これにより、標準的量子群変形の一意性が確認された。