1: \begin{definition}  \label{defn of GQ assingment} %\textbf{Definition 2.}

2: 	Let $(M,\omega)$ be a symplectic manifold of dimension $2n$	such that $ [\frac{\omega}{2\pi\hbar}] \in H^2_{dR}(M;\mathbb{Z})$, and $\mathcal{L}$ an associated prequantum line bundle with $\nabla$ as in Theorem \ref{existence of prequantum line bundle}. 

3: 	

4: 	\begin{enumerate}

5: 		\item We set $\mathcal{H}_{pre}:=\Gamma(M,\mathcal{L})$, the space of (equivalence classes of) smooth square-integrable sections (with respect to the Liouville measure on $M$)  of $\mathcal{L}$, with a suitable (hermitian) inner product.

6: 		\item GQ assignment 

7: 		$ \mathcal{Q}_{pre}: \big(C^{\infty}(M),\{ \cdot, \cdot \}\big)\longrightarrow \big(End(\mathcal{H}_{pre}),[\cdot, \cdot ]\big)$  is defined by \begin{equation} \label{Qpre} 

8: 		\mathcal{Q}_{pre}(f):= -i\hbar \nabla_{X_f} - f, 

9: 		\end{equation} which provides the required operator \footnote{If we set $ \mathcal{Q}_{pre}(f):=  \nabla_{X_f}-\frac{i}{\hbar} f $, one would have $ \mathcal{Q}_{pre}\big(\{f ,g \}\big)=[\mathcal{Q}_{pre}(f),\mathcal{Q}_{pre}(g)]$. However, we shall always consider the compatibility condition in the form of \ref{quantum cond.} in oder to capture the physical relevance of the subject and make the interpretation more transparent.} satisfying all axioms except the irreducibility condition in Definition \ref{defn of quantum system}. 

10: 	\end{enumerate}

11: \end{definition}

12: