[論文レビュー] Connes-Kreimer quantizations and PBW theorems for pre-Lie algebras

Travis Schedler|arXiv (Cornell University)|Jul 10, 2009

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

ひとこと要約

本稿は、対称列におけるねじれリー代数の普遍包あらゆる代数の構成を用いて、前リー代数に対するコンヌ＝クライマーの量子化を統一的に構成する。任意の可換環上の前リー積から生じるリー代数に対する量子化されたPBW定理の簡単な証明を提供し、極限を備えた任意のアーベル対称モノイダル圏における前リー代数への量子化およびPBW定理の拡張を含み、ストーバーのPBW結果の一般化を達成する。

ABSTRACT

The Connes-Kreimer renormalization Hopf algebras are examples of a canonical quantization procedure for pre-Lie algebras. We give a simple construction of this quantization using the universal enveloping algebra for so-called twisted Lie algebras (Lie algebras in the category of symmetric sequences of k-modules). As an application, we obtain a simple proof of the (quantized) PBW theorem for Lie algebras which come from a pre-Lie product (over an arbitrary commutative ring). More generally, we observe that the quantization and the PBW theorem extend to pre-Lie algebras in arbitrary abelian symmetric monoidal categories with limits. We also extend a PBW theorem of Stover for connected twisted Lie algebras to this categorical setting.

研究の動機と目的

• 対称列におけるねじれリー代数の普遍包あらゆる代数を用いて、前リー代数に対するコンヌ＝クライマーの量子化の概念的かつ一様な構成を提供すること。
• 任意の可換環上で定義された前リー積から生じるリー代数に対する量子化されたポincare＝バーキホフ＝ワイルド（PBW）定理の簡単な証明を確立すること。
• 極限を備えた任意のアーベル対称モノイダル圏における前リー代数への量子化およびPBW定理の一般化をすること。
• 連結ねじれリー代数に対するストーバーのPBW定理を、対称列およびアーベル圏の圏的枠組みへ拡張すること。

提案手法

• 可換環 $\mathbf{k}$-加群の対称列の圏を用いて、この圏内に内部的なリー代数としてのねじれリー代数を定義する。
• 前リー代数から導かれるねじれリー代数の普遍包あらゆる代数を用いて、コンヌ＝クライマーの量子化を構成する。
• S加群および対称列の理論を用いて、圏的設定における量子化プロセスの代数的構造を扱う。
• 包あらゆる代数の普遍性を用いて、量子化された設定におけるPBW型定理を示す同型を確立する。
• 圏論的およびホモロジー的技法を用いて、体上の古典的状況から任意の可換基底環への結果の拡張を実現する。
• アーベル対称モノイダル圏と極限を備えた状況へと、ストーバーのPBW定理を上げることで一般化する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、対称列における代数的構造を用いて、前リー代数に対するコンヌ＝クライマーの量子化手順を体系的に構成できるか？
• RQ2 ねじれリー代数は、前リー代数における量子化およびPBW定理の統一的枠組みを提供する上で果たす役割は何か？
• RQ3 前リー積から生じるリー代数に対する量子化されたPBW定理は、この構成を用いてより簡単な方法で証明可能か？
• RQ4 量子化およびPBW定理は、古典的状況を越えて、任意のアーベル対称モノイダル圏と極限を備えた状況へどの程度まで拡張可能か？
• RQ5 連結ねじれリー代数に対するストーバーのPBW定理は、この圏的および代数的枠組みへどのように一般化可能か？

主な発見

• 前リー代数のコンヌ＝クライマーの量子化は、対称列の圏における関連するねじれリー代数の普遍包あらゆる代数として自然に実現される。
• 任意の可換環上で定義された前リー積から生じるリー代数に対する、量子化されたPBW定理の新しい、簡略化された証明が得られた。
• 極限を備えた任意のアーベル対称モノイダル圏における前リー代数への量子化およびPBW定理が拡張され、古典的結果が一般化された。
• この構成は、さまざまな代数的および位相的設定における量子化とPBW現象を統一する圏的枠組みを提供する。
• 連結ねじれリー代数に対するストーバーのPBW定理は、対称列および極限を備えたアーベル圏の設定へ一般化された。
• この方法により、PBW同型がねじれリー代数の文脈における包あらゆる代数の普遍性から自然に生じることが明らかになった。