Theorem
Groenewold–Van Hove theorem
The obstruction to extending canonical quantization consistently to every polynomial observable on a finite-dimensional linear phase space.
Statement
For the standard symplectic space , there is no quantization map on the full Poisson algebra of polynomial observables that simultaneously extends the Schrödinger quantization of the canonical affine observables, sends to the identity, satisfies the exact Dirac rule
and obeys the standard domain and irreducibility requirements. This impossibility is the Groenewold–Van Hove theorem.
Quantizable polynomial subalgebras
The obstruction does not prevent every useful exact quantization. The polynomials of degree at most two form a Lie algebra under the Poisson bracket and admit the extended metaplectic quantization. The theorem says that this construction cannot be extended consistently to all higher-degree polynomials under the same axioms. Thus the failure is not a contradiction inside quantum mechanics; it is a limit on a particular exact classical-to-quantum correspondence.
Source of the contradiction
Classically, a polynomial may admit distinct expressions as Poisson brackets. Applying the exact Dirac rule to those expressions can force incompatible operator identities once the canonical position and momentum operators are fixed. Ordering corrections cannot make all such identities agree at once.
Scope
Precise formulations differ in the chosen basic algebra, operator domain, irreducibility hypothesis, and meaning of functional calculus. Weaker schemes evade the theorem: one may quantize a smaller Poisson subalgebra, require only an asymptotic commutator formula, or replace operator multiplication by a star product. The theorem should therefore not be paraphrased as saying that “quantization is impossible.”
References
- H. J. Groenewold, “On the Principles of Elementary Quantum Mechanics,” Physica 12 (1946), 405–460. DOI record80059-4). Relevant: the original polynomial obstruction.
- M. J. Gotay, “On the Groenewold–Van Hove Problem for ,” Journal of Mathematical Physics 40 (1999), 2107–2116. arXiv record. Relevant: rigorous formulation and the maximal quantizable polynomial subalgebras.