Explores geometric quantization, the process of quantizing classical systems to obtain quantum systems using mathematical techniques like pseudo-differential calculus.
Covers the Gupta-Bleuler quantization method in Quantum Field Theory, focusing on redundancy in the electromagnetic field and the recovery of Maxwell equations.