05.11.09 · symplectic / geometric-quantization

Quantization of the relativistic particle

shipped3 tiersLean: none

Anchor (Master): Souriau 1970 Structure des Systèmes Dynamiques Ch. IV (Poincaré coadjoint orbits, the relativistic massive particle); Woodhouse 1992 Geometric Quantization Ch. 11 (presymplectic evolution space, mass-shell quantisation); Dirac 1964 Lectures on Quantum Mechanics (constrained-Hamiltonian quantisation); Bargmann-Wigner 1948 Proc. Natl. Acad. Sci. 34 (relativistic wave equations from Poincaré representations); Wigner 1939 Ann. Math. 40 (unitary irreducible representations of the Poincaré group)

Intuition Beginner

A free non-relativistic particle lives in phase space with a position $q$ and a momentum $p$ , and time $t$ is an outside parameter that ticks along independently. Relativity refuses to let time stand apart from space. A relativistic particle traces a curve through four-dimensional spacetime, and the curve has no preferred clock: you can speed up or slow down your description of the same worldline and nothing physical changes. This freedom to re-time the worldline is the new ingredient, and it forces the whole quantisation story to be rebuilt.

The starting phase space is the cotangent bundle of spacetime, with four positions $x^{0}, x^{1}, x^{2}, x^{3}$ and four momenta $p_{0}, p_{1}, p_{2}, p_{3}$ . Not every point is allowed. Einstein's relation between energy and momentum says the momentum four-vector must sit on a curved surface, the mass-shell, picked out by the condition that its Minkowski length equals the mass. Points off the shell describe no physical particle of that mass. So the genuine arena is this curved constraint surface inside the eight-dimensional phase space.

The re-timing freedom shows up as a flow that slides each point along the worldline it sits on. Two points on the same worldline are the same physical state seen at two clock-readings, so they must be glued together. Collapsing each worldline to a single point turns the constraint surface into a smaller, well-behaved phase space. Quantising that smaller space, with the same prequantum-bundle machinery used for ordinary particles, produces a wavefunction on spacetime obeying the Klein-Gordon equation — the simplest relativistic wave equation. The geometry hands you relativistic quantum mechanics without any ad-hoc guesswork.

Visual Beginner

A vertical column of four-dimensional momentum space shows the mass-shell as a curved bowl (the upper sheet of a hyperboloid). Above it, the eight-dimensional phase space is sketched as a slab; the bowl is the constraint surface cut out inside the slab. Thin arrows lying inside the bowl point along the worldline directions — these are the re-timing flow lines that get collapsed.

The picture shows the two moves that define the construction: first restrict to the curved mass-shell, then collapse the re-timing flow lines lying inside it. What remains is an ordinary symplectic phase space ready for the prequantum-bundle and polarisation machinery.

Worked example Beginner

Take a massive particle in two spacetime dimensions to keep the count small: one time coordinate $x^{0} = c t$ and one space coordinate $x^{1} = x$ , with momenta $p_{0}$ (energy over $c$ ) and $p_{1}$ (spatial momentum). The phase space has four coordinates.

Step 1. Write Einstein's relation. The Minkowski length of the momentum is $p_{0}^{2} - p_{1}^{2}$ , and the mass-shell condition is $p_{0}^{2} - p_{1}^{2} = m^{2} c^{2}$ . This is a curve in the $(p_{0}, p_{1})$ -plane: a hyperbola with two branches. The upper branch $p_{0} > 0$ is the positive-energy particle.

Step 2. Count dimensions. The full phase space has four coordinates. One equation cuts it down to a three-dimensional constraint surface. The re-timing flow inside this surface is one-dimensional — it slides each point along its worldline. Collapsing this one direction leaves a two-dimensional reduced phase space.

Step 3. Read off the reduced phase space. The two surviving coordinates can be taken as the spatial position $x$ and the spatial momentum $p_{1}$ ; the energy $p_{0}$ is then fixed by the mass-shell formula $p_{0} = p_{1}^{2} + m^{2} c^{2}$ , and the time $x^{0}$ is the gauge direction that was collapsed. So the reduced phase space is the ordinary $(x, p_{1})$ phase space of one particle.

What this tells us: relativistic constraint plus re-timing collapse returns the familiar position-momentum phase space, but now with the energy slaved to the relativistic formula. Quantising it with the position polarisation gives wavefunctions whose evolution is governed by $p_{0} = p_{1}^{2} + m^{2} c^{2}$ — the relativistic dispersion law — which is exactly what the Klein-Gordon equation encodes.

Check your understanding Beginner

Exercise (easy, multiple choice).

What is the mass-shell of a relativistic particle?

A. The set of all points in spacetime the particle can reach. B. The surface in momentum space where the Minkowski length of the four-momentum equals the mass: $η^{μν} p_{μ} p_{ν} = m^{2} c^{2}$ . C. The boundary of the light cone. D. The set of points where the particle's position is fixed.

Hint

The condition relates energy and momentum through the mass, not position.

Answer

B. The mass-shell is the constraint surface $η^{μν} p_{μ} p_{ν} = m^{2} c^{2}$ inside the cotangent bundle of spacetime, where $η = diag (+, -, -, -)$ is the Minkowski metric. It is the geometric form of Einstein's energy-momentum relation. Feedback-correct: it is a surface in momentum space, a hyperboloid. Feedback-wrong: it is not a set of spacetime positions and it is not the light cone (which is the massless $m = 0$ limit).

Exercise (easy, multiple choice).

Quantising the reduced mass-shell phase space produces wavefunctions on spacetime obeying which equation?

A. The non-relativistic Schrödinger equation. B. The Klein-Gordon equation. C. The heat equation. D. Laplace's equation.

Hint

The mass-shell condition becomes a second-order operator condition on the wavefunction.

Answer

B. The constraint $η^{μν} p_{μ} p_{ν} = m^{2} c^{2}$ becomes the operator condition $(□ + m^{2} c^{2} / ℏ^{2}) ψ = 0$ , the Klein-Gordon equation, where $□$ is the wave operator (the spacetime version of the second-derivative Laplacian). Feedback-correct: the relativistic constraint is second order in the momenta, hence second order in derivatives. Feedback-wrong: the Schrödinger equation is the non-relativistic limit, and the other two are not relativistic wave equations.

Formal definition Intermediate+

Let $R^{3, 1}$ be Minkowski spacetime with coordinates $x^{μ}$ ( $μ = 0, 1, 2, 3$ ) and metric $η_{μν} = diag (+, -, -, -)$ . Its cotangent bundle $T^{*} R^{3, 1}$ carries the Liouville one-form $θ = p_{μ} d x^{μ}$ and the canonical symplectic form $ω = d x^{μ} \land d p_{μ}$ , as in 05.02.05. Fix $m > 0$ and define the constraint function $$ \Phi = \eta^{\mu\nu} p_\mu p_\nu - m^2 c^2 = p_0^2 - p_1^2 - p_2^2 - p_3^2 - m^2 c^2. $$ The mass-shell is the level set $C = Φ^{- 1} (0)$ , a smooth hypersurface of $T^{*} R^{3, 1}$ since $d Φ = 2 η^{μν} p_{ν} d p_{μ}$ is non-vanishing on $C$ (the momentum never vanishes there). Restricting $ω$ to $C$ gives a closed two-form $σ = ι^{*} ω$ with $ι : C ↪ T^{*} R^{3, 1}$ ; because $C$ is odd-dimensional, $σ$ is necessarily degenerate, so $(C, σ)$ is a presymplectic manifold ^{[Woodhouse 1992 Ch. 11; Bates-Weinstein 1997 Ch. 10]}.

Notation conventions

Throughout this unit:

$(T^{*} R^{3, 1}, ω)$ is the cotangent bundle of Minkowski spacetime, $ω = d x^{μ} \land d p_{μ}$ .
$η = diag (+, -, -, -)$ is the Minkowski metric; indices are raised and lowered with $η$ ; repeated indices are summed.
$Φ = η^{μν} p_{μ} p_{ν} - m^{2} c^{2}$ is the mass-shell constraint; $C = Φ^{- 1} (0)$ is the mass-shell.
$σ = ι^{*} ω$ is the presymplectic form on $C$ ; $K = ker σ$ is its characteristic distribution.
$X_{Φ}$ is the Hamiltonian vector field of $Φ$ on the ambient symplectic manifold; $□ = η^{μν} \partial_{μ} \partial_{ν}$ is the d'Alembert (wave) operator.
$ℏ > 0$ and $c > 0$ are fixed; the reduced mass-shell is denoted $(C, ω)$ .

The characteristic distribution

The kernel $K = ker σ = {v \in T C : σ (v, \cdot) = 0}$ is one-dimensional and spanned by the restriction of the Hamiltonian vector field $X_{Φ}$ to $C$ . In coordinates, $$ X_\Phi = \eta^{\mu\nu} \frac{\partial \Phi}{\partial p_\nu} \frac{\partial}{\partial x^\mu} = 2,\eta^{\mu\nu} p_\nu \frac{\partial}{\partial x^\mu}, $$ which is tangent to $C$ because $X_{Φ} (Φ) = {Φ, Φ} = 0$ , and lies in $ker σ$ because $σ (X_{Φ}, \cdot) = ι^{*} (ω (X_{Φ}, \cdot)) = ι^{*} (d Φ) = 0$ on $C$ . The integral curves of $X_{Φ}$ are the affinely parametrised geodesics of the flat Minkowski metric — the free relativistic worldlines — and the parameter is the proper time up to scale. The constraint $Φ$ is first class in Dirac's sense ( ${Φ, Φ} = 0$ ), and $K$ is its gauge orbit.

Presymplectic reduction

Assume the foliation by integral curves of $K$ is a fibration $π : C \to C$ with one-dimensional fibres. The quotient $C = C / K$ inherits a unique two-form $ω$ with $π^{*} ω = σ$ , and $ω$ is symplectic ^{[Bates-Weinstein 1997 Ch. 10]}. The reduced symplectic manifold $(C, ω)$ has dimension $dim C - 1 = 6$ . This is the genuine phase space of the relativistic particle: states are entire worldlines, not instantaneous positions. Souriau identifies $(C, ω)$ with the coadjoint orbit $O_{m, 0}$ of the Poincaré group $ISO (3, 1)$ at mass $m$ and spin $0$ ^{[Souriau 1970 Ch. IV]}.

Counterexamples to common slips

The constraint surface is presymplectic, not symplectic. Restricting $ω$ to the odd-dimensional $C$ produces a degenerate form; one cannot quantise $C$ directly. The reduction by $K$ is mandatory, not cosmetic.
The gauge direction is the worldline, not time-translation. The characteristic flow $X_{Φ}$ runs along each worldline; it is the reparametrisation redundancy. Conflating it with the Poincaré time-translation generator $P_{0} = \partial / \partial x^{0}$ confuses a gauge direction with a physical symmetry.
Massless is a genuinely different case. At $m = 0$ the constraint surface develops the light-cone singularity at $p = 0$ , the reduction acquires extra null directions, and the spin- $0$ orbit is replaced by the helicity representations. The construction here is the massive case $m > 0$ only.

Key derivation Intermediate+

Theorem (mass-shell reduction and the Klein-Gordon equation). Let $C = \Phi^{-1}(0) \subset T^\mathbb{R}^{3,1} $b e t h e ma ss i v e ma ss - s h e l l,$ m > 0 $, w i t h p r esy m pl ec t i c f or m$ \sigma = \iota^\omega $an d c ha r a c t er i s t i c d i s t r ib u t i o n$ K = \ker\sigma = \langle X_\Phi\rangle$. Then:

(i) The reduced space $(C, ω) = (C / K, ω)$ is a smooth $6$ -dimensional symplectic manifold, symplectomorphic to $T^\Sigma $f or an y s p a ce l ik e C a u c h y s l i ce$ \Sigma \cong \mathbb{R}^3 $, w i t h t h esy m pl ec t o m or p hi s m g i v e nb y in t er sec t in g e a c h w or l d l in e w i t h$ \Sigma$.*

(ii) Prequantising $T^\mathbb{R}^{3,1} $an d im p os in g t h eco n s t r ain t \overset{a}{ˋ} l a D i r a c — r e q u i r in g p o l a r i se d sec t i o n s$ \psi $t os a t i s f y$ \hat\Phi,\psi = 0$ — yields the Klein-Gordon equation* $$ \left(\Box + \frac{m^2 c^2}{\hbar^2}\right)\psi = 0, \qquad \Box = \eta^{\mu\nu}\partial_\mu\partial_\nu. $$ (iii) The space of positive-frequency solutions, with the Klein-Gordon inner product, is the mass- $m$ spin- $0$ unitary irreducible representation of the Poincaré group. ^{[Woodhouse 1992 Ch. 11; Souriau 1970 Ch. IV; Wigner 1939]}.

Proof. (i) On the upper sheet ( $p_{0} > 0$ ) the constraint $Φ = 0$ solves uniquely for $p_{0} = + ∣ p ∣^{2} + m^{2} c^{2}$ , where $p = (p_{1}, p_{2}, p_{3})$ . Thus $C$ is the graph of this function over the $(x^{μ}, p)$ -coordinates, and $(x^{0}, x^{1}, x^{2}, x^{3}, p_{1}, p_{2}, p_{3})$ form a global chart on the upper sheet. The characteristic vector field $X_{Φ} = 2 η^{μν} p_{ν} \partial_{x^{μ}}$ has nonzero $x^{0}$ -component $2 p_{0} \neq = 0$ , so each integral curve meets a constant- $x^{0}$ slice $Σ = {x^{0} = const}$ exactly once. Intersecting with $Σ$ gives a diffeomorphism $C ≅ {(x^{1}, x^{2}, x^{3}, p_{1}, p_{2}, p_{3})} = T^{*} R^{3}$ . To compute $ω$ , restrict $θ = p_{μ} d x^{μ}$ to $C$ : on the section $p_{0} = p_{0} (p)$ one finds $ι^{*} θ = p_{0} d x^{0} + p_{i} d x^{i}$ , and on the slice $x^{0} = const$ the term $p_{0} d x^{0}$ drops, leaving $p_{i} d x^{i}$ — the canonical Liouville form on $T^{*} R^{3}$ . Hence $ω = d x^{i} \land d p_{i}$ is the standard symplectic form on $T^{*} Σ$ , confirming the symplectomorphism.

(ii) On the ambient $T^{*} R^{3, 1}$ the prequantum operator of 05.11.01 sends $f$ to $\hat{f} = - i ℏ \nabla_{X_{f}} + f$ . For the position polarisation $P = ⟨ \partial / \partial p_{μ} ⟩$ of 05.11.03, polarised sections are wavefunctions $ψ (x)$ on spacetime, and the momentum observables act as $\overset{p}{^}_{μ} = - i ℏ \partial / \partial x^{μ}$ , the standard Schrödinger-polarisation rule (worked in 05.11.03 Ex. 10 for one degree of freedom and applied here componentwise). Quantising the constraint with the symmetric (Weyl) ordering of the quadratic $Φ$ gives $$ \hat\Phi = \eta^{\mu\nu}\hat p_\mu \hat p_\nu - m^2 c^2 = -\hbar^2,\eta^{\mu\nu}\partial_\mu\partial_\nu - m^2 c^2 = -\hbar^2\Box - m^2 c^2. $$ Dirac's prescription for a first-class constraint keeps only states annihilated by the quantised constraint, $\hat{Φ} ψ = 0$ ^{[Dirac 1964]}. Dividing by $- ℏ^{2}$ gives $(□ + m^{2} c^{2} / ℏ^{2}) ψ = 0$ , the Klein-Gordon equation. The condition $\hat{Φ} ψ = 0$ is precisely the quantum imposition of $ψ$ being supported on the mass-shell, since the Fourier transform of $□ ψ = - m^{2} c^{2} / ℏ^{2} ψ$ is $η^{μν} p_{μ} p_{ν} \hat{ψ} (p) = m^{2} c^{2} \hat{ψ} (p)$ .

(iii) Solutions of the Klein-Gordon equation split into positive- and negative-frequency parts by the sign of $p_{0}$ on the mass-shell. The positive-frequency solutions carry the conserved Klein-Gordon current $$ \langle\psi_1, \psi_2\rangle_{KG} = i\hbar \int_\Sigma \left(\overline{\psi_1},\partial_0\psi_2 - (\partial_0\overline{\psi_1}),\psi_2\right) d^3x, $$ positive-definite on positive-frequency states and independent of the slice $Σ$ . The Poincaré group acts by $ψ (x) \mapsto ψ (Λ^{- 1} (x - a))$ , preserving the equation and the inner product. By Wigner's classification, an irreducible such representation is labelled by mass and spin; the scalar field is the mass- $m$ spin- $0$ representation ^{[Wigner 1939; Bargmann-Wigner 1948]}. $□$

Bridge. This construction is the foundational reason the relativistic single-particle Hilbert space is forced rather than chosen: the mass-shell with its reduced symplectic form is the coadjoint orbit $O_{m, 0}$ , and the orbit method identifies its quantisation with the mass- $m$ irreducible Poincaré representation. The bridge is presymplectic reduction: the degenerate constraint form collapses the worldline gauge orbit exactly as the moment-map reduction of 05.04.01 collapses group orbits, so the relativistic particle generalises the symplectic-reduction pattern to a first-class constraint with no compact symmetry group. This is exactly the situation that builds toward the field-theoretic case, where the same constraint structure appears again in the Klein-Gordon field 12.05.04 as the one-particle input to the Fock space. Putting these together, the mass-shell quantisation supplies the positive-frequency splitting and the Klein-Gordon inner product that the algebraic-QFT vacuum 12.14.01 takes as given; the geometric route derives what the field-theoretic route postulates. The central insight is that reparametrisation invariance is not a nuisance to be gauge-fixed away but the precise mechanism that turns Einstein's energy-momentum relation into a wave equation. The pattern recurs at every reparametrisation-invariant system — the relativistic string, the point particle in curved spacetime, and the canonical formulation of general relativity all impose a quadratic first-class constraint and quantise it as a wave equation on the reduced space.

Exercises Intermediate+

Exercise 3 (medium, symbolic).

Compute the Hamiltonian vector field $X_{Φ}$ of $Φ = η^{μν} p_{μ} p_{ν} - m^{2} c^{2}$ on $T^{*} R^{3, 1}$ with $ω = d x^{μ} \land d p_{μ}$ , and show its integral curves are the free relativistic worldlines.

Hint

$X_{Φ} = \frac{\partial Φ}{\partial p _{μ}} \frac{\partial}{\partial x ^{μ}} - \frac{\partial Φ}{\partial x ^{μ}} \frac{\partial}{\partial p _{μ}}$ .

Answer

Since $Φ$ has no $x$ -dependence, $\partial Φ/ \partial x^{μ} = 0$ , so $X_{Φ} = (\partial Φ/ \partial p_{μ}) \partial_{x^{μ}} = 2 η^{μν} p_{ν} \partial_{x^{μ}}$ . Hamilton's equations read $\overset{x}{˙}^{μ} = 2 η^{μν} p_{ν} = 2 p^{μ}$ and $\overset{p}{˙}_{μ} = 0$ . The momenta are conserved and the position advances at constant four-velocity $\overset{x}{˙}^{μ} = 2 p^{μ}$ , so the integral curves are straight lines $x^{μ} (τ) = x^{μ} (0) + 2 p^{μ} τ$ in Minkowski space — affinely parametrised geodesics of $η$ , the free relativistic worldlines. Rescaling the parameter by the (constant) mass turns $τ$ into proper time up to a factor. Rubric: full credit for the field, the conserved momenta, and the straight-line worldline.

Exercise 5 (medium, short-answer).

Verify that the Klein-Gordon inner product $⟨ ψ_{1}, ψ_{2} ⟩_{K G} = i ℏ \int_{Σ} (\overline{ψ_{1}} \partial_{0} ψ_{2} - (\partial_{0} \overline{ψ_{1}}) ψ_{2}) d^{3} x$ is independent of the choice of spacelike slice $Σ$ for solutions of the Klein-Gordon equation.

Hint

The integrand is the time-component of a conserved current $j^{μ} = i ℏ (\overline{ψ_{1}} \partial^{μ} ψ_{2} - (\partial^{μ} \overline{ψ_{1}}) ψ_{2})$ ; compute $\partial_{μ} j^{μ}$ .

Answer

Define $j^{μ} = i ℏ (\overline{ψ_{1}} \partial^{μ} ψ_{2} - (\partial^{μ} \overline{ψ_{1}}) ψ_{2})$ . Then $\partial_{μ} j^{μ} = i ℏ (\overline{ψ_{1}} □ ψ_{2} - (□ \overline{ψ_{1}}) ψ_{2})$ ; the first-derivative cross terms cancel. Using $□ ψ_{2} = - m^{2} c^{2} / ℏ^{2} ψ_{2}$ and the conjugate $□ \overline{ψ_{1}} = - m^{2} c^{2} / ℏ^{2} \overline{ψ_{1}}$ , the right side is $i ℏ (- m^{2} c^{2} / ℏ^{2}) (\overline{ψ_{1}} ψ_{2} - \overline{ψ_{1}} ψ_{2}) = 0$ . So $j^{μ}$ is conserved, and by the divergence theorem the flux $\int_{Σ} j^{0} d^{3} x$ through two homologous spacelike slices agrees, provided fields decay at spatial infinity. Hence the inner product is slice-independent. Rubric: full credit for the current, the cancellation, and the conservation argument.

Exercise 6 (medium, short-answer).

Take the non-relativistic limit of the Klein-Gordon equation for a positive-frequency state $ψ = e^{- im c^{2} t /ℏ} φ (t, x)$ with $φ$ slowly varying, and recover the free Schrödinger equation.

Hint

Factor out the rest-energy phase; drop $\partial_{t}^{2} φ$ against $m c^{2} \partial_{t} φ$ .

Answer

Write $□ = c^{- 2} \partial_{t}^{2} - \nabla^{2}$ . With $ψ = e^{- im c^{2} t /ℏ} φ$ , $\partial_{t} ψ = e^{- im c^{2} t /ℏ} (\partial_{t} φ - im c^{2} /ℏ φ)$ and $\partial_{t}^{2} ψ = e^{- im c^{2} t /ℏ} (\partial_{t}^{2} φ - 2 im c^{2} /ℏ \partial_{t} φ - m^{2} c^{4} / ℏ^{2} φ)$ . The Klein-Gordon equation $(c^{- 2} \partial_{t}^{2} - \nabla^{2} + m^{2} c^{2} / ℏ^{2}) ψ = 0$ becomes, after cancelling the rest-mass term $- m^{2} c^{2} / ℏ^{2} φ + m^{2} c^{2} / ℏ^{2} φ = 0$ and dropping $c^{- 2} \partial_{t}^{2} φ$ (small for slow $φ$ ): $- 2 im /ℏ \partial_{t} φ - \nabla^{2} φ = 0$ , i.e. $i ℏ \partial_{t} φ = - ℏ^{2} / (2 m) \nabla^{2} φ$ — the free Schrödinger equation. Rubric: full credit for the phase factorisation, the term cancellation, and the Schrödinger form.

Exercise 7 (hard, short-answer).

Show that the reduced phase space $(C, ω)$ carries a transitive Poincaré action and identify it with the coadjoint orbit $O_{m, 0}$ of $ISO (3, 1)$ .

Hint

The Poincaré group acts on $T^{*} R^{3, 1}$ preserving $ω$ and $Φ$ ; descend the action to $C$ and count orbits.

Answer

The Poincaré group $ISO (3, 1) = R^{3, 1} ⋊ SO^{+} (3, 1)$ acts on $T^{*} R^{3, 1}$ by $(a, Λ) : (x, p) \mapsto (Λ x + a, Λ p)$ . This action preserves $ω = d x^{μ} \land d p_{μ}$ and the constraint $Φ$ (Lorentz-invariance of $η^{μν} p_{μ} p_{ν}$ ), so it preserves $C$ and commutes with the characteristic flow $X_{Φ}$ (translations along $X_{Φ}$ are themselves spacetime translations in the orbit). It therefore descends to a symplectic action on $C$ . The momentum map is the embedding $C \to iso (3, 1)^{*}$ sending a worldline to its conserved four-momentum and angular momentum. Boosts and rotations act transitively on the upper mass- $m$ hyperboloid in momentum space, and translations move the spatial position, so the action on $C$ is transitive: $C$ is a single coadjoint orbit. Its invariants are the two Casimirs $P^{2} = m^{2} c^{2}$ and $W^{2} = 0$ (Pauli-Lubanski, zero for spin $0$ ), so $C = O_{m, 0}$ ^{[Souriau 1970 Ch. IV]}. Rubric: full credit for invariance of $ω$ and $Φ$ , the descent, transitivity, and the Casimir identification.

Exercise 8 (hard, short-answer).

Explain why a first-order relativistic wave equation (the Dirac equation) does not arise from the spin- $0$ mass-shell quantisation, and what extra data is needed to produce it.

Hint

The constraint $Φ$ is quadratic in momenta; a first-order equation requires factorising $□ + m^{2} c^{2} / ℏ^{2}$ .

Answer

The mass-shell constraint $Φ = η^{μν} p_{μ} p_{ν} - m^{2} c^{2}$ is quadratic, so its quantisation $\hat{Φ} = - ℏ^{2} □ - m^{2} c^{2}$ is a second-order operator: the scalar (spin- $0$ ) wave equation is Klein-Gordon, not Dirac. Producing a first-order operator requires factorising $□ + m^{2} c^{2} / ℏ^{2} = (γ^{μ} \partial_{μ} - im c /ℏ) (γ^{ν} \partial_{ν} + im c /ℏ)$ , which needs gamma matrices satisfying the Clifford relation ${γ^{μ}, γ^{ν}} = 2 η^{μν}$ . Geometrically this is the spin- $1/2$ orbit: the reduced phase space is enlarged by the internal spin coadjoint orbit (a two-sphere, as in 05.11.02), and the quantisation requires a metaplectic / spinor structure 05.11.03 on the constraint surface so that the wavefunction is spinor-valued. The Dirac equation is then the intertwiner onto the mass- $m$ spin- $1/2$ Poincaré representation ^{[Bargmann-Wigner 1948]}. The scalar construction here is the spin- $0$ floor of that ladder. Rubric: full credit for the quadratic-versus-linear distinction, the Clifford factorisation, and the spinor-structure requirement.

Exercise 9 (hard, symbolic).

On the upper sheet $p_{0} > 0$ , restrict the Liouville form $θ = p_{μ} d x^{μ}$ to $C$ and show $ι^{*} θ = p_{i} d x^{i} + p_{0} (p) d x^{0}$ with $p_{0} (p) = ∣ p ∣^{2} + m^{2} c^{2}$ ; then verify that on a constant- $x^{0}$ slice the reduced form is the canonical $d x^{i} \land d p_{i}$ .

Hint

On $C$ , $p_{0}$ is the dependent variable; eliminate $d p_{0}$ and set $d x^{0} = 0$ on the slice.

Answer

On $C$ , the constraint solves $p_{0} = ∣ p ∣^{2} + m^{2} c^{2} \equiv p_{0} (p)$ , a function of the spatial momenta. The restricted Liouville form is $ι^{*} θ = p_{0} (p) d x^{0} + p_{i} d x^{i}$ , with $p_{0}$ no longer independent. Then $σ = - d (ι^{*} θ) = - d p_{0} (p) \land d x^{0} - d p_{i} \land d x^{i} = - (\partial p_{0} / \partial p_{j}) d p_{j} \land d x^{0} - d p_{i} \land d x^{i}$ . On the slice $x^{0} = const$ , $d x^{0} = 0$ , killing the first term, so the pullback to the slice is $- d p_{i} \land d x^{i} = d x^{i} \land d p_{i}$ , the canonical symplectic form on $T^{*} R^{3}$ . Since the slice meets each characteristic curve once, this is the reduced form $ω$ . Rubric: full credit for the restricted one-form, the elimination of $d p_{0}$ , and the canonical reduced form.

Advanced results Master

The reduction packaged in the Key derivation has a sharper formulation through Souriau's identification of the relativistic particle with a Poincaré coadjoint orbit, and through Dirac's general theory of first-class constraints. Both refine the bare mass-shell story into the structure that fixes the quantisation uniquely.

Souriau's orbit picture. Souriau's Structure des Systèmes Dynamiques organises every elementary relativistic system as a coadjoint orbit of $ISO (3, 1)$ ^{[Souriau 1970 Ch. IV]}. The orbits are labelled by the two Casimirs: the mass-squared $P^{2} = η^{μν} P_{μ} P_{ν}$ and the Pauli-Lubanski square $W^{2}$ , which for a massive orbit equals $- m^{2} c^{2} s (s + 1) ℏ^{2}$ with $s$ the spin. The massive spin- $0$ orbit $O_{m, 0}$ is the reduced mass-shell $C$ of this unit; the massive spin- $s$ orbits are the products of $C$ with an internal spin two-sphere, recovering the construction of 05.11.02 fibred over each worldline. Quantising $O_{m, 0}$ by the prequantum-plus-polarisation machinery returns the mass- $m$ scalar Wigner representation, so the orbit method and the constraint method agree.

Dirac's constraint algebra and the BRST refinement. Dirac's analysis of constrained Hamiltonian systems treats $Φ$ as a first-class constraint generating gauge transformations ^{[Dirac 1964]}. Quantisation by imposing $\hat{Φ} ψ = 0$ is the Dirac prescription; its modern, cohomological form is BRST quantisation, where the physical states are the cohomology of a nilpotent operator $Q$ built from $\hat{Φ}$ and a ghost pair. For the single quadratic constraint of the relativistic particle, the BRST cohomology at ghost number zero reproduces exactly the Klein-Gordon solution space, with the ghost sector contributing the identity factor that makes the inner product well defined on the constraint surface. The relativistic particle is the simplest substantive test of the BRST formalism, and its worldline path integral with the einbein gauge field is the one-dimensional precursor of the bosonic-string Polyakov path integral.

The inner-product anomaly and second quantisation. The Klein-Gordon inner product is indefinite on the full solution space: negative-frequency states carry negative norm. The geometric quantisation of $O_{m, 0}$ selects the positive-frequency polarisation and hence the positive-definite one-particle space, but the negative-frequency sector signals that a single-particle relativistic theory is incomplete. Resolving it requires second quantisation: the one-particle space built here becomes the test space for the free Klein-Gordon field 12.05.04, and the negative-frequency modes become creation operators for antiparticles in the Fock space 12.14.01. The geometric-quantisation step is the bridge from the symplectic mass-shell to the input data of quantum field theory.

Synthesis. Putting these together, the relativistic particle is the place where the prequantum-and-polarisation apparatus of 05.11.01 and 05.11.03 meets the constraint geometry of presymplectic reduction, and the bridge is the identification of the reduced mass-shell with the Poincaré coadjoint orbit $O_{m, 0}$ . This is exactly the orbit-method principle that the foundational reason a relativistic wave equation takes the form it does is the coadjoint geometry of the symmetry group: mass and spin are orbit invariants, and the wave operator is the quantised constraint that cuts cohomology down to the orbit. The construction generalises in two directions that recur across the curriculum — upward to the spin- $s$ orbits and the Dirac and Bargmann-Wigner equations, and outward to second quantisation, where the same one-particle orbit appears again in the Klein-Gordon field as the building block of Fock space. The central insight is that reparametrisation invariance, constraint reduction, and the orbit method are three faces of one structure, and the Klein-Gordon equation is what that structure looks like at mass $m$ and spin $0$ .

Full proof set Master

Proposition (the characteristic distribution is the reparametrisation gauge orbit). Let $C = Φ^{- 1} (0)$ with $Φ$ the massive mass-shell constraint, and $\sigma = \iota^\omega $. T h e n$ \ker\sigma $i so n e - d im e n s i o na l, s p ann e d b y t h er es t r i c t i o n o f$ X_\Phi $t o$ C $, an d i t s in t e g r a l c u r v esco in c i d e w i t h t h e u n p a r am e t r i se df r ee w or l d l in es . C o n se q u e n tl y t h e l e a f s p a ce$ C/\ker\sigma $i s t h er e d u ce d sy m pl ec t i c mani f o l d o f d im e n s i o n$ 6$.*

Proof. A vector $v \in T_{x} C$ lies in $ker σ$ iff $ω (v, w) = 0$ for all $w \in T_{x} C$ , where $T_{x} C = ker d Φ_{x}$ . By non-degeneracy of $ω$ , the $ω$ -orthogonal complement $(T_{x} C)^{⊥_{ω}}$ is one-dimensional and spanned by $ω^{- 1} (d Φ) = X_{Φ}$ . Now $ker σ = T_{x} C \cap (T_{x} C)^{⊥_{ω}}$ . Since $X_{Φ} (Φ) = {Φ, Φ} = 0$ , the vector $X_{Φ}$ is itself tangent to $C$ , so $X_{Φ} \in T_{x} C \cap (T_{x} C)^{⊥_{ω}} = ker σ$ . As $(T_{x} C)^{⊥_{ω}}$ is already one-dimensional, $ker σ = ⟨ X_{Φ} ∣_{C} ⟩$ is exactly one-dimensional. The integral curves of $X_{Φ}$ were computed to be $x^{μ} (τ) = x^{μ} (0) + 2 p^{μ} τ$ with $p^{μ}$ constant: these are the affinely parametrised free worldlines, and their images are the unparametrised worldlines. Because $Φ$ is first class, $ker σ$ is an involutive distribution (a single vector field is automatically involutive), so by Frobenius the worldlines foliate $C$ . Assuming the leaf space $C = C / ker σ$ is a manifold (a fibration), the two-form $σ$ descends: for $v, w \in T C$ with lifts $v, w$ , set $ω (v, w) = σ (v, w)$ , well defined because $σ$ kills $ker σ$ and is invariant along the leaves ( $L_{X_{Φ}} σ = d ι_{X_{Φ}} σ + ι_{X_{Φ}} d σ = 0$ , using $ι_{X_{Φ}} σ = 0$ and $d σ = 0$ ). The descended $ω$ is closed and non-degenerate by construction, so $(C, ω)$ is symplectic of dimension $dim C - 1 = 6$ . $□$

Proposition (Weyl-ordered constraint gives the Klein-Gordon operator with no ordering ambiguity). In the position polarisation, the prequantum quantisation of the quadratic constraint $Φ = η^{μν} p_{μ} p_{ν} - m^{2} c^{2}$ is the operator $\hat{Φ} = - ℏ^{2} □ - m^{2} c^{2}$ , independent of operator ordering.

Proof. In the position polarisation the momentum observables become $\overset{p}{^}_{μ} = - i ℏ \partial_{μ}$ . These operators commute pairwise: $[\overset{p}{^}_{μ}, \overset{p}{^}_{ν}] = - ℏ^{2} [\partial_{μ}, \partial_{ν}] = 0$ by equality of mixed partials. The constraint is a quadratic polynomial $η^{μν} p_{μ} p_{ν}$ in the commuting variables $p_{μ}$ ; any ordering prescription (Weyl-symmetric, normal, standard) for a product of commuting operators yields the same operator, since reorderings differ only by commutators, all of which vanish. Hence $η^{μν} p_{μ} p_{ν} = η^{μν} \overset{p}{^}_{μ} \overset{p}{^}_{ν} = η^{μν} (- i ℏ \partial_{μ}) (- i ℏ \partial_{ν}) = - ℏ^{2} η^{μν} \partial_{μ} \partial_{ν} = - ℏ^{2} □$ , and $\hat{Φ} = - ℏ^{2} □ - m^{2} c^{2}$ . The Dirac condition $\hat{Φ} ψ = 0$ is therefore $(□ + m^{2} c^{2} / ℏ^{2}) ψ = 0$ unambiguously. The absence of ordering ambiguity is special to the flat-spacetime free particle; in curved spacetime the constraint $g^{μν} (x) p_{μ} p_{ν}$ has $x$ -dependent coefficients that fail to commute with $\overset{p}{^}_{μ}$ , and the quantisation acquires a curvature-dependent ordering term proportional to the scalar curvature $R$ . $□$

Connections Master

The prequantum line bundle and the prequantisation rule $\hat{f} = - i ℏ \nabla_{X_{f}} + f$ from 05.11.01 are the input to the constraint quantisation: the operator $\hat{Φ}$ that imposes the mass-shell is the prequantum operator of the constraint function, restricted to polarised sections.

The position polarisation and half-form correction of 05.11.03 supply the wavefunctions $ψ (x)$ on which $\hat{Φ}$ acts; the same vertical polarisation that turns $T^{*} R^{n}$ into the Schrödinger representation turns $T^{*} R^{3, 1}$ into the space of spacetime wavefunctions, and the half-form normalisation fixes the Klein-Gordon inner-product measure.

Presymplectic reduction of the mass-shell is the degenerate-form sibling of the moment-map reduction of 05.04.01 and 05.04.02: the constraint surface plays the role of the moment-map level set and the reparametrisation gauge orbit plays the role of the symmetry-group orbit, so the relativistic particle is a worked instance of constrained reduction with a one-dimensional first-class gauge algebra.

The single-particle Klein-Gordon equation recovered here is the classical field equation second-quantised in 12.05.04; the positive- and negative-frequency splitting that the geometric construction selects becomes the particle/antiparticle creation-operator split of the Fock space.

The mass- $m$ spin- $0$ one-particle Hilbert space is the test-function input to the CCR / Weyl-algebra vacuum of 12.14.01; the geometric quantisation of the relativistic particle is the orbit-method bridge from symplectic mechanics to algebraic quantum field theory.

Historical & philosophical context Master

The idea that an elementary relativistic system is a coadjoint orbit of the Poincaré group descends from two streams. Wigner's 1939 classification of the unitary irreducible representations of the inhomogeneous Lorentz group made mass and spin the complete invariants of an elementary particle, identifying each particle species with an orbit of momentum space under the little group ^{[Wigner 1939]}. Bargmann and Wigner then read the relativistic wave equations — Klein-Gordon, Dirac, Proca — as intertwiners projecting field components onto these irreducibles ^{[Bargmann-Wigner 1948]}. Souriau's Structure des Systèmes Dynamiques recast the same content symplectically: the classical phase space of a free particle is itself a coadjoint orbit, and quantisation is the passage from the orbit to its representation ^{[Souriau 1970 Ch. IV]}. Dirac's Lectures on Quantum Mechanics supplied the constraint-Hamiltonian language that makes the reparametrisation gauge orbit precise and the imposition $\hat{Φ} ψ = 0$ canonical ^{[Dirac 1964]}. Woodhouse's Geometric Quantization assembled these into the presymplectic-evolution-space framework used here, treating time as a parameter eliminated by reduction rather than a coordinate ^{[Woodhouse 1992 Ch. 11]}. The conceptual point is that the Klein-Gordon equation is not a postulate but a consequence: fix the symmetry group, choose the massive scalar orbit, and the wave equation is forced by the orbit's geometry.

Bibliography Master

@book{Souriau1970,
  author    = {Souriau, Jean-Marie},
  title     = {Structure des syst\`emes dynamiques},
  publisher = {Dunod},
  address   = {Paris},
  year      = {1970},
  note      = {Ch. IV: the relativistic massive particle as a coadjoint orbit of the Poincar\'e group; English transl. Structure of Dynamical Systems, Birkh\"auser 1997}
}

@book{Woodhouse1992,
  author    = {Woodhouse, Nicholas M. J.},
  title     = {Geometric Quantization},
  edition   = {2nd},
  publisher = {Oxford University Press},
  series    = {Oxford Mathematical Monographs},
  year      = {1992},
  note      = {Ch. 11: presymplectic evolution space, the mass-shell constraint, and quantisation of the relativistic particle}
}

@book{Dirac1964,
  author    = {Dirac, Paul A. M.},
  title     = {Lectures on Quantum Mechanics},
  publisher = {Belfer Graduate School of Science, Yeshiva University},
  address   = {New York},
  year      = {1964},
  note      = {Constrained Hamiltonian systems, first-class constraints, and the Dirac bracket}
}

@article{Wigner1939,
  author  = {Wigner, Eugene P.},
  title   = {On unitary representations of the inhomogeneous Lorentz group},
  journal = {Annals of Mathematics},
  volume  = {40},
  number  = {1},
  pages   = {149--204},
  year    = {1939}
}

@article{BargmannWigner1948,
  author  = {Bargmann, Valentine and Wigner, Eugene P.},
  title   = {Group theoretical discussion of relativistic wave equations},
  journal = {Proceedings of the National Academy of Sciences USA},
  volume  = {34},
  number  = {5},
  pages   = {211--223},
  year    = {1948}
}

@book{BatesWeinstein1997,
  author    = {Bates, Sean and Weinstein, Alan},
  title     = {Lectures on the Geometry of Quantization},
  series    = {Berkeley Mathematics Lecture Notes},
  volume    = {8},
  publisher = {American Mathematical Society},
  year      = {1997},
  note      = {Ch. 10: reduction of presymplectic manifolds and constraint quantisation}
}

Prerequisites

05.11.01
05.11.03
05.02.05
05.04.01

Tier anchors

beginner: Woodhouse Geometric Quantization Ch. 11 informal; Bates-Weinstein Lectures on the Geometry of Quantization Ch. 10 informal
intermediate: Woodhouse Geometric Quantization Ch. 11; Souriau Structure des Systèmes Dynamiques Ch. IV; Bates-Weinstein Lectures on the Geometry of Quantization Ch. 10
master: Souriau 1970 Structure des Systèmes Dynamiques Ch. IV (Poincaré coadjoint orbits, the relativistic massive particle); Woodhouse 1992 Geometric Quantization Ch. 11 (presymplectic evolution space, mass-shell quantisation); Dirac 1964 Lectures on Quantum Mechanics (constrained-Hamiltonian quantisation); Bargmann-Wigner 1948 Proc. Natl. Acad. Sci. 34 (relativistic wave equations from Poincaré representations); Wigner 1939 Ann. Math. 40 (unitary irreducible representations of the Poincaré group)

References

Souriau 1970 — Structure des Systèmes Dynamiques · Dunod, Ch. IV — the relativistic massive particle as a coadjoint orbit of the Poincaré group; mass and spin as orbit invariants
Woodhouse 1992 — Geometric Quantization · Oxford University Press, 2nd ed., Ch. 11 — presymplectic evolution space, the mass-shell constraint, and quantisation of the relativistic particle to the Klein-Gordon equation
Dirac 1964 — Lectures on Quantum Mechanics · Belfer Graduate School, Yeshiva University — first-class constraints, the Dirac bracket, and quantisation of reparametrisation-invariant systems
Wigner 1939 — On unitary representations of the inhomogeneous Lorentz group · Ann. Math. 40, 149–204 — classification of the unitary irreducible representations of the Poincaré group by mass and spin
Bargmann-Wigner 1948 — Group theoretical discussion of relativistic wave equations · Proc. Natl. Acad. Sci. USA 34, 211–223 — relativistic wave equations as intertwiners onto Poincaré irreducibles
Bates-Weinstein 1997 — Lectures on the Geometry of Quantization · Berkeley Math. Lecture Notes 8, Ch. 10 — reduction of presymplectic manifolds and constraint quantisation

Estimated time

beginner: 18m
intermediate: 45m
master: 90m