Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The Moyal product of two smooth functions $f,g$ on $\mathbb R^{2n}$ can be defined as $$ f\star g = \exp\left(-\omega^{ij} \frac{\partial}{\partial y^i} \frac{\partial}{\partial z^j}\right) f(y)g(z) \vert_{z=y}. $$

where $\omega^{ij}$ are the components of a symplectic form. There is a similar formula for the Clifford product (where instead of derivatives there are interior products) when translated to the exterior algebra.

In both cases the product is associative and I've seen many references say that it is easy to check that the Moyal product is associative (directly, without appealing to a symbol map).

Unfortunately I do not see an easy way to check associativity. I was also wondering if this sort of product is a standard thing, considering that I've seen it in two contexts (though I guess they are very much related as the Clifford algebra is a deformation of the exterior algebra and the Moyal product gives a deformation quantization of $\mathbb R^{2n}$).

Thanks.

share|improve this question
add comment

1 Answer

up vote 2 down vote accepted

$\def\dd#1{\tfrac{\partial}{\partial #1}}$Observe first that $$\dd{x}\Big(f(x,y)|_{x=y}\Big) = \Bigg(\Big(\dd x+\dd y\Big)f(x,y)\Bigg)\Bigg|_{x=y}$$

Let us write $E(\dd{y}, \dd{z})=\exp(-\omega^{i,j}\dd{y^i}\dd{z^j})$, so that $$ (f\star g)(x)=\Big(E(\dd{x},\dd{y})\cdot\big(f(x)g(y)\big)\Big)\Big|_{x=y}$$ and consequently \begin{align} ((f\star g)\star h)(x)&=\Bigg[E(\dd x,\dd z)\cdot\Bigg(\Big(E(\dd{x},\dd{y})\cdot\big(f(x)g(y)\big)\Big)\Big|_{x=y} h(z)\Bigg)\Bigg]\Bigg|_{x=z}\\ &=\Bigg[E(\dd x+\dd y,\dd z)E(\dd x,\dd y)\cdot f(x)g(y)h(z)\Bigg]\Bigg|_{x=y=z} \\ &=\Bigg[E(\dd x,\dd z)E(\dd y,\dd z)E(\dd x,\dd y)\cdot f(x)g(y)h(z)\Bigg]\Bigg|_{x=y=z}\end{align}

Computing the product in the other order, we get a similar expression, which only differs in the differential operator involved: it is a product of the same three factors in a different order. Since these factors commute, this is not a problem.

share|improve this answer
1  
Ah, thanks a lot for the answer, Mariano! That crucial step in the last line of using the properties of $\exp$ is what I kept missing. –  Eric O. Korman Oct 1 '11 at 2:59
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.