Canonical Quantization and Quantum Mechanics Beyond the Basics
From Poisson Brackets to Commutators
Canonical quantization
In canonical quantization, classical phase-space variables become operators on a Hilbert space, and Poisson brackets become commutators via . For fields, the equal-time commutation relations encode locality and microcausality.
Subtlety
Canonical quantization is not a theorem that always works globally; for constrained systems, curved backgrounds, and gauge theories, operator ordering and gauge fixing can become highly nontrivial.
Core postulates
Constrained Hamiltonian Systems
Gauge constraints and Dirac brackets
When the Lagrangian is singular, the Hamiltonian formulation requires constraints. Dirac's formalism classifies them as first-class or second-class and constructs the correct reduced phase space. This framework is indispensable in gauge theories, relativistic particle models, and gravity.
Constraint classification
| Type | Meaning | Consequence |
|---|---|---|
| First-class | Poisson commute with all constraints on the constraint surface | Generate gauge transformations |
| Second-class | Do not commute with all constraints | Require Dirac brackets |
| Primary | Arise directly from momentum definitions | Signal singular velocities |
| Secondary | Follow from time evolution of primary constraints | Enforce consistency |
What do first-class constraints typically generate in a Hamiltonian gauge theory?
First-class constraints generate infinitesimal gauge transformations on phase space.
Correct answer: Gauge transformations
State the canonical commutation relation for a single degree of freedom.
This is the fundamental operator relation replacing the classical Poisson bracket .
Correct answer: [x,p]=i\hbar
Quantizing a constrained system
-
1
Identify canonical coordinates and momenta.
-
2
Compute primary constraints from the definitions of momenta.
-
3
Construct the total Hamiltonian including Lagrange multipliers.
-
4
Enforce consistency under time evolution to uncover secondary constraints.
-
5
Gauge-fix or use Dirac brackets to obtain the physical phase space.
Why is gauge fixing often introduced before quantization?
Gauge fixing selects a unique representative from each gauge orbit, making the path integral and operator quantization manageable.
Correct answer: To remove redundant degrees of freedom and define propagators