Types of quantum field thories
Assume that is prequantizable (integral) and let be a prequantum bundle with connection for , hence with curvature . Write for the space of smooth sections of the associated complex line bundle. This is the prequantum space of states.
For a function on phase space, the corresponding pre-quantum operator is the linear map on prequantum states
In terms of Higher geometric prequantum theory we may, as discussed there, identify the Poisson bracket Lie algebra with the Lie algebra of the group of automorphism regarded in the slice over . Moreover, the space of sections is equivalently the space of maps in the slice from into the differential refinement of the smooth universal line bundle . In this formulation the action of prequantum operators is just the precomposition action
Now after a choice of polarization a quantum state is a prequantum wave function which is covariantly constant along the Lagrangian submanifolds of the foliation. Not all prequantum operators will respect the space of such quantum states inside all quantum states. Those that do become genuine quantum operators.
A quantum operator is a prequantum operator which preserves quantum states among all prequantum states.
A prequantum operator given by a Hamiltonian function with Hamiltonian vector field is a quantum operator, def. 2, with respect to a given polarization precisely if its flow preserves , hence precisely if
If is a Kähler polarization then its underlying almost complex structure it induces a spin^c structure, as discussed there. If is a Hamiltonian action (a homomorphism to the quantomorphism group) such that each prequantum operator is a quantum operator in that it preserves the polarization, by prop. 1, then the corresponding spin^c structure is -invariant. Accordingly the index of the spin^c Dirac operator which gives the geometric quantization by cohomological quantization exists not just in K-theory, where it yields the space of quantum states, but even in -equivariant K-theory, exhibiting a representation of on the Hilbert space. This is the action of the quantum observables given by from the point of view of cohomological quantization.
Over a phase space which is a cotangent bundle and with respect to the corresponding canonical vertical polarization, a Hamiltonian function is a quantum operator precisely if it is at most linear in the canonical momenta.
See for instance (Blau, around p. 35)
The space of quantum states forms a linear representation of a given algebra of observables. The decomposition of that into irreducible representations is physically the decomposition into superselection sectors.
See the references at geometric quantization.
Standard facts are recalled for instance around p. 35 of