Let us have two symplectic manifolds $(M, \,\omega)$ and $(N, \,\omega')$ and morphism between them:
$$ \varphi \ :\ M \to N.$$
Then we geometrically quantize these systems:


1. we add a prequantum line bundle, $ L\_M \to M$ and $L\_N \to N$ correspondingly;
2. choose some real polarizations $P\_M$ and $P\_N$ such that $(\varphi\_\*P\_M)(x) \neq P\_N(x), \, \text{for }x \in \varphi(M)$;
3. let the quotient maps $\pi\_{M}\ :\ M \to M/P\_M$ and $\pi\_N\ :\ N \to N/P\_N$ be fibration.
4. Then the space of compactly supported sections of $L\_M/P\_M \otimes |T(M/P\_M)|^{1/2} $ after completion realise Hilbert space $H\_M$. The same procedure for $N$ gives $H\_N$.


I don't understand how to build morphism between $H\_M$ and $H\_N$ from $\varphi$. Is there any natural way to do it?


I'm not sure whether it's a trivial question or not. I don't have deep understanding of geometric quantization, I've only read [this review by Lerman](https://arxiv.org/abs/1206.2334). So if some comprehensible text about the question exists, I'll gladly accept a reference.


P.S. I'm reading [this paper by Nekrasov](https://arxiv.org/abs/hep-th/9707111) which describes morphism between classical Calogero-Moser and Calogero-Sutherland models, and derives from it morphism between their quantum versions. Nekrasov briefly describes how he gets quantum morphism from classical one in the beginning of 4th section. But I don't understand it. So I'm interested whether there is a general way to do it. If it is possible only in this particular case, I'd like to get a more thoroughly explanation of Nekrasov's procedure.



Does symplectic morphism after geometric quantization induce Hilbert spaces morphism?
The slogan to keep in mind is that "quantization is not a functor". For details on this slogan, see the (decade old!) Mathoverflow question [What does “quantization is not a functor” really mean?](https://mathoverflow.net/questions/8606/what-does-quantization-is-not-a-functor-really-mean). Basically, "is not a functor" means that there is no canonical way to build morphisms of Hilbert spaces from morphisms of symplectic manifolds.


Of course, in many practical cases there may be some "best" morphism of Hilbert spaces for a given "nice" morphism of symplectic manifolds, or some family of "best" morphisms. For instance, perhaps in your practical case you have some control over how your $\varphi$ interacts with the prequantum and polarization data.


