A proof of a Melrose's trace formula
arXiv:2205.08744
Abstract
We give a new proof ofan extension of the Chazarain-Duistermaat-Guillemin wave traceformula to the case of 3D-contact manifolds.We use a normal form allowing to reduce to the case of the Heisenberg group.