§1 lists axioms desirable in any quantization rule for the functions of the q's. The momentum observables are introduced in §2 prior to their quantization in §4. §5 essentially shows how conventional quantum mechanics fits into this scheme of things. By progressive specialization from a general manifold to a vector space, from a general quantization scheme to one which is linear on the linear momentum functions, and finally to an entirely well-behaved (admissible) quantization rule, we obtain in §7−§9 results which become progressively more and more powerful. The final theorem (Theorem 9.2) is perhaps the most significant of all. This result states that there exists a class of functions which contains all functions of the q's and functions of the p's and all momentum observables and which is closed with respect to any linear canonical transformation L; a rule Λ assigning a unique self-adjoint operator to each such function f; a unitary operator W L corresponding to L and an equation Λ(f∘L)=W -1 LΛƒW L . Contents 1. 1. Prequantization schemes 2. 2. Momentum observables 3. 3. The set L( M) 4. 4. Quantization schemes 5. 5. An example 6. 6. Systems of imprimitivity 7. 7. Quantization schemes on vector spaces 8. 8. Standard quantization schemes 9. 9. Admissible quantization schemes Appendix References
Read full abstract