Moyal product
In mathematics, the Moyal product (after José Enrique Moyal; also called the star product or Weyl–Groenewold product, after Hermann Weyl and Hilbrand J. Groenewold) is perhaps the bestknown example of a phasespace star product. It is an associative, noncommutative product, ★, on the functions on ℝ^{2n}, equipped with its Poisson bracket (with a generalization to symplectic manifolds, described below). It is a special case of the ★product of the "algebra of symbols" of a universal enveloping algebra.
Historical commentsEdit
The Moyal product is named after José Enrique Moyal, but is also sometimes called the Weyl–Groenewold product as it was introduced by H. J. Groenewold in his 1946 doctoral dissertation, in a trenchant appreciation^{[1]} of the Weyl correspondence. Moyal actually appears not to know about the product in his celebrated article^{[2]} and was crucially lacking it in his legendary correspondence with Dirac, as illustrated in his biography.^{[3]} The popular naming after Moyal appears to have emerged only in the 1970s, in homage to his flat phasespace quantization picture.^{[4]}
DefinitionEdit
The product for smooth functions f and g on ℝ^{2n} takes the form
where each C_{n} is a certain bidifferential operator of order n characterized by the following properties (see below for an explicit formula):

Deformation of the pointwise product — implicit in the formula above.

Deformation of the Poisson bracket, called Moyal bracket.

The 1 of the undeformed algebra is also the identity in the new algebra.

The complex conjugate is an antilinear antiautomorphism.
Note that, if one wishes to take functions valued in the real numbers, then an alternative version eliminates the in condition 2 and eliminates condition 4.
If one restricts to polynomial functions, the above algebra is isomorphic to the Weyl algebra A_{n}, and the two offer alternative realizations of the Weyl map of the space of polynomials in n variables (or the symmetric algebra of a vector space of dimension 2n).
To provide an explicit formula, consider a constant Poisson bivector Π on ℝ^{2n}:
where Π^{ij} is a complex number for each i, j.^{[clarification needed]}
The star product of two functions and can then be defined as
where ħ is the reduced Planck constant, treated as a formal parameter here. This is a special case of what is known as the Berezin formula^{[5]} on the algebra of symbols and can be given a closed form^{[6]} (which follows from the Baker–Campbell–Hausdorff formula). The closed form can be obtained by using the exponential:
where is the multiplication map, , and the exponential is treated as a power series:
That is, the formula for is
As indicated, often one eliminates all occurrences of above, and the formulas then restrict naturally to real numbers.
Note that if the functions f and g are polynomials, the above infinite sums become finite (reducing to the ordinary Weylalgebra case).
The relationship of the Moyal product to the generalized ★product used in the definition of the "algebra of symbols" of a universal enveloping algebra follows from the fact that the Weyl algebra is the universal enveloping algebra of the Heisenberg algebra (modulo that the center equals the unit).
On manifoldsEdit
On any symplectic manifold, one can, at least locally, choose coordinates so as to make the symplectic structure constant, by Darboux's theorem; and, using the associated Poisson bivector, one may consider the above formula. For it to work globally, as a function on the whole manifold (and not just a local formula), one must equip the symplectic manifold with a torsionfree symplectic connection. This makes it a Fedosov manifold.
More general results for arbitrary Poisson manifolds (where the Darboux theorem does not apply) are given by the Kontsevich quantization formula.
ExamplesEdit
A simple explicit example of the construction and utility of the ★product (for the simplest case of a twodimensional euclidean phase space) is given in the article on the Wigner–Weyl transform: two Gaussians compose with this ★product according to a hyperbolic tangent law:^{[7]}
(Note the classical limit, ħ → 0.)
Every correspondence prescription between phase space and Hilbert space, however, induces its own proper ★product.^{[8]}^{[9]}
Similar results are seen in the Segal–Bargmann space and in the theta representation of the Heisenberg group, where the creation and annihilation operators and are understood to act on the complex plane (respectively, the upper halfplane for the Heisenberg group), so that the position and momenta operators are given by and . This situation is clearly different from the case where the positions are taken to be realvalued, but does offer insights into the overall algebraic structure of the Heisenberg algebra and its envelope, the Weyl algebra.
ReferencesEdit
 ^ H. J. Groenewold, "On the Principles of elementary quantum mechanics", Physica,12 (1946) pp. 405–460.
 ^ Moyal, J. E.; Bartlett, M. S. (1949). "Quantum mechanics as a statistical theory". Mathematical Proceedings of the Cambridge Philosophical Society. 45: 99. Bibcode:1949PCPS...45...99M. doi:10.1017/S0305004100000487.
 ^ Ann Moyal, "Maverick Mathematician: The Life and Science of J. E. Moyal", ANU Epress, 2006.
 ^ Curtright, T. L.; Zachos, C. K. (2012). "Quantum Mechanics in Phase Space". Asia Pacific Physics Newsletter. 1: 37. arXiv:1104.5269. doi:10.1142/S2251158X12000069.
 ^ F. A. Berezin, "Some remarks about the associated envelope of a Lie algebra", Funct. Anal. Appl. 1 (1967) p. 91.
 ^ Xavier Bekaert, "Universal enveloping algebras and some applications in physics" (2005) Lecture, Modave Summer School in Mathematical Physics.
 ^ C. Zachos, D. Fairlie, and T. Curtright, "Quantum Mechanics in Phase Space" (World Scientific, Singapore, 2005) ISBN 9789812383846.
 ^ Cohen, L. (1995) TimeFrequency Analysis, PrenticeHall, New York, 1995. ISBN 9780135945322.
 ^ Lee, H. W. (1995). "Theory and application of the quantum phasespace distribution functions". Physics Reports. 259 (3): 147. Bibcode:1995PhR...259..147L. doi:10.1016/03701573(95)000074.