跳至內容

Verma模

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

Verma模(Verma module)是李代數表示理論中的基本研究對象,其名取自Daya-Nand Verma。Verma模之間的態射相應於旗流形上的不變微分算子

可用Verma模來證明以下命題:最高權最高權表示的維數有限,若且僅若支配整權dominant integral weight)。

Verma模的定義

設:

  • 為一域;
  • ,為上一半單李代數
    • 為其泛包絡代數
    • 為其一Borel子代數
      • 為其泛包絡代數
    • 為其一嘉當子代數
  • 為一固定之
  • 上的一維向量空間, 賦與-結構:的作用為「乘以」,正根的作用為零。由於是一左-模,他同時亦是一左-模。
  • Poincaré-Birkhoff-Witt定理有一自然右-模結構。由於亦是一左-模, 所以是-雙模
  • 定義(最高權為之)Verma模

此自然地是一左-模。從Poincaré-Birkhoff-Witt定理可知:,作為一向量空間,同構於

其中之負根生成之子李代數。

基本性質

作為-模,Verma模是一最高權表示,即整個模由一最高權向量生成。此最高權向量是的像(其中前之單位,後為域之單位元);其權為

Verma模是weight modules,即是其權子空間直和。每一權子空間是有限維的,其維度是寫成正根之和之方法之數(參見Kostant partition function)。

Verma模有一重要性質:若為任一最高權模,其最高權為,則存在一 滿射。換言之,任何最高權模都是的商模。

內存在唯一極大子模,而與此子模之商是不可約的。

Verma模本身不可約 若且僅若 當其最高權分解成基本權fundamental weight英語fundamental weight)之和時,每一系數都不是

稱Verma模regular,若其最高權λ位於一支配權之仿射Weyl軌跡上。換言之,存在Weyl羣的元素w,使

其中是Weyl羣的仿射作用

稱Verma模singular,若λ的仿射軌跡上無支配權。此時,存在權使落於基本Weyl室之牆上;(其 中δ為各基本權之和)。

Verma模之間的態射

為兩。若存在態射

Weyl羣仿射作用必然能把帶到。此為Harish-Chandra無限小中心特徵標定理之一推論。

每一Verma模 態射都是單射。態射空間之維度

其中為任何兩權。因此,存在一非零態射若且僅若 同構的一(唯一)子模。

Verma模態射的完整分類來自I.N.伯恩斯坦、I.M.蓋爾芳特 與S.I.蓋爾芳特 的工作[1]與N. Verma的工作[2]。簡言之,

存在非零態射

若且僅若 存在一串

使得存在正根使(其中根反映根系),而是所有基本權之和)且對每一為一自然數(其中是根對偶根coroot英語coroot))。

若Verma模俱為regular,則僅存支配權Weyl羣w, w′使

P

而且

其中為Weyl羣的仿射作用。設此等權是整權integral weight英語integral weight)。存在非零態射

若且僅若,在Weyl羣WBruhat次序中,

Jordan-Holder序列

為一-模序列,其中B/A為不可約表示,其最高權為μ。則存在非零態射

推論: 設為二最高權表示。若

則存在非零態射

伯恩斯坦-蓋爾芳特-蓋爾芳特 分解

李代數的一有限維不可約表示,其最高權為λ。我們已知:存在非零態射

若且僅若,在其Weyl羣Bruhat次序中,

以下定理描述如何分解成Verma模的正合序列。 (此定理出現於 伯恩斯坦-蓋爾芳特-蓋爾芳特1975年的論文[3]):

存在由-態射組成的正合序列

其中n為Weyl羣最長元之長度。

一般研究員簡稱其為「BGG分解」。 廣義Verma模亦有類似分解。

近來有人研究此等分解之某些特例,以助理解拋物幾何parabolic geometries英語parabolic geometries嘉當幾何之特例)上之不變微分算子。嘉當幾何的定義依賴於一李羣G與其拋物子羣P。參閲[4][5][6]

參攷

  • Knapp, A. W. Lie Groups Beyond an troduction. Second Edition. (2002), page 285.
  • Dixmier, J., Enveloping Algebras, North-Holland, Amsterdam, New York, Oxford, 1977
  • Humphreys J., Introduction to Lie Algebras and Representation Theory, Springer Verlag, 1980
  • Roggenkamp K., Stefanescu M., Algebra - Representation Theory, Springer, 2002

註解

  1. ^ Bernstein I.N., Gelfand I.M., Gelfand S.I., Structure of Representations that are generated by vectors of highest weight, Functional. Anal. Appl. 5 (1971)
  2. ^ Verma N., Structure of certain induced representations of complex semisimple Lie algebras}, Bull. Amer. Math. Soc. 74 (1968)
  3. ^ Bernstein I.N., Gelfand I.M., Gelfand S.I., Differential Operators on the Base Affine Space and a Study of g-Modules, Lie Groups and Their Representations, I. M. Gelfand, Ed., Adam Hilger, London, 1975.}
  4. ^ Eastwood M., Variations on the de Rham complex, Notices Amer. Math. Soc, 1999 - ams.org
  5. ^ Calderbank D.M., Diemer T., Differential invariants and curved Bernstein-Gelfand-Gelfand sequences, Arxiv preprint math.DG/0001158, 2000 - arxiv.org
  6. ^ Cap A., Slovak J., Soucek V., Bernstein-Gelfand-Gelfand sequences, Arxiv preprint math.DG/0001164, 2000 - arxiv.org

參見

本條目含有來自PlanetMathVerma module》的內容,版權遵守知識共享協議:署名-相同方式共享協議