[論文レビュー] On universal Lie nilpotent associative algebras

Pavel Etingof, John Kim+1 more|ArXiv.org|May 13, 2008

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

ひとこと要約

本稿は、普遍的リー冪零な結合代数 $ Q_{n,4} $ の完全な記述を提供し、それが $ \mathbb{C}^n $ 上の偶数次多項式微分形式の代数とねじれ積を備えたものと同型であることを示している。主な貢献は、関連する順次代数の順次成分 $ \Lambda_{n,4} $ の明示的な構造であり、これは $ GL(n) $-加群として有限次元であることが示され、インデックス4における長年の未解決問題を解決している。この研究は、$ Q_{n,2} $ および $ Q_{n,3} $ に対する先行研究を拡張し、関連する順次商へのリー代数作用を確立している。

ABSTRACT

We study the quotient Q_i(A) of a free algebra A by the ideal M_i(A) generated by relation that the i-th commutator of any elements is zero. In particular, we completely describe such quotient for i=4 (for i<=3 this was done previously by Feigin and Shoikhet). We also study properties of the ideals M_i(A), e.g. when M_i(A)M_j(A) is contained in M_{i+j-1}(A) (by a result of Gupta and Levin, it is always contained in M_{i+j-2}(A)).

研究の動機と目的

• 普遍的リー冪零結合代数 $ Q_{n,4} $ の構造を特定すること。これは、$ Q_{n,2} $ および $ Q_{n,3} $ に対する既知の結果を一般化する。
• 自由結合代数 $ A_n $ 上のリー層化における順次成分 $ M_{n,i}/M_{n,i+1} $ を理解すること。特に $ i=4 $ の場合に注目する。
• 質問2.3、すなわち $ \Lambda_{n,i} $ の $ GL(n) $-加群構造を解明すること。これは、以前は $ i=2,3 $ の場合にのみ分かっていた。
• リー代数 $ \mathfrak{g}_n $（$ M_{n,3} $ を法とする導分の代数）が関連する順次代数 $ \overline{A} $ に作用することを確立し、これらの商の表現論を記述すること。

提案手法

• 著者たちは、自由結合代数 $ A_n $ におけるリー層化を用い、$ Q_{n,i} $ にその層化を誘導し、順次代数 $ D_{n,i} = \mathrm{gr} Q_{n,i} $ を研究する。これは可換である。
• 彼らは $ D_{n,i} $ を $ \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,i} $ に分解し、ここで $ \Lambda_{n,i} $ は $ \mathrm{Sym}(\ell_n') $ の像であるとし、写像 $ \theta: \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,i} \to D_{n,i} $ が同型であることを証明する。
• 彼らはジャンネスの定理を適用し、$ M_2(Q_{n,i}) $ の冪零性を用いて $ \Lambda_{n,i} $ が有限次元であることを示す。
• 彼らは $ GL(n) $--equivariant 論法と導分を用いて、$ M_{n,i}/M_{n,i+1} $ の構造を分析し、$ \mathrm{Der}(A_n) $ が $ \mathfrak{g}_n $ を通して作用すること、および $ \mathfrak{g}_n $ が $ \overline{A} $ の次数と積を保存することを示す。
• 彼らは部分表現の議論とトレースの考察を用いて、$ M_{n,3}/M_{n,4} \cong \mathcal{F}_{2,1,0,\dots,0} \oplus \mathcal{F}_{2,2,0,\dots,0} $ が $ W_n $-加群として成り立つことを証明する。
• 彼らは計算ツール（MAGMA）と自己同型 $ g_i^t $ を用いて、多項式関係における矛盾を導出し、写像 $ \theta $ の同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ \Lambda_{n,4} $、すなわち $ Q_{n,4} $ の順次成分の $ GL(n) $-加群構造は何か？
• RQ2 $ M_{n,i}/M_{n,i+1} $ は $ \mathfrak{g}_n $-表現としてどのように分解されるか。特に $ i=3 $ の場合に注目する。
• RQ3 $ \mathrm{Der}(A_n) $ が $ M_{n,i}/M_{n,i+1} $ に作用する場合、それは $ \mathfrak{g}_n $ を通して因数分解可能か。その構造は何か？
• RQ4 $ Q_{n,4} $ の明示的構造は何か。また、$ Q_{n,3} $ などの既知の代数とどのように関係するか？
• RQ5 $ i=4 $ のとき、写像 $ \theta: \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,i} \to D_{n,i} $ は同型か？

主な発見

• 代数 $ Q_{n,4} $ は、$ \mathbb{C}^n $ 上の偶数次多項式微分形式の代数と同型であり、積を $ a*b = ab + da \wedge db $ と定義することで、$ Q_{n,3} $ に対する既知の結果を拡張している。
• 写像 $ \theta: \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,4} \to D_{n,4} $ は同型であり、$ D_{n,4} \cong \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,4} $ を示している。
• 代数 $ \Lambda_{n,4} $ は有限次元の $ GL(n) $-加群であり、$ \Lambda_{n,4}[0] = \mathbb{C} $ であり、導分リー代数 $ \ell_n' $ の次数が4未満の部分で生成されている。
• $ M_{n,3}/M_{n,4} $ は $ W_n $-加群として $ \mathcal{F}_{2,1,0,\dots,0} \oplus \mathcal{F}_{2,2,0,\dots,0} $ に分解され、明示的な部分表現が特定されている。
• $ \mathrm{Der}(A_n) $ が $ M_{n,i}/M_{n,i+1} $ に作用する場合、それは $ \mathfrak{g}_n $ を通して因数分解可能であり、$ \mathfrak{g}_n $ は順次代数 $ \overline{A} $ に作用し、次数と積を保存する。
• $ i>3 $ の $ M_{n,i}/M_{n,i+1} $ の構造は未解決のままであるが、その研究の枠組みは確立されている。