The Witt algebra over
is the Lie algebra of derivations of
. With basis
for
, its bracket is
The Virasoro algebra adds a central term to this bracket and has the Witt algebra as its quotient by the central line. This derivation convention fixes the sign in the bracket used for conformal modes.