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]. #m/def/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๐‘‘๐‘‘๐‘ก=โˆ’๐‘ก๐‘›๐‘ก๐‘‘๐‘‘๐‘ก[๐‘‘๐‘š,๐‘‘๐‘›]=(๐‘šโˆ’๐‘›)๐‘‘๐‘š+๐‘›๐‘š,๐‘›โˆˆโ„ค
Proof of equivalence

Let ๐”ก denote the first characterization. Let ๐‘‡ โˆˆ๐”ก, and set ๐‘(๐‘ก) =๐‘‡(๐‘ก). Then

๐‘‡(1)=๐‘‡(1โ‹…1)=๐‘‡(1)+๐‘‡(1)

whence ๐‘‡(1) =0, furthermore

0=๐‘‡(๐‘ก๐‘กโˆ’1)=๐‘‡(๐‘ก)๐‘กโˆ’1+๐‘ก๐‘‡(๐‘กโˆ’1)

whence ๐‘‡(๐‘กโˆ’1) = โˆ’๐‘กโˆ’2๐‘‡(๐‘ก). Since these results hold for ๐‘‡๐‘(๐‘ก) in place of ๐‘‡, these two operators concur for all powers of ๐‘ก.

In charโก๐•‚ =0, the Witt algebra admits a unique nontrivial 1-dimensional central extension, the Virasoro algebra.

Properties

๐”ญ=๐•‚๐‘‘โˆ’1+๐•‚๐‘‘0+๐•‚๐‘‘1โ‰…๐–ซ๐—‚๐–พ๐•‚๐”ฐ๐”ฉ2โก๐•‚


#state/tidy | #lang/en | #SemBr

Footnotes

  1. 1988. Vertex operator algebras and the Monster, ยง1.9, pp. 31โ€“32 โ†ฉ