We study the $1$- or $2$-level density of families of $L$-functions for Hecke--Maass forms over an imaginary quadratic field $F$. For test functions whose Fourier transform is supported in $\left(-\frac 32, \frac 32\right)$, we prove that the $1$-level density for Hecke--Maass forms over $F$ of square-free level $\mathfrak{q}$, as $\mathrm{N}(\mathfrak{q})$ tends to infinity, agrees with that of the orthogonal random matrix ensembles. For Hecke--Maass forms over $F$ of full level, we prove similar statements for the $1$- and $2$-level densities, as the Laplace eigenvalues tends to infinity.
We give an explicit construct of a harmonic weak Maass form $F_Θ$ that is a "lift" of $Θ^3$, where $Θ$ is the classical Jacobi theta function. Just as the Fourier coefficients of $Θ^3$ are related to class numbers of imaginary quadratic fields, the Fourier coefficients of the "holomorphic part" of $F_Θ$ are associated to class numbers of real quadratic fields.
In this paper, over imaginary quadratic fields, we consider the family of $L$-functions $L (s, f)$ for an orthonormal basis of spherical Hecke--Maass forms $f$ with Archimedean parameter $t_f$. We establish asymptotic formulae for the twisted first and second moments of the central values $L\big(\frac 1 2, f\big)$, which can be applied to prove that at least $33 \%$ of $L\big(\frac 1 2, f\big)$ with $t_f \leqslant T$ are non-vanishing as $T \rightarrow \infty$. Our main tools are the spherical Kuznetsov trace formula and the Voronoï summation formula over imaginary quadratic fields.
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomorphic cusp forms agree with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions. We prove a similar result for level 1 cuspidal Maass forms, the other natural fami…
The Katz-Sarnak density conjecture states that the scaling limits of the distributions of zeros of families of automorphic $L$-functions agree with the scaling limits of eigenvalue distributions of classical subgroups of the unitary groups $U(N)$. This conjecture is often tested by way of computing particular statistics, such as the one-level density, which evaluates a test function with compactly supported Fourier transform at normalized zeros near the central point. Iwaniec, Luo, and Sarnak studied the one-level densities of cuspidal newforms of weight $k$ and level $N$. They showed in the l…
Using special polynomials introduced by Hikami and the second author in their study of torus knots, we construct classes of $q$-hypergeometric series lying in the Habiro ring. These give rise to new families of quantum modular forms, and their Fourier coefficients encode distinguished Maass cusp forms. The cuspidality of these Maass waveforms is proven by making use of the Habiro ring representations of the associated quantum modular forms. Thus, we provide an example of using the $q$-hypergeometric structure of associated series to establish modularity properties which are otherwise non-obvio…
For $K$ an imaginary quadratic field with discriminant $-D_K$ and associated quadratic Galois character $χ_K$, Kojima, Gritsenko and Krieg studied a Hermitian Maass lift of elliptic modular cusp forms of level $D_K$ and nebentypus $χ_K$ via Hermitian Jacobi forms to Hermitian modular forms of level one for the unitary group $U(2,2)$ split over $K$. We generalize this (under certain conditions on $K$ and $p$) to the case of $p$-oldforms of level $pD_K$ and character $χ_K$. To do this, we define an appropriate Hermitian Maass space for general level and prove that it is isomorphic to the space o…
We study the coefficients of a natural basis for the space of weak harmonic Maass forms of weight $5/2$ on the full modular group. The non-holomorphic part of the first element of this infinite basis encodes the values of the partition function $p(n)$. We show that the coefficients of these harmonic Maass forms are given by traces of singular invariants. These are values of non-holomorphic modular functions at CM points or their real quadratic analogues: cycle integrals of such functions along geodesics on the modular curve. The real quadratic case relates to recent work of Duke, Imamoglu, and…
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agrees with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak proved that the behavior of zeros near the central point of holomorphic cusp forms agrees with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions $ϕ$. We prove similar results for families of cuspidal Maass forms, the other natural family…
For an imaginary quadratic field $K$ of discriminant $-D$, let $χ= χ_K$ be the associated quadratic character. We will show that the space of special hermitian Jacobi forms of level $N$ is isomorphic to the space of plus forms of level $DN$ and nebentypus $χ$ (the hermitian analogue of Kohnen's plus space) for any integer $N$ prime to $D$. This generalizes the results of Krieg from $N = 1$ to arbitrary level. Combining this isomorphism with the recent work of Berger and Klosin and a modification of Ikeda's construction we prove the existence of a lift from the space of elliptic modular forms t…
We establish the Sato-Tate equidistribution of Hecke eigenvalues on average for families of Hecke--Maass cusp forms on SL(n,R)/SO(n). For each of the principal, symmetric square and exterior square L-functions we verify that the families are essentially cuspidal and deduce the level distribution with restricted support of the low-lying zeros. We also deduce average estimates toward Ramanujan.
In this paper, we prove a one level density result for the low-lying zeros of quadratic Hecke $L$-functions of imaginary quadratic number fields of class number one. As a corollary, we deduce, essentially, that at least $(19-\cot (1/4))/16 = 94.27... \%$ of the $L$-functions under consideration do not vanish at $1/2$.
Let K be an imaginary quadratic field with discriminant -D, and x the Dirichlet character corresponding to the extension K/Q. Let m=2n or 2n+1 with n a positive integer. Let f be a primitive form of weight 2k+1 and level D with Neben character x, or a primitive form of weight 2k for SL(2,Z) according as m=2n, or m=2n+1. For such an f let I(m,f) be the lift of f to the space of Hermitian modular forms of degree m constructed by Ikeda. We then give an explicit formula of the Koecher-Maass series L(s,I(m,f)) of I(m,f). This is a generalization of [Y. Mizuno, Manuscripta Math. 119(2006), 175-216].
Generalizing the results of Kojima, Gritsenko and Krieg, we define an adelic version of the Maass space for hermitian modular forms of weight k regarded as functions on adelic points of the quasi-split unitary group U(2,2) associated with an imaginary quadratic extension F/Q of discriminant D_F. When the class number h_F of F is odd, we show that the Maass space is invariant under the action of the local Hecke algebras of U(2,2)(Q_p) for all p not dividing D_F. As a consequence we obtain a Hecke-equivariant injective map from the Maass space to the h_F-fold direct product of the space of ellip…
We deepen the study of the relations previously established by Mayer, Lewis and Zagier, and the authors, among the eigenfunctions of the transfer operators of the Gauss and the Farey maps, the solutions of the Lewis-Zagier three-term functional equation and the Maass forms on the modular surface $PSL(2,\Z)\backslash \HH$. In particular we introduce an "inverse" of the integral transform studied by Lewis and Zagier, and use it to obtain new series expansions for the Maass cusp forms and the non-holomorphic Eisenstein series restricted to the imaginary axis. As corollaries we obtain further info…
We give a construction of a new $p$-adic Maass-Shimura operator defined on an affinoid subdomain of the preperfectoid $p$-adic universal cover $\mathcal{Y}$ of a modular curve $Y$. We define a new notion of $p$-adic modular forms as sections of a certain sheaf $\mathcal{O}_Δ$ of "nearly rigid functions" which transform under the action of subgroups of the Galois group $\mathrm{Gal}(\mathcal{Y}/Y)$ by $\mathcal{O}_Δ^{\times}$-valued weight characters. This extends Katz's notion of $p$-adic modular forms as functions on the Igusa tower $Y^{\mathrm{Ig}}$; indeed we may recover Katz's theory by re…
Let $f(q)=1+\sum_{n=1}^{\infty} α(n)q^n$ be the well-known third order mock theta of Ramanujan. In 1964, George Andrews proved an asymptotic formula of the form $$α(n)= \sum_{c\leq\sqrt{n}} ψ(n)+O_ε\left(n^ε\right),$$ where $ψ(n)$ is an expression involving generalized Kloosterman sums and the $I$-Bessel function. Andrews conjectured that the series converges to $α(n)$ when extended to infinity, and that it does not converge absolutely. Bringmann and Ono proved the first of these conjectures. Here we obtain a power savings bound for the error in Andrews' formula, and we also prove the second o…
Let K be an imaginary quadratic field of discriminant -D_K<0. We introduce a notion of an adelic Maass space S_{k, -k/2}^M for automorphic forms on the quasi-split unitary group U(2,2) associated with K and prove that it is stable under the action of all Hecke operators. When D_K is prime we obtain a Hecke-equivariant descent from S_{k,-k/2}^M to the space of elliptic cusp forms S_{k-1}(D_K, χ_K), where χ_K is the quadratic character of K. For a given ϕ\in S_{k-1}(D_K, χ_K), a prime l >k, we then construct (mod l) congruences between the Maass form corresponding to ϕand hermitian modular forms…
We study fluctuations in the distribution of families of $p$-th Fourier coefficients $a_f(p)$ of normalised holomorphic Hecke eigenforms $f$ of weight $k$ with respect to $SL_2(\mathbb{Z})$ as $k \to \infty$ and primes $p \to \infty.$ These families are known to be equidistributed with respect to the Sato-Tate measure. We consider a fixed interval $I \subset [-2,2]$ and derive the variance of the number of $a_f(p)$'s lying in $I$ as $p \to \infty$ and $k \to \infty$ (at a suitably fast rate). The number of $a_f(p)$'s lying in $I$ is shown to asymptotically follow a Gaussian distribution when a…
We show that if the zeros of an automorphic $L$-function are weighted by the central value of the $L$-function or a quadratic imaginary base change, then for certain families of holomorphic GL(2) newforms, it has the effect of changing the distribution type of low-lying zeros from orthogonal to symplectic, for test functions whose Fourier transforms have sufficiently restricted support. However, if the $L$-value is twisted by a nontrivial quadratic character, the distribution type remains orthogonal. The proofs involve two vertical equidistribution results for Hecke eigenvalues weighted by cen…
One of the most important statistics in studying the zeros of L-functions is the 1-level density, which measures the concentration of zeros near the central point. Fouvry and Iwaniec [FI] proved that the 1-level density for L-functions attached to imaginary quadratic fields agrees with results predicted by random matrix theory. In this paper, we show a similar agreement with random matrix theory occurring in more general sequences of number fields. We first show that the main term agrees with random matrix theory, and similar to all other families studied to date, is independent of the arithme…
Classical Hecke operators on Maass forms are unitarely equivalent, up to a commuting phase, to completely positive maps on II$_1$ factors, associated to a pair of isomorphic subfactors, and an intertwining unitary. This representation is obtained through a quantized representation of the Hecke operators. in this representation, the Hecke operators act on the Berezin's quantization, deformation algebra of the fundamental domain of $\PSL(2,\Z)$ in the upper halfplane. The Hecke operators are inheriting from the ambient, non-commutative algebra on which they act, a rich structure of matrix inequa…
We investigate the large weight (k --> oo) limiting statistics for the low lying zeros of a GL(4) and a GL(6) family of L-functions, {L(s,phi x f): f in H_k(1)} and {L(s,phi times sym^2 f): f in H_k(1)}; here phi is a fixed even Hecke-Maass cusp form and H_k(1) is a Hecke eigenbasis for the space H_k(1) of holomorphic cusp forms of weight k for the full modular group. Katz and Sarnak conjecture that the behavior of zeros near the central point should be well modeled by the behavior of eigenvalues near 1 of a classical compact group. By studying the 1- and 2-level densities, we find evidence of…
This introductory paper studies a class of real analytic functions on the upper half plane satisfying a certain modular transformation property. They are not eigenfunctions of the Laplacian and are quite distinct from Maass forms. These functions are modular equivariant versions of real and imaginary parts of iterated integrals of holomorphic modular forms, and are modular analogues of single-valued polylogarithms. The coefficients of these functions in a suitable power series expansion are periods. They are related both to mixed motives (iterated extensions of pure motives of classical modula…
We show that for all epsilon > 0, there is a constant C(epsilon) > 0 such that for all elliptic curves E defined over a number field F with j(E) in Q we have #E(F)[tors] \leq C(epsilon)[F:Q]^{5/2+epsilon}. We pursue further bounds on the size of the torsion subgroup of an elliptic curve over a number field E/F that are polynomial in [F:Q] under restrictions on j(E). We give an unconditional result for j(E) lying in a fixed quadratic field that is not imaginary of class number one as well as two further results, one conditional on GRH and one conditional on the strong boundedness of isogenies o…
It is proved that for all but a finite set of the square-free integers $d$ the value of transcendental function $\exp~(2πi ~x+\log\log y)$ is an algebraic number for the algebraic arguments $x$ and $y$ lying in a real quadratic field of discriminant $d$. Such a value generates the Hilbert class field of the imaginary quadratic field of discriminant $-d$.
Let $k_\infty$ be the cyclotomic $\mathbb{Z}_p$-extension of an algebraic number field $k$. We denote by $S$ a finite set of prime numbers which does not contain $p$, and $S(k_\infty)$ the set of primes of $k_\infty$ lying above $S$. In the present paper, we will study the structure of the Galois group $\mathcal{X}_S (k_\infty)$ of the maximal pro-$p$ extension unramified outside $S (k_\infty)$ over $k_\infty$. We mainly consider the question whether $\mathcal{X}_S (k_\infty)$ is a non-abelian free pro-$p$ group or not. In the former part, we treat the case when $k$ is an imaginary quadratic f…
Let $r, \,m$ be positive integers. Let $x$ be a rational number with $0 \le x <1$. Consider $Φ_s(x,z) =\displaystyle\sum_{k=0}^{\infty}\frac{z^{k+1}}{{(k+x+1)}^s}$ the $s$-th Lerch function with $s=1, 2, \cdots, r$. When $x=0$, this is a polylogarithmic function. Let $α_1, \cdots, α_m$ be pairwise distinct algebraic numbers of arbitrary degree over the rational number field, with $0<|α_j|<1 \,\,\,(1\leq j \leq m)$. In this article, we show a criterion for the linear independence, over an algebraic number field containing $\mathbb{Q}(α_1, \cdots, α_m)$, of all the $rm+1$ numbers : $Φ_1(x,α_1)$,…
