We provide an explicit integral representation for L-functions of pairs (F,g) where F is a holomorphic genus 2 Siegel newform and g a holomorphic elliptic newform, both of squarefree levels and of equal weights. When F,g have level one, this was earlier known by the work of Furusawa. The extension is not straightforward. Our methods involve precise double-coset and volume computations as well as an explicit formula for the Bessel model for GSp(4) in the Steinberg case; the latter is possibly of independent interest. We apply our integral representation to prove an algebraicity result for a critical special value of L(s, F \times g). This is in the spirit of known results on critical values of triple product L-functions, also of degree 8, though there are significant differences.
We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$ in various aspects. A main tool is Arthur's invariant trace formula. While Shin and Shin-Templier used Euler-Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A, B_1$ in the main theorem which have not been studied and a mysterious second term $B_2$ also appears in the second main te…
Let $\frak T_2$ (resp. $\mathfrak{T}$) be the Hermitian symmetric domain of $Spin(2,10)$ (resp. $E_{7,3}$). In the previous work, we constructed holomorphic cusp forms on $\mathfrak{T}$ from elliptic cusp forms with respect to $SL_2(\mathbb{Z})$. By using such cusp forms we construct holomorphic cusp forms on $\mathfrak{T}_2$ which are similar to Miyawaki lift in symplectic groups established by T. Ikeda.
This paper is a continuation of the author's previous wotk. We supplement four results on a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$. First, we improve the result on Hecke fields. Namely, we prove that the degree of Hecke fields is unbounded on the subspace of genuine forms which do not come from functorial lift of smaller subgroups of $GSp_4$ under a conjecture in local-global compatibility and Arthur's classification for $GSp_4$. Second, we prove simultaneous vertical Sato-Tate theorem. Namely, we prove simultaneous equidistribution of Hecke eigenvalues at finitely many…
We prove uniqueness and give precise criteria for existence of split and non-split Bessel models for a class of lowest and highest weight representations of the groups GSp(4,R) and Sp(4,R) including all holomorphic and anti-holomorphic discrete series representations. Explicit formulas for the resulting Bessel functions are obtained by solving systems of differential equations. The formulas are applied to derive an integral representation for a global $L$-function on GSp(4)xGL(2) involving a vector-valued Siegel modular form of degree 2.
We prove an explicit integral representation -- involving the pullback of a suitable Siegel Eisenstein series -- for the twisted standard $L$-function associated to a holomorphic vector-valued Siegel cusp form of degree $n$ and arbitrary level. In contrast to all previously proved pullback formulas in this situation, our formula involves only scalar-valued functions despite being applicable to $L$-functions of vector-valued Siegel cusp forms. The key new ingredient in our method is a novel choice of local vectors at the archimedean place which allows us to exactly compute the archimedean local…
We give two global integrals that unfold to a non-unique model and represent the partial Spin $L$-function on $\mathrm{GSp}_6$. We deduce that for a wide class of cuspidal automorphic representations $π,$ the partial Spin $L$-function is holomorphic except for a possible simple pole at $s=1$, and that the presence of such a pole indicates that $π$ is an exceptional theta lift from $\mathrm{G}_2$. These results utilize and extend previous work of Gan and Gurevich, who introduced one of the global integrals and proved these facts for a special subclass of these $π$ upon which the aforementioned …
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.
We consider the degree 4 L-function associated to an automorphic representation of the symplectic group GSp(4). Starting with Beilinson's Eisenstien symbol we construct some motivic cohomology classes on the Shimura variety of GSp(4). We show that the image of these classes under the absolute Hodge regulator vanishes on the boundary of the Baily-Borel compactification of the Shimura variety. This allows to relate these classes to the product of an archimedean integral, Harris' occcult period invariant, a Deligne period and the special value of the L-function predicted by Beilinson's conjecture…
We prove the expected algebraicity property for the critical values of character twists of the standard $L$-function associated to vector-valued holomorphic Siegel cusp forms of archimedean type $(k_1, k_2, \ldots, k_n)$, where $k_n \geq n+1$ and all $k_i$ are of the same parity. For the proof, we use an explicit integral representation to reduce to arithmetic properties of differential operators on vector-valued nearly holomorphic Siegel cusp forms. We establish these properties via a representation-theoretic approach.
We use the "higher Hida theory" recently introduced by the second author to p-adically interpolate periods of non-holomorphic automorphic forms for GSp(4), contributing to coherent cohomology of Siegel threefolds in positive degrees. We apply this new method to construct p-adic L-functions associated to the degree 4 (spin) L-function of automorphic representations of GSp(4), and the degree 8 L-function of GSp(4) x GL(2).
Furusawa has given an integral representation for the degree 8 L-function of GSp(4) x GL(2) and has carried out the unramified calculation. The local p-adic zeta integrals were calculated in our earlier work under the assumption that the GSp(4) representation πis unramified and the GL(2) representation τhas conductor p. In the present work we generalize to the case where the GL(2) representation has arbitrarily high conductor. The result is that the zeta integral represents the local Euler factor L(s,π\times τ) in all cases. As a global application we obtain a special value result for a GSp(4)…
We find the number $s_k(p,Ω)$ of cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A}_{\mathbb{Q}})$ with trivial central character such that the archimedean component is a holomorphic discrete series representation of weight $k\ge 3$, and the non-archimedean component at $p$ is an Iwahori-spherical representation of type $Ω$ and unramified otherwise. Using the automorphic Plancherel density theorem, we show how a limit version of our formula for $s_k(p,Ω)$ generalizes to the vector-valued case and a finite number of ramified places.
Let pi be a cuspidal, automorphic representation of GSp(4) attached to a Siegel modular form of degree 2. We refine the method of Furusawa to obtain an integral representation for the degree-8 L-function L(s,pi x tau), where tau runs through certain cuspidal, automorphic representation of GL(2). Our calculations include the case of square-free level for the p-adic components of tau, and a wide class of archimedean types including Maass forms. As an application we obtain a special value result for L(s,pi x tau).
We find experimental examples of congruences of Hecke eigenvalues between automorphic representations of groups such as $\mathrm{GSp}_2(\mathbb{A})$, $\mathrm{SO}(4,3)(\mathbb{\mathbb{A}})$ and $\mathrm{SO}(5,4)(\mathbb{A})$, where the prime modulus should, for various reasons, appear in the algebraic part of a critical "tensor-product" $L$-value associated to cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A})$ and $\mathrm{GSp}_2(\mathbb{A})$. Using special techniques for evaluating $L$-functions with few known coefficients, we compute sufficiently good approximations to detec…
We introduce a regularized theta lift for reductive dual pairs of the form $(Sp_4,O(V))$ with $V$ a quadratic vector space over a totally real number field $F$. The lift takes values in the space of $(1,1)$-currents on the Shimura variety attached to $GSpin(V)$, and we prove that its values are cohomologous to currents given by integration on special divisors against automorphic Green functions. In the second part to this paper, we will show how to evaluate the regularized theta lift on differential forms obtained as usual (non-regularized) theta lifts.
We prove an explicit integral representation -- involving the pullback of a suitable Siegel Eisenstein series -- for the twisted standard $L$-function associated to a holomorphic vector-valued Siegel cusp form of degree $n$ and arbitrary level. In contrast to all previously proved pullback formulas in this situation, our formula involves only scalar-valued functions despite being applicable to $L$-functions of vector-valued Siegel cusp forms. The key new ingredient in our method is a novel choice of local vectors at the archimedean place which allows us to exactly compute the archimedean local…
We obtain explicit formulas for the test vector in the Bessel model and derive the criteria for existence and uniqueness for Bessel models for the unramified, quadratic twists of the Steinberg representation πof GSp(4,F), where F is a non-archimedean local field of characteristic zero. We also give precise criteria for the Iwahori spherical vector in πto be a test vector. We apply the formulas for the test vector to obtain an integral representation of the local L-function of πtwisted by any irreducible, admissible representation of GL(2,F). Together with results in \cite{Fu} and \cite{PS2}, w…
Let F be a genus two Siegel newform and g a classical newform, both of squarefree levels and of equal weight l. We prove a pullback formula for certain Eisenstein series -- thus generalizing a construction of Shimura -- and use this to derive an explicit integral representation for the degree eight L-function L(s, F X g). This integral representation involves the pullback of a simple Siegel-type Eisenstein series on the unitary group GU(3,3). As an application, we prove a reciprocity law -- predicted by Deligne's conjecture -- for the critical special values L(m, F X g) where m is an integer, …
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…
We prove the existence of $\mathrm{GSpin}_{2n}$-valued Galois representations corresponding to cohomological cuspidal automorphic representations of certain quasi-split forms of $\mathrm{GSO}_{2n}$ under the local hypotheses that there is a Steinberg component and that the archimedean parameters are regular for the standard representation. This is based on the cohomology of Shimura varieties of abelian type, of type $D^{\mathbb{H}}$, arising from forms of $\mathrm{GSO}_{2n}$. As an application, under similar hypotheses, we compute automorphic multiplicities, prove meromorphic continuation of (…
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 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.
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 Zagier duality between the Fourier coefficients of canonical bases for spaces of weakly holomorphic modular forms of prime level $p$ with $11 \leq p \leq 37$ with poles only at the cusp at $\infty$, and special cases of duality for an infinite class of prime levels. We derive generating functions for the bases for genus 1 levels.
In this paper, considering the Eichler-Shimura cohomology theory for Jacobi forms, we study connections between harmonic Maass-Jacobi forms and Jacobi integrals. As an application we study a pairing between two Jacobi integrals, which is defined by special values of partial $L$-functions of skew-holomorphic Jacobi cusp forms. We obtain connections between this pairing and the Petersson inner product for skew-holomorphic Jacobi cusp forms. This result can be considered as analogue of Haberland formula of elliptic modular forms for Jacobi forms.
We study the coherent cohomology of automorphic sheaves corresponding to Siegel modular forms $f$ of low weight on ${\rm GSp}(4)$ Shimura varieties. Inspired by the work of Prasanna--Venkatesh on singular cohomology of locally symmetric spaces, we propose a conjecture that explains all the contributions of a Hecke eigensystem to coherent cohomology in terms of the action of a motivic cohomology group. Under some technical conditions, we prove that our conjecture is equivalent to Beilinson's conjecture for the adjoint $L$-function of $f$. We also prove some unconditional results in special case…
We study triples of graded rings defined over the deformation spaces for certain one-parameter families of Calabi-Yau threefolds. These rings are analogues of the rings of modular forms, quasi-modular forms and almost-holomorphic modular forms. We also discuss some of their applications in solving the holomorphic anomaly equations.
We investigate Poincaré series, where we average products of terms of Fourier series of real-analytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincaré series are almost holomorphic as well. In general this is not the case. The main point of this paper is the study of Siegel-Poincaré series of degree $2$ attached to products of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms. …
