In this paper, we prove that for any totally real field $F$, weight $k$, and nebentypus character $χ$, the proportion of Hilbert cusp forms over $F$ of weight $k$ and character $χ$ with bounded field of rationality approaches zero as the level grows large. This answers, in the affirmative, a question of Serre. The proof has three main inputs: first, a lower bound on fields of rationality for admissible $GL_2$ representations; second, an explicit computation of the (fixed-central-character) Plancherel measure for $GL_2$; and third, a Plancherel equidsitribution theorem for cusp forms with fixed central character. The equidistribution theorem is the key intermediate result and builds on earlier work of Shin and Shin-Templier and mirrors work of Finis-Lapid-Mueller by introducing an explicit bound for certain families of orbital integrals.
We prove three main results: all Langlands-Shahidi automorphic $L$-functions over function fields are rational; after twists by highly ramified characters our automorphic $L$-functions become polynomials; and, if $π$ is a globally generic cuspidal automorphic representation of a split classical group or a unitary group ${\bf G}_n$ and $τ$ a cuspidal (unitary) automorphic representation of a general linear group, then $L(s,π\times τ)$ is holomorphic for $\Re(s) > 1$ and has at most a simple pole at $s=1$. We also prove the holomorphy and non-vanishing of automorphic exterior square, symmetric s…
We establish a rationality result for the twisted Asai L-values attached to a Bianchi cusp form and construct distributions interpolating these L-values. Using the method of abstract Kummer congruences, we then outline the main steps needed to show that these distributions come from a measure.
This paper examines fields of rationality in families of cuspidal automorphic representations of unitary groups. Specifically, for a fixed $A$ and a sufficiently large family $\mathcal{F}$, a small proportion of representations $π\in \mathcal{F}$ will satisfy $[\mathbb{Q}(π):\mathbb{Q}] \leq A$. Like earlier work of Shin and Templier, the result depends on a Plancherel equidistribution result for the local components of representations in families. An innovation of our work is an upper bound on the number of discrete series $GL_n(L)$ representations with small field of rationality, counted wit…
Let $F$ be a vector-valued real analytic Siegel cusp eigenform of weight $(2,1)$ with the eigenvalues $-\frac 5{12}$ and 0 for the two generators of the center of the algebra consisting of all $Sp_4(\R)$-invariant differential operators on the Siegel upper half plane of degree 2. Under the assumptions (1) the validity of the transfer of automorphic representations of $GSp_4$ to $GL_4$; (2) the existence of mod $\ell$ Galois representation attached to $F$ and its lift to characteristic zero; (3) rationality of the space consisting of any such $F$; and (4) the integrality of Hecke polynomials of…
Integrality of Hecke eigenvalues and the growth of Hecke fields
Faculty of Education, Shinshu University（信州大学教育学部）；Faculty of Mathematics and Physics, Institute of Science and Engineering, Kanazawa University（金泽大学理工学域数理系）
In any positive genus case, we show an explicit formula of the Mumford forms expressed by infinite products like Selberg type zeta values for Schottky groups. This result is considered as an extension of the formula in terms of Ramanujan's Delta function in the genus 1 case, and is especially applied to studying the rationality of Ruelle zeta values for Schottky groups.
We derive finite rational formulas for the traces of cycle integrals of certain meromorphic modular forms. Moreover, we prove the modularity of a completion of the generating function of such traces. The theoretical framework for these results is an extension of the Shintani theta lift to meromorphic modular forms of positive even weight.
In this paper we study special bases of certain spaces of half-integral weight weakly holomorphic modular forms. We establish a criterion for the integrality of Fourier coefficients of such bases. By using recursive relations between Hecke operators, we derive relations of Fourier coefficients of each basis element and obtain congruences of the Fourier coefficients, which extend known congruences for traces of singular moduli.
For one variable rational function $ϕ\in K(z)$ over a field $K$, we can define a discrete dynamical system by regarding $ϕ$ as a self morphism of $\mathbb{P}_{K}^{1}$. Hatjispyros and Vivaldi defined a dynamical zeta function for this dynamical system using multipliers of periodic points, that is, an invariant which indicates the local behavior of dynamical systems. In this paper, we prove the rationality of dynamical zeta functions of this type for a large class of rational functions $ϕ\in K(z)$. The proof here relies on Woods Hole fixed point formula and some basic facts on the trace of a li…
Starting from a Hilbert cusp form of weight $2\kap$, we will construct a Hilbert-Siegel cusp form of weight $\kap+\frac{m}{2}$ and degree $m$ and its transfer to inner forms of symplectic groups.
We explicitly construct cusp forms on the orthogonal group of signature $(1,8n+1)$ for an arbitrary natural number $n$ as liftings from Maass cusp forms of level one. In our previous works, the fundamental tool to show the automorphy of the lifting was the converse theorem by Maass. In this paper, we use the Fourier expansion of the theta lifts by Borcherds instead. We also study cuspidal representations generated by such cusp forms and show that they are irreducible and that all of their non-archimedean local components are non-tempered while the archimedean component is tempered, if the Maas…
Using the relationship between Siegel cusp forms of degree $2$ and cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A}_{\mathbb{Q}})$, we derive some congruences involving dimensions of spaces of Siegel cusp forms of degree $2$ and the class number of $\mathbb{Q}(\sqrt{-p})$. We also obtain some congruences between the $4$-core partition function $c_4(n)$ and dimensions of spaces of Siegel cusp forms of degree $2$.
We derive a Motohashi-type formula for the cubic moment of central values of $L$-functions of level $q$ cusp forms twisted by quadratic characters of conductor $q$, previously studied by Conrey and Iwaniec and Young. Corollaries of this formula include Weyl-subconvex bounds for $L$-functions of weight two cusp forms twisted by quadratic characters, and estimates towards the Ramanujan-Petersson conjecture for Fourier coefficients of weight 3/2 cusp forms.
We find the average value of the $L^4$-norm of holomorphic Hecke cusp forms of weight within a dyadic interval, up to an error which saves a power of the weight.
In this article, we establish quantitative results for sign changes in certain subsequences of primitive Fourier coefficients of a non-zero Siegel cusp form of arbitrary degree over congruence subgroups. As a corollary of our result for degree two Siegel cusp forms, we get sign changes of its diagonal Fourier coefficients. In the course of our proofs, we prove the non-vanishing of certain type of Fourier-Jacobi coefficients of a Siegel cusp form and all theta components of certain Jacobi cusp forms of arbitrary degree over congruence subgroups, which are also of independent interest.
Associated to an (adelic) Hilbert modular form is a sequence of `Fourier coefficients' which uniquely determine the form. In this paper we characterize Hilbert modular cusp forms by the size of their Fourier coefficients. This answers in the affirmative a question posed by Winfried Kohnen.
We obtain upper bounds for the fourth and higher moments of short exponential sums involving Fourier coefficients of holomorphic cusp forms twisted by rational additive twists with small denominators.
New uniform asymptotic formulas are obtained for the second moment of $L$-series of cusp forms of even weight $2k\ge2$ with respect to the congruence subgroup $Γ_0(N).$
In this article, we compute the Petersson norm of a family of weight one cusp forms constructed by Hecke and express it in terms of the Rademacher symbol and the regulator of real quadratic field.
This is a survey of results on the construction of holomorphic cusp forms on tube domains originally initiated by Ikeda. Besides a survey it includes conjectures and possible applications of our work.
This work contains a proof of a non-trivial explicit quantitative bound in the eigenvalue aspect for the sup-norm of a SL(3,Z) Hecke-Maass cusp form restricted to a compact set.
A congruence relation satisfied by Igusa's cusp form of weight 35 is presented. As a tool to confirm the congruence relation, a Sturm-type theorem for the case of odd-weight Siegel modular forms of degree 2 is included.
Extending the approach of Iwaniec and Duke, we present strong uniform bounds for Fourier coefficients of half-integral weight cusp forms of level $N$. As an application, we consider a Waring-type problem with sums of mixed powers.
We give a derivative version of the relative trace formula on PGL(2) studied in our previous work, and obtain a formula of an average of central values (derivatives) of automorphic $L$-functions for Hilbert cusp forms. As an application, we prove existence of Hilbert cusp forms with non-vanishing central values (derivatives) such that the absolute degrees of their Hecke fields are sufficiently large.
We present an algorithm to compute all Borcherds product paramodular cusp forms of a specified weight and level, describing its implementation in some detail and giving examples of its use.
We give explicit upper bounds for the coefficients of arbitrary weight $k$, level 2 cusp forms, making Deligne's well-known $O(n^{\frac{k-1}{2}+ε})$ bound precise. We also derive asymptotic formulas and explicit upper bounds for the coefficients of certain level 2 modular functions.
Kohnen and Sengupta proved that two cusp forms of different integral weights with real algebraic Fourier coefficients have infinitely many Fourier coefficients of the same as well as of opposite sign, up to the action of a Galois automorphism. Recently Gun, Kohnen and Rath strengthen their result by comparing the simultaneous sign changes of Fourier coefficients of two cusp forms with arbitrary real Fourier coefficients. The simultaneous sign changes of Fourier coefficients of two same integral weight cusp forms follow from an earlier work of Ram Murty. In this note we compare the signs of the…
We treat an unbalanced shifted convolution sum of Fourier coefficients of cusp forms. As a consequence, we obtain an upper bound for correlation of three Hecke eigenvalues of holomorphic cusp forms $\sum_{H\leq h\leq 2H}W\big(\frac{h}{H}\big)\sum_{X\leq n\leq 2X}λ_{1}(n-h)λ_{2}(n)λ_{3}(n+h)$, which is nontrivial provided that $H\geq X^{2/3+\varepsilon}$. The result can be viewed as a cuspidal analogue of a recent result of Blomer on triple correlations of divisor functions.
We introduce a new trace formula of Kuznetsov type involving the central standard L-values and the Whittaker periods of cuspidal automorphic representations of PGL_n(Q) which are spherical at the archimedean place. As an application, we show a simultaneous non-vanishing of standard L-values at n-1 points on the critical strip for infinitely many Hecke-Maass cuspidal newforms.
In this article, we study the simultaneous sign changes of the Fourier coefficients of two Hilbert cusp forms of different integral weights. We also study the simultaneous non-vanishing of Fourier coefficients, of two distinct non-zero primitive Hilbert cuspidal non-CM eigenforms of integral weights, at powers of a fixed prime ideal.
We derive an explicit formula for the trace of an arbitrary Hecke operator on spaces of twist-minimal holomorphic cusp forms with arbitrary level and character, and weight at least 2. We show that this formula provides an efficient way of computing basis elements for newform or cusp form spaces. This work was motivated by the development of a twist-minimal trace formula in the non-holomorphic case by Booker, Lee and Strömbergsson, as well as the presentation of a fully generalised trace formula for the holomorphic case by Cohen and Strömberg.
Let $f$ be a Hecke--Maass cuspidal newform of square-free level $N$ and Laplacian eigenvalue $λ$. It is shown that $\pnorm{f}_\infty \ll_{λ,ε} N^{-1/6}+ε} \pnorm{f}_2$ for any $ε>0$.
We prove a strengthening of Muić's integral non-vanishing criterion for Poincaré series on unimodular locally compact Hausdorff groups and use it to prove a result on non-vanishing of L-functions associated to cusp forms of half-integral weight.
In this paper, we establish a Voronoi formula for the spinor zeta function of a Siegel cusp form of genus 2. We deduce from this formula quantitative results on the number of its positive (resp. negative) coefficients in some short intervals.
We give a new expression for the inner product of two kernel functions associated to a cusp form. Among other applications, it yields an extension of a formula of Kohnen and Zagier, and another proof of Manin's Periods Theorem. Cohen's representation of these kernels as series is also generalized.
Based on the values of the Weierstrass elliptic function $\wp(z|τ)$ at $z=πτ/2$, $(π+πτ)/{2}, (π+πτ)/{4},(π+2πτ)/{4}$ and the theory of modular forms on the arithmetic group $Γ_0(2)$, we decompose $θ_2^{2n}(τ)$ as sum of Eisenstein series and a cusp forms. Using the recurrence relation of $\wp^{(2n)}(z|τ)$, we provide an algorithm to determine the exact form of these cusp forms.
In this short note, we treat an unbalanced shifted convolution sum of Fourier coefficients of cusp forms by a rather simple argument. Our result improves previous results established by more advanced approaches.
In this paper, we show that half of non-zero coefficients of the spinor zeta function of a Siegel cusp form of genus 2 are positive and half are negative.
In this paper, we define and discuss Eichler integrals for Maass cusp forms of half-integral weight on the full modular group. We discuss nearly periodic functions associated to the Eichler integrals, introduce period functions for such Maass cusp forms, and show that the nearly periodic functions and the period functions are closely related. Those functions are extensions of the periodic functions and period functions for Maass cusp forms of weight 0 on the full modular group introduced by Lewis and Zagier.
We prove that Hermitian cusp forms of weight $k$ for the Hermitian modular group of degree $2$ are determined by their Fourier coefficients indexed by matrices whose determinants are essentially square-free. Moreover, we give a quantitative version of the above result. This is a consequence of the corresponding results for integral weight elliptic cusp forms, which are also treated in this paper.
In this paper we generalize a well-known isomorphism between the space of cusp forms of weight $k$ for a Fuchsian subgroup of the first kind $Γ\subset\mathrm{SL}_{2}(\mathbb{R})$ and the space of certain Maaß forms of weight $k$ for $Γ$ to an isomorphism between the space of Siegel cusp forms of weight $k$ for a subgroup $Γ\subset\mathrm{Sp}_{n}(\mathbb{R})$, which is commensurable with the Siegel modular group $\mathrm{Sp}_{n}(\mathbb{Z})$, and a suitable space of Siegel-Maaß forms of weight $k$ for $Γ$.
The purpose of this paper is to study products of Fourier coefficients of an elliptic cusp form, $a(n)a(n + r)$ $(n \geq 1)$ for a fixed positive integer $r$, concerning both non-vanishing and non-negativity.
We define oldforms and newforms for Drinfeld cusp forms of level $t$ and conjecture that their direct sum is the whole space of cusp forms. Moreover we describe explicitly the matrix $U$ associated to the action of the Atkin operator $\mathbf{U}_t$ on cusp forms of level $t$ and use it to compute tables of slopes of eigenforms. Building on such data, we formulate conjectures on bounds for slopes, on the diagonalizability of $\mathbf{U}_t$ and on various other issues. Via the explicit form of the matrix $U$ we are then able to verify our conjectures in various cases (mainly in small weights).
The aim of this article is to study the fields generated by the Fourier coefficients of Hilbert newforms at arbitrary cusps. Precisely, given a cuspidal Hilbert newform $f$ and a matrix $σ$ in (a suitable conjugate of) the Hilbert modular group, we give a cyclotomic extension of the field generated by the Fourier coefficients at infinity which contains all the Fourier coefficients of $f||_kσ$.
We present a method for certifying the existence of an arbitrary Maass cusp form for any level and character. This is accomplished by producing a bound on the difference between the $Δ$-eigenvalue of an authentic Maass cusp form and a purported approximation of a $Δ$-eigenvalue, arrived at by any means. We apply this method to a proposed non-CM level 5 form with quadratic character, to present the first certified $Δ$-eigenvalue of such a form. This work generalises the method for certifying level 1 forms presented by Booker, Strömbergsson and Venkatesh, and is motivated by the production of pu…
