[論文レビュー] Finite basis problem for identities with involution

Irina Sviridova|arXiv (Cornell University)|Oct 8, 2014

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

ひとこと要約

この論文は、特性0の体上の結合代数における自己準同型を伴う恒等式に関するSpecht問題に対して肯定的な解決を示している。有限次元の$\nZ/4\nd$-階層付き自己準同型を備えた$\nZ/4\nd$-階層付き代数のGrassmann $Z/4$-包と同一の恒等式を満たす任意の代数が、PI表現可能性の結果を活用することで、$*$-T-理想が有限生成であることを示しており、これにより$*$-恒等式の有限基底問題が解決された。

ABSTRACT

We consider associative algebras with involution over a field of characteristic zero. We proved that any algebra with involution satisfies the same identities with involution as the Grassmann envelope of some finite dimensional $Z_4$-graded algebra with graded involution. As a consequence we obtain the positive solution of the Specht problem for identities with involution: any associative algebra with involution over a field of characteristic zero has a finite basis of identities with involution. These results are analogs of theorems of A.R.Kemer for ordinary identities.

研究の動機と目的

• 特性0の体上の結合代数における自己準同型付き恒等式に関するSpecht問題を解決すること。
• 元来、通常の多項式恒等式に対して得られたKemerの分類定理を、自己準同型を伴う代数の文脈に拡張すること。
• 特性0の体上の任意の結合$*$-代数が、自己準同型付き恒等式に関して有限基底を持つことを確立すること。
• $\nZ/4\nd$-階層付き構造を用いて、超技巧とPI表現可能性の技法を自己準同型の文脈に一般化すること。
• 有限次元の$\nZ/4\nd$-階層付き代数とその階層付き自己準同型のGrassmann包を通じて、$*$-恒等式の構造的特徴づけを提供すること。

提案手法

• 有限次元の$\nZ/4\nd$-階層付き代数$C$とその階層付き自己準同型を備えたGrassmann $\nZ/4\nd$-包$E_4(C)$を構成し、任意の$*$-代数がこのような包とPI同値であることを示す。
• $C = B \bigoplus J$（$B$は半単純、$J$は冪零な階層付きイデアル）の分解を用いて、$E_4(C)$の構造を分析する。
• 自己準同型付き恒等式の$*$-T-理想の構造を適用し、このような理想が自己準同型と可換な自己準同型に関して閉じていることを示す。
• 多変数評価と中心的部分代数$E_{\bar{0}}$の作用を用いて、高次多項式がすべて冪零成分を含む場合に$E_4(C)$で消えることを示す。
• $E_{\bar{0}}$が中心的に作用し、$\nZ/4\nd$-階層構造と自己準同型を保存することを用いて、特定の評価が消える恒等式を導出する。
• 非有限生成の$*$-T-理想を仮定し、矛盾を導く。その結果、高次多項式$f_k$はすべての評価で消える必要があり、これにより$f_k$が理想に属することを示し、有限生成性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特性0の体上の結合代数における自己準同型付き恒等式に関するSpecht問題は、肯定的に解決可能か？
• RQ2 任意の結合$*$-代数は、有限次元の$\nZ/4\nd$-階層付き代数とその階層付き自己準同型のGrassmann包とPI同値か？
• RQ3 特性0の体上の任意の結合$*$-代数の$*$-T-理想が、恒等式に関して有限基底を持つか？
• RQ4 Kemerの通常の恒等式に関する分類定理は、$\nZ/4\nd$-階層付き構造を用いて自己準同型の文脈に拡張可能か？
• RQ5 有限次元の$\nZ/4\nd$-階層付き代数とその階層付き自己準同型を通じて、$*$-恒等式の構造的特徴づけは可能か？

主な発見

• 特性0の体上の任意の結合代数と自己準同型は、ある有限次元の$\nZ/4\nd$-階層付き代数とその階層付き自己準同型のGrassmann $\nZ/4\nd$-包と同一の自己準同型付き恒等式を満たす。
• このような代数の$*$-T-理想は、$*$-T-理想として有限生成であり、自己準同型付き恒等式の有限基底問題が解決された。
• 証明は、著者による先行研究で確立された、有限生成の$\nZ/4\nd$-階層付きPI代数とその階層付き自己準同型のPI表現可能性に依存している。
• Grassmann包$E_4(C)$の構造は、$E_4(B) \bigoplus E_4(J)$に分解され、ここで$E_4(B)$は$*$-部分代数であり、$E_4(J)$は有限次元の冪零$*$-イデアルである。
• $E_4(C)$における高次多項式の評価は、すべての成分が冪零部分に属する場合に消える。また、一部の成分が半単純部分に属する場合でも、$E_{\bar{0}}$の中心的作用により評価は消える。
• 矛盾による議論により、任意の恒等式の集合によって生成される$*$-T-理想は、有限生成でなければならない。そうでなければ、高次多項式が理想に強制的に含まれることになり、最小性に反する。