Dynamics of the continued fraction map and the spectral theory of \(\text{SL}(2,\mathbb{Z})\)
type: Item
instance of: scholarly article
title: Dynamics of the continued fraction map and the spectral theory of \(\text{SL}(2,\mathbb{Z})\)
zbMATH Open document ID: 0811.11037
DOI: 10.1007/BF01232667
author: Isaac Efrat
published in: Inventiones Mathematicae
publication date: 1995-04-26T00:00:00Z
full work available at URL: https://eudml.org/doc/144146
review text: The paper answers a question raised in \textit{D. Mayer} [Bull. Am. Math. Soc., New Ser. 25, 55-60 (1991; Zbl 0729.58041)]. Consider the map of \([0,1)\) given by \(\{1/x\}\), \(x\neq 0\), \(T(0)=0\). The periodic points of the dynamical system defined by iterating \(T\) are periodic continued fractions. Mayer has developed a way of obtaining a meromorphic continuation of the Ruelle zeta-function of \(T\). The Ruelle zeta-function \(\zeta_ 1(s)\) associated to \(T\) is given by \[ \zeta_ 1(x)= \text{det} (1+ L_{s+1})/ \text{det} (1-L_ s). \] Here \(L_ s\) is the family of operators defined on the Banach space of functions \(f\) analytic in the disc \(| z-1|< 3/2\) and continuous on the boundary by \[ (L_ s f)(z)= \sum_{m=1}^ \infty (z+m)^{-2s} f \bigl( \textstyle {{1\over {z+m}}} \bigr), \qquad \text{for Re } s>1/2. \] Here the author considers a variant of this zeta-function \[ \zeta_ 2(s)= \text{det}(1+ L^ 2_{s+1})/ \text{det} (1-L_ s^ 2). \] He shows that the reciprocal of Selberg's zeta-function \(Z(s)\) of \(\text{PSL} (2,\mathbb{Z})\) factors as an infinite product of integer translates of \(\zeta_ 2(s)\). Mayer's question is: ``what aspects of the spectral theory of \(L^ 2 (\text{PSL} (2,\mathbb{Z}) \setminus H)\) (if any) are reflected by the following factorization of Selberg's zeta-function: \[ Z(s)= \text{det} (1-L_ s^ 2)= \text{det} (1-L_ s) \text{det}(1+ L_ s)? \text{''} \] The main Theorem of the present paper gives explicit factorizations of \(\text{det} (1\pm L_ s)\). The theorem implies the following Corollary. \(\text{Det} (1-L_ s)=0\) if and only if \(s(1-s)\) is an eigenvalue of \(\Delta\) for an even eigenfunction on \(L^ 2 (\text{PSL} (2,\mathbb{Z})\setminus H)\) or if \(\pi^{-s} \Gamma(s) \zeta(2s)=0\); \(\text{det} (1+L_ s)=0\) iff \(s(1-s)\) is an eigenvalue of \(\Delta\) for an odd eigenfunction on \(L^ 2 (\text{PSL} (2,\mathbb{Z}) \setminus H)\). The proof involves making precise the relations between continued fractions, quadratic forms a…
Mathematics Subject Classification ID: 11F72
Mathematics Subject Classification ID: 11M36
Mathematics Subject Classification ID: 37C25
Mathematics Subject Classification ID: 11J70
zbMATH DE Number: 549646
zbMATH Keywords: dynamical system
zbMATH Keywords: periodic continued fractions
zbMATH Keywords: Ruelle zeta-function
zbMATH Keywords: Selberg's zeta-function
zbMATH Keywords: \(\text{PSL} (2,\mathbb{Z})\)
zbMATH Keywords: spectral theory
zbMATH Keywords: explicit factorizations
reviewed by: Audrey A. Terras
MaRDI profile type: Publication
cites work: Q3252755
cites work: The Selberg trace formula for 𝑃𝑆𝐿₂(𝑅)ⁿ
cites work: On a family of Hilbert modular Maass forms
cites work: Determinants of Laplacians on surfaces of finite volume
cites work: La théorie de Fredholm
cites work: Selberg zeta functions and Ruelle operators for function fields
cites work: On a $\zeta$ function related to the continued fraction transformation
cites work: On the thermodynamic formalism for the Gauss map
cites work: The thermodynamic formalism approach to Selberg’s zeta function for 𝑃𝑆𝐿(2,𝐙)
cites work: Some applications of thermodynamic formalism to manifolds with constant negative curvature
cites work: Zeta-functions for expanding maps and Anosov flows
cites work: Q4185090
cites work: Class numbers of indefinite binary quadratic forms
cites work: Q3966223
cites work: Q3909097
description: scientific article; zbMATH DE number 549646