Witt algebra
Let
Then
and a basis is given by
Proof of equivalence
Let
denote the first characterization. Let π‘ , and set π β π‘ . Then π ( π‘ ) = π ( π‘ ) π ( 1 ) = π ( 1 β 1 ) = π ( 1 ) + π ( 1 ) whence
, furthermore π ( 1 ) = 0 0 = π ( π‘ π‘ β 1 ) = π ( π‘ ) π‘ β 1 + π‘ π ( π‘ β 1 ) whence
. Since these results hold for π ( π‘ β 1 ) = β π‘ β 2 π ( π‘ ) in place of π π ( π‘ ) , these two operators concur for all powers of π . π‘
In
Properties
- For any
,π β β forms a Lie subalgebra isomorphic to [[Special linear Lie algebra|s p a n β‘ { π β π , π 0 , π π } ]], in particularπ° π© 2 β‘ π
Footnotes
-
1988. Vertex operator algebras and the Monster, Β§1.9, pp. 31β32 β©