First put the nonabelian two-dimensional Lie algebra in a convenient form. For any basis , let . Then and . Since , some linear combination of has . In particular, are linearly independent. Taking gives a basis withThis is the affine Lie algebra of the line.
Every alternating bilinear form on this vector space isFor any alternating bilinear form , the expressionis an alternating trilinear form: it is trilinear, and setting any two arguments equal makes the terms cancel. Every alternating trilinear form on a two-dimensional vector space vanishes, since any triple is linearly dependent. Hence every satisfies the Lie algebra two-cocycle condition, and there are no others:
Articles by others on the same topic
There are currently no matching articles.