Quantum monodromy and semi-classical trace formulæ. (Q1408916)

In this interesting paper a trace formula for semi-classical pseudodifferential operators whose symbol has a close Hamiltonian trajectory is proved. The operators are defined on a compact \(C^\infty\) manifold \(X\). The Poincaré map of trajectories can be quantized by a Fourier integral operator. More generally, the trace formula is proved for a smooth family of operators, that are self-adjoint for real values of the parameter, elliptic off the real axis and of principal type. The formula is proved with the help of the quantum monodromy operator. The result leads to a new proof of the trace formula of Duistermaat-Guillemin and Gutwiller.