[論文レビュー] Constructing 3-Lie algebras

Ruipu Bai, Yong Wu|arXiv (Cornell University)|Jun 9, 2013

Advanced Topics in Algebra参考文献 15被引用数 4

ひとこと要約

本稿は、可換結合的代数、微分作用素、対合、線形関数を用いて3-リ代数を構成する。ローレンツ多項式 $ F[t,t^{-1}] $ から新たな無限次元の3-リ代数を導出し、そのうちの1つが単純であり、もう1つが非単純であることを証明する。また、$ n $-リ代数の構成法を一般化し、リ代数と多変数関数を用いた $ n $-リ代数の実現に関する未解決問題を提示する。

ABSTRACT

3-Lie algebras are constructed by Lie algebras, derivations and linear functions, associative commutative algebras, whose involutions and derivations. Then the 3-Lie algebras are obtained from group algebras $F[G]$. An infinite dimensional simple 3-Lie algebra $(A, [,,]_{ω, δ_0})$ and a non-simple 3-Lie algebra $(A, [,,]_{ω_1, δ})$ are constructed by Laurent polynomials $A=F[t, t^{-1}]$ and its involutions $ω$ and $ω_1$ and derivations $δ$ and $δ_0$. At last of the paper, we summarize the methods of constructing $n$-Lie algebras for $n\geq 3$ and provide a problem.

研究の動機と目的

• 可換結合的代数、微分作用素、対合を備えた代数から3-リ代数を体系的に構成する方法を開発すること。
• 線形関数と群代数を組み込むことで、既知の $ n $-リ代数の構成法を拡張すること。
• ローレンツ多項式代数 $ F[t,t^{-1}] $ 上の3-リ代数の構造を分析し、単純および非単純な例を特定すること。
• 3-リ代数の構成法を一般化し、リ代数と多変数関数を用いた $ n $-リ代数の実現に関する未解決問題を提示すること。

提案手法

• 可換結合的代数 $ A $ 上の微分作用素 $ \nabla $ と対合 $ \tau $ を用いて3-リ代数を構成し、3-bracket を行列式に類似した表現で定義する。
• 群代数 $ F[G] $ を用いて、微分作用素と対合を群代数の文脈に拡張し、3-リ代数の構造を生成する。
• 特定の微分作用素 $ \nabla $ と対合 $ \tau $ を備えたローレンツ多項式代数 $ A = F[t,t^{-1}] $ を用い、3-bracket $ [x,y,z]_{\tau,\nabla} $ を定義する。
• $ n $-ヤコビ恒等式と反対称性を用いて3-リ代数の公理を検証し、特に導来代数とイデアルに注目する。
• バーデルモンド行列式と係数解析を用いて、商代数 $ \bar{A} $ の特定のイデアルが全体の代数に等しいことを証明し、単純性を確立する。
• フィリッポフの $ n $-リ代数の構成法（可換な微分作用素から）を一般化し、対合と線形関数を組み込む。

実験結果

リサーチクエスチョン

• RQ1 可換結合的代数に微分作用素と対合を備えた場合、3-リ代数をどのように体系的に構成できるか。
• RQ2 $ F[t,t^{-1}] $ 上の微分作用素と対合にどのような条件を課すと、単純または非単純な3-リ代数が得られるか。
• RQ3 $ n $-リ代数の構成法を可換な微分作用素の範囲を超えて、線形関数と一般線形写像を含む形に一般化できるか。
• RQ4 ローレンツ多項式から構成された3-リ代数の導来代数とイデアルの構造はどのようなものか。

主な発見

• 特定の微分作用素 $ \nabla_0 $ と対合 $ \tau $ を用いて、$ A = F[t,t^{-1}] $ 上に無限次元の単純3-リ代数 $ (A,[,,]_{\tau,\nabla_0}) $ を構成した。
• 異なる対合 $ \tau_1 $ と微分作用素 $ \nabla $ を用いて、同じローレンツ多項式代数上に非単純3-リ代数 $ (A,[,,]_{\tau_1,\nabla}) $ を構成した。
• リ代数と線形汎関数 $ \alpha $ から構成された3-リ代数 $ (L,[,,]_{\alpha}) $ の導来代数 $ L^{(2)} $ は $ L^{(2)} = 0 $ を満たし、2段階可解であることが確認された。
• 商代数 $ \bar{A} $ に属する任意の非ゼロ元が生成するイデアル $ \bar{I} $ は $ \bar{A} $ 全体に等しいことから、$ F[t,t^{-1}] $ 上に構成された3-リ代数の単純性が証明された。
• 対合と線形関数を組み込むことで、フィリッポフのヤコビアン代数構成法を一般化し、新たな3-リ代数族を導出した。
• 本稿は、リ代数、結合的代数、多変数関数、一般線形写像を用いた $ n $-リ代数の実現に関する未解決問題を提示した。