scholarly journals A transfer-operator-based relation between Laplace eigenfunctions and zeros of Selberg zeta functions

2018 ◽  
Vol 40 (3) ◽  
pp. 612-662
Author(s):  
ALEXANDER ADAM ◽  
ANKE POHL

Over the last few years Pohl (partly jointly with coauthors) has developed dual ‘slow/fast’ transfer operator approaches to automorphic functions, resonances, and Selberg zeta functions for a certain class of hyperbolic surfaces $\unicode[STIX]{x1D6E4}\backslash \mathbb{H}$ with cusps and all finite-dimensional unitary representations $\unicode[STIX]{x1D712}$ of $\unicode[STIX]{x1D6E4}$. The eigenfunctions with eigenvalue 1 of the fast transfer operators determine the zeros of the Selberg zeta function for $(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D712})$. Further, if $\unicode[STIX]{x1D6E4}$ is cofinite and $\unicode[STIX]{x1D712}$ is the trivial one-dimensional representation then highly regular eigenfunctions with eigenvalue 1 of the slow transfer operators characterize Maass cusp forms for $\unicode[STIX]{x1D6E4}$. Conjecturally, this characterization extends to more general automorphic functions as well as to residues at resonances. In this article we study, without relying on Selberg theory, the relation between the eigenspaces of these two types of transfer operators for any Hecke triangle surface $\unicode[STIX]{x1D6E4}\backslash \mathbb{H}$ of finite or infinite area and any finite-dimensional unitary representation $\unicode[STIX]{x1D712}$ of the Hecke triangle group $\unicode[STIX]{x1D6E4}$. In particular, we provide explicit isomorphisms between relevant subspaces. This solves a conjecture by Möller and Pohl, characterizes some of the zeros of the Selberg zeta functions independently of the Selberg trace formula, and supports the previously mentioned conjectures.

2011 ◽  
Vol 33 (1) ◽  
pp. 247-283 ◽  
Author(s):  
M. MÖLLER ◽  
A. D. POHL

AbstractWe characterize Maass cusp forms for any cofinite Hecke triangle group as 1-eigenfunctions of appropriate regularity of a transfer operator family. This transfer operator family is associated to a certain symbolic dynamics for the geodesic flow on the orbifold arising as the orbit space of the action of the Hecke triangle group on the hyperbolic plane. Moreover, we show that the Selberg zeta function is the Fredholm determinant of the transfer operator family associated to an acceleration of this symbolic dynamics.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Carlos A. M. André ◽  
João Dias

Abstract We consider smooth representations of the unit group G = A × G=\mathcal{A}^{\times} of a finite-dimensional split basic algebra 𝒜 over a non-Archimedean local field. In particular, we prove a version of Gutkin’s conjecture, namely, we prove that every irreducible smooth representation of 𝐺 is compactly induced by a one-dimensional representation of the unit group of some subalgebra of 𝒜. We also discuss admissibility and unitarisability of smooth representations of 𝐺.


Author(s):  
Louis Soares

AbstractWe consider the family of Hecke triangle groups $$ \Gamma _{w} = \langle S, T_w\rangle $$ Γ w = ⟨ S , T w ⟩ generated by the Möbius transformations $$ S : z\mapsto -1/z $$ S : z ↦ - 1 / z and $$ T_{w} : z \mapsto z+w $$ T w : z ↦ z + w with $$ w > 2.$$ w > 2 . In this case, the corresponding hyperbolic quotient $$ \Gamma _{w}\backslash {\mathbb {H}}^2 $$ Γ w \ H 2 is an infinite-area orbifold. Moreover, the limit set of $$ \Gamma _w $$ Γ w is a Cantor-like fractal whose Hausdorff dimension we denote by $$ \delta (w). $$ δ ( w ) . The first result of this paper asserts that the twisted Selberg zeta function $$ Z_{\Gamma _{ w}}(s, \rho ) $$ Z Γ w ( s , ρ ) , where $$ \rho : \Gamma _{w} \rightarrow \mathrm {U}(V) $$ ρ : Γ w → U ( V ) is an arbitrary finite-dimensional unitary representation, can be realized as the Fredholm determinant of a Mayer-type transfer operator. This result has a number of applications. We study the distribution of the zeros in the half-plane $$\mathrm {Re}(s) > \frac{1}{2}$$ Re ( s ) > 1 2 of the Selberg zeta function of a special family of subgroups $$( \Gamma _w^N )_{N\in {\mathbb {N}}} $$ ( Γ w N ) N ∈ N of $$\Gamma _w$$ Γ w . These zeros correspond to the eigenvalues of the Laplacian on the associated hyperbolic surfaces $$X_w^N = \Gamma _w^N \backslash {\mathbb {H}}^2$$ X w N = Γ w N \ H 2 . We show that the classical Selberg zeta function $$Z_{\Gamma _w}(s)$$ Z Γ w ( s ) can be approximated by determinants of finite matrices whose entries are explicitly given in terms of the Riemann zeta function. Moreover, we prove an asymptotic expansion for the Hausdorff dimension $$\delta (w)$$ δ ( w ) as $$w\rightarrow \infty $$ w → ∞ .


2014 ◽  
Vol 36 (1) ◽  
pp. 142-172 ◽  
Author(s):  
ANKE D. POHL

By a transfer operator approach to Maass cusp forms and the Selberg zeta function for cofinite Hecke triangle groups, Möller and the present author found a factorization of the Selberg zeta function into a product of Fredholm determinants of transfer-operator-like families:$$\begin{eqnarray}Z(s)=\det (1-{\mathcal{L}}_{s}^{+})\det (1-{\mathcal{L}}_{s}^{-}).\end{eqnarray}$$In this article we show that the operator families${\mathcal{L}}_{s}^{\pm }$arise as families of transfer operators for the triangle groups underlying the Hecke triangle groups, and that for$s\in \mathbb{C}$,$\text{Re}s={\textstyle \frac{1}{2}}$, the operator${\mathcal{L}}_{s}^{+}$(respectively${\mathcal{L}}_{s}^{-}$) has a 1-eigenfunction if and only if there exists an even (respectively odd) Maass cusp form with eigenvalue$s(1-s)$. For non-arithmetic Hecke triangle groups, this result provides a new formulation of the Phillips–Sarnak conjecture on non-existence of even Maass cusp forms.


2017 ◽  
Vol 60 (2) ◽  
pp. 411-421
Author(s):  
Luchezar Stoyanov

AbstractWe prove a comprehensive version of the Ruelle–Perron–Frobenius Theorem with explicit estimates of the spectral radius of the Ruelle transfer operator and various other quantities related to spectral properties of this operator. The novelty here is that the Hölder constant of the function generating the operator appears only polynomially, not exponentially as in previously known estimates.


2011 ◽  
Vol 8 (5) ◽  
pp. 8865-8901
Author(s):  
P. Noel ◽  
A. N. Rousseau ◽  
C. Paniconi

Abstract. Subdivision of catchment into appropriate hydrological units is essential to represent rainfall-runoff processes in hydrological modelling. The commonest units used for this purpose are hillslopes (e.g. Fan and Bras, 1998; Troch et al., 2003). Hillslope width functions can therefore be utilised as one-dimensional representation of three-dimensional landscapes by introducing profile curvatures and plan shapes. An algorithm was developed to delineate and extract hillslopes and hillslope width functions by introducing a new approach to calculate an average profile curvature and plan shape. This allows the algorithm to be independent of digital elevation model resolution and to associate hillslopes to nine elementary landscapes according to Dikau (1989). This algortihm was tested on two flat and steep catchments of the province of Quebec, Canada. Results showed great area coverage for hillslope width function over individual hillslopes and entire watershed.


Author(s):  
Alain Desrochers

Abstract This paper presents the adaptation of tolerance transfer techniques to a model called TTRS for Technologically and Topologically Related Surfaces. According to this model, any three-dimensional part can be represented as a succession of surface associations forming a tree. Additional tolerancing information can be associated to each TTRS represented as a node on the tree. This information includes dimensional tolerances as well as tolerance chart values. Rules are then established to simulate tolerance chains or stack up along with tolerance charts directly from the graph. This way it becomes possible to combine traditional one dimensional tolerance transfer techniques with a powerful three-dimensional representation model providing high technological contents.


1966 ◽  
Vol 27 (2) ◽  
pp. 531-542 ◽  
Author(s):  
G. Hochschild ◽  
G. D. Mostow

Let G be a complex analytic group, and let A be the representation space of a finite-dimensional complex analytic representation of G. We consider the cohomology for G in A, such as would be obtained in the usual way from the complex of holomorphic cochains for G in A. Actually, we shall use a more conceptual categorical definition, which is equivalent to the explicit one by cochains. In the context of finite-dimensional representation theory, nothing substantial is lost by assuming that G is a linear group. Under this assumption, it is the main purpose of this paper to relate the holomorphic cohomology of G to Lie algebra cohomology, and to the rational cohomology, in the sense of [1], of algebraic hulls of G. This is accomplished by using the known structure theory for complex analytic linear groups in combination with certain easily established results concerning the cohomology of semidirect products. The main results are Theorem 4.1 (whose hypothesis is always satisfied by a complex analytic linear group) and Theorems 5.1 and 5.2. These last two theorems show that the usual abundantly used connections between complex analytic representations of complex analytic groups and rational representations of algebraic groups extend fully to the superstructure of cohomology.


Sign in / Sign up

Export Citation Format

Share Document