[論文レビュー] Differential operators on Lie and graded Lie algebras

G. Sardanashvily|arXiv (Cornell University)|Apr 1, 2010

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

ひとこと要約

本稿は、Lie代数および階数付きLie代数における微分作用素の新しい枠組みを提示する。乗法を導来として扱うことで、1階微分作用素としての性質を有する。高階作用素は1階作用素の合成として定義され、Lie代数上にChevalley–Eilenberg型の微分積分法が構築される。中心が自明でかつすべての導来が内因的である場合、標準的複体と同値であることが示される。このアプローチは、有限次元Lie代数、Poisson代数、ベクトル場、および正準交換/反交換関係代数へと一般化可能である。

ABSTRACT

Theory of differential operators on associative algebras is not extended to the non-associative ones in a straightforward way. We consider differential operators on Lie algebras. A key point is that multiplication in a Lie algebra is its derivation. Higher order differential operators on a Lie algebra are defined as composition of the first order ones. The Chevalley--Eilenberg differential calculus over a Lie algebra is defined. Examples of finite-dimensional Lie algebras, Poisson algebras, algebras of vector fields, and algebras of canonical commutation relations are considered. Differential operators on graded Lie algebras are defined just as on the Lie ones.

研究の動機と目的

• 可換かつ結合的代数からの微分作用素理論を、非結合的Lie代数および階数付きLie代数へと拡張すること。これは、導来のモジュール構造が成り立たないため、標準的定義が破綻するためである。
• 非結合的代数における導来が標準的高階微分作用素条件を満たさないという基礎的問題を解決するため、高階作用素を1階作用素の合成として再定義すること。
• Lie代数上にChevalley–Eilenberg型の微分積分法を構築し、代数の中心が自明でかつすべての導来が内因的である場合、古典的複体に一般化すること。
• 有限次元Lie代数、Poisson代数、ベクトル場、正準交換/反交換関係代数の具体例を提示し、この枠組みの適用可能性を示すこと。
• 階数付きLie代数およびそのモジュール、特に階数付き多様体やGrassmann代数への理論の一般化を示し、導来がこれらの構造上で1階微分作用素として作用することを示すこと。

提案手法

• Lie代数 $ A $ 上の微分作用素を、反復作用 $ ilde{ abla}_{a_0} ilde{ abla}_{a_1} ilde{ abla}_{a_k} abla = 0 $ により定義する。ここで $ ilde{ abla}_a abla(b) = a abla(b) - \nabla(ab) $ であり、これは可換環の標準的定義を一般化する。
• Lie代数における乗法が導来であることを示し、したがって1階微分作用素であることを示す。これにより、高階作用素の定義の出発点が得られる。
• Lie代数のコホモロジー構造に基づく微分複体を定義することにより、Lie代数 $ A $ 上にChevalley–Eilenberg微分積分法を構築する。
• 代数 $ A $ が自明な中心を持ち、すべての導来が内因的である場合、Chevalley–Eilenberg積分法が標準的Chevalley–Eilenberg複体と一致することを証明する。
• 階数付きLie代数への拡張として、階数付き導来を定義し、階数付きLie括弧 $ [u, u'] = u \rhd u' - (-1)^{|u||u'|} u' \rhd u $ を用いることで、超幾何学と整合性を保つ。
• 物理的例への適用：ベクトル場の代数、Poisson代数、およびCAR代数（正準反交換関係）に、導来から自然に生じる1階微分作用素がモジュール上で現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 非結合的Lie代数において、導来がモジュールを形成しないことと標準的定義が破綻することを踏まえ、微分作用素を一貫して定義する方法は何か？
• RQ2 標準的可換環フレームワークに依存せずに、Lie代数上の高階微分作用素を意味的に定義できるか？
• RQ3 提案されたLie代数上のChevalley–Eilenberg微分積分法が、どのような条件下で古典的Chevalley–Eilenberg複体に還元されるか？
• RQ4 CAR代数などのLie代数の導来が、Grassmann代数などのモジュール上で1階微分作用素としてどのように作用するか？
• RQ5 この枠組みは、階数付き多様体や超幾何学の文脈において、階数付きLie代数およびそのモジュールへどの程度一般化可能か？

主な発見

• 任意のLie代数における乗法作用は導来であるため、1階微分作用素である。これは、高階作用素を定義する自然な出発点を提供する。
• 非結合的状況下で標準的定義が失敗するため、Lie代数上の高階微分作用素は1階作用素の合成として定義される。
• Lie代数 $ A $ 上のChevalley–Eilenberg微分積分法は、標準的コホモロジー複体に基づき構築され、$ A $ が自明な中心を持ちかつすべての導来が内因的である場合、古典的Chevalley–Eilenberg複体と一致する。
• 有限次元Lie代数の場合、Chevalley–Eilenberg積分法は行列幾何を記述し、コホモロジーを微分作用素の観点から幾何的解釈を可能にする。
• CAR代数（正準反交換関係）の場合、一般の導来は $ \nabla w = (M_1\theta + O_1\theta', M_2\theta' + O_2\theta, C_1\theta + C_2\theta') $ で与えられ、自己準同型に対称性制約が課される。
• Grassmann代数 $ \bigwedge \text{span}\big\big(c\big\big) $ 上の1階微分作用素（$ W $-モジュールとして見る）は、$ \nabla = (C_2 - M c) \frac{\nabla}{\nabla c} + C_1 c + \nu $ の形を取り、$ \nabla(wh) = (\nabla w)h + w\nabla(h) $ を満たす。ここで $ \nabla w $ は $ W $ の導来である。