[論文レビュー] On the universal enveloping algebra of a Lie-Rinehart algebra

Ieke Moerdijk, And J. MRÿ|arXiv (Cornell University)|Jan 25, 2008

Algebraic structures and combinatorial models参考文献 14被引用数 9

ひとこと要約

本稿は、Lie-Rinehart代数の普遍包あらゆる代数の構造を調査し、そのホップ代数に類似した構造を捉えるためにRinehart双代数の概念を導入する。この双代数に対して、Cartier-Milnor-Moore型の定理を確立し、特定の条件下でそれらが原始的元によって生成される自由な可換代数として特徴づけられることを示す。これにより、古典的なホップ代数の双対性結果がLie-Rinehart設定へと一般化される。

ABSTRACT

We review the extent to which the universal enveloping algebra of a Lie-Rinehart algebra resembles a Hopf algebra, and refer to this structure as a Rinehart bialgebra. We then prove a Cartier-Milnor-Moore type theorem for such Rinehart bialgebras.

研究の動機と目的

• Lie-Rinehart代数の普遍包あらゆる代数がホップ代数にどれほど類似しているかを理解すること。
• Rinehart双代数という概念を導入することで、この類似性を形式化すること。
• Rinehart双代数に対してCartier-Milnor-Moore型の定理を確立し、それらが原始的元上で生成される自由な可換代数として特徴づけられることを示すこと。
• ホップ代数理論の古典的結果を、より一般的なLie-Rinehart代数の文脈へ一般化すること。
• 双代数的およびコホモロジー的技法を用いて、Lie-Rinehart代数の普遍包あらゆる代数の構造的特徴づけを提供すること。

提案手法

• Rinehart双代数を、可換環R上の単位的代数として定義し、Lie-Rinehart構造と特定の整合性条件を満たす余乗法および余単位を備える。
• 半直積R ⊕ Lの普遍包あらゆる代数の商として、R上のLie-Rinehart代数Lの普遍包あらゆる代数U(R,L)を構成する。
• U(R,L)の普遍性を用いて、R作用とL作用が整合する任意のk代数Aへの代数準同型を定義する。
• 帰納法を用い、垂直合成の共通核がゼロであるという事実に依拠することで、図式の上部の正方形が可換であることを示す。これには、写像Δ̄: Sⁿ_R(V) → ⊕_{p₁+p₂=n} (S^{p₁} ⊗_R S^{p₂}) の分解単射性が利用される。
• 帰納法の仮定を適用し、2段目以降の正方形が可換であることを示し、gₙの定義を用いて外側の正方形の可換性を確立する。
• δ^{(n+1)}を定義する垂直合成がC^{⊗_R n}上で一致すること、同様に対称代数成分に対しても同様の一致が成り立つことを利用して、問題を核の自明性の確認に還元する。

実験結果

リサーチクエスチョン

• RQ1 Lie-Rinehart代数の普遍包あらゆる代数が、ホップ代数に類似した双代数構造をどれほど持っているか。
• RQ2 Lie-Rinehart代数に対して、Cartier-Milnor-Moore型の定理を確立でき、その普遍包あらゆる代数が原始的元上で生成される自由な可換代数として特徴づけられるか。
• RQ3 普遍包あらゆる代数の代数的構造とその余乗法が、元のLie-Rinehart代数のR加群およびリー代数構造とどのように相互作用するか。
• RQ4 対称代数とそのテンソル積の間の標準的写像が、双代数構造とどの程度整合するか。
• RQ5 図式における垂直合成の共通核が自明であるか。これにより、双代数図式の上部正方形の可換性が保証されるか。

主な発見

• Lie-Rinehart代数Lの普遍包あらゆる代数U(R,L)は、自然なR双代数構造を備えており、著者らはこれをRinehart双代数と呼ぶ。
• 本稿は、Rinehart双代数に対してCartier-Milnor-Moore型の定理を確立し、このような双代数が原始的元の空間上の対称代数と同型であることを証明する。
• U(R,L)上の余乗法はR加群およびリー代数構造と整合しており、双代数構造は自然にLie-Rinehart代数の公理から生じる。
• 図式の上部正方形の可換性は、垂直合成の共通核が自明であることを示すことにより証明され、n ≥ 2に対して写像Δ̄: Sⁿ_R(V) → ⊕_{p₁+p₂=n} (S^{p₁} ⊗_R S^{p₂}) の分解単射性に依拠する。
• 帰納法と、δ^{(n+1)}を定義する垂直合成がC^{⊗_R n}上で一致することを用いて、図式の各段階での一貫性を保証する。
• 結果として、古典的なホップ代数の双対性がLie-Rinehart設定へ一般化され、U(R,L)がその原始的元上で生成される自由な可換代数として特徴づけられることが示された。