Showing 1–11 of 11 results for author: Pohl, A D

Symbolic dynamics, automorphic functions, and Selberg zeta functions with unitary representations

Authors: Anke D. Pohl

Abstract: Using Hecke triangle surfaces of finite and infinite area as examples, we present techniques for thermodynamic formalism approaches to Selberg zeta functions with unitary finite-dimensional representations $(V,χ)$ for hyperbolic surfaces (orbifolds) $Γ\backslash\mathbb{H}$ as well as transfer operator techniques to develop period-like functions for $(Γ,χ)$-automorphic cusp forms. This leads to sev… ▽ More Using Hecke triangle surfaces of finite and infinite area as examples, we present techniques for thermodynamic formalism approaches to Selberg zeta functions with unitary finite-dimensional representations $(V,χ)$ for hyperbolic surfaces (orbifolds) $Γ\backslash\mathbb{H}$ as well as transfer operator techniques to develop period-like functions for $(Γ,χ)$-automorphic cusp forms. This leads to several natural conjectures. We further show how to extend these results to the billiard flow on the underlying triangle surfaces, and study the convergence of transfer operators along sequences of Hecke triangle groups. △ Less

Submitted 8 June, 2016; v1 submitted 2 March, 2015; originally announced March 2015.

Comments: 32 pages, 4 figures

MSC Class: 37C30; 11M36; 11F12 (Primary); 37B10; 37D35; 37D40 (Secondary)

A thermodynamic formalism approach to the Selberg zeta function for Hecke triangle surfaces of infinite area

Authors: Anke D. Pohl

Abstract: We provide an explicit construction of a cross section for the geodesic flow on infinite-area Hecke triangle surfaces which allows us to conduct a transfer operator approach to the Selberg zeta function. Further we construct closely related cross sections for the billiard flow on the associated triangle surfaces and endow the arising discrete dynamical systems and transfer operator families with t… ▽ More We provide an explicit construction of a cross section for the geodesic flow on infinite-area Hecke triangle surfaces which allows us to conduct a transfer operator approach to the Selberg zeta function. Further we construct closely related cross sections for the billiard flow on the associated triangle surfaces and endow the arising discrete dynamical systems and transfer operator families with two weight functions which presumably encode Dirichlet respectively Neumann boundary conditions. The Fredholm determinants of these transfer operator families constitute dynamical zeta functions, which provide a factorization of the Selberg zeta function of the Hecke triangle surfaces. △ Less

Submitted 15 April, 2014; originally announced April 2014.

Comments: 23 pages, 6 figures

MSC Class: Primary: 37D40; 37C30; Secondary: 37B10

Odd and even Maass cusp forms for Hecke triangle groups, and the billiard flow

Authors: Anke D. Pohl

Abstract: By a transfer operator approach to Maass cusp forms and the Selberg zeta function for cofinite Hecke triangle groups, M. Möller and the author found a factorization of the Selberg zeta function into a product of Fredholm determinants of transfer-operator-like families: $Z(s) = \det(1-\mc L_s^+)\det(1-\mc L_s^-)$. In this article we show that the operator families $\mc L_s^\pm$ arise as families of… ▽ More By a transfer operator approach to Maass cusp forms and the Selberg zeta function for cofinite Hecke triangle groups, M. Möller and the author found a factorization of the Selberg zeta function into a product of Fredholm determinants of transfer-operator-like families: $Z(s) = \det(1-\mc L_s^+)\det(1-\mc L_s^-)$. In this article we show that the operator families $\mc L_s^\pm$ arise as families of transfer operators for the triangle groups underlying the Hecke triangle groups, and that for $s\in\C$, $\Rea s=\tfrac12$, the operator $\mc L_s^+$ (resp. $\mc L_s^-$) has a 1-eigenfunction if and only if there exists an even (resp. odd) Maass cusp form with eigenvalue $s(1-s)$. For nonarithmetic Hecke triangle groups, this result provides a new formulation of the Phillips-Sarnak conjecture on nonexistence of even Maass cusp forms. △ Less

Submitted 6 June, 2014; v1 submitted 3 March, 2013; originally announced March 2013.

Comments: 30 pages, final version, to appear in ETDS

MSC Class: Primary: 37C30; 11F72; Secondary: 11M36; 37B10; 37D35; 37D40

Journal ref: Ergod. Th. Dynam. Sys. 36 (2014) 142-172

Amount of failure of upper-semicontinuity of entropy in noncompact rank one situations, and Hausdorff dimension

Authors: Shirali Kadyrov, Anke D. Pohl

Abstract: Recently, Einsiedler and the authors provided a bound in terms of escape of mass for the amount by which upper-semicontinuity for metric entropy fails for diagonal flows on homogeneous spaces $Γ\backslash G$, where $G$ is any connected semisimple Lie group of real rank 1 with finite center and $Γ$ is any nonuniform lattice in $G$. We show that this bound is sharp and apply the methods used to esta… ▽ More Recently, Einsiedler and the authors provided a bound in terms of escape of mass for the amount by which upper-semicontinuity for metric entropy fails for diagonal flows on homogeneous spaces $Γ\backslash G$, where $G$ is any connected semisimple Lie group of real rank 1 with finite center and $Γ$ is any nonuniform lattice in $G$. We show that this bound is sharp and apply the methods used to establish bounds for the Hausdorff dimension of the set of points which diverge on average. △ Less

Submitted 13 November, 2012; originally announced November 2012.

Comments: 24 pages

MSC Class: Primary: 37A35; 37D40; Secondary: 28D20; 22D40

A dynamical approach to Maass cusp forms

Authors: Anke D. Pohl

Abstract: For nonuniform cofinite Fuchsian groups $Γ$ which satisfy a certain additional geometric condition, we show that the Maass cusp forms for $Γ$ are isomorphic to 1-eigenfunctions of a finite-term transfer operator. The isomorphism is constructive. For nonuniform cofinite Fuchsian groups $Γ$ which satisfy a certain additional geometric condition, we show that the Maass cusp forms for $Γ$ are isomorphic to 1-eigenfunctions of a finite-term transfer operator. The isomorphism is constructive. △ Less

Submitted 20 December, 2012; v1 submitted 30 August, 2012; originally announced August 2012.

Comments: 32 pages, to appear in Journal of Modern Dynamics

MSC Class: Primary: 11F37; 37C30; Secondary: 37B10; 37D35; 37D40; 11F67

Period functions for Maass cusp forms for $Γ_0(p)$: a transfer operator approach

Authors: Anke D. Pohl

Abstract: We characterize the Maass cusp forms for Hecke congruence subgroups of prime level as 1-eigenfunctions of a finite-term transfer operator. We characterize the Maass cusp forms for Hecke congruence subgroups of prime level as 1-eigenfunctions of a finite-term transfer operator. △ Less

Submitted 25 March, 2012; originally announced March 2012.

Comments: 17 pages, 6 figures

MSC Class: 11F37; 37C30 (Primary) 37B10; 37D35; 37D40; 11F67 (Secondary)

Period functions for Hecke triangle groups, and the Selberg zeta function as a Fredholm determinant

Authors: M. Möller, A. D. Pohl

Abstract: We 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 functi… ▽ More We 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. △ Less

Submitted 11 August, 2011; v1 submitted 27 March, 2011; originally announced March 2011.

Comments: 35 pages; revised version, to be published in ETDS

MSC Class: Primary: 37C30; 11F37; Secondary: 11M36; 37B10; 37D35; 37D40

Symbolic Dynamics for the Geodesic Flow on Two-dimensional Hyperbolic Good Orbifolds

Authors: Anke D. Pohl

Abstract: We construct cross sections for the geodesic flow on the orbifolds $Γ\backslash H$ which are tailor-made for the requirements of transfer operator approaches to Maass cusp forms and Selberg zeta functions. Here, $H$ denotes the hyperbolic plane and $Γ$ is a nonuniform geometrically finite Fuchsian group (not necessarily a lattice, not necessarily arithmetic) which satisfies an additional condition… ▽ More We construct cross sections for the geodesic flow on the orbifolds $Γ\backslash H$ which are tailor-made for the requirements of transfer operator approaches to Maass cusp forms and Selberg zeta functions. Here, $H$ denotes the hyperbolic plane and $Γ$ is a nonuniform geometrically finite Fuchsian group (not necessarily a lattice, not necessarily arithmetic) which satisfies an additional condition of geometric nature. The construction of the cross sections is uniform, geometric, explicit and algorithmic. △ Less

Submitted 13 May, 2013; v1 submitted 2 August, 2010; originally announced August 2010.

Comments: 70 pages, several figures

MSC Class: Primary 37D40; Secondary 37B10; 37C30

The category of reduced orbifolds in local charts

Authors: Anke D. Pohl

Abstract: It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of marked proper effective étale Lie groupoids such that the arising category of orbifo… ▽ More It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of marked proper effective étale Lie groupoids such that the arising category of orbifolds is isomorphic (not only equivalent) to this groupoid category. △ Less

Submitted 8 September, 2015; v1 submitted 5 January, 2010; originally announced January 2010.

Comments: 41 pages; to appear in J. Math. Soc. Japan

MSC Class: 57R18; 22A22 (Primary); 58H05 (Secondary)

Ford fundamental domains in symmetric spaces of rank one

Authors: Anke D. Pohl

Abstract: We show the existence of isometric (or Ford) fundamental regions for a large class of subgroups of the isometry group of any rank one Riemannian symmetric space of noncompact type. The proof does not use the classification of symmetric spaces. All hitherto known existence results of isometric fundamental regions and domains are essentially subsumed by our work. We show the existence of isometric (or Ford) fundamental regions for a large class of subgroups of the isometry group of any rank one Riemannian symmetric space of noncompact type. The proof does not use the classification of symmetric spaces. All hitherto known existence results of isometric fundamental regions and domains are essentially subsumed by our work. △ Less

Submitted 14 December, 2009; v1 submitted 28 August, 2009; originally announced August 2009.

Comments: 54 pages; typos corrected

MSC Class: 53C35; 22E40; 52C22

Symbolic dynamics for the geodesic flow on locally symmetric orbifolds of rank one

Authors: J. Hilgert, A. D. Pohl

Abstract: We present a strategy for a geometric construction of cross sections for the geodesic flow on locally symmetric orbifolds of rank one. We work it out in detail for $Γ\backslash H$, where $H$ is the upper half plane and $Γ=\PGamma_0(p)$, $p$ prime. Its associated discrete dynamical system naturally induces a symbolic dynamics on $\R$. The transfer operator produced from this symbolic dynamics has… ▽ More We present a strategy for a geometric construction of cross sections for the geodesic flow on locally symmetric orbifolds of rank one. We work it out in detail for $Γ\backslash H$, where $H$ is the upper half plane and $Γ=\PGamma_0(p)$, $p$ prime. Its associated discrete dynamical system naturally induces a symbolic dynamics on $\R$. The transfer operator produced from this symbolic dynamics has a particularly simple structure. △ Less

Submitted 7 October, 2008; v1 submitted 17 June, 2008; originally announced June 2008.

Comments: 16 pages, 4 figures, Lemma 3.1 corrected and corresponding changes in the proof of Proposition 3.3

MSC Class: 37D40 (Primary); 11J70 (Secondary)