Statement

For the standard symplectic space R2n\mathbb R^{2n}, there is no on the full Poisson algebra of polynomial observables that simultaneously extends the Schrödinger quantization of the canonical affine observables, sends 11 to the identity, satisfies the exact Dirac rule

[Q(f),Q(g)]=iQ({f,g}),[Q(f),Q(g)]=i\hbar Q(\{f,g\}),

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 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
  1. H. J. Groenewold, “On the Principles of Elementary Quantum Mechanics,” Physica 12 (1946), 405–460. DOI record80059-4). Relevant: the original polynomial obstruction.
  2. M. J. Gotay, “On the Groenewold–Van Hove Problem for R2n\mathbb R^{2n},” Journal of Mathematical Physics 40 (1999), 2107–2116. arXiv record. Relevant: rigorous formulation and the maximal quantizable polynomial subalgebras.