We develop a (largely conjectural) theory of p-adic L-functions interpolating square roots of central L-values for automorphic forms on GSp(4) x GL(2) x GL(2), and a relation between these p-adic L-functions and families of Galois cohomology classes interpolating algebraic cycles. Our theory is a generalisation of the theory of "diagonal cycles" developed by Darmon and Rotger for the GL(2) triple product.
We compute the images of motivic cohomology classes for GSp(4) x GL(2) and GSp(4) x GL(2) x GL(2) under the syntomic regulator, and relate them to non-critical values of p-adic L-functions.
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).
Nearly higher Coleman theory and p-adic L-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ and $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$
We investigate the alternating sum of the l-adic cohomology of the Rapoport-Zink tower for GSp(4) by the Lefschetz trace formula. Under some assumptions on L-packets of GSp(4) and its inner form, we observe that the local Jacquet-Langlands correspondence appears in the cohomology.
In this paper, we study the l-adic cohomology of the Rapoport-Zink tower for GSp(4). We prove that the smooth representation of GSp_4(Q_p) obtained as the i-th compactly supported l-adic cohomology of the Rapoport-Zink tower has no quasi-cuspidal subquotient unless i=2,3,4. Our proof is purely local and does not require global automorphic methods.
We explicitly compute the adjoint L-function of those L-packets of representations of the group GSp(4) over a p-adic field of characteristic zero that contain non-supercuspidal representations. As an application we verify a conjecture of Gross-Prasad and Rallis in this case. The conjecture states that the adjoint L-function has a pole at s=1 if and only if the L-packet contains a generic representation.
The present paper studies Hecke rings derived by the automorphism groups of certain algebras $L_p$ over the ring of $p$-adic integers. Our previous work considered the case where $L_p$ is the Heisenberg Lie algebra (of dimension 3) over the ring of $p$-adic integers. Although this Hecke ring is noncommutative, we showed that a formal power series with coefficients in this Hecke ring satisfies an identity similar to the rationality of the Hecke series for $GL_2$ due to E.~Hecke. In the present paper, we establish an analogous result in the case of the Heisenberg Lie algebra of dimension 5 over …
Let $p$ be a prime, and let $Γ=\Sp_g(\Z)$ be the Siegel modular group of genus $g$. We study $p$-adic families of zeta functions and Siegel modular forms. $L$-functions of Siegel modular forms are described in terms of motivic $L$-functions attached to $\Sp_g$, and their analytic properties are given. Critical values for the spinor $L$-functions and $p$-adic constructions are discussed. Rankin's lemma of higher genus is established. A general conjecture on a lifting from $ GSp_{2m} \times GSp_{2m}$ to $GSp_{4m}$ (of genus $g=4m$) is formulated. Constructions of $p$-adic families of Siegel modu…
This paper proves the local Langlands conjecture for the non quasi-split inner form Sp(1,1) of Sp(4) over a p-adic field of characteristic 0, by studying the restriction of representations from the non quasi-split inner form GSp(1,1) of GSp(4) to Sp(1,1). The L-packets for Sp(1,1) are constructed based on the earlier work on the local Langlands correspondence for GSp(1,1) by Gan and Tantono. To parameterize them in terms of so-called S-groups, we establish and utilize the local Langlands correspondence for reductive dual groups which participate in the theta correspondence with Sp(1,1) and GSp…
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 determine test vectors and explicit formulas for all Bessel models for those Iwahori-spherical representations of GSp(4) over a p-adic field that have non-zero vectors fixed under the Siegel congruence subgroup.
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)…
This note provides the construction of a three-variable family of cohomology classes arising from diagonal cycles on a triple product of towers of modular curves, and proves a reciprocity law relating it to the three variable triple-product $p$-adic $L$-function associated to a triple of Hida families by means of Perrin-Riou's $Λ$-adic regulator.
This article is a companion to several works of the author and others on the arithmetic of automorphic forms for GSp(4), and their associated L-functions and Galois representations. These works require, at various points, an input from smooth representation theory over p-adic local fields: the computation of values of the unique trilinear form on an unramified representation of GSp(4) x GL(2) x GL(2) invariant under the diagonal GL(2) x GL(2), for various different input data. In this note, we carry out these local computations, using a general formula for Shintani functions due to Gejima.
For a set of integers $A$, we consider $R(A)=\{a/b: a, b\in A, b\neq 0\}$. It is an open problem to study the denseness of $R(A)$ in the $p$-adic numbers when $A$ is the set of nonzero values attained by an integral form. This problem has been answered for quadratic forms. Very recently, Antony and Barman have studied this problem for the diagonal binary cubic forms $ax^3+by^3$, where $a$ and $b$ are integers. In this article, we study this problem for diagonal forms. We extend the results of Antony and Barman to the diagonal binary forms $ax^n+by^n$ for all $n\geq 3$. We also study $p$-adic d…
Let F be a p-adic field of odd residual characteristic. Let G(n) and G`(n) be the metaplectic double covers of the general symplectic group and the symplectic group attached to the 2n dimensional symplectic space over F. Let T be a genuine, possibly reducible, unramified principal series representation of G(n). In these notes we give an explicit formulas for a spanning set for the space of Spherical Whittaker functions attached to T. For odd n, and generically for even n, this spanning set is a basis. The signicant property of this set is that each of its elements is unchanged under the action…
The main purpose of this note is to understand the arithmetic encoded in the special value of the $p$-adic $L$-function $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})$ associated to a triple of modular forms $(f,g,h)$ of weights $(2,1,1)$, in the case where the classical $L$-function $L(f\otimes g\otimes h,s)$ - which typically has sign $+1$ - does not vanish at its central critical point $s=1$. When $f$ corresponds to an elliptic curve $E/\mathbb{Q}$ and the classical $L$-function vanishes, the Elliptic Stark Conjecture of Darmon-Lauder-Rotger predicts that $\mathcal{L}_p^g(\mathbf{f},\ma…
We investigate diagonal forms of degree $d$ over the function field $F$ of a smooth projective $p$-adic curve: if a form is isotropic over the completion of $F$ with respect to each discrete valuation of $F$, then it is isotropic over certain fields $F_U$, $F_P$ and $F_p$. These fields appear naturally when applying the methodology of patching; $F$ is the inverse limit of the finite inverse system of fields $\{F_U,F_P,F_p\}$. Our observations complement some known bounds on the higher $u$-invariant of diagonal forms of degree $d$. We only consider diagonal forms of degree $d$ over fields of ch…
We show that Artin's conjecture concerning p-adic solubility of Diophantine equations fails for infinitely many systems of r homogeneous diagonal equations whenever r>1.
In this note we study the relationship between the power series expansion of the Dwork exponential and the Mahler expansion of the $p$-adic Gamma function. We exploit this relationship to prove that certain quantities that appeared in our previous computations of the Frobenius map can be expressed in terms of the derivatives of the $p$-adic Gamma function at 0. This is used to prove a conjecture about the non-trivial off-diagonal entry in the Frobenius matrix of the mirror quintic threefold.
Let $D_λ^d$ denote the family of monomial deformations of diagonal hypersurface over a finite field $\mathbb{F}_q$ given by \begin{align*} D_λ^d: X_1^d+X_2^d+\cdots+X_n^d=λd X_1^{h_1}X_2^{h_2}\cdots X_n^{h_n}, \end{align*} where $d,n\geq2$, $h_i\geq1$, $\sum_{i=1}^n h_i=d$, and $\gcd(d,h_1,h_2,\ldots, h_n)=1$. The Dwork hypersurface is the case when $d=n$, that is, $h_1=h_2=\cdots =h_n=1$. Formulas for the number of $\mathbb{F}_q$-points on the Dwork hypersurfaces in terms of McCarthy's $p$-adic hypergeometric functions are known. In this article we provide a formula for the number of $\mathbb…
We construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino's formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we giv…
In this paper we investigate the problem of how well points in finite dimensional p-adic solenoids can be approximated by rationals. The setting we work in was previously studied by Palmer, who proved analogues of Dirichlet's theorem and the Duffin-Schaeffer theorem. We prove a complementary result, showing that the set of badly approximable points has maximum Hausdorff dimension. Our proof is a simple application of the elegant machinery of Schmidt's game.
Let F be a non-archimedean local field of characteristic zero. Jacquet, Piatetski-Shapiro and Shalika introduced the notion of newforms for irreducible generic representations of GL_n(F). In this paper, we give an explicit formula for Whittaker functions associated to newforms on the diagonal matrices in GL_n(F).
The primary objective of this paper is the study of different instances of the elliptic Stark conjectures of Darmon, Lauder and Rotger, in a situation where the elliptic curve attached to the modular form $f$ has split multiplicative reduction at $p$ and the arithmetic phenomena are specially rich. For that purpose, we resort to the principle of improved $p$-adic $L$-functions and study their $\mathcal L$-invariants. We further interpret these results in terms of derived cohomology classes coming from the setting of diagonal cycles, showing that the same $\mathcal L$-invariant which arises in …
We study the p-adic valuations of roots of L-functions associated with certain families of exponential sums of Laurent polynomials in n variables over a finite field. The families we consider are reflection and Kloosterman variants of diagonal polynomials. Using decomposition theorems of Wan, we determine the Newton and Hodge polygons of a non-degenerate Laurent polynomial in one of these families.
