Euler Systems for $\mathrm{GSp}_4 \times \mathrm{GL}_2$
Chi-Yun Hsu, Zhaorong Jin, Ryotaro Sakamoto
备注:
54 pages. Simplified proof of local formula for tame norm relations. Added assumptions for tame norm relation to exclude boundary weights which do not go through the current proof. Other minor corrections
For a non-endoscopic cohomological cuspidal automorphic representation of $\mathrm{GSp}_4 \times \mathrm{GL}_2$, assumed to be $p$-ordinary, we construct an Euler system for the Galois representation associated to it. Both the construction and the verification of tame norm relations are based on Novodvorsky's integral formula for the $L$-function of $\mathrm{GSp}_4 \times \mathrm{GL}_2$.
We prove a potentially automorphy theorem for suitable Galois representations $Γ_{F^+} \to \mathrm{GSpin}_{2n+1}(\overline{\mathbb{F}}_p)$ and $Γ_{F^+} \to \mathrm{GSpin}_{2n+1}(\overline{\mathbb{Q}}_p)$, where $Γ_{F^+}$ is the absolute Galois group of a totally real field $F^+$. We also prove results on solvable descent for $\mathrm{GSp}_{2n}(\mathbb{A}_{F^+})$ and use these to put representations $Γ_{F^+} \to \mathrm{GSpin}_{2n+1}(\overline{\mathbb{Q}}_p)$ into compatible systems of $\mathrm{GSpin}_{2n+1}(\overline{\mathbb{Q}}_{\ell})$-valued representations.
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 prove a cohomological formula for non-critical residues of degree eight automorphic $L$-functions of $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ in the spirit of Beilinson conjecture. We rely on the cohomological interpretation of an automorphic period integral and on the study of Novodvorsky's integral representation of the $L$-functions.
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 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 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.
In this paper, we describe an algorithm for computing algebraic modular forms on compact inner forms of $\mathrm{GSp}_4$ over totally real number fields. By analogues of the Jacquet-Langlands correspondence for $\mathrm{GL}_2$, this algorithm in fact computes Hecke eigensystems of Hilbert-Siegel modular forms of genus 2. We give some examples of such eigensystems over $\Q(\sqrt{2})$.
In the present paper, we first construct a pairing on the space of analytic distributions associated with $\mathrm{GSp}_{2g}$. By considering the overconvergent parabolic cohomology groups and following the work of Johansson--Newton, we construct the cuspidal eigenvariety for $\mathrm{GSp}_{2g}$. The pairing on the analytic distributions then induces a pairing on some coherent sheaves of the cuspidal eigenvariety. As an application, we follow the strategy of Bellaïche to study the ramification locus of the cuspidal eigenvariety over the corresponding weight space.
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 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.
We build upon our previous work to study the Newton stratification on the $B_\mathrm{dR}^+$-Grassmannian for $\mathrm{GSp}_{2n}$. Our main result gives an explicit classification of all nonempty Newton strata associated to a Frobenius-conjugacy class satisfying certain conditions on the Newton polygon.
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 prove a conjectural formula relating the Bessel period of certain automorphic forms on $\mathrm{GSp}_4$ to a central $L$-value. This formula is proposed by Liu \cite{liu} as the refined Gan-Gross-Prasad conjecture for the groups $(\SO(5), \SO(2))$. The conjecture has been previously proved for certain automorphic forms on $\mathrm{GSp_4}$ from lifts. In this paper, we extend the formula to Siegel modular forms of $\Sp_4(\bZ)$.
We give a two variable Rankin-Selberg integral inspired by consideration of Garrett's pullback formula. For a globally generic cusp form on $\mathrm{GL}_2\times \mathrm{GSp}_4$, the integral represents the product of the $\mathrm{Std}\times \mathrm{Spin}$ and $\mathbf{1} \times \mathrm{Std}$ $L$-functions. We prove a result concerning an Archimedean principal series representation in order to verify a case of Jiang's first-term identity relating certain non-Siegel Eisenstein series on symplectic groups. Using it, we obtain a new proof of a known result concerning possible poles of these $L$-fu…
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.
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 …
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 $π$.
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 study the L-functions associated to Siegel modular forms (equivalently, automorphic representations of ${\rm GSp}(4,\mathbb{A}_{\mathbb{Q}})$) both theoretically and numerically. For the L-functions of degrees 10, 14, and 16 we perform representation theoretic calculations to cast the Langlands L-function in classical terms. We develop a precise notion of what it means to test a conjectured functional equation for an L-function, and we apply this to the degree 10 adjoint L-function associated to a Siegel modular form.
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 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.
In this article, the cohomology of the arithmetic group $\mathrm{Sp}_4(\mathbb{Z})$ with coefficients in any finite dimensional highest weight representation $\mathcal{M}_λ$ have been studied. Euler characteristic with coefficients in $\mathcal{M}_λ$ have been carried out in detail. Combining the results obtained on Euler characteristic and the work of Harder on Eisenstein cohomology, the description of the cuspidal cohomology has been achieved. At the end, we employ our study to compute the dimensions for the cohomology spaces $H^{\bullet}(\mathrm{Sp}_4(\mathbb{Z}), \mathcal{M}_λ)$.
Let $K$ be a imaginary quadratic field where the prime $p$ splits. Our goal in this article is to prove results towards the Iwasawa main conjectures for $p$-nearly-ordinary families associated to $\mathrm{GL}_2\times \mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$ with a minimal set of assumptions. The main technical input is an improvement on the locally restricted Euler system machinery that allows the treatment of residually reducible cases, which we apply with the Beilinson--Flach Euler system.
Let $A$ be a semistable principally polarized abelian variety of dimension $d$ defined over the rationals. Let $\ell$ be a prime and let $\barρ_{A,\ell} : G_{\mathbb{Q}} \rightarrow \mathrm{GSp}_{2d}(\mathbb{F}_\ell)$ be the representation giving the action of $G_{\mathrm{Q}} :=\mathrm{Gal}(\bar{\mathrm{Q}}/\mathrm{Q})$ on the $\ell$-torsion group $A[\ell]$. We show that if $\ell \ge \max(5,d+2)$, and if image of $\barρ_{A,\ell}$ contains a transvection then $\barρ_{A,\ell}$ is either reducible or surjective. With the help of this we study surjectivity of $\barρ_{A,\ell}$ for semistable princi…
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})$.
Inspired by a construction of Bump, Friedberg, and Ginzburg of a two-variable integral representation on $\mathrm{GSp}_4$ for the product of the standard and spin $L$-functions, we give two similar multivariate integral representations. The first is a three-variable Rankin-Selberg integral for cusp forms on $\mathrm{PGL}_4$ representing the product of the $L$-functions attached to the three fundamental representations of the Langlands $L$-group $\mathrm{SL}_4(\mathbf{C})$. The second integral, which is closely related, is a two-variable Rankin-Selberg integral for cusp forms on $\mathrm{PGU}(2…