[論文レビュー] Free Nilpotent Lie Algebras Admitting Ad-Invariant Metrics

Gabriela P. Ovando, Viviana del Barco|arXiv (Cornell University)|Apr 25, 2011

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

ひとこと要約

この論文は、自由冪零および自由メタアベル群的冪零リー代数が自己同型不変計量をもつための厳密な条件を特定する—2段階冪零の3生成子からなる代数と3段階冪零の2生成子からなる代数のみがこのような計量をもつことを示している。著者らは、自由冪零リー代数の構造的性質と自己同型不変条件を用いてこれらの結果を導出し、さらにこれらの2つの代数の自己同型群を特徴づけ、その直交部分群と微分作用素をリー代数の分解を通じて同定している。

ABSTRACT

In this work we find necessary and sufficient conditions for a free nilpotent or a free metabelian nilpotent Lie algebra to be endowed with an ad-invariant metric. For such nilpotent Lie algebras admitting an ad-invariant metric the corresponding automorphisms groups are studied.

研究の動機と目的

• 自由冪零および自由メタアベル群的冪零リー代数が自己同型不変計量をもつための必要十分条件を特定すること。
• 非半単純リー代数が自己同型不変計量をもてるかどうかという未解決問題を、自由冪零族に焦点を当てて解明すること。
• 自己同型群およびこれらの2つの代数の微分作用素を特徴づけ、特にその直交的および反対称成分を明らかにすること。
• 既知の再帰的構成法を超えた自由冪零リー代数における自己同型不変計量の構造的分類を提供すること。

提案手法

• すべての x,y,z に対して ⟨[x,y],z⟩ + ⟨y,[x,z]⟩ = 0 を満たす条件を用いて、自己同型不変計量の定義を活用した。
• 特にその交差系列と次元公式を用いて、m 個の生成子を持つ k ステップ冪零リー代数の内在的構造を用いた。
• 自己同型不変計量をもつ2段階可解リー代数は冪零的であり、かつ高々3段階であるという事実を応用し、探索空間を制限した。
• 2つの候補代数の微分作用素代数を解析し、行列表現を用いて半単純部と可解根基に分解した。
• それぞれの代数に作用する sl(2,K) および sl(3,K) の作用を同定し、それらが導来部分代数および中心成分に与える表現を分析した。
• 微分作用素および自己同型の行列表現を用いて、特に自己同型不変計量の文脈において、直交的および反対称微分作用素を分類した。

実験結果

リサーチクエスチョン

• RQ1 m 個の生成子と k ステップを持つ自由 k ステップ冪零リー代数が自己同型不変計量をもつのは、どのペア (m,k) に対してか？
• RQ2 m 個の生成子と k ステップを持つ自由メタアベル群的 k ステップ冪零リー代数は、自己同型不変計量をもつのか？ もしそうならば、どのような条件下でか？
• RQ3 自己同型不変計量をもつ自由冪零リー代数の自己同型群の構造はいかなるものか？
• RQ4 微分作用素および反対称微分作用素は、このような代数における自己同型不変計量とどのように関係しているか？
• RQ5 微分作用素代数は半単純部と可解部に分解可能か？ その作用は代数にどのように現れるか？

主な発見

• 3生成子の自由2段階冪零リー代数 𝔫₃,₂ は自己同型不変計量をもつ。
• 2生成子の自由3段階冪零リー代数 𝔫₂,₃ は自己同型不変計量をもつ。
• m 個の生成子と k ステップを持つ他の自由冪零リー代数は、自己同型不変計量をもたない。
• 𝔫₃,₂ の微分作用素代数は 𝔤𝔩(3,K) ⋉ K⁹ に同型であり、半単純部は 𝔰𝔩(3,K)、可解根基は K⁹ である。
• 自己同型不変計量に関して反対称な微分作用素の集合は 𝔰𝔩(3,K) ⋉ K³ に同型であり、K³ はアーベルイデアルをなす。
• 𝔫₃,₂ の内部微分作用素は K³ に同型であり、直交自己同型は反対称微分作用素によって特徴づけられる。