[論文レビュー] Twisted superYangians and their representations

C. Briot, E. Ragoucy|arXiv (Cornell University)|Nov 29, 2001

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

ひとこと要約

本稿は、超ヤン・ミンスキー代数 $Y(M|N)$ のコイデアル部分代数として、ねじれた超ヤン・ミンスキー代数 $Y(M|2n)^+$ と $Y(2m|N)^-$ を導入し、それらが同型であることを証明する。また、$Y(M|2n)^+$ の有限次元的不可約最高重量表現を分類し、それらが特定の有理関数によって決定され、$osp(M|2n)$ 表現と関連する制約条件を満たすことを示す。さらに、有限次元性の十分条件が必要十分であるという予想を提示する。

ABSTRACT

Starting with the superYangian Y(M|N) based on gl(M|N), we define twisted superYangians Y^+(M|N) and Y^-(M|N). Only Y^+(M|2n) and Y^-(2m|N) can be defined, and appear to be isomorphic one with each other. We study their finite-dimensional irreducible highest weight representations.

研究の動機と目的

• 超ヤン・ミンスキー代数 $Y(M|N)$ の $gl(M|N)$ を基盤とする、ねじれた超ヤン・ミンスキー代数 $Y(M|N)^\pm$ をコイデアル部分代数として定義し、それらを研究すること。
• 有限次元的不可約最高重量表現が $Y(M|2n)^+$ に存在するための条件を調査すること。
• $Y(M|2n)^+$ の表現論と $osp(M|2n)$ の表現論との関係を、特に重量制約を通じて確立すること。
• 有限次元性の十分条件が、$Y(M|2n)^+$ に対して必要十分であるという予想を提示し、分類を完全な特徴づけに拡張すること。

提案手法

• $R$-行列関係のねじれを用いて、$Y(M|N)^\pm$ を $Y(M|N)$ の部分代数として定義する。ここで、$P_{12}$ を階数付き置換作用素、標準 $R$-行列 $R_{12}(u-v) = \text{Id} \otimes \text{Id} - \frac{1}{u-v}P_{12}$ を用いる。
• $Y(M|N)$ のホップ代数構造（コプロダクト、コユニット、アンチポード）を用い、インデックスの反転と符号因子を含む階数付き自己同型を介して、$Y(M|2n)^+$ と $Y(2m|N)^-$ が同型であることを示す。
• 生成関数 $\mu_i(u)$ が特定の交換関係を満たすように、$Y(M|2n)^+$ の最高重量表現をドリンフェルト表示を用いて構成する。
• 生成関数 $S^{ij}(u)$ が生成する部分代数（$i,j \in \{m, m+1, M+n, M+n+1\}$）が $Y(2|2)^+$ と同型であることを分析し、巡回生成空間の有限次元性を要求することで、$\mu_i(u)$ にかかる制約を導出する。
• $\mu_i(u)$ を $osp(M|2n)$ 表現の重量 $l_i$ に関連付ける。展開 $\mu_i(u) = 1 + u^{-1}l_i + \cdots$ を用い、$l_{i+1} - l_i \in \mathbb{Z}_+$、$-(l_{m+1} + l_{m+2}) \in \mathbb{Z}_+$、および $l_{m+1} - l_{M+n+1} \in \mathbb{Z}_+ + (-\gamma - \frac{1}{2})$ の条件を導出する。
• 既知の有限次元的 $osp(2m|2n)$ 不可約表現 $V_0$ とのテンソル積を用いて、新しい有限次元的 $Y(2m|2n)^+$ 表現を構成し、得られた重量が必要な関係式 (4.87)–(4.89) を満たすことを確認する。

実験結果

リサーチクエスチョン

• RQ1 どのねじれた超ヤン・ミンスキー代数 $Y(M|N)^\pm$ が、$Y(M|N)$ のコイデアル部分代数として一貫して定義可能か？
• RQ2 $Y(M|2n)^+$ の最高重量表現が有限次元的であるための必要十分条件は何か？
• RQ3 $Y(M|2n)^+$ の有限次元的不可約表現は、リー超代数 $osp(M|2n)$ の表現とどのように関係しているか？
• RQ4 有限次元性の十分条件が $Y(M|2n)^+$ に対して必要でもあるという予想は正しいか？
• RQ5 $Y(M|2n)^+$ の表現論は、最高重量関数 $\mu_i(u)$ にかかる制約によって完全に分類可能か？

主な発見

• $Y^+(M|2n)$ と $Y^-(2m|N)$ のみがねじれた超ヤン・ミンスキー代数として定義可能であり、それらはホップ代数として同型である。
• $Y(M|2n)^+$ の有限次元的不可約最高重量表現が存在するための必要十分条件は、最高重量関数 $\mu_i(u)$ が制約 (4.87)–(4.89) を満たすことである。ここで $\gamma(u) = \frac{2u}{2u-1}$ かつ $\gamma \in -\frac{1}{2}\mathbb{Z}_+$ である。
• $\mu_i(u)$ は $osp(M|2n)$ の重量 $l_i$ と $\mu_i(u) = 1 + u^{-1}l_i + \cdots$ を用いて関連づけられ、$m+2 \leq i \leq 2m$ および $M+n+1 \leq i \leq M+2n-1$ の範囲で $l_{i+1} - l_i$ が非負整数でなければならない。
• $-(l_{m+1} + l_{m+2}) \in \mathbb{Z}_+$ および $-l_{M+n+1} \in \mathbb{Z}_+$ が成り立ち、$l_{m+1} - l_{M+n+1} \in \mathbb{Z}_+ + (-\gamma - \frac{1}{2})$ でなければならない。
• $osp(2m|2n)$ の有限次元的不可約表現 $V_0$ とのテンソル積により、新しい有限次元的 $Y(2m|2n)^+$ 表現が得られ、条件の十分性が確認された。
• 予想3を提示：有限次元性の導出された十分条件は、必要でもある。これは、$Y(2m|2n)^+$ の有限次元的不可約表現の完全な分類を示唆する。