[論文レビュー] Strongly nondegenerate Lie algebras

Francesc Perera, Mercedes Siles Molina|ArXiv.org|Feb 12, 2008

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

ひとこと要約

この論文は、2および3の捩れをもたない非可換結合的代数 $A$ が半素的であるとき、その導分のリー代数 $\text{Der}(A)$ が中心に関する弱い条件のもとで強く非退化であることを確立する。主な結果は、$A$ の中心へ写像する導分からなる $I_Z$ を除いた $\text{Der}(A)/I_Z$ が強く非退化であることであり、この結果は $*$-半素的代数および自己準同型を保存する導分のリー代数 $\text{SDer}(A)$ へ拡張される。

ABSTRACT

Let $A$ be a semiprime 2 and 3-torsion free non-commutative associative algebra. We show that the Lie algebra $\der(A)$ of (associative) derivations of $A$ is strongly non-degenerate, which is a strong form of semiprimeness for Lie algebras, under some additional restrictions on the center of $A$. This result follows from a description of the quadratic annihilator of a general Lie algebra inside appropriate Lie overalgebras. Similar results are obtained for an associative algebra $A$ with involution and the Lie algebra $\sder(A)$ of involution preserving derivations of $A$.

研究の動機と目的

• 半素的結合的代数 $A$ に対して、$\text{Der}(A)$ のリー代数の強非退化性を、2および3の捩れをもたない条件のもとで確立すること。
• 自己準同型を保存する導分のリー代数 $\text{SDer}(A)$ を対象として、この結果を可換でない結合的代数へ拡張すること。
• 中心 $Z(A)$ へ写像する導分からなるイデアル $I_Z$ を用いて、強非退化性の障害を特徴づけること。
• $\text{Der}(A)/I_Z$ が強く非退化であることを証明すること。$Z(A)$ に非ゼロの結合的イデアルを含まないとき $I_Z = 0$ である。
• 次数および自己準同型の型に関する条件のもとで、$*$-半素的代数へこの結果を一般化すること。

提案手法

• リー代数における退化性を分析するための主要な道具として、二次的零化核 $\text{QAnn}_Q(L) = \{ q \notin Q \mid [q, [q, L]] = 0 \}$ を導入する。
• 定理2.1を用いて、弱商代数 $Q$ 内の部分代数 $L$ の二次的零化核を、$L$ 自身における零化核と関連付ける。
• 命題2.3(ii)を適用し、リー代数 $L$ が本質的で強く非退化なイデアルを含むならば、$L$ 自身も強く非退化であることを示す。
• 内導分 $\text{Inn}(A) \backsimeq A/Z(A)$ を、$\text{Der}(A}$ における本質的イデアルの候補と特定し、中心 $Z(A)$ に関する弱い仮定のもとで強く非退化であることを示す。
• $I_Z = \{ \nabla \notin \text{Der}(A) \mid \nabla(A) \not\to Z(A) \}$ を分析し、$\text{Inn}(A)$ が $\text{Der}(A)$ において本質的でないことを測る。
• $*$-代数理論の結果、特に [2, Lemma 5.4] および [1, Theorem 2.13] を適用し、次数および自己準同型の型に関する制約のもとで $*$-半素的ケースを扱う。

実験結果

リサーチクエスチョン

• RQ1 半素的結合的代数 $A$ の導分のリー代数 $\text{Der}(A)$ が、どのような条件下で強く非退化になるか？
• RQ2 中心 $Z(A)$ は、特に $Z(A)$ へ写像する導分からなるイデアル $I_Z$ を通じて、$\text{Der}(A)$ の構造にどのように影響を与えるか？
• RQ3 $\text{Der}(A)$ の強非退化性は、$I_Z$ を法として保存されたり回復されたりするか？
• RQ4 $*$-半素的ケースにおいて、自己準同型および $A/I$ の次数に関するどのような条件が $\text{SDer}(A)$ の強非退化性を保証するか？
• RQ5 $Z(K)$ に非ゼロの $\nabla$-イデアルを含まないとき、商 $\text{SDer}(A)/I_{K,Z}$ は強く非退化か？

主な発見

• 代数 $A$ が素的で、2および3の捩れをもたないとき、$I_Z = 0$ であるため、リー代数 $\text{Der}(A)$ は強く非退化である。
• 一般の半素的 $A$ に対して、商 $\text{Der}(A)/I_Z$ は強く非退化である。ここで $I_Z$ は $A$ を中心 $Z(A)$ へ写像する導分の集合である。
• $\text{Inn}(A) \backsimeq A/Z(A)$ は $\text{Der}(A)/I_Z$ において本質的であり、$Z(A)$ に関する弱い仮定のもとで強く非退化である。
• $*$-半素的ケースでは、$\text{deg}(A/I) > 2$ がすべての $\nabla$-素イデアル $I$ に対して成り立つ限り、$\text{SDer}(A)/I_{K,Z}$ は強く非退化である。
• $A$ が $\nabla$-素的であるとき、$I_{K,Z} = 0$ であるため、同じ次数および自己準同型の型の条件のもとで $\text{SDer}(A)$ 自身が強く非退化である。
• 証明は二次的零化核の技法に依拠しており、コストリキンの半径を用いる方法を避け、ゼルマンォフの強非退化性に関する結果に対する要素に基づく代替的証明を提供する。