Lie algebras MOC

Witt algebra

Let 𝕂[𝑑,π‘‘βˆ’1] denote the algebra of Laurent polynomials over a field 𝕂. The Witt algebra 𝔑 =𝔑𝔒𝔯⁑(𝕂[𝑑,π‘‘βˆ’1]) over 𝕂 is the derivation subalgebra of the Lie algebra End𝕂⁑𝕂[𝑑,π‘‘βˆ’1]. lie It is equivalently characterized as follows:1 For each 𝑝(𝑑) βˆˆπ•‚[𝑑,π‘‘βˆ’1], define the derivation

𝑇𝑝(𝑑)=𝑝(𝑑)𝑑𝑑𝑑

Then 𝔑 ={𝑇𝑝(𝑑) :𝑝(𝑑) βˆˆπ•‚[𝑑,π‘‘βˆ’1]} is the Lie algebra of such derivations. The bracket may be expressed as

[𝑇𝑝(𝑑),π‘‡π‘ž(𝑑)]=𝑇𝑝(𝑑)π‘žβ€²(𝑑)βˆ’π‘ž(𝑑)𝑝′(𝑑)

and a basis is given by

𝑑𝑛=βˆ’π‘‘π‘›+1𝑑𝑑𝑑=βˆ’π‘‘π‘›π‘‘π‘‘π‘‘π‘‘[π‘‘π‘š,𝑑𝑛]=(π‘šβˆ’π‘›)π‘‘π‘š+π‘›π‘š,π‘›βˆˆβ„€

In char⁑𝕂 =0, the Witt algebra admits a unique nontrivial 1-dimensional central extension, the Virasoro algebra.

Properties

  • For any 𝑛 βˆˆβ„•, span⁑{π‘‘βˆ’π‘›,𝑑0,𝑑𝑛} forms a Lie subalgebra isomorphic to [[Special linear Lie algebra|𝔰𝔩2⁑𝕂]], in particular
𝔭=π•‚π‘‘βˆ’1+𝕂𝑑0+𝕂𝑑1≅𝖫𝗂𝖾𝕂𝔰𝔩2⁑𝕂


tidy | en | SemBr

Footnotes

  1. 1988. Vertex operator algebras and the Monster, Β§1.9, pp. 31–32 ↩