[論文レビュー] Lie algebra extensions related with linear bundles of Lie brackets

A.B. Yanovski|ArXiv.org|Aug 20, 2001

Advanced Topics in Algebra参考文献 8被引用数 3

ひとこと要約

本稿は、線形バンドルによるリー括弧の構成を用いて、特定のリーベニッツ拡張—すなわち、次数構造とテンソル変形によって定義される整合性を持つリー括弧を介して生じるリー代数拡張—を自然に構成する。主な貢献は、${\cal G}^n$ 上で普遍的な可解および半単純拡張を生成する体系的な手法を提供することであり、これは、既知の流体力学的モデルにおけるポisson-リー構造を一般化するパラメータ化された括弧を用いる。

ABSTRACT

We consider some special type extensions of an arbitrary Lie algebra ${\cal G}$, arising in the theory of Lie-Poisson structures over $({\cal G}^*)^n$, where ${\cal G}^*$ is the dual of ${\cal G}$. We show that some classes of these extensions can be constructed in a natural way using some linear bundles of Lie algebras.

研究の動機と目的

• ${\cal G}^n$ 上のリー代数拡張の構造を、$({\cal G}^*)^n$ 上のリー＝ポアソン構造から生じるものとして理解すること。
• テンソルによって定義された括弧$[{\bf x},{\bf y}]_W$ が正当なリー代数構造をもたらす条件を特定すること。
• 次数リー代数の分解と変形技術を用いて、新たな普遍的拡張クラス—リーベニッツ拡張—を構成すること。
• これらの拡張が、特に整合性のある括弧変形を通じて、線形バンドルによるリー代数から自然に生じることを示すこと。
• 可解および半単純拡張の間の対応関係を、「半単純部分を特定する」操作を通じて明確にすること。

提案手法

• テンソル$W^{ij}_s$ が対称性およびジャコビ型条件を満たすように、${\cal G}^n$ 上にリー括弧を定義する：$W^{ij}_s = W^{ji}_s$ および $\sum_k (W^s_{ik}W^p_{kj} - W^q_{ik}W^p_{kj}) = 0$。
• 成分$(W^{(k)})_i^j = W^{kj}_i$ を持つ$n+1$個の行列$W^{(k)}$ を用いて括弧を再解釈し、ジャコビ条件がこれらの行列の相互可換性と同値であることを示す。
• 同時ブロック対角化を用いて問題を既約成分に還元し、$s > 0$ の場合にノルム行列に注目し、一般化固有値を分析する。
• ${\cal H} = \bigoplus_{i=0}^{n-1} {\cal H}^{(i)}$ として$\mathbb{Z}_n$-次数リー代数を定義し、標準的およびシフト成分を組み合わせた括弧$[x,y]^\lambda$ を定義する。
• $g^n = 0$ を満たす可換代数${\cal B}$ を定義し、埋め込み$h(x) = \sum x_i \otimes g^i$ を介して、${\cal H} \otimes_{\bf K} {\cal B}$ 上のリー括弧の引き戻しとして新しい括弧を実現する。
• リーベニッツ拡張括弧を$[x,y]^\lambda = [x,y]^0 + \lambda [x,y]^a$ として定義し、ここで$[x,y]^a$ は$s+l \geq n$ を満たす項を捉えるものとする。すべての$\lambda$ に対してこれがリー括弧を定義することを証明する。

実験結果

リサーチクエスチョン

• RQ1 線形バンドルによるリー代数を用いて、${{\cal G}}^n$ 上の普遍的なリー代数拡張を体系的に構成できるか？
• RQ2 リー代数拡張の可解および半単純の場合が、標準的な「半単純部分」操作を通じてどのように関係するか？
• RQ3 テンソル$W^{ij}_s$ が、誘導された括弧$[{\bf x},{\bf y}]_W$ がジャコビ恒等式を満たすために必要な条件は何か？
• RQ4 リーベニッツ拡張括弧は、次数リー代数構造とノルム代数の変形から自然に導出可能か？
• RQ5 すべての普遍的なリー代数拡張は、線形バンドルによるリー代数の枠組み内での変形として実現可能か？

主な発見

• テンソル$W^{ij}_s = \delta^{i+j}_s$ は、${\cal G}^n$ 上にリー括弧を定義し、$[\cal F_n^{(i)}, \cal F_n^{(j)}]_L \subset \cal F_n^{(i+j)}$（$i+j \leq n-1$ の場合）およびそれ以外ではゼロとなる次数構造を誘導する。
• $[x,y]^\lambda = \sum_{s+l=i} [x_s,y_l] + \lambda \sum_{s+l \geq n} [x_s,y_l]$ は、すべての$\lambda \in \bf K$ に対してリー代数構造を定義し、既知の整合性のあるポアソン括弧を一般化する。
• $\lambda = 0$ の場合、標準的次数リー括弧に対応するが、$\lambda = 1$ の場合、リーベニッツ拡張が得られ、両者とも整合的であり、${\cal G}_L^n$ 上に新たなリー代数構造を与える。
• 可解リーベニッツ拡張は、インデックス$1 \leq i,j,k \leq n-1$ に制限することで、完全拡張の「半単純部分」として回復され、$\bar{W}_k^{ij} = \delta^{i+j}_k$ となる。
• $g^n = 0$ を満たす代数${\cal B}$ と埋め込み$h(x) = \sum x_i \otimes g^i$ を用いた構成により、$\lambda$-変形括弧がテンソル積リー代数からの引き戻しとして自然に実現される。
• 本手法により、リーベニッツ拡張が、すべての$n$ に対して現れる唯一の正規クラスの普遍的拡張であることが示され、線形バンドルによるリー代数理論に自然に埋め込まれている。