The twisted Ruelle zeta function on compact hyperbolic orbisurfaces and Reidemeister-Turaev torsion (Q6122613): Difference between revisions

Let \(X_1\) be the unit tangent bundle of a compact hyperbolic surface \(X\) with finitely many singular points \(x_1,\ldots , x_r\) of finite order. Let \(\rho:\pi_1(X_1)\to \mathrm{GL}(V_\rho)\) be a representation with \(\dim V_\rho = n \). The Ruelle zeta function \(R(s; \rho)\) is defined by \[R(s; \rho)=\prod_{\gamma\, \mathrm{prime}} \det \left (\mathrm{Id-\rho(\gamma)e^{s\ell(\gamma)}}\right),\] where \(\gamma\) runs through the prime periodic orbits and \(\ell(\gamma)\) denotes the length of the orbit \(\gamma\). For any \(j = 1,\ldots, r\), we denote by \(n_j = \dim \mathrm{Fix}\, \rho(c_j )\), so that \(\rho(c_j ) = I_{n_j} \oplus T_j\). The main result of this paper under review is the computation of the behavior at zero of the Ruelle zeta function \(R(s; \rho)\). More precisely, the authors show that the Ruelle zeta function \(R(s; \rho)\) converges on some right half-plane in \(\mathbb{C}\) and extends meromorphically to the whole complex plane. Moreover \begin{itemize} \item If \(\rho(u) = \mathrm{Id}_{V_\rho}\) , then \(R(s; \rho)\) vanishes at \(s = 0\) with order and the leading coefficient is given as \(s\to 0\) by \[ R(\frac{s}{2\pi}; \rho) \sim \pm \frac{s^{n(2g-2+r)-\sum_{j=1}^r n_j}}{\prod_{j=1}^r |\det (I_{n-n_j}-T_j)|(-\nu_j)^{-n_j}}. \] \item If \(\rho(u) \neq \mathrm{Id}_{V_\rho}\), then the representation \(\rho\) is acyclic. Let \(\mathfrak{e}_{\mathrm{geod}}\) be the Euler structure induced by the geodesic flow on \(X_1\). Then \[ R(0; \rho) = \pm \mathrm{tor}(X_1, \rho, \mathfrak{e}_{\mathrm{geod}}, \omega^1),\] where \(\mathrm{tor}(X_1, \rho, \mathfrak{e}_{\mathrm{geod}}, \omega^1) \in \mathbb{C}^\times\) denotes the Reidemeister-Turaev torsion of \(X_1\) in the representation \(V_\rho\), the Euler structure \(\mathfrak{e}_{\mathrm{geod}}\) and the natural homology orientation \(\omega^1\). \end {itemize}