coproduct from exponentials

Let $\hat{x}_i \mapsto \hat{x}^\phi :=\sum_{j=1}^n x_j\phi^j_i(\partial^1,\ldots,\partial^n)$ be the formula (on generators) for a realization of an enveloping algebra of a finite dimensional Lie algebra $L$ over a field $k$ in characteristic zero with basis $\hat{x}_1,\ldots,\hat{x}_n$ via formal differential operators with linear coefficients; here $x_1,\ldots,x_n$ are the commutative coordinates $\partial^i = \partial/\partial x_i$ and $\phi^j_i$ is a formal power series of the form $\delta^j_i + higher order$. The realization $\hat{f}\mapsto \hat{f}^\phi$ is a homomorphism of associative algebras $U(L)\to \hat{A}_{n,k}$ where $\hat{A}_{n,k}$ is the $n$-the order Weyl algebra over $k$ completed with respect to the filtration given by the order of differential operator. This Weyl algebra has the Fock representation on $S(L)$ where the unit element will be denote by $|0\rangle$ and called the (undeformed) vacuum.

Define $\xi^{-1}_\phi : U(L)\to S(L)$ by $\hat{u} \mapsto \hat{u}^\phi |0\rangle$; it appears that this map is an isomorphism of $k$-coalgebras and its inverse is denoted by $\xi : S(L)\to U(L)$. The star product on $S(L)$ is obtained by the transport via $\xi$ of the noncommutative product on $U(L)$ i.e. $\xi(f\ast g) = \xi(f)\cdot_{U(L)}\xi(g)$.

The formal power series in $L^*$ form a ring $\hat{S}(L^*)$ with an isomorphism of $k$-vector spaces $\hat{S}(L^*)\cong S(L)^*$ where the linear dual $S(L)^*= Hom(L,k)$ is on the right hand side. The dual variables to $x_i$ are $\partial^i$ and the isomorphism with the linear dual is determining by considering polynomials in $\partial$-s as the constant coefficient differential operator and defining the pairing with $x$-s by applying the formal differential operator and evaluating the result at zero,

The star product (which depends on $\phi$) on $S(L)$ is dualized to $S(L)^*$ gives a topological coassociative coproduct which is transferred via the isomorphism $S(L)^*\cong \hat{S}(L^*)$. Over there, several alternative definitions of the coproduct, depending on $\phi$, are possible. One of them is via deformed Leibniz rules i.e. by asking for

$m_\ast \Delta(P(\partial))(f\otimes g) = P(\partial) (f\ast g) for every P(\partial)\in S(L^*).$

where $m_\ast(f\otimes g) :=f\ast g$ and $\partial = (\partial^1,\ldots,\partial^n)$.

Though the star product is well defined on polynomials and not on general formal power series, it is still well defined on some subspace of the space of formal power series, and one can include the exponential of linear expressions in $\hat{x}_i$ among allowed power series. Exponentials are dense and hence if there is a candidate for $\Delta(\partial)$ which gives the correct Leibniz rule on all star products of exponentials (and if the formula is continuous in each variable) then it holds for all $f$ and $g$.

Thus it is sufficients to calculate $\partial_i(e^{i k x}\star e^{i q y})$ and extend to series in $\partial^i$ by multiplicativity of coproduct. Here $i k x$ denoted the scalar product $i\sum k^j x_j$ for $k = (k^1,\ldots,k^n)$ and $i =\sqrt{-1}$ (one can work without $i$ in the formulas, if $\sqrt{-1}$ is not in the field).

Define the vector $K(p,q)$ by

$e^{i p\hat{x}^\phi}(e^{i q x}) := e^{i K(p,q)x}$

(it is not difficult to show that the left hand side can be written in the form of the right hand side for some $K(k,q)$, see the article Meljanac, Škoda, Svrtan). Let $K_0(k) = K(k,0)$, then $exp(i p\hat{x}^\phi)|0\rangle = exp(i K_0(p)x)$ and $\xi(exp(i p x)) = exp(i K_0^{-1}(p)\hat{x})$ where $K_0^{-1}$ is the inverse of $K_0$.

By the definition of star product $\ast$ and of $\xi^{-1}$,

$e^{ikx}\ast e^{iqx} = e^{iK_0^{-1}(k)\hat{x}^\phi} (e^{iqx})$

and we calculate

$\array{
\partial^j(e^{ikx}\ast e^{iqx}) &=&\partial^j( e^{i K_0^{-1}(k)\hat{x}^\phi} (e^{iqx}))
\\&=& i K^j(K_0^{-1}(k),q)e^{i K(K_0^{-1}(k),q)x}
\\&=& i m_\ast K^j(K_0^{-1}(k\otimes 1),1\otimes q)(e^{i k x}\otimes e^{i q x})
\\&=& i m_\ast K^j(K_0^{-1}(-i\partial\otimes 1),1\otimes (-i\partial))(e^{i k x}\otimes e^{i q x}).
}$

Hence $\Delta (\partial^j) = i K^j(K_0^{-1}(-i\partial^1\otimes 1,\ldots,-i\partial^n\otimes 1),-i1\otimes \partial^1,\ldots,-i1\otimes\partial^n).$

In particular if $\phi$ is the universal formula, $\xi$ is the symmetrization map, $K(k,q) = k+q$ and $\Delta(\partial^j) = \partial^j\otimes 1+1\otimes \partial^j$. Some physics literature denotes $K(k,q)$ in general by $k\oplus q$. The main innovation in our approach is to systematically use realizations of the form above. For $K$ we can write differential equations as in the article below.

This is used in coproduct for Ugln dual.

- S. Meljanac, D. Svrtan, Z. Škoda,
*Exponential formulas and Lie algebra type star products*, arxiv/1006.0478

Created on July 28, 2011 at 12:46:39. See the history of this page for a list of all contributions to it.