[論文レビュー] Identities and derivations for Jacobian algebras

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

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

ひとこと要約

本稿は、ヤコビアン代数および強い $n$-リー＝ポアソン代数を調査し、特に対称的特性の零の下で $n=3$ の場合に、タイプIIの基本的恒等式がタイプIの基本的恒等式とライブニッツ則から従うことを確立している。ヤコビアン代数の随伴加群の第一コホモロジー群を計算し、3-ヤコビアン代数の最小恒等式を同定し、多項式およびローレンツ多項式代数上での $(n+1)$-項ヤコビアン代数の単純性を証明している。

ABSTRACT

Constructions of n-Lie algebras by strong n-Lie-Poisson algebras are given. First cohomology groups of adjoint module of Jacobian algebras are calculated. Minimal identities of 3-Jacobian algebra are found.

研究の動機と目的

• $n>2$ および特性が零の $n$-リー＝ポアソン代数において、タイプIIの基本的恒等式がタイプIの基本的恒等式とライブニッツ則から従うかどうかを特定すること。
• ヤコビアン代数の随伴加群の第一コホモロジー群を計算すること。
• 3-ヤコビアン代数の最小恒等式を同定すること。
• $K[x_1^\pm1,\dots,x_n^\pm1]$ 上の $(n+1)$-項ヤコビアン代数 $\mathrm{Jac}_{n+1}^W$ の単純性を確立すること。

提案手法

• アソシエイティブで可換な代数に微分作用素を備えた状況において、ヤコビアン写像 $\mathrm{Jac}_n^S = \partial_1 \wedge \cdots \wedge \partial_n$ およびウェイラー型写像 $\mathrm{Jac}_{n+1}^W = \mathrm{id} \wedge \partial_1 \wedge \cdots \wedge \partial_n$ を用いる。
• 微分作用素のライブニッツ則を適用し、$\mathrm{Jac}_{n+1}^W$ と $\mathrm{Jac}_n^S$ の関係を確立する。
• ウェーラー代数 $W_n(U)$ のベクトル場 $X$ に対して、形式 $X - n^{-1} \mathrm{Div}\, X$ の微分作用素を分析し、それが $(n+1)$-項乗法を保存することを示す。
• 射影技術および発散なしの作用素を用いて微分作用素を分解し、$\lambda_{-\theta} = 0$ を証明し、すべての微分作用素の構造を導出する。
• 帰納法および次数の議論を用いて、微分作用素の正の次数の非自明な同次成分が存在しないことを排除する。
• $n$-リー代数理論の結果を適用し、$\mathrm{Jac}_n^S$-微分作用素が内部的であること、および $\mathrm{Jac}_n^S$-代数が単純であることの事実を用いる。

実験結果

リサーチクエスチョン

• RQ1 $n>2$ および $\mathrm{char}\, K = 0$ の $n$-リー＝ポアソン代数において、タイプIIの基本的恒等式がタイプIの基本的恒等式とライブニッツ則から従うか？
• RQ2 ヤコビアン代数の随伴加群の第一コホモロジー群の構造は何か？
• RQ3 3-ヤコビアン代数が満たす最小恒等式は何か？
• RQ4 $K[x_1^\pm1,\dots,x_n^\pm1]$ 上の $(n+1)$-項ヤコビアン代数 $\mathrm{Jac}_{n+1}^W$ は単純か？

主な発見

• $n=3$ の場合に、タイプIIの基本的恒等式がタイプIの基本的恒等式とライブニッツ則から従うことが示され、主たる問いに肯定的に答えた。
• ヤコビアン代数の随伴加群の第一コホモロジー群は自明であり、このコホモロジー的意味で非自明な微分作用素は存在しないことを示している。
• 3-ヤコビアン代数の最小恒等式が明示的に同定され、それらがタイプIの基本的恒等式とライブニッツ則と同値であることが示された。
• $K[x_1^\pm1,\dots,x_n^\pm1]$ 上の $(n+1)$-項ヤコビアン代数 $\mathrm{Jac}_{n+1}^W$ は単純であり、自明なイデアル $0$ および $U$ のみをもつ。
• $\mathrm{Jac}_{n+1}^W$ のすべての微分作用素は、$W_n(U)$ の $X$ に対して $X - n^{-1} \mathrm{Div}\, X$ の形で表され、このような微分作用素は乗法を保存する。
• $\mathrm{Jac}_{n+1}^W$ の微分作用素 $D$ で $D(1) = 0$ を満たすものについて、$n$-項ヤコビアン構造を保存するならば、$\lambda_{-\theta} = 0$ であることが結論づけられる。