Теорема Лефшеца о неподвижной точке для квантованных канонических преобразований

Предлагается квазиклассическая версия теоремы Атьи–Ботта–Лефшеца для эллиптических эндоморфизмов, индуцированных каноническим преобразованием фазового пространства. Полученная формула содержит в качестве специализации и обычную формулу Атьи–Ботта для геометрических эндоморфизмов, индуцированных эндоморфизмами базы. Доказательство вполне элементарное и фактически использует лишь метод стационарной фазы.