[論文レビュー] Simple G-graded algebras and their polynomial identities

Eli Aljadeff, Darrell Haile|arXiv (Cornell University)|Jul 23, 2011

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

ひとこと要約

この論文は、特性0の代数的に閉じた体上の有限次元G-被り単純代数が、G-被り多項式的恒等式によって、G-被り同型を除いて完全に決定されることを証明している。証明はG-単純代数の構造定理に依拠し、同一のT-理想（恒等式の理想）は、補助部分群の共軛性および表現の同値性を通じて同型な代数を示す。

ABSTRACT

Let G be any group and F an algebraically closed field of characteristic zero. We show that any G-graded finite dimensional associative G-simple algebra over F is determined up to a G-graded isomorphism by its G-graded polynomial identities. This result was proved by Koshlukov and Zaicev in case G is abelian.

研究の動機と目的

• 代数的に閉じた体の特性が0である有限次元G-被り多項式的恒等式が、その体上のG-被り単純代数を完全に分類することを確立すること。
• アーベル群に限られていたKoshlukovとZaicevの先行結果を、任意の群Gに拡張すること。
• G-被りPI代数の表現定理の構造的基盤を提供し、基本的なG-単純代数がその恒等式によって一意に決定されることを示すこと。
• 未被りの場合の一般化として、G-被り代数の圏における「普遍的」対象（versal object）の存在を検討すること。

提案手法

• Bahturin, Sehgal, Zaicevの構造定理を用いて、G-単純代数を細分型および基本型の組み合わせに分解する。
• 群の要素と部分群のタプルを用いて、G-単純代数の表現を定義し、その被り構造と成分構造を捉える。
• 群論的技法を適用し、同型な代数は補助部分群H_AとH_Bが共軛でなければならないことを示す。
• 可逆な同次元要素による共軛を用いて表現を正規化し、同一の恒等式を持つ2つの代数の基本被り成分を一致させる。
• 特性0におけるT-理想および多線形恒等式の理論を適用し、分類問題を中心化子の同値性およびコホモロジーコホモロジーパラメータの同値性に還元する。
• 順序の入れ替え、共軛、タプルのシフトといった一連の「基本的移動」を用いて表現を正規化し、同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 G-被り多項式的恒等式は、Gがアーベルでも非アーベルでも、代数的に閉じた体の特性0における有限次元G-被り単純代数を一意に決定できるか。
• RQ2 G-単純代数のT-理想（恒等式の理想）は、特に半単純部分が自明である場合に、その同型型をどの程度まで決定するか。
• RQ3 未被りの場合の一般化として、G-被り代数の圏に「普遍的」対象（versal object）が存在するか。その構成と恒等式との関係はいかなるものか。
• RQ4 G-被り代数の表現における部分群構造と陪集合代表元は、その恒等式構造および同型類とどのように関係するか。
• RQ5 Gが非アーベルであっても、同じG-被り恒等式を持つ2つのG-単純代数は、必ず同型であるか。

主な発見

• 特性0の代数的に閉じた体上の有限次元G-単純代数が、G-被り同型であるための必要十分条件は、それらのG-被り恒等式のT-理想が等しいことである。
• G-単純代数の補助部分群H_Aは、そのG-被り恒等式によって、共軛を除いて一意に決定される。
• 同型な2つのG-単純代数の表現は、基本的移動の下で同値であり、共軛を用いて基本被り成分を一致させることができる。
• 代数間の同型は、それらの中心化子間の被り同型を誘導する。中心化子は、F^αHおよびF^βHという形のねじれ群代数であり、αとβはコホモロジーパラメータとして同値である。
• 証明により、同次元成分の構造と被りタプルにおける重複度が、恒等式理想の不変量としての性質を持つことが示された。
• この結果により、T-理想がG-単純代数の完全な不変量であることが確認され、アーベルでない場合にも拡張された既存の結果が得られた。