Let q be an integral quadratic form of signature (2,m+2). We will show that the Siegel theta functions attached to q satisfies certain symmetries. As an application, we prove the symmetries for automorphic forms on the orthogonal group of q closely related to Heegener divisors (Borcherds lifts and automorphic Green functions).
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 relate the study of Landau-Siegel zeros to the ranks of Jacobians $J_0(q)$ of modular curves for large primes $q$. By a conjecture of Brumer-Murty, the rank should be equal to half of the dimension. Equivalently, almost all newforms of weight two and level $q$ have analytic rank $\leq 1$. We show that either Landau-Siegel zeros do not exist, or that almost all such newforms have analytic rank $\leq 2$. In particular, almost all odd newforms have analytic rank equal to one. Additionally, for a sparse set of primes $q$ we show the rank of $J_0(q)$ is asymptotically equal to the rank predicted…
Cheng constructed product expansions from twists of elliptic genera of symmetric powers of K3 surfaces that are related to M_24 moonshine. We study which of them are Siegel modular forms. If the predicted level is non-composite, they are modular, and their powers can be represented as products of rescaled Borcherds products.
The theta-block conjecture proposed by Gritsenko--Poor--Yuen in 2013 characterizes Siegel paramodular forms which are simultaneously Borcherds products and additive Jacobi lifts. In this paper, we prove this conjecture for two new infinite series of theta blocks of weights 2 and 3. The proof is based on Scheithauer's classification of reflective modular forms of singular weight.
We give a formula that relates the difference of the j-invariants with the Borcherds Phi-function, an automorphic form on the period domain for Enriques surfaces characterizing the discriminant divisor.
We provide a construction of the multiplicative Borcherds lift for unitary groups U(1,m), which takes weakly holomorphic elliptic modular forms and lifts them to meromorphic automorphic forms having infinite product expansions and taking their zeros and poles along Heegner divisors. The result is obtained through the transfer of Borcherds' theory to unitary groups via a suitable embedding of U(1,m) into O(2,2m). Further, we examine the values taken by the Borcherds products around the cusps of the symmetric domain of the unitary group. Finally, as an application of the lifting, we derive a mod…
In this paper, we consider automorphic forms on $\mathrm{Sp}_4(\mathbb{A}_\mathbb{Q})$ which generate large discrete series representations of $\mathrm{Sp}_4(\mathbb{R})$ as $(\mathfrak{sp}_4(\mathbb{R}),K_\infty)$-modules. We determine the cuspidal components and the structure of the space of such automorphic forms.
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.
We prove Siegel-Walfisz type theorems (over long and short intervals) for the Fourier coefficients of certain automorphic $L$-functions and Rankin-Selberg $L$-functions over number 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 extend Borcherds' singular theta lift in signature $(1,2)$ to harmonic Maass forms of weight $1/2$ whose non-holomorphic part is allowed to be of exponential growth at $i\infty$. We determine the singularities of the lift and compute its Fourier expansion. It turns out that the lift is continuous but not differentiable along certain geodesics in the upper half-plane corresponding to the non-holomorphic principal part of the input. As an application, we obtain a generalization to higher level of the weight $2$ modular integral of Duke, Imamoglu and Tóth. Further, we construct automorphic pro…
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})$.
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…
The goal of this paper is to construct infinite dimensional Lie algebras using infinite product identities, and to use these Lie algebras to reduce the generalized moonshine conjecture to a pair of hypotheses about group actions on vertex algebras and Lie algebras. The Lie algebras that we construct conjecturally appear in an orbifold conformal field theory with symmetries given by the monster simple group. We introduce vector-valued modular functions attached to families of modular functions of different levels, and we prove infinite product identities for a distinguished class of automorphic…
We establish a connection between motivic cohomology classes over the Siegel threefold and special values of the degree four $L$-function of some cuspidal automorphic representations of $\mathrm{GSp}(4)$. Our computation relies on our previous work [Le15] and on an integral representation of the $L$-function due to Piatetski-Shapiro.
We show that Landau-Siegel zeros for Dirichlet $L$-functions do not exist or quantum unique ergodicity for $\mathrm{GL}_2$ Hecke-Maass newforms holds with an effective rate of convergence. This follows from a more general result: Landau-Siegel zeros of Dirichlet $L$-functions repel the zeros of all other automorphic $L$-functions from the line $\mathrm{Re}(s)=1$.
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 prod…
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$.
Let $π$ be the automorphic representation of $\GSp_4(\A)$ generated by a full level cuspidal Siegel eigenform that is not a Saito-Kurokawa lift, and $τ$ be an arbitrary cuspidal, automorphic representation of $\GL_2(\A)$. Using Furusawa's integral representation for $\GSp_4\times\GL_2$ combined with a pullback formula involving the unitary group $\GU(3,3)$, we prove that the $L$-functions $L(s,π\timesτ)$ are "nice". The converse theorem of Cogdell and Piatetski-Shapiro then implies that such representations $π$ have a functorial lifting to a cuspidal representation of $\GL_4(\A)$. Combined wit…
We prove a harmonically weighted equidistribution result for the $p$-th Satake parameters of the family of automorphic cuspidal representations of $\operatorname{PGSp}(2n)$ of fixed weight $\mathtt{k}$ and prime-to-$p$ level $N\to \infty$. The main tool is a new asymptotic Petersson formula for $\operatorname{GSp}(2n)$ in the level aspect.
The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic genera and conjectured that they define Siegel modular forms of degree two. In this paper we prove that for each conjugacy class of level $N_g$ the associated product is a meromorphic Borcherds product on the lattice $U(N_g)\oplus U \oplus A_1$ in a strict sense. We also compute the divisors of these products and determine for which conjugacy classes the pr…
We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms in terms of $\widehat{sl(2)}$ characters leads to vector-valued modular forms. We obtain closed formulae for these vector-valued modular forms. In the Lie algebraic context, the Fourier coefficients …
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.
In this paper we study automorphic correction of the hyperbolic Kac-Moody algebra $E_{10}$, using the Borcherds product for O(10,2) attached to a weakly holomorphic modular form of weight -4 for $SL_2(\mathbb Z)$. We also clarify some aspects of automorphic correction for Lorentzian Kac-Moody algebras and give heuristic reasons for the expectation that every Lorentzian Kac-Moody algebra has an automorphic correction.
In his celebrated 1998 Inventiones paper, Borcherds constructed meromorphic automorphic forms Psi(F) for arithmetic subgroups associated to even integral lattices M of signature (n,2). The input to his construction is a vector valued weakly holomorphic modular form F of weight 1 - n/2, and the resulting Borcherds form has an explicit divisor on the arithmetic quotient X = Gamma_M\ D. Most remarkably, in the neighborhood of each cusp (= rational point boundary component), there is a beautiful product formula for Psi(F), reminiscent of the classical product formula for the Dedekind eta-function.…
The square-root of Siegel modular forms of CHL Z_N orbifolds of type II compactifications are denominator formulae for some Borcherds-Kac-Moody Lie superalgebras for N=1,2,3,4. We study the decomposition of these Siegel modular forms in terms of characters of two sub-algebras: one is a $\widehat{sl(2)}$ and the second is a Borcherds extension of the $\widehat{sl(2)}$. This is a continuation of our previous work where we studied the case of Siegel modular forms appearing in the context of Umbral moonshine. This situation is more intricate and provides us with a new example (for N=5) that did no…
We construct classes in the middle degree plus one motivic cohomology of the Siegel Shimura variety of almost any dimension. We compute their image by Beilinson's higher regulator in terms of Rankin-Selberg type automorphic integrals. Our construction generalises the one for $\mathrm{GSp}(4)$ and for $\mathrm{GSp}(6)$. For Siegel varieties associated to small genus symplectic groups, we also show how these integrals unfold.
Let F in S_k(Sp(2g, Z)) be a cuspidal Siegel eigenform of genus g with normalized Hecke eigenvalues mu_F(n). Suppose that the associated automorphic representation pi_F is locally tempered everywhere. For each c>0 we consider the set of primes p for which |mu_F(p)| >= c and we provide an explicit upper bound on the density of this set. In the case g=2, we also provide an explicit upper bound on the density of the set of primes p for which mu_F(p) >= c.
The fake monster Lie algebra is determined by the Borcherds function Phi_{12} which is the reflective modular form of the minimal possible weight with respect to O(II_{2,26}). We prove that the first non-zero Fourier-Jacobi coefficient of Phi_{12} in any of 23 Niemeier cusps is equal to the Weyl-Kac denominator function of the affine Lie algebra of the root system of the corresponding Niemeier lattice. This is an automorphic answer (in the case of the fake monster Lie algebra) on the old question of I. Frenkel and A. Feingold (1983) about possible relations between hyperbolic Kac-Moody algebra…
The Fourier coefficients of the Siegel-Eisenstein series are p-adically continued for all primes p, as meromorphic functions, using the reciprocal of a product of L-functions. A construction of p-adic meromorphic families of such series is given in relation to the geometry of homogeneous spaces. Applications are given to p-adic L-functions, to Siegel's Mass Formula, to p-adic analytic families of automorphic representations. Based on author's talk for the Conference Automorphic Forms and Related Geometry, Assessing the Legacy of I.I. Piatetski-Shapiro
Many important analytic statements about automorphic forms, such as the analytic continuation of certain L-functions, rely on the well-known rapid decay of K-finite cusp forms on Siegel sets. We extend this here to prove a more general decay statement along sets much larger than Siegel sets, and furthermore state and prove the decay for smooth but not necessarily K-finite cusp forms. We also state a general theorem about the convergence of Rankin-Selberg integrals involving unipotent periods, closing a gap in the literature on L-functions. These properties serve as the analytic basis of a new …
We prove an algebraicity property for a certain ratio of Petersson norms associated to a Siegel cusp form of degree 2 (and arbitrary level) whose adelization generates a weak endoscopic lift. As a preparation for this, we explicate various features of the correspondence between scalar valued Siegel cusp forms of degree n and automorphic representations on GSp_{2n}.
We define the space of nearly holomorphic automorphic forms on a connected reductive group $G$ over $\mathbb{Q}$ such that the homogeneous space $G(\mathbb{R})^1/ K_\infty^\circ$ is a Hermitian symmetric space. By Pitale, Saha and Schmidt's study, there are the classification of indecomposable $(\mathfrak{g},K_\infty)$-modules which occur in the space of nearly holomorphic elliptic modular forms and Siegel modular forms of degree $2$. This paper studies global representations of the adele group $G(\mathbb{A}_\mathbb{Q})$ which occur in the space of nearly holomorphic Hilbert modular forms. In …
We derive a Voronoi-type series approximation for the local weighted mean of an arithmetical function that is associated to Dirichlet series satisfying a functional equation with gamma factors. The series is exploited to study the oscillation frequency with a method of Heath-Brown and Tsang [7]. A by-product is another proof for the well-known result of no element in the Selberg class of degree 0 \textless{} d \textless{} 1. Our major applications include the sign-change problem of the coefficients of automorphic L-functions for GL m , which improves significantly some results of Liu and Wu [1…
Let $ Γ$ be a congruence subgroup of $ \mathrm{Sp}_{2n}(\mathbb Z) $. Using Poincaré series of $ K $-finite matrix coefficients of integrable discrete series representations of $ \mathrm{Sp}_{2n}(\mathbb R) $, we construct a spanning set for the space $ S_m(Γ) $ of Siegel cusp forms of weight $ m\in\mathbb Z_{>2n} $. We prove the non-vanishing of certain elements of this spanning set using Muić's integral non-vanishing criterion for Poincaré series on locally compact Hausdorff groups. Moreover, using the representation theory of $ \mathrm{Sp}_{2n}(\mathbb R) $, we study the Petersson inner pro…
We undertake a detailed study of the lowest weight modules for the Hermitian symmetric pair (G,K), where G=Sp_4(R) and K is its maximal compact subgroup. In particular, we determine K-types and composition series, and write down explicit differential operators that navigate all the highest weight vectors of such a module starting from the unique lowest-weight vector. By rewriting these operators in classical language, we show that the automorphic forms on G that correspond to the highest weight vectors are exactly those that arise from nearly holomorphic vector-valued Siegel modular forms of d…
Based on Furusawa's theory, we present an integral representation for the L-function L(s,π\times τ), where πis a cuspidal automorphic representation on GSp(4) related to a holomorphic Siegel modular form, and where τis an arbitrary cuspidal automorphic representation on GL(2). As an application, a special value result for this L-function in the spirit of Deligne's conjecture is proved.
In this paper we study rank two symmetric hyperbolic Kac-Moody algebras H(a) and their automorphic correction in terms of Hilbert modular forms. We associate a family of H(a)'s to the quadratic field Q(p) for each odd prime p and show that there exists a chain of embeddings in each family. When p = 5, 13, 17, we show that the first H(a) in each family, i.e. H(3), H(11), H(66), is contained in a generalized Kac-Moody superalgebra whose denominator function is a Hilbert modular form given by a Borcherds product. Hence, our results provide automorphic correction for those H(a)'s. We also compute …
The classical Maass lift is a map from holomorphic Jacobi forms to holomorphic scalar-valued Siegel modular forms. Automorphic representation theory predicts a non-holomorphic and vector-valued analogue for Hecke eigenforms. This paper is the first part of a series of papers. In this series of papers, we provide an explicit construction of the non-holomorphic Maass lift that is linear and also applies to non-eigenforms. In this first part, we develop new techniques to study Fourier series expansions of Siegel modular forms, which allow us to construct a Maass lift from harmonic Maass-Jacobi fo…
In this note we study the symmetric powers of strongly modular icosahedral representations $ρ$ of ${\rm Gal} (\bar{F}/F)$, $F$ a number field, and their twisted $L$--functions. We prove that for such $ρ$, there exists a cuspidal automorphic representation $Π= Π_{\infty} \otimes Π_{f}$ of $GL_{6} (\mathbb{A}_{F})$ such that $L (s, {\rm sym}^{5} (ρ)) = L (s, Π_{f})$. One sees that ${\rm sym}^{5} (ρ)$ is twist equivalent to $ρ' \otimes {\rm sym}^{2} (ρ)$ for another modular icosahedral representation $ρ'$, and our theorem is a special case of a cuspidality criterion formulated and proved in this …
We give a Rankin-Selberg integral representation for the Spin (degree eight) $L$-function on $\mathrm{PGSp}_6$. The integral applies to the cuspidal automorphic representations associated to Siegel modular forms. If $π$ corresponds to a level one Siegel modular form $f$ of even weight, and if $f$ has a non-vanishing maximal Fourier coefficient (defined below), then we deduce the functional equation and finiteness of poles of the completed Spin $L$-function $Λ(π,Spin,s)$ of $π$.
Let $p$ be an odd prime, $N$ a square-free odd positive integer prime to $p$, $π$ a $p$-ordinary cohomological irreducible cuspidal automorphic representation of $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ of principal level $N$ and Iwahori level at $p$. Using a $p$-integral version of Rallis inner product formula and modularity theorems for $\mathrm{GSp}_{4/\mathbb{Q}}$ and $\mathrm{U}_{4/\mathbb{Q}}$, we establish an identity between the $p$-part of the critical value at $1$ of the degree $5$ $L$-function of $π$ twisted by the non-trivial quadratic Dirichlet character $ξ$ associated to the exten…