Symplectic microgeometry. IV: Quantization (Q1979489)

A microfold (or ``local manifold pair'') \([M, A]\) is an equivalence class of manifold pairs \((M, A)\) where \(A\) is a fixed closed submanifold of \(M\) such that two pairs \((M_1, A)\), \((M_2, A)\) are equivalent if there exists a third one \((M_3, A)\) such that \(M_3\) is simultaneously an open submanifold of both \(M_1\) and \(M_2\). A symplectic microfold is a microfold \([M, A]\) such that \(M\) is a symplectic manifold and \(A\) is a Lagrangian submanifold while a Lagrangian submicrofold \([L, S]\) of \([M, A]\) has \(L\subset M\) and \(S\subset A\) with \(L\) a Lagrangian submanifold. The paper under review starts the study of Fourier integral operators for which the semiclassical limit is controlled by a Lagrangian submicrofold of its wave front that satisfies the transversality condition or, in other words, by a symplectic micromorphism. It is presented how the small-time asymptotics of classical Hamiltonian mechanics can be expressed in a purely categorial way into the setting of symplectic microgeometry.