A universal formula for representing Lie algebra generators as formal power series with coefficients in the Weyl algebra.

Nikolai Durov, Stjepan Meljanac, Andjelo Samsarov, Zoran Skoda

Given a $n$-dimensional Lie algebra $g$ over a field $k \supset \mathbb Q$,together with its vector space basis $X^0_1,…, X^0_n$, we give a formula,depending only on the structure constants, representing the infinitesimalgenerators, $X_i = X^0_i t$ in $g\otimes_k k [[t]]$, where $t$ is a formalvariable, as a formal power series in $t$ with coefficients in the Weyl algebra$A_n$. Actually, the theorem is proved for Lie algebras over arbitrary rings$k\supset Q$.

We provide three different proofs, each of which is expected to be useful forgeneralizations. The first proof is obtained by direct calculations withtensors. This involves a number of interesting combinatorial formulas instructure constants. The final step in calculation is a new formula involvingBernoulli numbers and arbitrary derivatives of coth(x/2). The dimensions ofcertain spaces of tensors are also calculated. The second method of proof isgeometric and reduces to a calculation of formal right-invariant vector fieldsin specific coordinates, in a (new) variant of formal group scheme theory. Thethird proof uses coderivations and Hopf algebras.