Geometric Quantization of a Constrained System

In mathematical physics, geometric quantization is a method of defining quantum theory corresponding to an existing classical theory. It has been successfully applied to many field theoretic models. Also, Constrained systems occur frequently in physics, since they typically arise in the Hamiltonian formulation of classical systems with gauge symmetries. Here, we will try to understand the geometric quantization from the perspective of a constrained system.