[論文レビュー] Schunck classes of soluble Leibniz algebras

Donald W. Barnes|arXiv (Cornell University)|Jan 16, 2011

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

ひとこと要約

この論文は、以前は可解リーダルゲブラに限って発展させてきたシュンククラス理論を、可解リーベニッツ代数へと拡張し、この文脈においてシュンク形成が対称的および反対称的原始代数の双対性を保つことを確立している。主な貢献は、シュンク形成においてすべてのプロジェクターが内部不変であるための必要十分条件を示したことである。具体的には、そのクラスが $\Phi$-閉であることに等しい。この閉包条件がなければ、反例によってその必要性が示される。

ABSTRACT

I set out the theory of Schunck classes and projectors for soluble Leibniz algebras, parallel to that for Lie algebras. Primitive Leibniz algebras come in pairs, one (Lie) symmetric, the other antisymmetric. A Schunck formation containing one member of a pair also contains the other. Projectors for a Schunck formation are intravariant.

研究の動機と目的

• 可解リーマン代数から可解リーベニッツ代数へのシュンククラス、形成、およびプロジェクターの理論を拡張すること。
• 対称的および反対称的ペアをなす原始リーベニッツ代数の性質を調査すること。
• 可解リーベニッツ代数における ${\mathfrak{H}}$-プロジェクターが内部不変であるための条件を特定すること。
• プロジェクターの内部不変性を保証するために、形成の仮定がなぜ必要不可欠であるかを明確にすること。
• $\Phi$-閉なシュンククラスをプロジェクターの内部不変性の観点から特徴づけること。

提案手法

• 左乗法の導出的性質を用いて、リーマン代数からリーベニッツ代数への既存のシュンククラス理論を適応する。
• リーベニッツ核 $\operatorname{Leib}(L) = \langle x^2 \mid x \in L \rangle$ を定義し、それが両側イデアルであることを証明する。
• 次元に関する帰納法を用いて、${\mathfrak{H}}$-プロジェクターが内部不変であるための必要十分条件として、${\mathfrak{H}}$ が $\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-閉であること、すなわち $\Phi$-閉であることを示す。
• 合成因子およびモジュール作用（対称的／反対称的）の結果を応用し、正規化子とプロジェクターを分析する。
• モジュールに関する内部および外部の合成因子の概念を用いて、原始代数における双対性を管理する。
• ノルム的イデアルおよびその和に関する既知の結果を活用し、有限次元リーベニッツ代数におけるノルム的イデアルの和がノルム的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 可解リーマン代数におけるシュンククラスおよびプロジェクターの理論は、可解リーベニッツ代数へどのように拡張されるか？
• RQ2 シュンク形成における対称的および反対称的原始リーベニッツ代数の関係は何か？
• RQ3 可解リーベニッツ代数における ${\mathfrak{H}}$-プロジェクターが内部不変であるための条件は何か？
• RQ4 シュンククラスが形成であるという仮定が、プロジェクターの内部不変性を保証するために必要不可欠であるか？
• RQ5 $\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-閉であるという条件がプロジェクターの内部不変性を導く、正確な条件は何か？

主な発見

• リーベニッツ代数 $L$ において、リーベニッツ核 $\operatorname{Leib}(L) = \langle x^2 \mid x \in L \rangle$ は両側イデアルである。この結果は、以前にあまり強調されていなかった。
• 原始リーベニッツ代数は、対称的と反対称的のペアとして現れる。シュンク形成が一方を含むならば、他方も含む。
• シュンク形成 $\mathfrak{H}$ に対して、可解リーベニッツ代数 $L$ の任意の $\mathfrak{H}$-プロジェクター $H$ は内部不変である。
• $\mathfrak{H}$ が形成であるという仮定は取り除けない。反例により、$\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-閉でなければ、内部不変性が成立しないことが示された。
• シュンククラス $\mathfrak{H}$ が $\operatorname{{\textsc{e}}_{\Phi}^{\unlhd}}$-閉であることと、すべての $\mathfrak{H}$-プロジェクターが内部不変であることは同値である。
• シュンク形成において、$\mathfrak{F}$-正規化子はより大きな代数において内部不変であり、内部不変性の性質が可解リーベニッツ代数全体へと拡張される。