paper

On the nature of the Virasoro algebra

arXiv:math/9904187 · doi:10.2991/jnmp.1999.6.2.7

Abstract

The multiplication in the Virasoro algebra \[ [e_p, e_q] = (p - q) e_{p+q} + θ\left(p^3 - p\right) δ_{p + q}, \qquad p, q \in {\mathbf Z}, \] \[ [θ, e_p] = 0, \] comes from the commutator in a quasiassociative algebra with the multiplication \renewcommand{\theequation}{} \be \ba{l} \ds e_p * e_q = - {q (1 + εq) \over 1 + ε(p + q)} e_{p+q} + {1 \over 2} θ\left[p^3 - p + \left(ε- ε^{-1} \right) p^2 \right] δ^0_{p+q}, \vspace{3mm}\\ \ds e_p * θ= θ* e_p = 0. \ea \ee The multiplication in a quasiassociative algebra satisfies the property \renewcommand{\theequation}{} \be a * (b * c) - (a * b) * c = b * (a * c) - (b * a) * c, \qquad a, b, c \in {\cal R}. \ee This property is necessary and sufficient for the Lie algebra {\it Lie} to have a phase space. The above formulae are put into a cohomological framework, with the relevant complex being different from the Hochschild one even when the relevant quasiassociative algebra becomes associative. Formula above also has a differential-variational counterpart.

References in corpus (1)

Cited by in corpus (10)