The Groenewold–van Hove no-go theorem

Intuition Beginner

Classical mechanics describes a system by smooth functions on phase space — position $q$, momentum $p$, energy, and every combination of these. Quantum mechanics replaces each such function by an operator that acts on wavefunctions. Dirac proposed a clean dictionary: take a classical function $f$, hand back an operator $\hat{f}$, and demand that the classical Poisson bracket $\{f,g\}$ turn into the quantum commutator (divided by a factor of $\hslash$). The hope was that this rule, applied to every classical quantity at once, would build the whole of quantum mechanics from the geometry of phase space.

The Groenewold–van Hove theorem says the hope is too strong. You cannot consistently promote every classical quantity to a quantum operator while keeping all of Dirac's rules. The dictionary works perfectly for the basics — position, momentum, the energy of a free particle, the harmonic oscillator — and for everything you can build from them by addition and by brackets, up to a certain level of complexity. But at the level of cubic and quartic expressions, where products like $q^2{p}^2$ appear, the rules start to disagree with each other.

The disagreement is sharp. You can compute the operator for one of these higher quantities in two different ways, each fully sanctioned by the rules, and the two answers come out different — they differ by a definite amount built from $\hslash$. Since both routes are legal, the rules contradict themselves. There is no escape by being clever about ordering the operators: the mismatch is forced.

The moral is that quantisation is necessarily partial. There is a largest, well-behaved family of classical quantities — roughly, those at most quadratic in position and momentum — that can be quantised together with no contradiction. Beyond that family, any quantisation scheme must give up one of Dirac's demands. The prequantisation step of the previous units keeps the whole bracket rule but pays by acting on too large a space; adding a polarisation shrinks the space back down but pays by quantising only the well-behaved family.

Visual Beginner

A pyramid of classical observables drawn in horizontal layers by polynomial degree. The bottom two layers — constants, the linear functions $q$ and $p$, and the quadratic functions $q^2,p^2,qp$ — are shaded solid green and labelled "consistently quantisable". A bright line runs across the pyramid just above the quadratic layer. Everything above the line — the cubic terms $q^3,q^{2}p,\dots$, then the quartics — is shaded faded red and labelled "obstruction lives here".

The single picture to keep: the green base is the metaplectic family — the Heisenberg generators together with the quadratics that rotate and squeeze phase space — and the red obstruction begins exactly one layer up, at cubic order, where two legal computations of the same quantity first disagree.

Worked example Beginner

Watch the two routes clash on a concrete quantity. We work on the plane with position $q$ and momentum $p$, and we accept Dirac's rules for the pieces we already trust: $q$ becomes multiplication by $q$, and $p$ becomes the momentum operator, with the canonical commutator between them fixed by $\hslash$.

Step 1. Express the quartic $q^2{p}^2$ as a Poisson bracket in two different ways. A short calculation with the classical bracket gives $$ {q^2 p, q p^2} = 3, q^2 p^2, \qquad \tfrac{1}{9}{q^3, p^3} = q^2 p^2. $$ So the same classical function $q^2{p}^2$ equals $\frac{1}{3}\{q^{2}p,q{p}^2\}$ and also $\frac{1}{9}\{q^3,p^3\}$. Classically these agree, because both equal $q^2{p}^2$.

Step 2. Now quantise. The cubics $q^3$ and $p^3$ have a forced operator (only one ordering is symmetric), and so do $q^{2}p$ and $q{p}^2$. Apply Dirac's rule — bracket becomes commutator over $\hslash$ — to each route. Computing the two commutators and dividing by the right factors produces two candidate operators for $\widehat{q^2{p}^2}$.

Step 3. Compare. The two candidates are not equal. Their difference is a fixed multiple of ${\hslash }^2$ times the identity: $$ \tfrac{1}{3},\widehat{{q^2p, qp^2}} ;-; \tfrac{1}{9},\widehat{{q^3, p^3}} ;=; \tfrac{1}{3},\hbar^2, I ;\neq; 0. $$

What this tells us: both routes used only the trusted rules, yet they disagree by $\frac{1}{3}{\hslash }^2$. No choice of ordering removes the gap, because the gap is a multiple of the identity and ordering changes never produce a bare constant of that size here. The conclusion is that no operator can play the role of $\widehat{q^2{p}^2}$ consistently with both factorisations — the dictionary breaks at this order. This is the entire no-go theorem in miniature: a numerical mismatch of ${\hslash }^2$ that cannot be argued away.

Check your understanding Beginner

Formal definition Intermediate+

Fix the phase space ${\mathbb{R}}^{2n}$ with canonical coordinates $(q^1,\dots ,q^n,p_1,\dots ,p_n)$ and the Poisson bracket $$ {f,g} = \sum_{i=1}^n \left( \frac{\partial f}{\partial q^i}\frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i}\frac{\partial g}{\partial q^i} \right), $$ making $C^{\infty }({\mathbb{R}}^{2n})$ a Lie algebra over $\mathbb{R}$, as developed in 05.02.01. Let $\mathcal{O}$ be a Lie subalgebra of $(C^{\infty }({\mathbb{R}}^{2n}),\{\cdot ,\cdot \})$ containing the constants $1$ and the linear coordinates $q^i,p_i$.

A quantisation of $\mathcal{O}$ is a linear map $Q:\mathcal{O}\to \mathrm{Op}(\mathcal{D})$, where $\mathrm{Op}(\mathcal{D})$ is a space of symmetric operators on a common invariant dense domain $\mathcal{D}$ of a Hilbert space $\mathcal{H}$, satisfying the Dirac axioms:

• (Q1) Linearity. $Q(af+bg)=aQ(f)+bQ(g)$ for $a,b\in \mathbb{R}$.
• (Q2) Bracket–commutator. $Q(\{f,g\})=\frac{i}{\hslash }[Q(f),Q(g)]$ on $\mathcal{D}$.
• (Q3) Normalisation. $Q(1)=I$, the identity operator.
• (Q4) Irreducibility. $Q(q^i)={\hat{q}}^i$ (multiplication by $q^i$) and $Q(p_i)={\hat{p}}_i=-i\hslash \partial /\partial q^i$, and the set $\{{\hat{q}}^i,{\hat{p}}_i\}$ acts irreducibly on $\mathcal{H}$ (no proper closed invariant subspace).

The Groenewold–van Hove problem asks for which subalgebras $\mathcal{O}$ a quantisation $Q$ exists. The no-go theorem answers that $\mathcal{O}$ cannot be all of $C^{\infty }({\mathbb{R}}^{2n})$, nor even the algebra of all polynomials ^{[Groenewold 1946; van Hove 1951; Gotay-Grundling-Hurst 1996]}.

Notation conventions

Throughout this unit:

• ${\mathbb{R}}^{2n}$ has canonical coordinates $(q^i,p_i)$ and the Poisson bracket above; in the worked one-dimensional case $n=1$ and we write $(q,p)$.
• ${\mathcal{P}}_{\le k}$ denotes the polynomials in $(q,p)$ of total degree at most $k$; ${\mathcal{P}}_{\le 2}$ is the degree-$\le 2$ algebra.
• $\mathfrak{hw}(2n)=⟨1,q^i,p_i⟩$ is the Heisenberg-Weyl Lie algebra; $\mathfrak{sp}(2n,\mathbb{R})=⟨q^i{q}^j,q^i{p}_j,p_i{p}_j⟩$ is the algebra of homogeneous quadratics, isomorphic to the symplectic Lie algebra.
• $\hat{q},\hat{p}$ are the Schrödinger operators on $\mathcal{H}=L^2({\mathbb{R}}^n)$; symmetric ordering (Weyl ordering) of monomials is written $(\cdot {)}_{\mathrm{W}}$.
• $\hslash >0$ is fixed, and $[\hat{q},\hat{p}]=i\hslash I$.

The candidate maximal subalgebra

The degree-$\le 2$ polynomials are closed under the Poisson bracket: a bracket lowers total degree by $2$, so $\{{\mathcal{P}}_{\le 2},{\mathcal{P}}_{\le 2}\}\subset {\mathcal{P}}_{\le 2}$. As a Lie algebra, $$ \mathcal{P}{\le 2} \cong \mathfrak{hw}(2n) \rtimes \mathfrak{sp}(2n, \mathbb{R}), $$ the semidirect product of the Heisenberg-Weyl algebra (constants and linears) with the symplectic algebra (quadratics). The quadratics act on the linears as $\mathfrak{sp}(2n,\mathbb{R})$ acts on ${\mathbb{R}}^{2n}$, and the metaplectic representation (Shale-Weil, 05.11.03) realises $\mathcal{P}{\le 2}$byself-adjointoperatorson$L^2(\mathbb{R}^n)$ satisfying (Q1)–(Q4). This subalgebra is the largest on which a full quantisation exists; the theorem below shows it cannot be enlarged by even one cubic generator.

Counterexamples to common slips

• The obstruction is not an ordering ambiguity that careful conventions remove. Weyl ordering is a perfectly definite linear assignment on each monomial; the theorem shows that no linear assignment, Weyl or otherwise, satisfies (Q2) on a bracket-generating set of cubics.
• The map need not be an algebra homomorphism for products, only a Lie homomorphism for brackets. (Q2) constrains brackets, not pointwise products. The contradiction is internal to the bracket structure, so the slip of demanding $Q(fg)=Q(f)Q(g)$ is not even invoked.
• Restricting to polynomials does not save the scheme. The obstruction already lives in the polynomial Poisson algebra at degree four; it is not an artefact of non-polynomial functions.
• The theorem is sharp about its hypotheses. Dropping (Q4) gives prequantisation 05.11.01; weakening "all polynomials" to "${\mathcal{P}}_{\le 2}$" gives the metaplectic quantisation. Each escape sacrifices exactly one stated hypothesis.

Key theorem with proof Intermediate+

Theorem (Groenewold–van Hove no-go). There is no quantisation $Q$ of the full polynomial Poisson algebra $\mathcal{P}=\mathbb{R}[q,p]$ on ${\mathbb{R}}^2$ satisfying the Dirac axioms (Q1)–(Q4). Equivalently, any linear map $Q$ obeying (Q2), (Q3), and the Heisenberg normalisation (Q4) on $q,p$ cannot be defined consistently on all of ${\mathcal{P}}_{\le 4}$. The largest subalgebra of $\mathcal{P}$ on which such a $Q$ exists is ${\mathcal{P}}_{\le 2}\cong \mathfrak{hw}(2)⋊\mathfrak{sp}(2,\mathbb{R})$.

Proof. Suppose a quantisation $Q$ of ${\mathcal{P}}_{\le 4}$ exists. On ${\mathcal{P}}_{\le 2}$, axioms (Q1)–(Q4) determine $Q$ uniquely as the metaplectic assignment: $Q(q)=\hat{q}$, $Q(p)=\hat{p}$, and on quadratics the symmetric (Weyl) ordering, $$ Q(q^2) = \hat q^2,\quad Q(p^2) = \hat p^2,\quad Q(qp) = \tfrac12(\hat q\hat p + \hat p\hat q). $$ This is forced: the quadratics generate $\mathfrak{sp}(2,\mathbb{R})$, whose only representation compatible with (Q2) and (Q4) on the irreducible Heisenberg pair is the metaplectic one.

We next pin the cubics through the brackets that fix them. Compute, classically, $$ {q^2 p, q} = q^2, \qquad {q^2 p, p} = 2qp. $$ Applying (Q2) and the known images of $q^2,qp,q,p$ forces $Q(q^{2}p)$ up to a possible additive constant; the symmetric requirement and (Q2) against $q^3$ and $p$ fix that constant, giving the Weyl-ordered cubic $$ Q(q^2 p) = (q^2 p)_{\mathrm W} = \tfrac12(\hat q^2\hat p + \hat p\hat q^2), \qquad Q(q^3) = \hat q^3, $$ and symmetrically $Q(q{p}^2)=\frac{1}{2}(\hat{q}{\hat{p}}^2+{\hat{p}}^2\hat{q})$, $Q(p^3)={\hat{p}}^3$. So far there is no contradiction: through degree three, Weyl ordering satisfies every constraint.

The contradiction appears at degree four, when the same observable is reached by two cubic-bracket routes. Classically, $$ {q^2 p,\ q p^2} = 3,q^2 p^2, \qquad {q^3,\ p^3} = 9, q^2 p^2, $$ so $q^2{p}^2=\frac{1}{3}\{q^{2}p,q{p}^2\}=\frac{1}{9}\{q^3,p^3\}$. By (Q2), $$ Q(q^2 p^2) = \tfrac13 \cdot \tfrac{i}{\hbar}\big[,Q(q^2 p),,Q(qp^2),\big] = \tfrac19 \cdot \tfrac{i}{\hbar}\big[,Q(q^3),,Q(p^3),\big]. $$ Evaluate both commutators with the Weyl-ordered cubics determined above, using $[\hat{q},\hat{p}]=i\hslash I$. A direct computation gives $$ \tfrac{i}{\hbar}\big[(q^2p){\mathrm W},,(qp^2){\mathrm W}\big] = \hat q^2\hat p^2_{\mathrm W} + \tfrac13\hbar^2 I, \qquad \tfrac{i}{\hbar}\big[\hat q^3,\hat p^3\big] = 9,\hat q^2\hat p^2_{\mathrm W} + 0, $$ where ${\hat{q}}^2{\hat{p}}_{\mathrm{W}}^2$ denotes the common Weyl-ordered quartic. Substituting, $$ \tfrac13\Big(\hat q^2\hat p^2_{\mathrm W} + \hbar^2 I\Big) \cdot 1 ;=; \tfrac19\Big(9,\hat q^2\hat p^2_{\mathrm W}\Big), $$ that is ${\hat{q}}^2{\hat{p}}_{\mathrm{W}}^2+\frac{1}{3}{\hslash }^{2}I={\hat{q}}^2{\hat{p}}_{\mathrm{W}}^2$, forcing $\frac{1}{3}{\hslash }^{2}I=0$. Since $\hslash \ne 0$, this is impossible. Hence no $Q$ on ${\mathcal{P}}_{\le 4}$ obeys (Q1)–(Q4); the assignment is obstructed exactly at the quartic $q^2{p}^2$, with the obstruction the bare ${\hslash }^2$-term. The subalgebra ${\mathcal{P}}_{\le 2}$ carries the metaplectic quantisation and, by the same bracket bookkeeping, admits no consistent extension by any cubic generator, so it is maximal ^{[Groenewold 1946; Gotay-Grundling-Hurst 1996]}. $\square$

Bridge. This obstruction builds toward the constructive lesson of the whole chapter: quantisation must be partial, and the geometry decides which part survives. The foundational reason the maximal subalgebra is ${\mathcal{P}}_{\le 2}$ is that these are exactly the observables whose Hamiltonian flows are linear symplectomorphisms of phase space — the affine and metaplectic transformations — and the central insight is that a polarisation 05.11.03 is preserved precisely by such flows. This is exactly why polarised quantisation succeeds where full quantisation fails: restricting to observables that preserve the Lagrangian distribution restricts, on the linear model, to the degree-$\le 2$ algebra the present theorem singles out. Putting these together, the prequantisation construction 05.11.01 and the no-go theorem are dual responses to one tension: prequantisation keeps every observable and surrenders irreducibility (Q4), while the no-go theorem shows that demanding irreducibility back forces the observable algebra down to the metaplectic family. The same ${\hslash }^2$-mismatch appears again in 09.04.02 as the operator-ordering ambiguity of the Dirac correspondence, and it generalises to curved phase spaces — the sphere $S^2$ and the torus — where the obstruction recurs with the spherical-harmonic and theta-function observables in place of the polynomials.

Exercises Intermediate+

Advanced results Master

The full van Hove statement and the obstruction past degree two. Groenewold (1946) located the contradiction at the specific quartic $q^2{p}^2$; van Hove (1951) proved the sharp statement that the metaplectic algebra ${\mathcal{P}}_{\le 2}$ is maximal — no Lie subalgebra of $C^{\infty }({\mathbb{R}}^{2n})$ strictly containing it admits a Dirac quantisation ^{[van Hove 1951]}. The modern obstruction-theoretic proof (Gotay-Grundling-Hurst 1996) frames quantisation as the prolongation of a Lie-algebra homomorphism along the degree filtration ${\mathcal{P}}_{\le 2}\subset {\mathcal{P}}_{\le 3}\subset \cdots$, with the obstruction to each prolongation a class in the second Chevalley-Eilenberg cohomology of the metaplectic algebra with coefficients in the next graded piece. The class is non-zero already at the first prolongation involving quartics, giving the $\frac{1}{3}{\hslash }^2$ obstruction as a cocycle representative ^{[Gotay-Grundling-Hurst 1996]}.

Curved phase spaces: the sphere and the torus. The no-go phenomenon is not special to ${\mathbb{R}}^{2n}$. For the symplectic sphere $S^2$ with its area form, Gotay, Grundling, and Hurst proved an exact analogue: the Poisson algebra of spherical harmonics admits no irreducible quantisation extending the linear $\mathfrak{su}(2)$ generators beyond the degree-one harmonics; the maximal quantisable subalgebra is $\mathfrak{su}(2)$ itself, the rotation generators ^{[Gotay-Grundling-Hurst 1996]}. For the torus $T^2$ the obstruction recurs with theta-function observables. In every case the surviving subalgebra is the Lie algebra of the symmetry group whose orbits are the phase space — the metaplectic family is the flat case of this pattern, and the obstruction class is intrinsic to the geometry, not to the choice of coordinates.

Why prequantisation evades the theorem, sharply. The prequantum representation $\hat{f}=-i\hslash {\nabla }_{X_f}+f$ of 05.11.01 satisfies (Q1)–(Q3) for all smooth $f$, with no degree restriction, because it is built from the curvature-$=\omega$ connection that makes the bracket-commutator identity an exact geometric statement. It evades the no-go theorem by failing (Q4): on $\Gamma (L)$ over ${\mathbb{R}}^{2n}$ the operators $\hat{q},\hat{p}$ commute with multiplication operators in the complementary variables, so the representation is reducible. The polarisation 05.11.03 reduces $\Gamma (L)$ to the polarised sections, restoring irreducibility — but only the observables whose Hamiltonian flows preserve the polarisation descend to operators on the polarised Hilbert space, and on the linear model these are exactly ${\mathcal{P}}_{\le 2}$. So the two evasions of the theorem — drop (Q4), or restrict the algebra — are the two halves of the prequantisation-plus-polarisation programme, and the no-go theorem is the precise statement of why the second step is unavoidable.

Deformation quantisation as the systematic accounting. Surrendering the exact bracket-commutator rule (Q2) and asking only for it to hold to leading order in $\hslash$ opens the door to deformation quantisation: a formal associative $\star$-product on $C^{\infty }(M)[[\hslash ]]$ with $f\star g-g\star f=i\hslash \{f,g\}+O({\hslash }^2)$. The Moyal product on ${\mathbb{R}}^{2n}$ and Kontsevich's formality theorem (1997) on any Poisson manifold construct such products for every observable, at the price that the higher-order terms in $\hslash$ correct the naive operator assignment exactly where the no-go theorem forbids an exact one. The Groenewold-van Hove obstruction is thus the $O({\hslash }^2)$ term that deformation quantisation organises rather than eliminates — the theorem identifies the precise place where the classical-quantum correspondence must become a formal series rather than a strict homomorphism.

Synthesis. The no-go theorem is the foundational reason that the geometric-quantisation programme has the shape it does, and putting these pieces together gives a single coherent picture. Prequantisation 05.11.01 keeps every observable and the exact bracket rule, surrendering irreducibility; this is exactly the escape route (Q4) that the theorem leaves open, and the central insight is that the price — a reducible representation on too large a space — is non-negotiable if completeness is demanded. The polarisation and metaplectic correction 05.11.03 restore irreducibility, and the no-go theorem is the bridge explaining why this restoration must shrink the observable algebra to the metaplectic family ${\mathcal{P}}_{\le 2}$: these are precisely the flows that preserve a Lagrangian polarisation. This pattern generalises from the flat plane to the sphere and the torus, where the surviving algebra is again the symmetry algebra of the phase space, and it is dual to the deformation-quantisation viewpoint, which keeps every observable by relaxing the bracket rule to hold only modulo ${\hslash }^2$ — the very order at which the obstruction $\frac{1}{3}{\hslash }^2$ lives. The three responses — drop irreducibility, restrict the algebra, relax exactness — exhaust the logical possibilities left by the Dirac axioms, and the Groenewold-van Hove theorem is the precise statement that no fourth escape exists.

Full proof set Master

Proposition (closure and structure of the metaplectic subalgebra). The space ${\mathcal{P}}_{\le 2}$ of polynomials of degree $\le 2$ on ${\mathbb{R}}^{2n}$ is a Lie subalgebra of $(C^{\infty }({\mathbb{R}}^{2n}),\{\cdot ,\cdot \})$, isomorphic as a Lie algebra to the semidirect product $\mathfrak{hw}(2n)⋊\mathfrak{sp}(2n,\mathbb{R})$, with $\mathfrak{hw}(2n)=⟨1,q^i,p_i⟩$ the ideal of constants and linears and $\mathfrak{sp}(2n,\mathbb{R})=⟨$ homogeneous quadratics $⟩$ acting on it.

Proof. A bracket of a degree-$a$ and a degree-$b$ polynomial has degree at most $a+b-2$, so $\{{\mathcal{P}}_{\le 2},{\mathcal{P}}_{\le 2}\}\subset {\mathcal{P}}_{\le 2}$ and the bracket of two linears is a constant, that of a quadratic and a linear is a linear, and that of two quadratics is a quadratic. Hence $\mathfrak{hw}(2n)={\mathcal{P}}_{\le 1}$ is an ideal: $\{{\mathcal{P}}_{\le 2},{\mathcal{P}}_{\le 1}\}\subset {\mathcal{P}}_{\le 1}$. The constants are central. The homogeneous quadratics $q^i{q}^j,q^i{p}_j,p_i{p}_j$ form a Lie algebra under the bracket; the map sending the quadratic $Q(x)=\frac{1}{2}{x}^{\top }Sx$ (for $x=(q,p)$ and $S$ symmetric) to the linear vector field $X_Q=JSx$ is a Lie-algebra isomorphism onto $\mathfrak{sp}(2n,\mathbb{R})$, because $\{Q_1,Q_2\}$ corresponds to the matrix commutator $[J{S}_1,J{S}_2]$. The quadratics act on the linears $⟨q^i,p_i⟩\cong {\mathbb{R}}^{2n}$ by this standard $\mathfrak{sp}$-action, giving the semidirect product structure. $\square$

Proposition (uniqueness of the quantisation on ${\mathcal{P}}_{\le 2}$). Any linear map $Q$ on ${\mathcal{P}}_{\le 2}$ satisfying (Q2), (Q3) and the Heisenberg normalisation $Q(q^i)={\hat{q}}^i$, $Q(p_i)={\hat{p}}_i$ is uniquely the Weyl-ordered (metaplectic) assignment, and it satisfies (Q4).

Proof. On linears $Q$ is fixed by hypothesis. For a quadratic, write it via a bracket of linears with a quadratic to constrain $Q$: e.g. in one dimension $\{q^2,p\}=2q$ forces $\frac{i}{\hslash }[Q(q^2),\hat{p}]=2\hat{q}$, whence $[Q(q^2),\hat{p}]=-2i\hslash \hat{q}=[{\hat{q}}^2,\hat{p}]$, so $Q(q^2)-{\hat{q}}^2$ commutes with $\hat{p}$. Similarly $\{q^2,q\}=0$ forces $Q(q^2)-{\hat{q}}^2$ to commute with $\hat{q}$. By irreducibility of $\{\hat{q},\hat{p}\}$ (Schur), $Q(q^2)-{\hat{q}}^2=cI$ for a constant $c$; pairing against $\{q^2,qp\}=2q^2$ and (Q3) forces $c=0$. The same argument fixes $Q(p^2)={\hat{p}}^2$ and $Q(qp)=\frac{1}{2}(\hat{q}\hat{p}+\hat{p}\hat{q})$. The resulting operators are the differential of the metaplectic representation, which is irreducible on $L^2({\mathbb{R}}^n)$, so (Q4) holds. $\square$

Proposition (the quartic obstruction). With $Q$ the unique extension of the metaplectic assignment to the Weyl-ordered cubics, the two bracket factorisations of $q^2{p}^2$ on ${\mathbb{R}}^2$ yield operators differing by $\frac{1}{3}{\hslash }^{2}I\ne 0$; hence $Q$ does not extend to ${\mathcal{P}}_{\le 4}$ consistently with (Q2).

Proof. The Weyl-ordered cubics are $Q(q^3)={\hat{q}}^3$, $Q(p^3)={\hat{p}}^3$, $Q(q^{2}p)=\frac{1}{2}({\hat{q}}^2\hat{p}+\hat{p}{\hat{q}}^2)$, $Q(q{p}^2)=\frac{1}{2}(\hat{q}{\hat{p}}^2+{\hat{p}}^2\hat{q})$, forced as in the cubic step of the Key theorem. Using $[\hat{q},\hat{p}]=i\hslash I$ repeatedly, $$ \tfrac{i}{\hbar}\big[Q(q^3), Q(p^3)\big] = \tfrac{i}{\hbar}[\hat q^3,\hat p^3] = 9,W + 0, $$ $$ \tfrac{i}{\hbar}\big[Q(q^2p), Q(qp^2)\big] = 3,W + \hbar^2 I, $$ where $W$ denotes the common Weyl-ordered quartic $\frac{1}{4}({\hat{q}}^2{\hat{p}}^2+{\hat{p}}^2{\hat{q}}^2+\hat{q}{\hat{p}}^2\hat{q}+\hat{p}{\hat{q}}^2\hat{p})$ (the value of both routes' leading term). Dividing the first by $9$ and the second by $3$: $$ \tfrac19\cdot\tfrac{i}{\hbar}[Q(q^3),Q(p^3)] = W, \qquad \tfrac13\cdot\tfrac{i}{\hbar}[Q(q^2p),Q(qp^2)] = W + \tfrac13\hbar^2 I. $$ Both must equal the single operator $Q(q^2{p}^2)$ by (Q2), so $W=W+\frac{1}{3}{\hslash }^{2}I$, i.e. $\frac{1}{3}{\hslash }^{2}I=0$. Since $\hslash >0$ this is a contradiction, and no extension of $Q$ to ${\mathcal{P}}_{\le 4}$ obeys (Q2). The obstruction is the bare constant $\frac{1}{3}{\hslash }^2$, independent of the implementing operators because it is the difference of two commutators and any central ambiguity in the cubics cancels ^{[Groenewold 1946; Gotay-Grundling-Hurst 1996]}. $\square$

Connections Master

• Prequantum line bundle and the integrality condition 05.11.01. Prequantisation is the canonical escape from the no-go theorem by relaxing irreducibility (Q4): the assignment $\hat{f}=-i\hslash {\nabla }_{X_f}+f$ honours the exact bracket-commutator rule on all observables because the prequantum connection has curvature $-i\omega /\hslash$, but acts reducibly on sections over the whole phase space. The no-go theorem is the precise statement of the price prequantisation pays and the reason a second, polarising step is forced.

• Polarisation, half-densities, and metaplectic correction 05.11.03. The polarisation restores irreducibility by halving the prequantum section space, and only observables whose Hamiltonian flows preserve the Lagrangian distribution descend to the polarised Hilbert space. On the linear model these are exactly the degree-$\le 2$ polynomials ${\mathcal{P}}_{\le 2}\cong \mathfrak{hw}(2n)⋊\mathfrak{sp}(2n,\mathbb{R})$ that the present theorem identifies as the maximal quantisable subalgebra; the metaplectic (Shale-Weil) representation is the resulting irreducible quantisation of that subalgebra.

• Hamiltonian vector field and Poisson bracket 05.02.01. The entire obstruction lives in the Lie-algebra structure of $(C^{\infty }({\mathbb{R}}^{2n}),\{\cdot ,\cdot \})$: the two bracket factorisations of $q^2{p}^2$ are identities in this Poisson algebra, and the contradiction is that the bracket-to-commutator map cannot be a Lie homomorphism on the whole algebra. The closure $\{{\mathcal{P}}_{\le 2},{\mathcal{P}}_{\le 2}\}\subset {\mathcal{P}}_{\le 2}$ that singles out the maximal subalgebra is a degree count in the bracket of 05.02.01.

• Hamilton's equations 09.04.02. The Dirac quantisation condition (Q2) is the operator counterpart of the classical equation of motion $\dot{f}=\{f,H\}$: replacing the bracket by $\frac{i}{\hslash }$ times the commutator turns Hamilton's equation into the Heisenberg equation $\dot{\hat{f}}=\frac{i}{\hslash }[\hat{H},\hat{f}]$. The no-go theorem upgrades the one-line operator-ordering caveat stated there into a full impossibility proof, and explains why the Dirac correspondence is exact only through quadratic order.

Historical & philosophical context Master

The problem the theorem settles is Dirac's quantisation programme, set out in his 1925–1930 work and crystallised in The Principles of Quantum Mechanics: the proposal that the classical Poisson bracket and the quantum commutator are two faces of one structure, so that quantisation should be the rule $\{f,g\}\mapsto \frac{i}{\hslash }[\hat{f},\hat{g}]$ applied uniformly to every classical observable. Hilbrand Groenewold's 1946 paper On the principles of elementary quantum mechanics (Physica 12, 405–460) was the first to show this uniform rule is impossible: working with what is now called the Weyl-Wigner correspondence, he exhibited the cubic-order ordering obstruction and computed the offending ${\hslash }^2$ mismatch in the bracket of $q^{2}p$ and $q{p}^2$ versus $q^3$ and $p^3$ ^{[Groenewold 1946]}. The same paper introduced the Moyal-Groenewold star product, so the obstruction and its deformation-theoretic resolution were born together.

Léon van Hove's 1951 memoir Sur certaines représentations unitaires d'un groupe infini de transformations (Académie Royale de Belgique) independently established the sharp form: the metaplectic algebra of observables at most quadratic in $(q,p)$ is the maximal Lie subalgebra of the classical observables admitting a faithful irreducible quantisation, and no extension by higher-degree observables is possible ^{[van Hove 1951]}. The result thereby explained, after the fact, why Weyl's metaplectic (Shale-Weil) representation of the symplectic group is the natural boundary of exact quantisation. The modern, fully obstruction-theoretic treatment is due to Mark Gotay, Hendrik Grundling, and C. A. Hurst, whose 1996 A Groenewold-van Hove theorem for $S^2$ (Trans. Amer. Math. Soc. 348) recast the impossibility as the non-vanishing of a Chevalley-Eilenberg cohomology class and extended it from ${\mathbb{R}}^{2n}$ to the sphere, with Gotay's 2000 survey Obstructions to quantization giving the complete classification of quantisable subalgebras ^{[Gotay-Grundling-Hurst 1996; Gotay 2000]}.

Philosophically the theorem dissolves a naive realism about the classical-quantum correspondence. There is no faithful translation of the entire classical world into the quantum one; quantisation is necessarily a partial and choice-laden construction, privileging a subalgebra of observables and a representation, with the leftover observables either acting reducibly (prequantisation), excluded (polarised quantisation), or corrected order-by-order in $\hslash$ (deformation quantisation). The no-go theorem is, in this sense, the precise mathematical content of Bohr's insistence that the classical and quantum descriptions are complementary rather than reducible one to the other ^{[Ali-Engliš 2005]}.

Bibliography Master

@article{Groenewold1946,
  author    = {Groenewold, Hilbrand J.},
  title     = {On the principles of elementary quantum mechanics},
  journal   = {Physica},
  volume    = {12},
  year      = {1946},
  pages     = {405--460},
}

@article{vanHove1951,
  author    = {van Hove, L\'eon},
  title     = {Sur certaines repr\'esentations unitaires d'un groupe infini de transformations},
  journal   = {Acad\'emie Royale de Belgique, M\'emoires de la Classe des Sciences},
  volume    = {26},
  year      = {1951},
  pages     = {61--102},
}

@article{GotayGrundlingHurst1996,
  author    = {Gotay, Mark J. and Grundling, Hendrik B. and Hurst, C. A.},
  title     = {A Groenewold-van Hove theorem for $S^2$},
  journal   = {Transactions of the American Mathematical Society},
  volume    = {348},
  number    = {4},
  year      = {1996},
  pages     = {1579--1597},
}

@incollection{Gotay2000,
  author    = {Gotay, Mark J.},
  title     = {Obstructions to quantization},
  booktitle = {Mechanics: From Theory to Computation},
  publisher = {Springer},
  year      = {2000},
  pages     = {171--216},
}

@book{Woodhouse1992ngo,
  author    = {Woodhouse, Nicholas M. J.},
  title     = {Geometric Quantization},
  publisher = {Oxford University Press},
  year      = {1992},
  edition   = {2nd},
}

@book{AbrahamMarsden1978,
  author    = {Abraham, Ralph and Marsden, Jerrold E.},
  title     = {Foundations of Mechanics},
  publisher = {Benjamin/Cummings},
  year      = {1978},
  edition   = {2nd},
}

@article{AliEnglis2005,
  author    = {Ali, S. Twareque and Engli\v{s}, Miroslav},
  title     = {Quantization methods: a guide for physicists and analysts},
  journal   = {Reviews in Mathematical Physics},
  volume    = {17},
  number    = {4},
  year      = {2005},
  pages     = {391--490},
}