We classify the simple even lattices of square free level and signature (2,n) for n > 3. A lattice is called simple if the space of cusp forms of weight 1+n/2 for the dual Weil representation of the lattice is trivial. For a simple lattice every formal principal part obeying obvious conditions is the principal part of a vector valued modular form. Using this, we determine all holomorphic Borcherds products of singular weight (arising from vector valued modular forms with non-negative principal part) for the simple lattices. We construct the corresponding vector valued modular forms by eta products and compute expansions of the automorphic products at different cusps.
In this paper, we give a geometric construction of the Jacquet-Langlands transfer for automorphic forms of higher weights by studying the geometry of the mod $p$ fibres of different Hodge type Shimura varieties which satisfy a mild assumption and the cohomological correspondences between them.
We prove a power saving over the trivial bound for the number of cohomological cuspidal automorphic representations of fixed level and growing weight on $GL_3/\mathbb{Q}$, by adapting the methods of our earlier paper on $GL_2$.
We construct a p-adic Eisenstein measure with values in the space of vector-weight p-adic automorphic forms on certain unitary groups. This measure allows us to p-adically interpolate special values of certain vector-weight C-infinity automorphic forms, including Eisenstein series, as their weights vary. We also explain how to extend our methods to the case of Siegel modular forms and how to recover Nicholas Katz's p-adic families of Eisenstein series for Hilbert modular forms.
A general Voronoï summation formula for the (metaplectic) double cover of $\text{GL}_2$ is derived via the representation theoretic framework à la Ichino--Templier. The identity is also formulated classically and used to establish Voronoï summation formulae for half-integral weight modular forms and Maaß forms.
We generalize Zagiers work on regularized integral to the singular case in the adelic setting. We develop necessary tools of treating various singular cases of regularized triple product formulas, which appear naturally in the work of Michel and Venkatsh on the subconvexity problem for $GL_2$.
We define weight changing operators for automorphic forms on Grassmannians, i.e., on orthogonal groups, and investigate their basic properties. We then evaluate their action on theta kernels, and prove that theta lifts of modular forms, in which the theta kernel involves polynomials of a special type, have some interesting differential properties.
We investigate the correspondence between holomorphic automorphic forms on the upper half-plane with complex weight and parabolic cocycles. For integral weights at least 2 this correspondence is given by the Eichler integral. Knopp generalized this to real weights. We show that for weights that are not an integer at least 2 the generalized Eichler integral gives an injection into the first cohomology group with values in a module of holomorphic functions, and characterize the image. We impose no condition on the growth of the automorphic forms at the cusps. For real weights that are not an int…
We show that there are only finitely many nonconstant reflective automorphic forms $Ψ$ on even lattices of squarefree level splitting two hyperbolic planes and give a complete classification in the case where the zeros of $Ψ$ are simple and $Ψ$ has singular weight.
Let $S_2^*(q)$ be the set of primitive Hecke eigenforms of weight 2 and prime level $q$. For $p$ prime and $t\in \mathbb{R}$, we prove asymptotic formulas for the sums $$ \mathcal {A}(p^j,q,t)=\sum_{f\in S_2^*(q)} L\left(\frac{1}{2}+it,f\right)^2λ_f(p^j),\qquad j=1,2, $$ where $λ_f(p^j)$ is the $p^j$-th normalized Fourier coefficient of $f$ and $L(s,f)$ is the $L$-function associated to $f$.
We give a correspondence between automorphic pairs of distributions on $\mathbb{R}$ and Dirichlet series satisfying functional equations and some additional analytic conditions. Moreover, we show that the notion of automorphic pairs of distributions on $\mathbb{R}$ can be regarded as a generalization of automorphic distributions on smooth principal series representations of the universal covering group of $SL(2,\mathbb{R})$. As an application, we prove Weil type converse theorems for automorphic distributions and Maass forms of real weights.
We prove a variety of results on the existence of automorphic Galois representations lifting a residual automorphic Galois representation. We prove a result on the structure of deformation rings of local Galois representations, and deduce from this and the method of Khare and Wintenberger a result on the existence of modular lifts of specified type for Galois representations corresponding to Hilbert modular forms of parallel weight 2. We discuss some conjectures on the weights of $n$-dimensional mod $p$ Galois representations. Finally, we use recent work of Taylor to prove level raising and lo…
We prove a version of Bagchi's Theorem and of Voronin's Universality Theorem for family of primitive cusp forms of weight $2$ and prime level, and discuss under which conditions the argument will apply to general reasonable family of automorphic $L$-functions.
Second-order automorphic forms are similar to the usual automorphic forms but have a weaker automorphy condition. We answer a question of Zagier and find the dimensions of spaces of holomorphic, even weight, second-order forms. We also establish a cohomological interpretation.
A theorem of Gekeler compares the number of non-isomorphic automorphic representations associated with the space of cusp forms of weight $k$ on $Γ_0(N)$ to a simpler function of $k$ and $N$, showing that the two are equal whenever $N$ is squarefree. We prove the converse of this theorem (with one small exception), thus providing a characterization of squarefree integers. We also establish a similar characterization of prime numbers in terms of the number of Hecke newforms of weight $k$ on $Γ_0(N)$. It follows that a hypothetical fast algorithm for computing the number of such automorphic repre…
In this paper, we investigate the non-modular solutions to the Schwarz differential equation $\{f,τ\}=sE_4(τ)$ where $E_4(τ)$ is the weight 4 Eisenstein series and $s$ is a complex parameter. In particular, we provide explicit solutions for each $s=2π^2(n/6)^2$ with $n\equiv 1\mod 12$. These solutions are obtained as integrals of meromorphic weight 2 modular forms. As a consequence, we find explicit solutions to the differential equation $\displaystyle y''+\frac{π^2n^2}{36}\,E_4\,y=0$ for each $n\equiv 1\mod 12$ generalizing the work of Hurwitz and Klein on the case $n=1$. Our investigation re…
We use a method of Buzzard to study p-adic families of different types of modular forms - classical, over imaginary quadratic fields and totally real fields. In the case of totally real fields of even degree, we get local constancy of dimensions of spaces of fixed slope and varying weight. For imaginary quadratic fields we obtain bounds independent of the weight on the dimensions of such spaces.
In this article, we establish polynomial-growth bound for the sequence of Fourier coefficients associated to even integer weight vector-valued automorphic forms of Fuchsian groups of the first kind. At the end, their $L$-functions and exponential sums have been discussed.
I give an algorithm for computing the full space of automorphic forms for definite unitary groups over Q, and apply this to calculate the automorphic forms of level $G(Z-hat)$ and various small weights for an example of a rank 3 unitary group. This leads to some examples of various types of endoscopic lifting from automorphic forms for U_1 x U_1 x U_1 and U_1 x U_2, and to an example of a non-endoscopic form of weight (3,3) corresponding to a family of 3-dimensional irreducible l-adic Galois representations. I also compute the 2-adic slopes of some automorphic forms with level structure at 2, …
We prove various results on the cohomology of arithmetic lattices arising from quaternion algebras over a number field with at least one complex place, including a strong restriction on the allowable weights of cuspidal cohomological automorphic forms and a conditional power saving for their multiplicities when the associated locally symmetric space is a hyperbolic 3-manifold.
We classify the holomorphic Borcherds products of singular weight for all simple lattices of signature $(2,n)$ with $n \geq 3$. In addition to the automorphic products of singular weight for the simple lattices of square free level found by Dittmann, Hagemeier and the second author, we obtain several automorphic products of singular weight $1/2$ for simple lattices of signature $(2,3)$. We interpret them as Siegel modular forms of genus $2$ and explicitly describe them in terms of the ten even theta constants. In order to rule out further holomorphic Borcherds products of singular weight, we d…
We prove an unconditional power saving for the dimension of the space of cohomological automorphic forms of fixed level and growing weight on GL_2 over any number field which is not totally real. Our proof involves the theory of p-adically completed cohomology developed by Calegari and Emerton, and a bound for the growth of coinvariants in certain finitely generated non-commutative Iwasawa modules.
Let F/Q be a totally real field extension of degree g and let D be a definite quaternion algebra with center F. Fix an odd prime p which is unramified in F and D. We produce weight shiftings between (mod p) automorphic forms on the multiplicative group of D having fixed level. When the starting weight does not contain any (2,...,2)-block, we obtain these shiftings via maps induced in cohomology by intertwining operators acting on F_{p}-representations of GL(2,O_{F}/pO_{F}). Shiftings by (p-1,...,p-1) for weights containing (2,...,2)-blocks are obtained following the methods of Edixhoven-Khare,…
In the framework of Kontsevich-Zagier periods, we derive integral representations for weight-$k$ automorphic Green's functions invariant under modular transformations in $\varGamma_0(N)$ ($N\in\mathbb Z_{\geq1} $), provided that there are no cusp forms on the respective Hecke congruence groups with an even integer weight $k\geq4$. These Kontsevich-Zagier integral representations for automorphic Green's functions give explicit formulae for certain Eichler-Shimura maps connecting Eichler cohomology to Maaß cusp forms. We construct integral representations for weight-4 Gross-Zagier renormalized G…
In this article, we establish an asymptotic lower bound estimate on the contribution of cuspidal automorphic representations of ${\rm GL}_4(\mathbb A_{\mathbb Q})$ to cuspidal cohomology of the ${\rm GL}_4$ which are obtained from automorphic tensor product of two automorphic representations of ${\rm GL}_2(\mathbb A_{\mathbb Q})$ of given weights and with varying level structure. In the end, we also prove that the symmetric cube of a representation of ${\rm GL}_2$ and the automorphic tensor product of two representations of ${\rm GL}_2$ can not be equal (up to a twist by a character of ${\rm G…
We develop a theory of arithmetic characteristic classes of (fully decomposed) automorphic vector bundles equipped with an invariant hermitian metric. These characteristic classes have values in an arithmetic Chow ring constructed by means of differential forms with certain log-log type singularities. We first study the cohomological properties of log-log differential forms, prove a Poincaré lemma for them and construct the corresponding arithmetic Chow groups. Then we introduce the notion of log-singular hermitian vector bundles, which is a variant of the good hermitian vector bundles introdu…
For several Hodge-type Shimura varieties of good reduction in characteristic $p$, we show that the cone of weights of automorphic forms is encoded by the stack of $G$-zips of Pink-Wedhorn-Ziegler. This establishes several instances of a general conjecture formulated in previous papers by the authors. Furthermore, we prove in these cases that any mod $p$ automorphic form whose weight lies in a specific region of the weight space is divisible by a partial Hasse invariant. This generalizes to other Shimura varieties previous results of Diamond--Kassaei on Hilbert modular forms.
We establish vanishing results for spaces of automorphic forms in characteristic $0$ and characteristic $p$. We prove that for Hodge-type Shimura varieties, the weight of any nonzero automorphic form in characteristic $0$ satisfies the Griffiths-Schmid conditions, by purely algebraic, characteristic $p$ methods. We state a conjecture for general Hodge-type Shimura varieties regarding the vanishing of the space of automorphic forms in characteristic $p$ in terms of the weight. We verify this conjecture for unitary PEL Shimura varieties of signature $(n-1,1)$ at a split prime.
The space of toroidal automorphic forms was introduced by Zagier in the 1970s: a GL_2-automorphic form is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems (amongst others) from the fact that an Eisenstein series of weight s is toroidal for a given torus precisely if s is a non-trivial zero of the zeta function of the quadratic field corresponding to the torus. In this paper, we study the structure of the space of toroidal automorphic forms for an arbitrary number field F. We prove that it decomposes into a space span…
We give a fully explicit description of Lie algebra derivatives (generalizing raising and lowering operators) for representations of SL(3,R) in terms of a basis of Wigner functions. This basis is natural from the point of view of principal series representations, as well as computations in the analytic theory of automorphic forms (e.g., with Whittaker functions). The method is based on the Clebsch-Gordan multiplication rule for Wigner functions, and applies to other Lie groups whose maximal compact subgroup is isogenous to a product of SU(2) and U(1) factors. As an application, we give a compl…
We introduce interaction entropies, which can be represented as logarithmic couplings of certain cycles on a class of algebraic curves of arithmetic interest. In particular, via interaction entropies for Legendre-Ramanujan curves $ Y^n=(1-X)^{n-1}X(1-αX)$ ($ n\in\{6,4,3,2\}$), we reformulate the Kontsevich-Zagier integral representations of weight-4 automorphic Green's functions $ G_2^{\mathfrak H/\overline{\varGamma}_0(N)}(z_1,z_2)$ ($N=4\sin^2(π/n )\in\{1,2,3,4\}$), in a geometric context. These geometric entropies allow us to establish algebraic relations between certain weight-4 automorphi…
We investigate the relations for $L$-functions satisfying certain functional equation, summationa formulas of Voronoi-Ferrar type and Maass forms of integral and half-integral weight. Summation formulas of Voronoi-Ferrar type can be viewed as an automorphic property of distribution vectors of non-unitary principal series representations of the double covering group of $SL(2)$. Our goal is converse theorems for automorphic distributions and Maass forms of level $N$ characterizing them by analytic properties of the associated $L$-functions. As an application of our converse theorems, we construc…
The space of toroidal automorphic forms was introduced by Zagier in 1979. Let $F$ be a global field. An automorphic form on $\GL(2)$ is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems from the fact (amongst others) that an Eisenstein series of weight $s$ is toroidal if $s$ is a non-trivial zero of the zeta function, and thus a connection with the Riemann hypothesis is established. In this paper, we concentrate on the function field case. We show the following results. The $(n-1)$-th derivative of a non-trivial Eisen…
We prove a generalization to the totally real field case of the Waldspurger's formula relating the Fourier coefficient of a half integral weight form and the central value of the L-function of an integral weight form. Our proof is based on a new interpretation of Waldspurger's formula in terms of equality between global distributions. As applications we generalize the Kohnen-Zagier formula for holomorphic forms and prove the equivalence of the Ramanujan conjecture for half integral weight forms and a case of the Lindelof hypothesis for integral weight forms. We also study the Kohnen space in t…
In this article, we describe an efficient method for computing Teitelbaum's $p$-adic $\mathcal{L}$-invariant. These invariants are realized as the eigenvalues of the $\mathcal{L}$-operator acting on a space of harmonic cocycles on the Bruhat-Tits tree $\mathcal{T}$, which is computable by the methods of Franc and Masdeu described in [FM14]. The main difficulty in computing the $\mathcal{L}$-operator is the efficient computation of the $p$-adic Coleman integrals in its definition. To solve this problem, we use overconvergent methods, first developed by Darmon, Greenberg, Pollack and Stevens. In…
We continue our study of Yoshida's lifting, which associates to a pair of automorphic forms on the adelic multiplicative group of a quaternion algebra a Siegel modular form of degree 2. We consider here the case that the automorphic forms on the quaternion algebra correspond to modular forms of arbitrary even weights and square free levels; in particular we obtain a construction of Siegel modular forms of weight 3 attached to a pair of elliptic modular forms of weights 2 and 4.
Given a maximal even-integral lattice $\cL$ of signature $(m+, 2-)$ with an odd $m\geq 3$, we consider the holomorphic cusp forms $F$ of weight $l$ on the bounded symmetric domain of type IV of dimension $m$ with respect to the discriminant subgroup of the orthogonal group $O(\cL)$ defined by $\cL$. Under a non-negativity assumption on the central $L$-values, we prove an equidistribution result of Satake parameters in an ensemble constructed from the central values of standard $L$-functions and the square of the Whittaker-Bessel periods.
Let $π$ be a cuspidal automorphic representation of $PGL_2(\mathbb{A}_\mathbb{Q})$ of arithmetic conductor $C$ and archimedean parameter $T$, and let $ϕ$ be an $L^2$-normalized automorphic form in the space of $π$. The sup-norm problem asks for bounds on $\| ϕ\|_\infty$ in terms of $C$ and $T$. The quantum unique ergodicity (QUE) problem concerns the limiting behavior of the $L^2$-mass $|ϕ|^2 (g) \, d g$ of $ϕ$. All previous work on these problems in the conductor-aspect has focused on the case that $ϕ$ is a newform. In this work, we study these problems for a class of automorphic forms that a…
We prove the existence of a potentially diagonalizable lift of a given automorphic mod $p$ Galois representation $\overlineρ:{\rm Gal}(\overline{F}/F)\longrightarrow {\rm GSp}_4(\overline{\mathbb{F}}_p)$ for any totally real field $F$ and any rational prime $p>2$ under the adequacy condition by using automorphic lifting techniques developed by Barnet-Lamb, Gee, Geraghty, and Taylor. As an application, when $p$ is split completely in $F$, we prove a variant of Serre's weight conjecture for $\overlineρ$. The formulation of our Serre conjecture is done by following Toby Gee's philosophy. Applying…
Let $π$ be a cuspidal automorphic representation of $\mathrm{GSp}_4(\mathbf{A_Q})$, whose archimedean component is a holomorphic discrete series or limit of discrete series representation. If $π$ is not CAP or endoscopic, then we show that its associated $\ell$-adic Galois representations are irreducible and crystalline for $100\%$ of primes $\ell$. If, moreover, $π$ is neither an automorphic induction nor a symmetric cube lift, then we show that, for $100\%$ of primes $\ell$, the image of its mod $\ell$ Galois representation contains $\mathrm{Sp}_4(\mathbf{F}_{\ell})$.
We prove a companion forms theorem for ordinary n-dimensional automorphic Galois representations, by use of automorphy lifting theorems developed by the second author, and a technique for deducing companion forms theorems due to the first author. We deduce results about the possible Serre weights of mod l Galois representations corresponding to automorphic representations on unitary groups. We then use functoriality to prove similar results for automorphic representations of GSp4 over totally real fields.
In this paper, we decompose the space of nearly holomorphic Hilbert-Siegel automorphic forms as representations of the adele group under certain assumptions. We also give an application for classical holomorphic Hilbert-Siegel modular forms. In particular, we show the surjectivity of the global Siegel operator for certain congruence subgroups with large weights.
We discover new Voronoi formulae for automorphic forms on GL($n$) for $n\geq 4$. There are $[n/2]$ different Voronoi formulae on GL($n$), which are Poisson summation formulae weighted by Fourier coefficients of the automorphic form with twists by some hyper-Kloosterman sums.
The Bernstein-Gelfand tensor product functors are endofunctors of the category of Harish-Chandra modules provided by tensor products with finite dimensional modules. We provide an automorphic analogue of these tensor product functors, implemented by vector-valued automorphic representations that are trivial at all finite places. They naturally explain the role of vector-valued modular forms in recent work by Bringmann-Kudla on Harish-Chandra modules associated with harmonic weak Maaß forms. We give a detailed account of the image $\mathrm{sym}^1 \otimes \varpi(E_2)$ of the automorphic represen…
We obtain an asymptotic formula for a weighted sum over cuspidal eigenvalues in a specific region, for $\SL_2$ over a totally real number field $F$, with discrete subgroup of Hecke type $Γ_0(I)$ for a non-zero ideal $I$ in the ring of integers of $F$. The weights are products of Fourier coefficients. This implies in particular the existence of infinitely many cuspidal automorphic representations with multi-eigenvalues in various regions growing to infinity. For instance, in the quadratic case, the regions include floating boxes, floating balls, sectors, slanted strips and products of prescribe…
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…
We look at genera of even unimodular lattices of rank $12$ over the ring of integers of $\mathbb{Q}(\sqrt{5})$ and of rank $8$ over the ring of integers of $\mathbb{Q}(\sqrt{3})$, using Kneser neighbours to diagonalise spaces of scalar-valued algebraic modular forms. We conjecture most of the global Arthur parameters, and prove several of them using theta series, in the manner of Ikeda and Yamana. We find instances of congruences for non-parallel weight Hilbert modular forms. Turning to the genus of Hermitian lattices of rank $12$ over the Eisenstein integers, even and unimodular over $\mathbb…
Generalizing work of Gross--Zagier and Schofer on singular moduli, we study the CM values of regularized theta lifts of harmonic Whittaker forms. We compute the archimedian part of the height pairing of arithmetic special divisors and CM cycles on Shimura varieties associated to certain quadratic spaces over an arbitrary totally real base field. As a special case, we obtain an explicit formula for the norms of the CM values of those meromorphic modular forms arising as regularized theta lifts of holomorphic Whittaker forms.
We prove a new upper bound for the dimension of the space of cohomological automorphic forms of fixed level and growing parallel weight on $\mathrm{GL}_2$ over a number field which is not totally real, improving the one obtained by Marshall. The main tool of the proof is the mod $p$ representation theory of $\mathrm{GL}_2(\mathbb{Q}_p)$ as started by Barthel-Livne and Breuil, and developed by Paskunas.
