[論文レビュー] Representations of n-Lie algebras

Askar Dzhumadil’daev|ArXiv.org|Feb 5, 2002

Advanced Topics in Algebra被引用数 3

ひとこと要約

この論文は、複素数体上での $n+1$ 個の生成子を持つベクトル積代数 $V_n$ である $n$-リーディンクス代数の有限次元表現を分類する。すべてのこのような表現が完全可約であることを証明し、非可約モジュールが $t \tilde{\rho}$ の最高重量に正確に一致することを示す。ここで $t \neq 0$ であり、$\tilde{\rho}$ は $so_{n+1}$ の基本重量である。これは $V_2$ の $sl_2$-型構造を一般化する。主な結果は、最高重量 $t\tilde{\rho}$ を用いた非可約 $n$-リーディンクス $V_n$-モジュールの完全な特徴付けであり、次式の次元公式を伴う：$\frac{n+2t-1}{n+t-1}\binom{n+t-1}{t}$。

ABSTRACT

Let $V_n=$ be a vector products n-Lie algebra with n-Lie commutator $[e_1,...,\hat{e_i},...,e_{n+1}]=(-1)^ie_i$ over the field of complex numbers. Any finite-dimensional n-Lie $V_n$-module is completely reducible. Any finite-dimensional irreducible n-Lie $V_n$-module is isomorphic to a n-Lie extension of $so_{n+1}$-module with highest weight $tπ_1$ for some nonnegative integer t.

研究の動機と目的

• 有限次元 $n$-リーディンクス代数 $V_n$（複素数体上での $n+1$ 個の生成子を持つベクトル積代数）のすべての表現を分類すること。
• $so_{n+1}$-モジュールのうち、どのものが $n$-リーディンクス代数 $V_n$ 上の $n$-リーディンクスモジュールに引き上げ可能かを特定すること。
• $V_n$ と $sl_2$ 間の表現論的完全な構造的類似性を確立すること。最高重量 $t\pi_1$ がその主要不変量である。
• 非可約 $n$-リーディンクス $V_n$-モジュールの次元公式を提示し、$q(M)$-不変量を用いてその存在を特徴付けること。

提案手法

• $V_n$ の $n$-リーディンクス代数から $\wedge^{n-1}$-構成を用いて基本リーディンクス代数 $L(V_n) \cong so_{n+1}$ を構成する。
• 普遍包あらわし代数 $U(L(V_n))$ を定義し、$n$-リーディンクス関係によって生成されるイデアル $Q(V_n)$ で割ることで $U(V_n)$ を得る。
• $Q(V_n)$ が自明に作用する $U(L(V_n))$-モジュールとして $n$-リーディンクスモジュールを定義し、半直和に関して閉じていることを保証する。
• $L(V_n) \cong so_{n+1}$ の同型を用いて、$n$-リーディンクス $V_n$-モジュールの分類問題を $so_{n+1}$-モジュール理論に還元する。
• $q(M)$-不変量を用いて、どの $so_{n+1}$-モジュールが $n$-リーディンクスモジュールに引き上げ可能かを分類する：$q(M) = 1$（つまり $M \cong M(t\pi_1)$）であるものに限る。
• 多項式実現における $M(t\pi_1)$ の単項式上での作用 $R_{ijsk}$ の明示的計算により、$Q(V_n)$-作用の自明性を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限次元 $so_{n+1}$-モジュールのうち、どのものが $n$-リーディンクス代数 $V_n$ 上のベクトル積 $n$-リーディンクスモジュールに引き上げ可能か？
• RQ2 有限次元非可約 $n$-リーディンクス $V_n$-モジュールの完全な分類は何か？
• RQ3 $n=2$ のときの $V_n$ の表現論は $sl_2$ とどのように類似しているか。$n>2$ に一般化されるのはどのような点か？
• RQ4 最高重量 $t\pi_1$ の非可約 $n$-リーディンクス $V_n$-モジュールの次元は何か？
• RQ5 $q(M)$-不変量は、$so_{n+1}$-モジュールが $V_n$-モジュールに引き上げ可能かどうかを決定する際に果たす役割は何か？

主な発見

• 任意の有限次元 $n$-リーディンクス $V_n$-モジュールは完全可約である。これは $L(V_n) \cong so_{n+1}$ が半単純であり、ウェイルの定理が適用可能だからである。
• $n=3$ の場合、$so_4$-モジュール $M_{t,r}$ が $V_3$-モジュールに引き上げられるための必要十分条件は $t = r$ である。つまり、2つの $sl_2$-因子に関して対称でなければならない。
• $n > 3$ の場合、$so_{n+1}$-モジュール $M$ が $V_n$-モジュールに引き上げられるための必要十分条件は、その最高重量が $t\pi_1$（$t$ は非負整数）であることである。
• 最高重量 $t\pi_1$ の非可約 $n$-リーディンクス $V_n$-モジュールの次元は $\frac{n+2t-1}{n+t-1}\binom{n+t-1}{t}$ に等しい。
• $n=3$ の場合、最高重量 $t$ の非可約 $V_3$-モジュールの次元は $(t+1)^2$ であり、これは $M_{t,t}$ の次元と一致する。
• $q(M)$-不変量は非引き上げ可能なモジュールを検出する：$q(M) > 1$ ならば、$R_{ijsk}$ の作用が単項式上で非自明であるため、$M$ は $V_n$-モジュールにはなり得ない。