skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On the nonexistence of automorphic eigenfunctions of exponential growth on SL(3,Z)∖SL(3,R)/SO(3,R)
It is well-known that there are automorphic eigenfunctions on SL(2,Z)∖SL(2,R)/SO(2,R)—such as the classical j-function—that have exponential growth and have exponentially growing Fourier coefficients (e.g., negative powers of q=e2πiz, or an I-Bessel function). We show that this phenomenon does not occur on the quotient SL(3,Z)∖SL(3,R)/SO(3,R) and eigenvalues in general position (a removable technical assumption). More precisely, if such an automorphic eigenfunction has at most exponential growth, it cannot have non-decaying Whittaker functions in its Fourier expansion. This confirms part of a conjecture of Miatello and Wallach, who assert all automorphic eigenfunctions on this quotient (among other rank ≥2 examples) always have moderate growth. We additionally confirm their conjecture under certain natural hypotheses, such as the absolute convergence of the eigenfunction’s Fourier expansion.  more » « less
Award ID(s):
1801417
PAR ID:
10142653
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Research in number theory
Volume:
5
Issue:
31
ISSN:
2363-9555
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Through the action of an anti-holomorphic involution $$\sigma$$ (a real structure) on a Riemann surface $$X$$, we consider the induced actions on $${\rm SL}(r,\mathbb{C})$$-opers and study the real slices fixed by such actions. By constructing this involution for different descriptions of the space of $${\rm SL}(r,\mathbb{C})$$-opers, we are able to give a natural parametrization of the fixed point locus via differentials on the Riemann surface, which in turn allows us to study their geometric properties. 
    more » « less
  2. Andersen, Masbaum and Ueno conjectured that certain quantum representations of surface mapping class groups should send pseudo-Anosov mapping classes to elements of infinite order (for large enough level r). In this paper, we relate the AMU conjecture to a question about the growth of the Turaev-Viro invariants TVr of hyperbolic 3-manifolds. We show that if the r-growth of |TVr(M)| for a hyperbolic 3-manifold M that fibers over the circle is exponential, then the monodromy of the fibration of M satisfies the AMU conjecture. Building on earlier work \cite{DK} we give broad constructions of (oriented) hyperbolic fibered links, of arbitrarily high genus, whose SO(3)-Turaev-Viro invariants have exponential r-growth. As a result, for any g>n⩾2, we obtain infinite families of non-conjugate pseudo-Anosov mapping classes, acting on surfaces of genus g and n boundary components, that satisfy the AMU conjecture. We also discuss integrality properties of the traces of quantum representations and we answer a question of Chen and Yang about Turaev-Viro invariants of torus links. 
    more » « less
  3. Andersen, Masbaum and Ueno conjectured that certain quantum representations of surface mapping class groups should send pseudo-Anosov mapping classes to elements of infinite order (for large enough level r). In this paper, we relate the AMU conjecture to a question about the growth of the Turaev-Viro invariants TVr of hyperbolic 3-manifolds. We show that if the r-growth of |TVr(M)| for a hyperbolic 3-manifold M that fibers over the circle is exponential, then the monodromy of the fibration of M satisfies the AMU conjecture. Building on earlier work \cite{DK} we give broad constructions of (oriented) hyperbolic fibered links, of arbitrarily high genus, whose SO(3)-Turaev-Viro invariants have exponential r-growth. As a result, for any g>n⩾2, we obtain infinite families of non-conjugate pseudo-Anosov mapping classes, acting on surfaces of genus g and n boundary components, that satisfy the AMU conjecture. We also discuss integrality properties of the traces of quantum representations and we answer a question of Chen and Yang about Turaev-Viro invariants of torus links. 
    more » « less
  4. Abstract Let Γ be a Schottky semigroup in {\mathrm{SL}_{2}(\mathbf{Z})} ,and for {q\in\mathbf{N}} , let {\Gamma(q):=\{\gamma\in\Gamma:\gamma=e~{}(\mathrm{mod}~{}q)\}} be its congruence subsemigroupof level q . Let δ denote the Hausdorff dimension of the limit set of Γ.We prove the following uniform congruence counting theoremwith respect to the family of Euclidean norm balls {B_{R}} in {M_{2}(\mathbf{R})} of radius R :for all positive integer q with no small prime factors, \#(\Gamma(q)\cap B_{R})=c_{\Gamma}\frac{R^{2\delta}}{\#(\mathrm{SL}_{2}(%\mathbf{Z}/q\mathbf{Z}))}+O(q^{C}R^{2\delta-\epsilon}) as {R\to\infty} for some {c_{\Gamma}>0,C>0,\epsilon>0} which are independent of q .Our technique also applies to give a similar counting result for the continued fractions semigroup of {\mathrm{SL}_{2}(\mathbf{Z})} ,which arises in the study of Zaremba’s conjecture on continued fractions. 
    more » « less
  5. This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ⁡ ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ⁡ ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ⁡ ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ⁡ ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type D D - D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≤ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . 
    more » « less