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.
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.
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.
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.
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…
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).
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 prove an algebraicity result for certain critical value of adjoint $L$-functions for ${\rm GSp}_4$ over a totally real number field in terms of the Petersson norm of normalized generic cuspidal newforms on ${\rm GSp}_4$. This is a generalization of our previous result arXiv:1902.06429.
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.
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 study the adjoint Bloch--Kato Selmer groups attached to a classical point in the cuspidal eigenvariety associated with $\mathrm{GSp}_{2g}$. Our strategy is based on the study of families of Galois representations on the eigenvariety, which is inspired by the book of J. Bellaiche and G. Chenevier.
We establish the existence of congruences between a fixed endoscopic cuspidal automorphic representation $Π$ of $\mathrm{GSp}(4)$ of square-free conductor and stable cuspidal automorphic representations of the same level and weight modulo certain prime factors of the value at $1$ of the adjoint $L$-function of $Π$ normalized by a suitable period.
We study parabolically induced representations for $GSpin_m(F)$ with $F$ a $p$--adic field of characteristic zero. The Knapp-Stein $R$--groups are described and shown to be elementary two groups. We show the associated cocycle is trivial proving multiplicity one for induced representations. We classify the elliptic tempered spectrum. For $GSpin_{2n+1}(F)$, we describe the Arthur (Endoscopic) $R$--group attached to Langlands parameters, and show these are isomorphic to the corresponding Knapp-Stein $R$--groups.
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.
In the first part of the book, we classify the automorphic representations of {\rm GSp}(2) which are invariant under tensor product with a given quadratic idèle class character, via the lifting of automorphic representations of twisted endoscopic groups. In the second part of the book, we classify the admissible representations of {\rm GSp}(2, k), k a p-adic field, which are invariant under tensor product with a given quadratic character of k^\times. This classification is given in terms of twisted character identities among the admissible representations of {\rm GSp}(2, k) and those of its tw…
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 F be a p-adic field and let G(n) and G`(n) be the metaplectic double covers of the general symplectic group and symplectic group attached to a 2n dimensional symplectic space over F. We show here that if n is odd then all the genuine irreducible representations of G(n) are induced from a normal subgroup of finite index closely related to G`(n). Thus, we reduce, in this case, the theory of genuine admissible representations of G(n) to the better understood corresponding theory of G`(n). For odd n we also prove the uniqueness of certain Whittaker functionals along with Rodier type of Heredit…
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…
We prove the Bloch--Kato conjecture for certain critical values of degree 8 $L$-functions associated to cusp forms on $\mathrm{GSp}_4 \times \mathrm{GL}_2$. We also construct a $p$-adic Eichler--Shimura isomorphism in Hida families for $\mathrm{GSp}_4$, relating $H^2$ of automorphic vector bundles with $\mathbf{D}_{\mathrm{cris}}$ of a subquotient of étale cohomology.
We construct global cohomology classes in the middle degree cohomology of the Shimura variety of the symplectic group $GSp_6$ compatible when one varies the level at $p$. These classes are expected constituents of an Euler system for the Galois representations appearing in these cohomology groups. As an application, we show how these classes provide elements in the Iwasawa cohomology of these representations and, by applying Perrin-Riou's machinery, $p$-adic L-functions associated to them.
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).
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)…
Let $K$ be an imaginary quadratic field, with associated quadratic character $α$. We construct an analytic $p$-adic $L$-function interpolating the twisted adjoint $L$-values $L(1, \mathrm{ad}(f) \otimes α)$ as $f$ varies in a Hida family; these special values are non-critical in the sense of Deligne. Our approach is based on Greenberg--Stevens' idea of $Λ$-adic modular symbols, which considers cohomology with values in a space of $p$-adic measures.
We prove surjectivity criteria for $p$-adic representations and we apply them to abelian varieties over number fields. In particular, we provide examples of Jacobians over $\dbQ$ of dimension $d\in\{1,2,3\}$ whose 2-adic representations have as images $GSp_{2d}(\dbZ_2)$.
Fix $p$ an odd prime. Let $E$ be an elliptic curve over $\mathbb{Q}$ with semistable reduction at $p$. We show that the adjoint $p$-adic $L$-function of $E$ evaluated at infinitely many integers prime to $p$ completely determines up to a quadratic twist the isogeny class of $E$. To do this, we prove a result on the determination of isobaric representations of $\text{GL}(3, \mathbb{A}_\mathbb{Q})$ by certain $L$-values of $p$-power twists.
Hirzebruch-Zagier cycles in $p$-adic families and adjoint $L$-values
University College Dublin(都柏林大学);LMNO - Laboratoire de Mathématiques Nicolas Oresme, CNRS - UMR 6139, UNICAEN, Normandie Univ.(诺曼底大学);Concordia University(康考迪亚大学)
Let G be a connected simple adjoint p-adic group not isomorphic to a projective linear group PGL(m,D) of a division algebra D, or an adjoint ramified unitary group of a split hermitian form in 3 variables. We prove that G admits an irreducible admissible supercuspidal (i.e. supersingular) representation over any field of characteristic p.
Let $F$ be a local field with residue characteristic $p$, let $C$ be an algebraically closed field of characteristic $p$, and let $\mathbf{G}$ be a connected reductive $F$-group. In a previous paper, Florian Herzig and the authors classified irreducible admissible $C$-representations of $G=\mathbf{G}(F)$ in terms of supercuspidal representations of Levi subgroups of $G$. Here, for a parabolic subgroup $P$ of $G$ with Levi subgroup $M$ and an irreducible admissible $C$-representation $τ$ of $M$, we determine the lattice of subrepresentations of $\mathrm{Ind}_P^G τ$ and we show that $\mathrm{Ind…
We prove several surjectivity criteria for $p$-adic representations. In particular, we classify all adjoint and simply connected group schemes $G$ over the Witt ring $W(k)$ of a finite field $k$ such that the epimorphism $G(W_2(k))\twoheadrightarrow G(k)$ has a section.
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…
Let F be a totally real field and G=GSp(4)_{/F}. In this paper, we show under a weak assumption that, given a Hecke eigensystem lambda which is (p,P)-ordinary for a fixed parabolic P in G, there exists a several variable p-adic family underline{lambda} of Hecke eigensystems (all of them (p,P)-nearly ordinary) which contains lambda. The assumption is that lambda is cohomological for a regular coefficient system. If F=Q, the number of variables is three. Moreover, in this case, we construct the three variable p-adic family rho_{underline{lambda}} of Galois representations associated to underline…
In this paper, we prove Deligne's conjecture for symmetric sixth $L$-functions of Hilbert modular forms. We extend the result of Morimoto based on a different approach. We define automorphic periods associated to globally generic $C$-algebraic cuspidal automorphic representations of ${\rm GSp}_4$ over totally real number fields whose archimedean components are (limits of) discrete series representations. We show that the algebraicity of critical $L$-values for ${\rm GSp}_4 \times {\rm GL}_2$ can be expressed in terms of these periods. In the case of Kim-Ramakrishnan-Shahidi lifts of ${\rm GL}_…
We prove the existence of Euler systems for adjoint modular Galois representations using deformations of Galois representations coming from Hilbert modular forms and relate them to $p$-adic $L$-functions under a conjectural formula for the Fitting ideals of some equivariant congruence modules for abelian base change.
Let $ρ$ be the $p$-adic Galois representation attached to a cuspidal, regular algebraic, polarizable automorphic representation of $GL_n$. Assuming only that $ρ$ satisfies an irreducibility condition, we prove the vanishing of the adjoint Bloch--Kato Selmer group attached to $ρ$. This generalizes previous work of the author and James Newton.
We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer…