Global trace formula for ultra-differentiable Anosov flows (Q2041645)

Assume smooth vector field \(V\) on a smooth manifold generates an Anosov flow \((\phi_t)_{t\in\mathbb{R}}\). One of the profound connections between these two objects arises via various trace formulas relating distributions defined by suitably weighted sums over spectral data from a differential operator associated to \(V\) and suitably weighted sums over periodic orbits of \((\phi_t)\). There are considerable technical difficulties to this however, in part because the associated differential operator is not elliptic and so may have wild spectrum on the space of \(L^2\) functions. One approach due to \textit{O. Butterley} and \textit{C. Liverani} [J. Mod. Dyn. 1, No. 2, 301--322 (2007; Zbl 1144.37011); J. Mod. Dyn. 7, No. 2, 255--267 (2013; Zbl 1328.37017)] is to find a scale of anisotropic Banach spaces of distributions on the manifold and use these to define a suitable Ruelle spectrum for \(V\). Many technical difficulties remain, and here the results found by the author in [J. Spectr. Theory 10, No. 1, 185--249 (2020; Zbl 1442.37038)] are used to show that the trace formula conjectured by \textit{S. Dyatlov} and \textit{M. Zworski} [Ann. Sci. Éc. Norm. Supér. (4) 49, No. 3, 543--577 (2016; Zbl 1369.37028)] holds for Anosov flows under a smoothness condition more stringent than \(C^{\infty}\) but less stringent than being in the Gevrey class.