Geometric Quantization (Part 4)

Last time I showed that geometric quantization could be made into a functor—and that this functor has right adjoint, ‘projectivization’, going back from the quantum realm to the classical. This was just a preliminary version of something that deserves to be polished up a lot. I’d also like to look at a bunch of examples of how this functor works, because they raise a lot of interesting questions.

I’m a bit torn between what order to do all this stuff: polish and then give examples, or gi...