Geometric Quantization I'm curious about geometric quantization.
Of course, I know the procedure:
Start with a classical phase space $T^{*}X$, $X$ is the configuration space, then do prequantization by creating a prequantum (complex) line bundle (of course, the symplectic structure must satisfy the Bohr-Sommerfeld condition). The space of square integrable sections of this prequantum line bundle is the prequantum Hilbert space, so choose a polarization $P$. The space of all square-integrable sections of the prequantum line bundle that gives zero when we their covariant derivative at any point $x\in T^{*}X$ in the direction of any vector in a Lagrangian subspace modeled by the polarization is the quantum Hilbert space.
My question is as follows:

Why does geometric quantization work?

As I've said, I'm curious about this, so any help would be appreciated.

Edit: More specifically, let $\mathcal{E}$ be the configuration space of the classical theory on $X$. I.e., if $T^{*}\mathcal{E}$ denotes the phase space, why is the space of square-integrable sections of the complex line bundle over $T^{*}\mathcal{E}$ that gives zero when we compute their covariant derivative at any point $x∈T^{*}\mathcal{E}$ in the direction of any vector in a Lagrangian subspace modeled by the polarization the quantum Hilbert space?

Cross-posted from: "https://math.stackexchange.com/questions/698297/geometric-quantization".
 A: Perhaps we can approach something like an answer, by following the lines set out in Ritter's exposition of geometric quantization (2002). Geometric quantization works because the Heisenberg equations of motion in quantum mechanics have the same structure as Hamilton's equations in classical mechanics, and to exploit that similarity the quantization procedure should satisfy the three conditions of (1) linearity, (2) a constant classical observable corresponds to a real number times the quantum mechanical identity operator, and (3) commutators of quantum mechanical operators correspond to Poisson brackets of classical observables. One more postulate (irreducibility)  requires the restriction to polarized operators, and that completes the description of geometric quantization.
As Ritter emphasises, it's helpful to keep in mind that we are dealing with the mathematical structure of a physical theory: Based ultimately on physical experiment, Dirac formulated these prescriptions for the mathematical structure of quantization around 1925, long before mathematicians knew that the procedure was possible.
A: In the pre-quantum Hilbert space, Poisson bracket algebra of pre-quantum operators is reducible because pre-quantum wave-functions depend on all phase space variables. To get an irreducible representation of the algebra one introduces a polarization by using a covariant derivative where the connection is the symplectic potential. This covariant derivative acting on the pre-quantum wave-function equals zero is called the polarization condition. This procedure forces the wave-function to depend on half of the phase space variables that commute with each other. So the quantum wave-function cannot be a simultaneous eigenstate of non-commuting variables. Generally there are three options: choosing the coordinate Hilbert space where the quantum wave-function is $\psi(x_i)$, choosing the momentum Hilbert space where $\psi(p_i)$ or choosing the Segal-Bargmann space $\psi(z_i)$(holomorphic polarization), where $z=x+iy$.
So basically the covariant derivative is zero in the polarized section because that is the condition that defines the polarized section.
I hope I understood your question right.
Refs:
[1] V.P. Nair. Quantum Field Theory: A modern perspective. Springer, 2005.
[2] B. C. Hall. Quantum Theory for Mathematicians. Springer, 2013.
