Differential geometry Definition
Moyal product
Builds on Poisson bracketWeyl quantizationDeformation quantization
Definition
Let and let be a formal parameter. Write points of as with . Let be smooth functions on . Their Moyal product is the formal power series The exponential is expanded as its power series. So the coefficient of is a bidifferential operator of order in each argument.
Remarks
The first terms are , where is the Poisson bracket. The product is associative, and . If or is a polynomial, the series stops after finitely many terms, and then can be given a numerical value. For Schwartz functions and a positive number , an integral formula defines a product with . Here is the Weyl quantization, and the series above is the asymptotic expansion of this product as .
Example: for , and , since all derivatives of order vanish. So , which matches .
Non-example: the ordinary pointwise product is the term of order only; it is commutative, so it does not reproduce the commutator .
The Moyal product is a star product in the sense of deformation quantization for the standard Poisson structure on .
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Deformation quantization concept
- Poisson bracket concept
- Weyl quantization concept
- Moyal product definition
Further reading
About this page
| Tag | ZKF5C5ST8H |
|---|---|
| URI | m2://ZKF5C5ST8H |
| Kind | definition |
| Writing | W0 stub |
| MSC | 53D55, 81S30 |
| Defines | Moyal product |
| Uses | Poisson bracket, Weyl quantization, Deformation quantization |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.