 Kostant-Souriau prequantum operator

For ${\iota }_{X_f}\omega =df$ and $F_{\nabla }=i\omega /\hslash$, the curvature commutator and $[X_f,X_g]=-X_{\{f,g\}}$ give $[\hat{f},\hat{g}]=i\hslash \widehat{\{f,g\}}$. In cotangent coordinates, $\theta =pdq$ gives $\hat{f}=-i\hslash X_f+f-\theta (X_f)$. Restriction to a vertical polarization yields $\hat{q}=q$ and $\hat{p}=-i\hslash {\partial }_q$.