[論文レビュー] Biderivations and commuting linear maps on Lie algebras

Matej Brešar, Kaiming Zhao|arXiv (Cornell University)|Jan 3, 2018

Advanced Topics in Algebra参考文献 8被引用数 25

ひとこと要約

本稿では、特徴数 ≠ 2 の体上のリー代数に対して、代数が完全かつ中心がない場合、すべての歪対称双導分が中心から生じることを確立している。また、代数が弱い消滅条件を満たす場合、すべての可換線形写像が中心に属する。これらの結果は既知の定理を一般化し、加群論的技法と反復的商の簡約を用いた体系的な手法によって、このような写像を分類するものである。

ABSTRACT

Let $L$ be a Lie algebra over a field of characteristic different from $2$. If $L$ is perfect and centerless, then every skew-symmetric biderivation $δ:L imes L o L$ is of the form $δ(x,y)=γ([x,y])$ for all $x,y\in L$, where $γ\in{ m Cent}(L)$, the centroid of $L$. Under a milder assumption that $[c,[L,L]]=\{0\}$ implies $c=0$, every commuting linear map from $L$ to $L$ lies in ${ m Cent}(L)$. These two results are special cases of our main theorems which concern biderivations and commuting linear maps having their ranges in an $L$-module. We provide a variety of examples, some of them showing the necessity of our assumptions and some of them showing that our results cover several results from the literature.

研究の動機と目的

• リー加群の枠組みを用いて、随伴表現に限らない文脈で、リー代数上の双導分および可換線形写像に関する結果を一般化すること。
• すべての歪対称双導分および可換線形写像が加群の中心から生じるための必要十分条件を同定すること。
• 導来代数の消滅子による反復的商の簡約を用いて、リー代数上のすべての可換線形写像を体系的に分類するための構成的アルゴリズムを提供すること。
• 既存の文献における結果を統一的かつ拡張的に示し、それらが開発した一般理論の特別な場合であることを示すこと。

提案手法

• リー代数 L の加群 M に対する中心を、随伴作用に関して L から M への L-加群準同型の空間として定義する。
• 二通りに計算した δ([x,y],[z,w]) = δ([x,y],[z,w]) の基本的恒等式を用いて、歪対称双導分の一般式を導出する。
• S ⊆ L の M における消滅子を Z_M(S) と定義し、Z_M(L') = 0 を可換写像が中心に属することを保証する重要な条件とする。
• 反復的商のプロセスを構成する：M₁ = M、M₂ = M₁ / Z_{M₁}(L')、…、Z_{M_r}(L') = 0 となるまで繰り返し、これにより定理3.2が適用可能な状況に還元する。
• 補題3.8を適用して、M 上の任意の可換写像が、特別な写像および中心的写像のモジュロで、最終的な商加群 M_r 上の可換写像に同値であることを示す。
• 複素数体上での有限次元単純リー代数 g に対して、テンソル積代数 g ⊗ (tℂ[t]/t^{2n+1}ℂ[t]) 上の任意の可換写像は、スカラー写像と中心的写像の和であり、スカラー部分は中心に属することを用いる。

実験結果

リサーチクエスチョン

• RQ1 リー代数 L と L-加群 M に対して、すべての歪対称双導分 δ: L×L → M が M の中心から生じるための条件は何か？
• RQ2 すべての可換線形写像 f: L → M が中心 Cent(M) に属するための条件は何か？また、この性質が成り立つために必要な最小限の仮定は何か？
• RQ3 M が忠実でないか、L が単純でない場合に、リー代数 L 上の値をとるすべての可換線形写像をどのようにアルゴリズム的に分類できるか？
• RQ4 本稿の結果は、既存の文献における双導分および可換写像に関する既知の定理をどの程度一般化するか？特に単純リー代数および完全リー代数に対して。
• RQ5 非半単純または冪零なリー代数上での可換写像の構造は、提示された商の簡約プロセスによって完全に回復可能か？

主な発見

• 特徴数 ≠ 2 の体上の完全かつ中心のないリー代数 L に対して、任意の歪対称双導分 δ: L×L → M は、ある γ ∈ Cent(M) を用いて δ(x,y) = γ([x,y]) と中心から生じる。
• Z_M(L') = {0} ならば、任意の可換線形写像 f: L → M は中心 Cent(M) に属する。これは従来の仮定を著しく弱めるものである。
• 連続的な商の簡約 M → M/Z_M(L') を用いるアルゴリズムは、最終的にすべての可換写像が中心に属する加群に到達し、元の加群上のすべての可換写像の分類を可能にする。
• g が複素数体上での単純リー代数であるとき、L = g ⊗ (tℂ[t]/t^{2n+1}ℂ[t]) に対して、任意の可換写像 f: L → L は中心的写像を除き、f(x_k ⊗ t^k) = x_k ⊗ ∑_{j=k}^{2n} a_{j−k+1} t^j (a_i ∈ ℂ) の形に表され、このような写像は中心に属する。
• 本稿の結果は、有限次元単純リー代数、アフィンカク＝ムーディ代数、その他のクラスについて既知の結果をカバーし、一般化している。
• 本稿は、すべての双導分および可換写像が中心に起因するリー代数のクラスが広く、すべての単純リー代数を含むことを示し、リー代数における関数的恒等式の統一的枠組みを提供する。