Symplectic microgeometry II: generating functions

We adapt the notion of generating functions for lagrangian submanifolds to symplectic microgeometry. We show that a symplectic micromorphism always admits a global generating function. As an application, we describe hamiltonian flows as special symplectic micromorphisms whose local generating functions are the solutions of Hamilton-Jacobi equations. We obtain a purely categorical formulation of the temporal evolution in classical mechanic

Symplectic Microgeometry II: Generating functions

We adapt the notion of generating functions for lagrangian submanifolds to symplectic microgeometry. We show that a symplectic micromorphism always admits a global generating function. As an application, we describe hamiltonian flows as special symplectic micromorphisms whose local generating functions are the solutions of Hamilton-Jacobi equations. We obtain a purely categorical formulation of the temporal evolution in classical mechanics.Comment: 27 pages, 1 figur

Symplectic microgeometry, IV: Quantization

We construct a special class of semiclassical Fourier integral operators whose wave fronts are the symplectic micromorphisms of our previous work (J. Symplectic Geom. 8 (2010), 205–223). These operators have very good properties: they form a category on which the wave front map becomes a functor into the cotangent microbundle category, and they admit a total symbol calculus in terms of symplectic micromorphisms enhanced with half-density germs. This new operator category encompasses the semiclassical pseudodifferential calculus and offers a functorial framework for the semiclassical analysis of the Schrödinger equation. We also comment on applications to classical and quantum mechanics as well as to a functorial and geometrical approach to the quantization of Poisson manifolds