跳至內容

泛包絡代數

維基百科,自由的百科全書

數學中,我們可以構造任意李代數 泛包絡代數 。李代數一般並非結合代數,但泛包絡代數則是帶乘法單位元的結合代數。李代數的表示理論可以理解為其泛包絡代數的表示理論。在幾何上,泛包絡代數可以解釋為李群上的左不變微分算子。

泛性質

以下固定 。首先注意到:對任意帶乘法單位元的 -結合代數 ,定義括積 ,可視 為李代數。

泛包絡代數係指帶單位元的結合代數 及一個指定的李代數同態 。這對資料由下述泛性質刻劃:

對任意帶乘法單位元的 -結合代數 , 若存在李代數同態

則存在唯一的代數同態

使之滿足

換言之,函子 滿足下述關係:

藉此,可視 (單位結合代數)(李代數)的左伴隨函子

構造方式

首先考慮張量代數 ,此時有自然的包含映射 。取 為下列元素生成的雙邊理想

定義

所求的映射 與商映射的合成。容易驗證 保存李括積。

根據上述構造,可直接驗證所求的泛性質。

基本性質

  • 可交換,則 亦然;此時 同構於多項式代數。
  • 來自李群 ,則 可理解為 上的左不變微分算子。
  • 的中心 顯然包含 ,但不僅如此,通常還包括更高階的元素,例如喀希米爾元素;這種元素給出李群上的拉普拉斯算子

龐加萊-伯克霍夫-維特定理

龐加萊-伯克霍夫-維特定理是泛包絡代數的根本定理之一。取定有限維李代數 的基 ,此定理斷言

的基。此定理的直接推論是: 為單射。

表示理論

在泛性質中取 ,其中 為任意向量空間,遂可等同 的表示與 的表示,後者不外是 -。藉此觀點,李代數表示理論可視為模論的一支。

群代數之於群表示一如泛包絡代數之於李代數的表示。兩者都具有霍普夫代數結構。

文獻

  • Dixmier, Jacques, Enveloping algebras. Revised reprint of the 1977 translation. Graduate Studies in Mathematics, 11. American Mathematical Society, Providence, RI, 1996. xx+379 pp. ISBN 0-8218-0560-6