Abstract
We study the Picard–Lefschetz formula for Siegel modular threefolds of paramodular level and prove the weight-monodromy conjecture for its middle degree inner cohomology. We give some applications to the Langlands programme: using Rapoport-Zink uniformisation of the supersingular locus of the special fiber, we construct a geometric Jacquet–Langlands correspondence between \({\text {GSp}}_4\) and a definite inner form, proving a conjecture of Ibukiyama. We also prove an integral version of the weight-monodromy conjecture and use it to deduce a level lowering result for cohomological cuspidal automorphic representations of \({\text {GSp}}_4\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we will study the cohomology of paramodular Siegel threefolds, using geometric results of [62] and the Picard–Lefschetz formula of [6]. Our first main result (Theorem 2) is a geometric Jacquet–Langlands correspondence for such paramodular Siegel threefolds, which proves a conjecture of Ibukiyama [21] that we will explain below. Our second main result (Theorem 3) is a level lowering result for cohomological cuspidal automorphic representations of \({\text {GSp}}_4\), in the spirit of Mazur’s level lowering results for modular forms. Our main technical result (Theorem 1) is the weight-monodromy conjecture for the inner cohomology of Siegel threefolds over \({\mathbb {Q}}_p\) with paramodular level structure at p.
1.1 Ibukiyama’s conjecture
Let D be the quaternion algebra over \({\mathbb {Q}}\) that is non-split over \({\mathbb {R}}\) and \({\mathbb {Q}}_p\) for a prime p and split at all other places. Let \(S_k[\Gamma _0(p)]^{\text {new}}\) be the space of modular forms of weight \(k \ge 2\) and level \(\Gamma _0(p)\) that are p-new. A classical result of Eichler gives a Hecke equivariant injection (surjective for \(k \ge 3\))
![](http://media.springernature.com/lw181/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ1_HTML.png)
where \({\mathcal {A}}^{D^{\times }}_k[{\mathcal {O}}_D^{\times }]\) denotes the space of algebraic modular forms for \(D^{\times }\) of weight k and level \({\mathcal {O}}_D^{\times }\). These can be described explicitly as ‘functions’ on the (finite) class set of D which are easier to understand computationally than modular forms. In fact this description is used in practice to compute bases of newforms for spaces of modular forms. This correspondence is a special case of the Jacquet–Langlands correspondence between the algebraic group \({\text {GL}}_2/{\mathbb {Q}}\) and its inner form \(D^{\times }/{\mathbb {Q}}\), proven in [24] using the trace formula.
The quaternionic similitude group \(G=GU_2(D)\) associated with D is an inner form of \({\text {GSp}}_4\), such that \(G({\mathbb {R}})\) is compact modulo centre. General conjectures of Langlands predict a transfer from automorphic representations of G to automorphic representations of \({\text {GSp}}_4\). A particular instance of this transfer was first conjectured by Ihara and Ibukiyama [20, 23] and later extended by Ibukiyama. We will state a slight reformulation of Conjecture 5.1 of [21] below. Let \(S_{k,j}[K(p)]\) denote the space of Siegel modular forms of weight k, j and level \(K(p)\), where \(K(p)\) is the paramodular group (c.f. Sect. 3). Let \({\mathcal {A}}^G_{k,j}[K_2(p)]\) denote the space of algebraic modular forms for G of weight k, j and level \(K_2(p)\), where \(K_2(p)\) is an analogue of the paramodular group (c.f. Sect. 4).
Conjecture 1
(Ibukiyama) For \(k \ge 0\) and for \(j \ge 3\) there is an injective map
![](http://media.springernature.com/lw204/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ2_HTML.png)
which is Hecke-equivariant for the prime-to-p Hecke operators.
Remark 1.1.1
This conjecture can be used to do explicit computations with Siegel modular forms, we give some examples: in [8] the author constructs an algorithm computing Hecke eigenvalues of Siegel modular forms, assuming a form of Conjecture 1; in [31] the authors do extensive computations with algebraic modular forms for G; in [10] the author uses the conjecture to find computational evidence for Harder’s conjecture on congruences between Siegel modular forms and elliptic modular forms.
It is an old idea of Serre that the classical Jacquet–Langlands correspondence between modular forms and quaternion modular forms can be realised geometrically by restricting mod p modular forms (which are sections of a line bundle on the modular curve \(Y_0(N)\)) to the supersingular locus. This mod p Jacquet–Langlands correspondence can be upgraded to a characteristic zero correspondence by considering the Picard–Lefschetz formula in étale cohomology [6] for the modular curve \(Y_0(Np)\). Ghitza [15] generalised Serre’s ideas to produce a mod p Jacquet–Langlands correspondence for Siegel modular forms (by restricting to the superspecial locus). Our approach to Conjecture 1 is then to use the Picard–Lefschetz formula for the Siegel threefold with paramodular level at p, which is possible because Yu [62] computed its singularities. Using results of [27] and [61] we can identify the finite set of singular points of \(X \otimes {\mathbb {F}}_p\) with an adelic double quotient of the form
Algebraic modular forms for G are basically functions on this finite set and the Picard–Lefschetz formula gives us a map from the space of these algebraic modular forms to the middle cohomology of \(X_{{\overline{{\mathbb {Q}}}}_p}\). This map has an interpretation in terms of the action of the inertia group and our first result concerns this action.
Theorem 1
Let \(X/{\mathbb {Q}}_p\) be the Siegel threefold of neat level \(U=U^p K(p)\) and let \({\mathbb {V}}\) be an automorphic local system of L-vector spaces where \(L/{\mathbb {Q}}_\ell \) is a finite extension (\(\ell \not =p)\) of sufficiently regular weight. Then the weight-monodromy conjecture holds for \(H^3_{!}(X_{{\overline{{\mathbb {Q}}}}_p}, {\mathbb {V}})\).
Remark 1.1.2
The result, without restrictions on the weight or level, also follows from Arthur’s classification of automorphic forms on \({\text {GSp}}_4\) together with results on weight-monodromy for \({\text {GL}}_4\) by Caraiani [4]. The point of the theorem is to give a geometric proof, using the cohomological vanishing theorems of [30]. In fact we will need an integral refinement of the theorem for our level-lowering result, which does not follow from automorphic considerations.
Remark 1.1.3
When X is a non-compact Shimura variety of Hodge type, with minimal compactification , one expects the weight-monodromy conjecture to hold for \(H^{\bullet }(X^{*}, j_{! *} {\mathbb {V}})\). Indeed, it follows from the usual weight-monodromy conjecture for smooth projective varieties, see Appendix A. In general the inner cohomology \(H_{!}^{\bullet }(X,{\mathbb {V}})\) is only a sub-quotient of \(H^{\bullet }(X^{*}, j_{! *} {\mathbb {V}})\) and it is unclear to the author if one should expect that the weight-monodromy conjecture holds for it. However when X is a Siegel threefold, the inner cohomology \(H_{!}^{\bullet }(X,{\mathbb {V}})\) is a direct summand of \(H^{\bullet }(X^{*}, j_{! *} {\mathbb {V}})\), because it is equal to the cuspidal cohomology.
At this point we have all the ingredients to prove Conjecture 1, but we will actually prove more. We can work with arbitrary level away from p to transfer certain cuspidal automorphic representations \(\pi \) of \({\text {GSp}}_4\) to G, which is a geometric incarnation of the Jacquet–Langlands correspondence between G and \({\text {GSp}}_4\). We will state a short version of our main theorem below, see Theorem 8.2.1 for a more general statement.
Theorem 2
-
(1)
Let \(\pi \) be a non-endoscopic cohomological cuspidal automorphic representation of \({\text {GSp}}_4\) such that \(\pi _{\infty }\) is in the discrete series and such that \(\pi _p\) is ramified and K(p)-spherical. Then there is a cuspidal automorphic representation \(\sigma \) of G such that \(\pi _v \cong \sigma _v\) for finite places \(v \not =p\), such that \(\sigma _p\) is \(K_2(p)\)-spherical and with \(\sigma _{\infty }\) determined by \(\pi _{\infty }\). Moreover, \(\sigma \) occurs with multiplicity one in the cuspidal spectrum of G.
-
(2)
Let \(k \ge 0, j \ge 3\) and let N be a squarefree integer with \(p \mid N\), then there is an injective map
equivariant for the prime-to-p Hecke operators, which proves Conjecture 1.
Remark 1.1.4
Sorensen constructs a Jacquet–Langlands transfer in [48] using the stable trace formula. However he has to assume that there is a certain auxiliary prime \(q \not =p\) where \(\sigma _q\) is ramified enough, which is never satisfied for paramodular forms of squarefree level. Moreover, while I was writing up this paper, Weissauer and Rösner informed me that they can construct a general Jacquet–Langlands correspondence between \({\text {GSp}}_4\) and its inner forms, also using trace formula methods, see their forthcoming article [42].
Remark 1.1.5
Ibukiyama gives a conjectural characterisation of the image of \(\varphi \) when \(N=p\). We will give a different characterisation of its image in Theorem 8.2.1, which is probably easier to verify in practice. We will also discuss the image of the map \(\pi \mapsto \sigma \) in Theorem 8.2.1.
1.2 Mazur’s principle
In this section we describe a level lowering result for cohomological cuspidal automorphic representations of \({\text {GSp}}_4\). We start by recalling a classical result of Mazur concerning levels of modular forms, which answers the following question: Given a normalised eigenform \(f \in S_2[\Gamma _0(Np)]\) that is p-new, is there a congruence \(f \equiv g \mod \ell \), for some \(\ell \not =p\), with \(g \in S_2[\Gamma _0(N)]\)? We can translate this congruence into an isomorphism of mod \(\ell \) Galois representations \({\overline{\rho }}_{f,\ell } \cong {\overline{\rho }}_{g,\ell }\). Since the Galois representation \(\rho _{f,\ell }\) is unramified at p, a necessary condition for such a congruence to exist is that the Galois representation \({\overline{\rho }}_{f,\ell }\) is unramified at p, and Serre conjectured in [46] that the converse should be true. Ribet proved this conjecture in [39], which was famously used to show that modularity of semi-stable elliptic curves implies Fermat’s last theorem. Below we state a slightly weaker version of Ribet’s theorem, due to Mazur:
Theorem
(Mazur’s principle, Theorem 6.1 in [39]) Assume that \(\overline{\rho _{f,\ell }}\) is irreducible, unramified at p and that it has two distinct \({\text {Frob}}_p\) eigenvalues (equivalently, \(p \not =1 \mod \ell )\). Then there is a normalised eigenform \(g \in S_2[\Gamma _0(N)]\) with \(\overline{\rho _{g,\ell }} \simeq \overline{\rho _{f,\ell }}\).
Our second main result is the following analogue of Mazur’s principle for cohomological cuspidal automorphic representations of \({\text {GSp}}_4\).
Theorem 3
Let \(\pi \) be a cuspidal automorphic representation of \({\text {GSp}}_4\) that is cohomological of weight \(a> b > 0\) such that \(\pi _p\) is ramified and K(p)-spherical. Let \(U=U^p \cdot K(p) \subset {\text {GSp}}_4({\mathbb {A}}_f)\) be a neat compact open subgroup such that \(\pi ^U \not =0\). Let \(\ell \not =p\) be a prime such that \(\overline{\rho _{\pi , \ell }}\) is irreducible, such that the group \(U_{\ell }\) is hyperspecial at \(\ell \) and such that \(\ell >a+b+4\). Then if \(\overline{\rho _{\pi , \ell }}\) is unramified at p and has four distinct \({\text {Frob}}_p\) eigenvalues, there exists a cuspidal automorphic representation \(\pi '\), of the same weight and level \(U^p\) away from p, such that \(\overline{\rho _{\pi , \ell }}=\overline{\rho _{\pi ',\ell }}\) and such that \(\pi '_p\) is unramified.
Remark 1.2.1
We need the assumption that \(a>b>0\), that \(\ell >a+b+4\) and that \(K_{\ell }\) is hyperspecial to apply Theorem 10.1 of [30], which is a torsion vanishing result. Our proof only needs this torsion vanishing result after localising at a ‘nice’ maximal ideal of the Hecke algebra, so it should be possible to relax these assumptions. After a first version of this paper appeared on the arxiv, Haining Wang proved a version of Proposition 7.1.2 localised at such a maximal ideal (see Proposition 5.3 of [57]). This means that the assumption that \(a>b>0\) and that \(K_{\ell }\) hyperspecial is hyperspecial is no longer necessary. The assumption that \(\overline{\rho _{\pi , \ell }}\) is irreducible and has four distinct Frobenius eigenvalues is crucial for the actual level lowering argument. We note that Haining Wang proves a version of Theorem 3 under different assumptions, see Theorem 5.1 of [57]. To be precise he has weaker assumptions on the Frobenius eigenvalues, but has to assume semi-simplicity of the middle degree étale cohomology of the Siegel threefold.
An essential ingredient in the proof of Mazur’s principle is the fact that the component group of the Jacobian of the modular curve \(X_0(Np)\) is Eisenstein. Following Jarvis and Rajaei [25, 38] we define a cohomological analogue of the component group and show that it is zero if the aforementioned torsion-vanishing result holds. This statement can be seen as an integral refinement of the weight-monodromy conjecture because the component group is defined as the cokernel of a certain monodromy operator.
Remark 1.2.2
Gee and Geraghty [14] prove more general level lowering results for cuspidal automorphic representations of \({\text {GSp}}_4\), under the assumption that \(\overline{\rho _{\pi , \ell }}\) has large image and is ‘ordinary’, see Theorem 7.5.2 of op. cit. for a precise statement. It might be possible to generalise their results using recent work of Yamauchi [60]. Moreover Sorensen proves a potential level lowering result for \({\text {GSp}}_4\) in [49].
Remark 1.2.3
The paramodular group \(K(Np)\) is not neat, so a level lowering result from \(S_{k,j}[K(Np)]\) to \(S_{k,j}[K(N)]\) does not follow. However, it should be possible to prove such a result by cleverly choosing some auxiliary level structure (but we would need some extra conditions on \(\overline{\rho _{\pi , \ell }}\), c.f. the main theorem of [25]).
1.3 Overview of the paper
We start by giving an overview of the theory of Siegel modular forms and automorphic representations of \({\text {GSp}}_4({\mathbb {A}})\) in Sect. 2. In Sect. 3 we discuss the Vogan–Zuckerman classification and Arthur’s classification and use these to describe the cohomology of Siegel threefolds. We define algebraic modular forms for G in Sect. 4. In Sect. 5 we survey some results on integral models of Siegel threefolds and describe the combinatorics of their supersingular loci explicitly in terms of Shimura sets for G. Sect. 7 is the technical heart of the paper where we prove the vanishing of the component group. We deduce the main theorems from this in Sect. 8.
2 Automorphic forms
In this section we will discuss (cuspidal) automorphic representations of \({\text {GSp}}_4({\mathbb {A}})\). We will first describe classical Siegel modular forms of vector-valued weight for \({\text {GSp}}_4\), which give rise to such automorphic representations. We then carry out some local computations needed in our proof of Mazur’s principle. We end by recalling the Galois representations associated with cohomological cuspidal automorphic representations of \({\text {GSp}}_4({\mathbb {A}})\).
2.1 Siegel modular forms of genus 2
We define the group \({\text {GSp}}_4\) as the group scheme over \({\mathbb {Z}}\) defined by the functor sending a commutative ring R to
where \(J= \bigl ({\begin{matrix} 0 &{} 1_2 \\ -1_2 &{} 0 \end{matrix}} \bigr )\) and \(1_2\) is the \(2 \times 2\) identity matrix. The projection map \((g, \lambda ) \mapsto \lambda \) is called the similitude character and is denoted by
The group \({\text {GSp}}_4({\mathbb {R}})\) acts transitively on the Siegel upper half space \({\mathbb {H}}_2^{\pm }\) defined as
by \( \bigl ({\begin{matrix} a &{} b \\ c &{} d \end{matrix}} \bigr ) \cdot z:=(az+b)(cz+d)^{-1}\). Let \(\Gamma \subset {\text {GSp}}_4({\mathbb {Q}})\) be a congruence subgroup and for \(k \ge 0, j \ge 0\) consider the irreducible representation of \({\text {GL}}_2({\mathbb {C}})\) given by
where V is the standard representation of \({\text {GL}}_2({\mathbb {C}})\).
Definition 2.1.1
A Siegel modular form of weight k, j and level \(\Gamma \) is a holomorphic function \(f: {\mathbb {H}}_2^{\pm } \rightarrow W_{k,j}\) such that such that for all \(z \in {\mathbb {H}}_2^{\pm }\) and all \( \bigl ({\begin{matrix} a &{} b \\ c &{} d \end{matrix}} \bigr ) \in \Gamma \) we have
A Siegel modular form is called a cusp-form if \(\Phi (f)=0\), where \(\Phi (f)\) is the Siegel operator (c.f. [55, pp. 12]), we write \(S_{k,j}[\Gamma ]\) for the \({\mathbb {C}}\)-vector space of cusp forms of weight k, j and level \(\Gamma \).
We will be particularly interested in the case that \(\Gamma \) is given by the paramodular group \(K(N)\) for some squarefree N. Here
We usually like to think of our levels as compact open subgroups in \({\text {GSp}}_4({\mathbb {A}}_f)\) when translating Siegel modular forms into automorphic representations. For a prime p we define
we call K the paramodular group and Q the Klingen parahoric. The paramodular group K(N) now corresponds to the compact open subgroup
We will implicitly use the following result throughout the paper (c.f. [2, Theorem 2]):
Proposition 2.1.2
Given a normalised eigenform \(f \in S_{k,j}(K(N))\) with N squarefree then there is an associated cuspidal automorphic representation \(\pi \) of \({\text {GSp}}_4({\mathbb {A}})\) such that \(\pi _{\infty }\) is in the holomorphic discrete series and such that \(\pi _{f}\) is unramified for \(p \not \mid N\) and \(\pi _{f}^{K(p)} \not =0\) for \(p \mid N\).
2.2 The local Langlands correspondence
This section is about irreducible smooth representations \(\pi \) of \({\text {GSp}}_4({\mathbb {Q}}_p)\), that are ramified and K(p)-spherical, and their associated Weil–Deligne representations under the local Langlands correspondence of [12]. Table A.13 of [40] describes all of these representations and their associated Weil–Deligne representations can be found in Chapter 2.4 of op. cit. These representations break up into 5 types (IIa, IVc, Vb, Vc, VIc) of which only one (type IIa) is generic (c.f. Table A1 of op. cit.).
Let v be the normalised absolute value \(v:{\mathbb {Q}}_p^{\times } \rightarrow \overline{{\mathbb {Q}}_{\ell }}\), let \(\sigma \) be an unramified character of \({\mathbb {Q}}_p^{\times }\) and let \(\chi \) be a character of \({\mathbb {Q}}_p^{\times }\) such that \(\chi ^2 \not = v^{\pm 1}\) and \(\chi \not = v^{\pm 3/2}\). We consider all of these as character of the Weil group via local class field theory (uniformisers go to geometric Frobenius elements). The representation \(\chi {\text {St}}_{{\text {GL}}_2} \rtimes \sigma \) of type IIa is generic and its associated Weil–Deligne representation is given by:
We note that the central character of this representation is \(\chi ^2 \sigma ^2\) which is also equal to the similitude character of the Weil–Deligne representation. Furthermore, the Weil–Deligne representation satisfies the weight-monodromy conjecture, i.e., it is pure in the sense of Taylor-Yoshida [52, pp.6]. More concretely, this means that the monodromy operator has rank ‘as large as possible’.
Remark 2.2.1
The other four types (IVc, Vb, Vc, VIc) are not generic, and their associated Weil–Deligne representations do not satisfy the weight-monodromy conjecture. After we prove Theorem 1 (weight-monodromy), we can use this observation to deduce that certain representations must be of type IIa, which will be used in the proof of Theorem 3.
2.2.1 Atkin-Lehner eigenvalues
The element
normalises the paramodular group K and so it acts on the space of invariants \(\pi ^K\). Moreover since \(u^2=p I\) is central it must act on \(\pi ^K\) via the central character of \(\pi \).
Lemma 2.2.3
Let \(\pi =\chi {\text {St}}_{{\text {GL}}_2} \rtimes \sigma \) be a representation of type IIa with \(\chi , \sigma \) unramified and central character \(\chi ^2 \sigma ^2\). Then \(\pi ^K\) is one-dimensional and u acts via the scalar \((\chi \sigma )(p)\)
Proof
When \(\chi \sigma \) is trivial, Roberts and Schmidt compute that u acts by (c.f. Table A.12 in [40])
one can reduce to this case by twisting and using the fact that \(\chi , \sigma \) are unramified. \(\square \)
2.3 Galois representations
Galois representations associated with cohomological cuspidal automorphic representations of \({\text {GSp}}_4({\mathbb {A}})\) were constructed in [32, 51, 59]. They satisfy local-global compatibility with the local Langlands correspondence of [12] by work of Mok [35, Theorem 3.5]. To summarise we state the following version of Theorem 3.5 of [35]
Theorem 2.3.1
Let \(\pi \) be a cohomological cuspidal automorphic representation of \({\text {GSp}}_4({\mathbb {A}})\) that is not CAP. Then for every prime number \(\ell \) there exists a continuous Galois representation
such that:
-
(1)
The representation is unramified at primes \(p \not = \ell \) where \(\pi _p\) is unramified, de Rham at \(\ell \) and crystalline at \(\ell \) if \(\pi _{\ell }\) is unramified.
-
(2)
For all primes \(p \not = \ell \) we have local-global compatibility with the local Langlands correspondence of [12]. To be precise we have
where \({\text {rec}}_p\) is the Langlands reciprocity map of [12] and \(\text {F-ss}\) denotes Frobenius semi-simplification of a Weil–Deligne representation.
-
(3)
The representation satisfies
$$\begin{aligned} \rho _{\pi , \ell }^{\vee } \cong \rho _{\pi , \ell } \otimes {\text {sim}}(\rho _{\pi , \ell }) \end{aligned}$$where \({\text {sim}}(\rho _{\pi , \ell })\) is the similitude character of \(\rho _{\pi , \ell }\).
Remark 2.3.2
If \(\pi \) is CAP then the above theorem also holds except that local global compatibility is only true up to semi-simplification (this is Proposition 3.4 of [35]).
3 Cohomology of Siegel threefolds
In this section we will describe the inner cohomology \(H^3_{!}\) of Siegel threefolds in terms of cuspidal automorphic representations of \({\text {GSp}}_4\) using the Vogan–Zuckerman classification (c.f. [37, 51]). We then make use of Arthur’s classification [1, 13] of these cuspidal automorphic representations to make our discussion explicit.
3.1 Automorphic local systems
Let \(Y_U\) be the Shimura variety for \(({\text {GSp}}_4, {\mathbb {H}}_2^{\pm })\) of level \(U=U^{\ell } U_{\ell } \subset {\text {GSp}}_4({\mathbb {A}}_f)\). Irreducible representations V of \({\text {GSp}}_4({\mathbb {C}})\) give rise to local systems \({\mathbb {V}}\) on \(Y_U\), called automorphic local systems, as in [53, pp.24], [29, section 3]):
Recall that irreducible representations V of \({\text {GSp}}_4({\mathbb {C}})\) are parametrized by tuples \((a \ge b \ge 0, c)\), where \(a \ge b \ge 0\) determines the restriction of V to \({\text {Sp}}_4\) and c determines the action of the similitude character. If \(\ell >a+b+4\) then the lattice \(V_{{\mathcal {O}}}\) is unique up to homothety because \(V_{{\mathcal {O}}}/\varpi \) is an irreducible representation of H, which makes the local system \({\mathbb {V}}_{{\mathcal {O}}}\) independent on the choice of lattice. Changing c amounts to Tate-twisting the local system, which has no interesting effect on the cohomology. Therefore we will set \(c=a+b\), which normalises things such that \({\mathbb {V}}_{1,0}\) is the local system corresponding to the (dual of the) relative \(\ell \)-adic Tate module of the universal abelian variety. In general the local system \({\mathbb {V}}_{a,b} \otimes L\) occurs as a direct summand of
and these local systems are self-dual up to a Tate twist.
3.2 Cohomology theories
Before studying the Galois representations that occur in the étale cohomology of \(Y_U\), we will first study the Hodge structure on the singular cohomology. Write \({\mathbb {V}}_{{\mathbb {C}}}\) for the \({\mathbb {C}}\)-linear local system on \(Y_U({\mathbb {C}})\) of weight \(a \ge b \ge 0\). One is usually interested in the intersection cohomology
where \(j:Y_U \rightarrow {\overline{Y}}_U\) is the inclusion of \(Y_U\) into its Baily–Borel compactification \({\overline{Y}}_U\). By the Zucker conjecture (proven in [33, 44]) this is equal to the \(L^2\) cohomology
which can be described in terms of automorphic representations as follows:
where the sum runs over automorphic representations \(\pi = \pi _{\infty } \otimes \pi _{\text {fin}}\) occurring in the discrete spectrum of \(L^2({\text {GSp}}_4({\mathbb {Q}}) {\setminus } {\text {GSp}}_4({\mathbb {A}}))\) with multiplicity \(m(\pi )\). There is a natural direct summand \(H^{\bullet }_{\text {cusp}}(Y_U({\mathbb {C}}), {\mathbb {V}}_{{\mathbb {C}}})\) of cuspidal cohomology which is the direct sum over cuspidal automorphic representations \(\pi \). Moreover it follows from the results announced in [1] and proven in [13] that \(m(\pi ) \le 1\) for all \(\pi \). In this article we will work with the inner cohomology which is defined to be the image of the natural map
where subscript c denotes compactly supported cohomology. In middle degree there is an isomorphism (c.f. [51, pp. 294])
3.3 Vogan–Zuckerman classification
The Vogan–Zuckerman classification (c.f. [56]) describes the possible \(\pi _{\infty }\) for which
is nonzero, where \({\mathbb {V}}_{{\mathbb {C}}}\) is a local system of weight \(a \ge b \ge 0\). If \(\pi _{\infty }\) is in the discrete series, then it is always cohomological. It turns out that the discrete series representations are the only ones that contribute to middle degree cuspidal cohomology. For a fixed choice of weight a, b, there are precisely two choices of \(\pi _{\infty }\) in the discrete series, which we will denote by \(\pi ^H\) and \(\pi ^W\), where the H stands for ‘holomorphic’ and the W for ‘Whittaker’ (the latter is generic). The \(({\mathfrak {g}}, K_{\infty })\)-cohomology of these representations is two-dimensional and occurs in degree 3 with Hodge numbers (3, 0), (0, 3) and (2, 1), (1, 2) respectively. We note that the representations \(\pi \) with \(\pi _{\infty }=\pi ^H\) correspond to holomorphic cuspidal Siegel modular forms of weight \(a-b, b+3\) (c.f. Proposition 2.1.2).
3.4 Arthur’s classification
Arthur has classified the cuspidal automorphic representations \(\pi \) in [1] into six different types. Only three of these contribute to the inner cohomology in middle degree:
-
The cuspidal automorphic representations \(\pi \) of general type, which occur with multiplicity one. These are stable which means that both \(\pi _{\text {fin}} \otimes \pi ^H\) and \(\pi _{\text {fin}} \otimes \pi ^W\) are cuspidal automorphic. This implies that the four-dimensional Galois representation associated with \(\pi \) occurs in the inner cohomology of the Siegel threefold.
-
The cuspidal automorphic representations \(\pi \) of Yoshida type which occur with multiplicity \(m(\pi )=1\). These are unstable which means that precisely one of \(\pi _{\text {fin}} \otimes \pi ^H\) and \(\pi _{\text {fin}} \otimes \pi ^W\) is cuspidal automorphic. These are related to pairs \((\pi _1, \pi _2)\) of cuspidal automorphic representations of \({\text {GL}}_2\), which we will make precise in Sect. 3.5.
-
The cuspidal automorphic representations \(\pi \) of Saito-Kurokawa type which are CAP and occur with multiplicity one in the cuspidal spectrum. They only occur in scalar weight (so \(a=b\)) and have \(\pi _{\infty }\) isomorphic to either \(\pi ^H, \pi ^W, \pi ^{+}, \pi ^{-}\) (the latter two don’t contribute to middle degree cohomology). These lifts come from cuspidal automorphic representations \(\sigma \) of \({\text {GL}}_2\) of weight \(a+b+4\) and the associated Galois representation is
$$\begin{aligned} \rho _{\pi , \ell }=\rho _{\sigma ,\ell } \oplus {\mathbb {Q}}_{\ell }(-b-2) \oplus {\mathbb {Q}}_{\ell }(-b-1). \end{aligned}$$This Galois representation cannot occur in the middle degree cohomology by purity (outside a finite set of places the inner cohomology will be pure of weight \(a+b+4\)). In fact we will only see the two-dimensional Galois representation \(\rho _{\sigma ,\ell }\) in the middle cohomology.
3.5 Yoshida lifts
We will now describe Yoshida lifts in terms of cuspidal automorphic representations of \({\text {GL}}_2\). Let \(\pi _1, \pi _2\) be cuspidal automorphic representations of \({\text {GL}}_2({\mathbb {A}})\) with the same central character and suppose that \(\pi _{1, \infty }, \pi _{2,\infty }\) are in the holomorphic discrete series with Harish-Chandra parameters \(r_1-1, r_2-2\) satisfying \(r_1 > r_2 \ge 2\) with \(r_1=a+b+4\) and \(r_2=a-b+2\).
Definition 3.5.1
Let \(\pi \) be a cuspidal automorphic representation of \({\text {GSp}}_4({\mathbb {A}})\) that is not CAP and such that \(\pi _{\infty }\) is in the discrete series. We say that \(\pi \) is a Yoshida lift of \((\pi _1, \pi _2)\) if for almost all places v the Satake parameter \(\pi _v\) agrees with the Satake parameter of \((\pi _1, \pi _2)\) via the inclusion of dual groups \({\text {GL}}_2 \times _{{\mathbb {G}}_m} {\text {GL}}_2 \rightarrow {\text {GSp}}_4\).
Alternatively, we can explicitly construct an L-packet \(L(\pi _1, \pi _2)\) as the restricted tensor product of local L-packets \(L(\pi _{1,v}, \pi _{2,v})\) for all places v. These local L-packets are constructed using the \(\theta \)-correspondence between \({\text {GSp}}_4\) and \(({\text {GL}}_2 \times {\text {GL}}_2/{\mathbb {G}}_m)\) and have size two if v is infinite or if v is finite and both \(\pi _{1,v}\) and \(\pi _{2,v}\) are essentially square-integrable. In all other cases the local L-packet has size one and moreover always contains a generic member. However not all members of this L-packet are cuspidal, which is quantified in the following result of Weissauer.
Theorem 3.5.2
(c.f. Theorem 5.2 of [58]) A cuspidal automorphic representation \(\pi \) is a Yoshida lift of \((\pi _1, \pi _2)\) if and only if it is a cuspidal member of the L-packet \(L(\pi _1, \pi _2)\). Moreover, elements \(\pi \) of this L-packet occur in the cuspidal spectrum with multiplicity
where \(c(\pi )\) is the number of places where \(\pi _v\) is non-generic. Moreover \(\pi _{\infty }\) is cohomological with respect to the local system of weight a, b.
The following result describes what Galois representation occur in the inner cohomology:
Proposition 3.5.3
(c.f. Corollary 4.2 of [58]) Let \(\pi \) be a Yoshida lift of \((\pi _1, \pi _2)\), then \(\pi \) is in the discrete series which means that the \(({\mathfrak {g}}, K_{\infty })\)-cohomology of \(\pi _{\infty }\) is two-dimensional. The Galois action on this two-dimensional piece is given by
Definition 3.5.4
We call \(\pi \) an irrelevant Yoshida lift if \(\pi _p\) is ramified but the associated two-dimensional Galois representation occurring in cohomology is unramified.
Corollary 3.5.5
If \(\pi \in L(\pi _1, \pi _2)\) has nonzero invariant vectors for \(K(N)\) for squarefree N, then \(L(\pi _1, \pi _2)\) has precisely one cuspidal member \(\pi \), with \(\pi _v\) generic for all places v. In particular there are no holomorphic Yoshida lifts of level \(K(N)\) and so the Galois representation that we see in the cohomology is
Proof
This is just Remark 3.5 in Section 3.3 of [43]. \(\square \)
3.6 Vanishing theorems
In this section we discuss vanishing theorems for
where we will now take \({\mathbb {V}}_{a,b}\) to be a \({\mathcal {O}}\)-linear local system, note that these are only well defined if \(\ell >a+b+4\).
Theorem 3.6.1
(Theorem 10.1, Corollary 10.2 of [30]) Let \(Y_U\) be the Siegel threefold of neat level U and let \({\mathbb {V}}={\mathbb {V}}_{a,b}\) be an automorphic local system of \({\mathcal {O}}\)-modules. Assume that \(a> b > 0\), that \(U_{\ell }\) is hyperspecial and that \(\ell >a+b+4\). Then
is a free \({\mathcal {O}}\)-module of finite rank and the natural map (with \({\mathbb {F}}={\mathcal {O}}/\varpi \))
is surjective. Moreover
Choosing \(\ell \) sufficiently large and using comparison results between singular cohomology and étale cohomology we get results for local systems with coefficients in L, without restrictions on \(\ell \).
Corollary 3.6.2
If we now use \({\mathbb {V}}_{a,b}\) to denote an L-linear local system of weight \(a>b>0\) then we have
Remark 3.6.3
Theorem 10.1 of op. cit. has the assumptions that \(\mu =(a,b,c) \in X_{{\text {GSp}}_{4}}^{++,<\ell }\), that \(|\mu |_{\text {re},+}<\ell \) and that \(|\mu |'_{\text {comp}} \le \ell -2\). Working through the definitions we find the first condition is equivalent to \(a>b>0\) and \(\ell \ge a+b+5\), the second condition is equivalent to \(\ell \ge a+b+2\) and the third condition is equivalent to \(\ell \ge a+b+4\). We conclude that the conditions \(a>b>0\) and \(\ell >a+b+4\) imply all the hypotheses of Theorem 10.1 of [30] in the case of Siegel modular threefolds.
4 Algebraic modular forms
In this section we will discuss algebraic modular forms on the group \(G=GU_2(D)\). The general reference for this section is [16], we have also drawn from chapter 3 of [11].
Let \(G/{\mathbb {Q}}\) be a connected reductive group such that \(G({\mathbb {R}})\) is connected and compact modulo centre, in this paper we will use \(G=D^{\times }\) and \(G=GU_2(D)\) with \(D/{\mathbb {Q}}\) a definite quaternion algebra. Let \(L/{\mathbb {Q}}_{\ell }\) be a finite extension as before and let V be an irreducible algebraic L-linear representation of \(G({\mathbb {Q}}_{\ell })\). Let \(U=U^{\ell }U_{\ell }\) be a compact open subgroup of \(G({\mathbb {A}}_f)\), then we define the L-vector space of algebraic modular forms of level U with coefficients in V
This vector space is finite dimensional because the double coset spaces
are finite (Proposition 4.3 of [16]). The following result is well known and can be proven as in [17, Section 2] or as in [9, Section 2]:
Proposition
\(\varvec{4.0.1}\) Choose an embedding , then there is a Hecke-equivariant isomorphism
where \(\sigma \) runs over cuspidal automorphic representations of G such that \(\sigma _{\infty } \cong V \otimes _{E} {\mathbb {C}}\) and \(m(\sigma )\) is the multiplicity with which \(\sigma \) occurs in the discrete spectrum of G.
4.1 The inner form
Let D be the definite quaternion algebra over \({\mathbb {Q}}\) ramified at a single prime p with canonical involution \(d \mapsto {\overline{d}}\) and consider the algebraic group \(G/{\mathbb {Q}}\) whose R points are given by
where \({\overline{g}}\) is entry-wise application of \(d \mapsto {\overline{d}}\) and I is the identity matrix. One can show that \(G({\mathbb {R}})/Z(G({\mathbb {R}})) \cong {\text {USp}}(4)/ \{ \pm I \}\) where \({\text {USp}}(4)\) is the compact \({\mathbb {R}}\)-form of \({\text {Sp}}_4\) and that for primes \(q \not =p\) there are isomorphisms \(G({\mathbb {Q}}_q) \cong {\text {GSp}}_4({\mathbb {Q}}_q)\). Both of these results are worked out in detail in Section 3.5 of [11]. The statement of Conjecture 1 concerns algebraic modular forms of weight k, j and level \(K_2(p)\) and we will discuss these now.
4.2 Weights
For \(\ell \not =p\) choose an isomorphism \(G_{{\mathbb {Q}}_{\ell }} \simeq {\text {GSp}}_{4, {\mathbb {Q}}_{\ell }}\). For every irreducible representation V of \({\text {GSp}}_4\) we get an irreducible representation V of G defined over \({\mathbb {Q}}_{\ell }\), as before these are parametrised parametrized by integers \((a \ge b \ge 0, c)\), just like the local systems on Siegel threefolds. Siegel modular forms of weight k, j correspond to the local system of weight \(k+j-3, j-3, k+2j-6\) and we define
where V denotes the irreducible representation of highest weight \((k+j-3,j-3, k+2j-6)\). We will later see that cohomology of \({\mathbb {V}}_{a,b}\) with support in the supersingular locus of the Siegel modular threefold can be identified with a space of algebraic modular forms for G of weight \(a-b,b+3\).
4.3 Levels
Our level subgroups \(U \subset G({\mathbb {A}}_f)\) will be of the form \(U^p U_p\). The level \(U^p\) will come from \({\text {GSp}}_4\) under the isomorphism \(G({\mathbb {A}}_f^{p}) \cong {\text {GSp}}_4({\mathbb {A}}_f^{p})\), the level \(U_p\) will be a maximal compact subgroup of \(G({\mathbb {Q}}_p)\) which we will describe now. Let B be the non-split quaternion algebra over \({\mathbb {Q}}_p\) with standard involution \(b \mapsto {\overline{b}}\) and uniformiser \(\varpi _B\), then \(G({\mathbb {Q}}_p)\) can also be described as (because all Hermitian forms on \(B^{\oplus 2}\) are equivalent)
We will be interested in the maximal compact subgroup
which is the stabiliser \({\mathcal {O}}_B \oplus \varpi _B {\mathcal {O}}_B\). Now let N be a squarefree integer with \(p \mid N\), then we define
4.4 Theta lifts
In section 3 of [22] Ibukiyama defines a notion of ’\(\theta \)-lift’ and suggests that these are precisely the algebraic modular forms that do not correspond to holomorphic Siegel modular forms. He predicts (Conjecture 5.3 of [21]) that the \(\theta \)-lifting gives injective maps to \({\mathcal {A}}^G_{k,j}[K_2(p)]\) from
We remark that \({\text {dim}} M_{2}[\Gamma _0(p)]=1+{\text {dim}} S_{2}[\Gamma _0(p)]\) so that Ibukiyama’s formula essentially predicts a compact version of the Saito-Kurokawa lifting
for odd j. We will actually prove that there are injective lifts from (3) to cuspidal automorphic representations of G, but it is unclear to us that these are \(\theta \)-lifts in the sense of Ibukiyama (which is why we do not prove Conjecture 5.1 of [21] but something slightly different). It will follow from our arguments that most of these lifts (all if \(k>0,j>3\)) will be weakly endoscopic in the following sense:
Definition 4.4.1
A cuspidal automorphic representation \(\pi \) of G is called weakly endoscopic if there is a cuspidal automorphic representation \(\pi _1 \boxtimes \pi _2\) of \({\text {GL}}_2({\mathbb {A}}) \times {\text {GL}}_2({\mathbb {A}})\) such that the Satake parameters of \(\pi \) and \(\pi _1 \boxtimes \pi _2\) agree for almost all primes via the inclusion of dual groups \({\text {GL}}_2 \times _{{\mathbb {G}}_m}{\text {GL}}_2 \rightarrow {\text {GSp}}_4\).
5 Integral models of Siegel modular threefolds
In this section we will discuss Siegel threefolds with various parahoric level structures at a fixed prime p, define integral models and describe their singularities, following [54, 62]. We will then study the natural maps between these models and compute the fibers in characteristic p. The supersingular locus of the Siegel threefold with good reduction is well understood by classical work of Katsura and Oort [26] (c.f. [27]). Combining this description with our understanding of the fibers of the natural maps allows us to describe the supersingular loci of the other Siegel threefolds (c.f. [61]).
5.1 Moduli functors
Let \(U^p \subset {\text {GSp}}_4({\mathbb {A}}^{p,\infty })\) be a fixed compact open subgroup away from p. Following section 2 of [54], we define moduli problems for three different parahorics levels at p, which are defined over \({\mathbb {Z}}_p\).
-
The moduli functor \(F_H\) of hyperspecial level H which parametrizes prime-to-p isogeny classes of triples \((A, \lambda , \eta )\) where A is an abelian scheme of relative dimension two, \(\lambda \) is a prime-to-p polarisation and \(\eta \) is a \(U^p\) level structure (c.f. [28, Definition 1.3.7.1.]).
-
The moduli functor \(F_K\) of paramodular level K which parametrizes prime-to-p isogeny classes of triples \((A, \lambda , \eta )\) where A is an abelian scheme of relative dimension two, \(\lambda \) is a polarisation such that \(\ker \lambda \subset A[p]\) has rank \(p^2\), and \(\eta \) is a \(U^p\) level structure.
-
The moduli functor \(F_Q\) of Klingen level Q which parametrizes prime-to-p isogeny classes of quadruples \((A, \lambda , \eta , H)\) where A is an abelian scheme of relative dimension two, \(\lambda \) is a prime-to-p polarisation, \(\eta \) is a \(U^p\) level structure and \(H \subset A[p]\) is a finite locally free group scheme of rank p.
There are natural maps
![](http://media.springernature.com/lw148/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ4_HTML.png)
where a is the forgetful map and b is the map that takes A to A/H with the induced polarisation and level structure. To elaborate, a sub-group scheme \(H \subset A[p]\) of rank p is automatically isotropic for the Weil pairing induced by \(\lambda \) and hence the polarisation \(p \cdot \lambda \) descends uniquely to a polarisation on A/H (c.f. Proposition 11.25 of [36]). The following result is standard (c.f. [28, Theorem 1.4.1.11])
Proposition 5.1.1
If U is neat (c.f. [28, Definition 1.4.1.8]), then the functors \(F_{\star }\) are representable by quasi-projective \({\mathbb {Z}}_p\) schemes \(A_H, A_Q, A_K\). The first one is smooth while the latter two have smooth generic fibres. Moreover the maps a and b are proper, finite étale on the generic fibre and induce bijections on geometrically connected components.
5.2 Singularities
In this section we will describe the bad reduction of \(A_{K}\) and \(A_Q\) following [54, 62].
Proposition 5.2.1
(Theorem 3 of [54]) The geometric special fiber of the Siegel modular threefold of Klingen level decomposes as \(A_{Q,{\overline{s}}}=X^{\text {e}} \cup X^{\text {m}}\), where \(X^{\text {e}}, X^{\text {m}}\) are smooth and intersect in a smooth surface S. Both \(X^{\text {e}}\) and \(X^{\text {m}}\) have a unique connected component lying over each connected component of \(A_{H,{\overline{s}}}\). The locus \(X^{\text {e}} {\setminus } X^{\text {m}}\) parametrizes those quadruples where H is étale, the locus \(X^{\text {m}} {\setminus } X^{\text {e}}\) parametrizes those quadruples where H is multiplicative and S parametrizes the quadruples where H is étale locally isomorphic to \(\alpha _p\).
Proposition 5.2.2
(Theorem 1.3 of [62]) The scheme \(A_{K} / {\mathbb {Z}}_p\) is regular, and it is smooth over \({\mathbb {Z}}_p\) away from a finite set of closed points \(\Sigma \) in the special fiber. At the singular points in the geometric special fibre \(A_{K,{\overline{s}}}\) the completed local ring is isomorphic to
The singular points \(\Sigma \) correspond precisely to the polarized abelian surfaces \((A, \lambda )\) where \(\ker \lambda \) is etale locally isomorphic to \(\alpha _p \times \alpha _p\). Moreover for every connected component of \(A_{K,{\overline{\eta }}}\) there is a unique connected component of \(A_{K,{\overline{s}}}\).
5.3 Geometry of Hecke correspondences
The following two lemmas can be proven using the moduli descriptions and Section 4 of [61], see also Section 6.3 of [47].
Lemma 5.3.1
Let \((A, \lambda , \eta )\) be an \(\overline{{\mathbb {F}}}_p\) point of \(A_{H,{\overline{s}}}\), let \(a^{-1}(A, \lambda ,\eta )\) denote the scheme theoretic fiber. The underlying reduced scheme of \(a^{-1}(A, \lambda , \eta )\) has: cardinality \(2(p+1)\) if A is ordinary, cardinality 3 if A has p-rank one, cardinality 1 when A is supersingular but not superspecial. If A is superspecial then \(a^{-1}(A, \lambda ,\eta )\) is isomorphic to \({\mathbb {P}}^1\).
Lemma 5.3.2
Let \((A, \lambda , \eta )\) be an \(\overline{{\mathbb {F}}}_p\) point of \(A_{K,{\overline{s}}}\) and let \(b^{-1}(A, \lambda ,\eta )\) denote the scheme-theoretic fiber. We will describe the underlying reduced scheme of \(b^{-1}(A, \lambda ,\eta )\) for various \((A, \lambda ,\eta )\). It consists of two points when A has p-rank two, one point when A has p-rank one and \(\ker \lambda \) is étale-multiplicative, two points when A has p-rank one and \(\ker \lambda \) is local-local, and it consists of a single point when A is supersingular but \((A, \lambda ,\eta ) \not \in \Sigma \) (recall that \(\Sigma \) is the singular locus of \(A_{K,{\overline{s}}}\)). For \((A, \lambda ,\eta ) \in \Sigma \) the fiber \(b^{-1}(A, \lambda , \eta )\) is isomorphic to \({\mathbb {P}}^1\).
Proof
Let \((A, \lambda , \eta )\) as in the lemma. We want to find all principally polarised abelian varieties \((B, \mu )\) with a degree p isogenies \(\phi :B \rightarrow A\) such that \(\ker \phi \subset B[p]\) has degree p and such that the following diagram commutes
![](http://media.springernature.com/lw215/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ122_HTML.png)
There is a unique isogeny \(\lambda ^t:A^t \rightarrow A\) such that \(\lambda ^t \circ \lambda = [p]\) and the choice of \((B, \mu )\) is equivalent to the choice of degree p subgroup of \(\ker \lambda ^t\). The lemma now follows from a case-by-case analysis; for the sake of brevity we only highlight two cases (c.f. Theorem 4.7 of [61] for the supersingular cases).
-
If A has p-rank one and \(\ker \lambda \) is local-local then \(\ker \lambda ^t \simeq \mu _p \times Z/p{\mathbb {Z}}\) and there are two degree p subgroups.
-
If A has p-rank one and \(\ker \lambda \) is étale-multiplicative then \(\ker \lambda ^t \simeq E[p]\) (the p-torsion of a supersingular elliptic curve), and so there is only one degree p subgroup.
\(\square \)
5.4 Supersingular loci
In this section we will give a description of the supersingular loci of \(A_{Q,{\overline{s}}}, A_{H,{\overline{s}}}\) and \(A_{K,{\overline{s}}}\), following [27, 61]. It is a classical result due to Katsura and Oort [26] that all the irreducible components of the supersingular locus of the (coarse) moduli space of principally polarized abelian surfaces are isomorphic to \({\mathbb {P}}^1\). In Chapter 4 of [27], it is shown that the supersingular locus of \(A_{H,{\overline{s}}}\) is a union of projective lines and that the irreducible components are in bijection with
equivariant from the prime-to-p Hecke operators. Our computation of the fibers of a now tells us that the irreducible components of the supersingular locus \(A_{Q,{\overline{s}}}\) are parametrised by
where M is the set of superspecial points in \(A_{H,{\overline{s}}}(\overline{{\mathbb {F}}}_p)\). We will later write
where E corresponds to N and F corresponds to M. In [61], Yu proves the following result, which will be important for us in the proof of our main theorem.
Proposition 5.4.1
(Theorem 1.2 of [61]) The irreducible components of E are pairwise disjoint, and so are the irreducible components of F. The map \(b:A_{Q,{\overline{s}}}\rightarrow A_{K,{\overline{s}}}\) contracts the irreducible components of E to points, identifying the singular points of \(A_{K,{\overline{s}}}\) with N.
Remark 5.4.2
The bijection \(\Sigma \simeq N\) can also be proven directly, using the fact that all superspecial abelian surfaces are isomorphic; then \(\Sigma \) corresponds to choices of a polarisation \(\lambda \) and a level structure \(\eta \) on a fixed superspecial abelian surface A.
6 The Picard–Lefschetz formula
In this section we discuss the Picard–Lefschetz formula for \(A_K\), following [6] Exposé XV and using results of [29]. Let \(\ell \not =p\), let \({\mathcal {O}}\) denote \({\mathbb {Z}}_{\ell }\) and let \({\mathbb {V}}\) be an automorphic local system of \({\mathcal {O}}\)-modules on \(A_K\), and recall that there is a distinguished triangle on the special fiber \(A_{K,{\overline{s}}}\)
where \(R \Psi {\mathbb {V}}\) is the complex of nearby cycles and \(R \Psi {\mathbb {V}}\) is the complex of vanishing cycles. It follows from Corollary 4.6 of [29] that
6.1 The exact sequence
Proposition 3.1.2. of Exposé XV of [6] then tells us that the sheaves \(R^i \Phi {\mathbb {V}}\) are zero for \(i \not =3\) and supported on the singular locus \(\Sigma \) for \(i=3\). This means in particular that
and so the cohomology of \(R^3 \Phi {\mathbb {V}}\) is concentrated in degree zero where we find
It follows from (6) and (5) that
for \(i \not =3,4\) and also that we get the following diagram of exact sequences
![](http://media.springernature.com/lw640/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ7_HTML.png)
6.2 The action of inertia
Let \({\mathbb {Z}}_{\ell }(1)\) with generator \(\sigma \) be the maximal pro-\(\ell \) quotient of the inertia group \(I_p\) of \(G_{{\mathbb {Q}}_p}\), then the general theory tells us that the action of the inertia group factors through \({\mathbb {Z}}_{\ell }(1)\) and moreover can be computed as follows (c.f. page 33 of Exposé XIII of [6], note that the variation map goes from ordinary cohomology to compactly supported cohomology)
![](http://media.springernature.com/lw262/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ123_HTML.png)
Here \({\text {Var}}_x(\sigma )\) is the local variation map, which is an isomorphism by 3.3.5 of Exposé XV of [6], and \(H_x(A_{K,{\overline{s}}}, -)\) denotes cohomology with support in the closed subscheme \(\{x\}\). The map \(\sigma -1\) is a priori not equivariant for the action of Frobenius, but we can fix this by defining a monodromy operator N as the logarithm of \(\sigma \). Since \((\sigma -1)^2=0\) as an endomorphism of \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})\), we have \(N=\sigma -1\) and so the following diagram is \({\text {Frob}}_p\)-equivariant:
![](http://media.springernature.com/lw286/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ124_HTML.png)
Additionally, the general theory tells us that \(\beta \) is the Poincare dual of \(\alpha \) up to a Tate twist, since \({\mathbb {V}}\) is self dual up to a Tate twist. Furthermore, the natural map (induced by (5))
is an isomorphism by 2.2.5.8 of Exposé XV of [6]. Taking the direct sum over \(x \in \Sigma \) we get an isomorphism
and under this identification \(\beta \) factors as
![](http://media.springernature.com/lw340/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ125_HTML.png)
since cohomology with support in a proper subscheme factors through compactly supported cohomology.
6.3 The weight filtration
Now let \({\mathbb {V}}\) be an automorphic local system of \(L={\mathbb {Q}}_{\ell }\)-vector spaces of pure weight k. We will show that the weight filtration on \(H^3_!(A_{K,{\overline{\eta }}}, {\mathbb {V}})\) has nonzero graded pieces only of weights \(k+2, k+3, k+4\) by explicitly writing down the weight filtration. Here the weight filtration is defined as usual in terms of the action of \({\text {Frob}}_p\) on \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})\).
Lemma 6.3.1
The weight filtration on \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})\) is given by
Proof
The quotient \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})/H^3_{!}(A_{K,{\overline{s}}}, {\mathbb {V}})\) is a subspace of \(H^3(A_{K,{\overline{s}}}, R \Phi {\mathbb {V}})\) by (7). The derived projection formula tells us that (with tensor products derived)
where \(L/{\mathbb {Q}}_{\ell }\) is our coefficient field. This implies that \(R \Phi {\mathbb {V}} = {\mathbb {V}} \otimes _L R \Phi L\) and the latter is given by
by the discussion preceding 2.2.5.7 of Exposé XV of [6] (m=1 in our case). This shows that
and so \(H^3(A_{K,{\overline{s}}}, R \Phi {\mathbb {V}})=\bigoplus _{x \in \Sigma } {\mathbb {V}}_x(-2)\) is pure of weight \(k+4\). We deduce from this that \({\text {Im}}\beta \) is pure of weight \(k+2\) using the isomorphism
coming from the local monodromy maps. We are left to show that \(H^3_{!}(A_{K,{\overline{s}}}, {\mathbb {V}})/{\text {Im}}\beta \) is pure of weight \(k+3\). We know it has weight at most \(k+3\) by Theorem 3.3.1 of [7], so it suffices to show the weight is at least \(k+3\). Let \(U=A_{K,{\overline{s}}}{\setminus } \Sigma \) be the smooth locus of \(A_{K,{\overline{s}}}\), then there is a long exact sequence
![](http://media.springernature.com/lw444/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ126_HTML.png)
This implies that \(H^3_{!}(A_{K,{\overline{s}}}, {\mathbb {V}})/{\text {Im}}\beta \) is contained in \(H^3(U, {\mathbb {V}})\), which has weight at least \(k+3\) by smoothness of U. \(\square \)
6.4 The cokernel of monodromy
Now let \({\mathbb {V}}={\mathbb {V}}_{{\mathcal {O}}}\) be an automorphic local system of \({\mathcal {O}}\)-modules, then we can compute the monodromy operator using the following diagram :
![](http://media.springernature.com/lw360/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ8_HTML.png)
Definition 6.4.1
Let \(\Theta \) be the cokernel of \(\gamma \) (which depends on the weight, the level and \(\ell \)), we call it the component group.
If we invert \(\ell \), then \({\text {Im}} \alpha \) is the top graded piece of the monodromy filtration and \({\text {Im}} \beta \) is the bottom graded piece. The weight monodromy conjecture predicts that \(\gamma \) is an isomorphism after inverting \(\ell \), i.e., that \(\Theta \) is torsion. We call \(\Theta \) the component group because it is a direct generalisation of the component group of the Jacobian of a modular curve, in its cohomological incarnation (c.f. [38]). We will show that \(\Theta =0\) under the assumptions of Theorem 3.6.1. The same proof will show that \(\gamma \) is an isomorphism after inverting \(\ell \), under the assumption that the weight is sufficiently regular (now using Corollary 3.6.2). Showing that \(\gamma \) is an isomorphism after inverting \(\ell \) in singular weight requires automorphic input.
7 The component group vanishes
7.1 Statement of the main result
In this section we will prove that the component group vanishes under the assumptions of Theorem 3.6.1, it will be useful to give these assumptions a label.
Assumption 7.1.1
Assume that \(a> b > 0\), that \(U_{\ell }\) is hyperspecial and that \(\ell >a+b+4\).
Proposition 7.1.2
If Assumption 7.1.1 holds then
The strategy of the proof is to show that the map
is surjective, which then shows that \(\beta \) is injective by duality. Proving this implies the same statement on inner cohomology, because the map from compactly supported cohomology to ordinary cohomology is self dual and because \(\alpha \) factors through inner cohomology. The cokernel of (9) is given by the image of the map
which has a geometric interpretation in terms of the cycle classes of irreducible components of the supersingular locus of \(A_{H,{\overline{s}}}\). To be precise we will identify the image of (10) with the image of the map
where Z is the supersingular locus of \(A_{H,{\overline{s}}}\). Now since \(A_{H,{\overline{s}}}\) is smooth we know that
and we can now apply our vanishing theorems to the latter. The proof proceeds in two steps, which we formulate as two lemmas: We first relate the image of (10) to the cycle class of the supersingular locus on \(A_Q\). More precisely we will relate it to the image of the cycle class map \(H^0(E, {\mathbb {V}})(-2) \rightarrow H^4(X^e, {\mathbb {V}})\), where we recall that \(A_{Q,{\overline{s}}}^{\text {ss}}=E \cup F \subset X^{\text {e}}\). Since E and \(X^e\) are smooth we can instead rewrite this using cohomology with support in E, which will appear in the following lemma.
Lemma 7.1.3
There is an isomorphism making the following diagram commute
![](http://media.springernature.com/lw234/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ127_HTML.png)
and moreover the natural map j is an isomorphism.
Next we relate this to the cycle class map for the supersingular locus Z of \(A_{H,{\overline{s}}}\). Because \(a_1^{-1}(Z)=E \cup F\) (where \(a_1:X^{\text {e}} \rightarrow A_{H,{\overline{s}}}\) is the map induced by a) there is no natural map \(H^4_Z(A_{H,{\overline{s}}}, {\mathbb {V}}) \rightarrow H^4_E(X^{\text {e}}, {\mathbb {V}})\), however we can produce one as follows:
Lemma 7.1.4
The natural map \(H^4_{Z}(A_{H,{\overline{s}}}, {\mathbb {V}}) \rightarrow H^4_{E \cup F}(X^{\text {e}}, {\mathbb {V}})\) factors through \(H^4_{E}(X^{\text {e}}, {\mathbb {V}})\) via an isomorphism. To be precise, there is an isomorphism making the following diagram commute:
![](http://media.springernature.com/lw216/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ128_HTML.png)
Here Z is the supersingular locus of \(A_{H,{\overline{s}}}\) and \(E \cup F\) is the supersingular locus of \(A_{Q,{\overline{s}}}\).
Proof of Proposition 7.1.2
Lemmas 7.1.3 and 7.1.4 give us a commutative diagram
![](http://media.springernature.com/lw234/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ129_HTML.png)
To show that the top map is zero it suffices to show that the bottom map is zero. Now we note that
by smoothness of \(A_H\). Moreover by Assumption 7.1.1 we can apply Theorem 3.6.1 to deduce that \(H^4_c(A_{H,{\overline{\eta }}}, {\mathbb {V}})=0\). We have shown that the map \(\zeta \) in the following exact sequence is zero
![](http://media.springernature.com/lw363/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ130_HTML.png)
which shows that \(\alpha \) is surjective and by Poincaré duality we conclude that \(\beta \) is injective. This shows that the component group is zero, because the local monodromy operators \(N_x\) in (8) are isomorphisms. \(\square \)
Corollary 7.1.5
If Assumption 7.1.1 holds then the map
is injective.
Proof
Theorem 3.6.1 says that
is surjective. Moreover since \(R \Phi {\mathbb {V}}\) only has cohomology in degree 3 we find that
is an isomorphism. Now these natural maps fit into a commutative cube (which we won’t draw) with the maps
The fact that \(\alpha \otimes {\mathbb {F}}\) is surjective implies that \({\overline{\alpha }}\) is surjective. By duality we find that \({\overline{\beta }}\) is injective which shows that \(\beta \otimes {\mathbb {F}}\) is injective by chasing the cube. \(\square \)
Corollary 7.1.6
Let \({\mathbb {V}}={\mathbb {V}}_{a,b}\) be a local system of L-vector spaces and suppose that the weight is sufficiently regular, i.e., that \(a>b>0\). Then the weight-monodromy conjecture holds for
in other words Theorem 1 holds.
Proof
The proof is the same as the proof of Proposition 7.1.2, except that we note that the vanishing of \(H^4_c(A_{H,{\overline{\eta }}}, {\mathbb {V}})\) holds without restrictions on \(\ell \) (this is Corollary 3.6.2). \(\square \)
7.2 Proof of Lemma 7.1.3
Proof of Lemma 7.1.3
We apply the functors \(R \Gamma _c\) and \(R \Gamma _{\Sigma }\) to the triangle \({\mathbb {V}} \rightarrow R \Psi {\mathbb {V}} \rightarrow R \Phi {\mathbb {V}}\) to get a commutative diagram with exact rows:
![](http://media.springernature.com/lw549/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ131_HTML.png)
The map h is zero by 2.2.5.8 of Exposé of [6] showing that g is injective. The group \(H^4_{\Sigma }(A_{K,{\overline{s}}}, R \psi {\mathbb {V}})\) vanishes by the discussion preceding op. cit. 2.2.5.1, showing that g is an isomorphism. Since the sheaf \(R \Phi {\mathbb {V}}\) is supported on \(\Sigma \) we conclude that f is an isomorphism using the long exact sequence
Recall that \(b_1:X^e \rightarrow A_{K,{\overline{s}}}\) satisfies \(b_1^{-1}(\Sigma )=E\) by Proposition 5.4.1. This means that we get a morphism of cohomology with supports \(H^4_{\Sigma }(A_{K,{\overline{s}}}, {\mathbb {V}}) \rightarrow H^4_E(X^{\text {e}}, {\mathbb {V}})\) which fits into the following diagram:
![](http://media.springernature.com/lw517/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ132_HTML.png)
The map \(\pi =b_1\) induces a map \({\mathbb {V}} \rightarrow R \pi _{*} \pi ^{*} {\mathbb {V}}\) which we extend to a distinguished triangle
Recall that \(b_1:X^e \rightarrow A_{K,{\overline{s}}}\) has fibers isomorphic to singletons over all points, except that over the singular points of \(A_{K,{\overline{s}}}\) the fibers are isomorphic to \({\mathbb {P}}^1\) (Lemma 5.3.2). Using the proper base change theorem and the fact that the pullback of \({\mathbb {V}}\) to \(E_x \cong {\mathbb {P}}^1\) is constant and isomorphic to \({\mathbb {V}}_x\) we find that
where \(i_x: \{x \} \rightarrow X\) is the inclusion of the point x. This means in particular that \(H^{\bullet }_{\Sigma }(A_{K,{\overline{s}}}, Q)=H^{\bullet }(A_{K,{\overline{s}}}, Q)\) since the restriction of Q to U is zero. If we now apply \(R \Gamma _{\Sigma }\) to (11) we get a long exact sequence (using the fact that \(R \Gamma _{\Sigma } R \pi _{*} \cong R \Gamma _{\pi ^{-1}(\Sigma )}\))
Because the cohomology of Q is concentrated in degree 2 we see that the map \(H^4_{\Sigma }(A_{K,{\overline{s}}}, {\mathbb {V}}) \rightarrow H^4_{E}(X^{\text {e}}, {\mathbb {V}})\) is an isomorphism. By a similar long exact sequence argument (applying \(R \Gamma \) to (11)) it follows that j is an isomorphism. \(\square \)
7.3 Proof of Lemma 7.1.4
The lemma will follow from the fact that \(a_1:E \rightarrow Z\) induces a bijection on irreducible components and the fact that the sheaf \({\mathbb {V}}\) is constant on E and Z (because the components are projective lines). However, since there is no natural map \(H^4_{Z}(A_{H,{\overline{s}}}, {\mathbb {V}}) \rightarrow H^4_E(X^{\text {e}}, {\mathbb {V}})\) we have to pass to the smooth locus of Z which makes the proof look more involved than it is.
Proof of Lemma 7.1.4
Let \(V=A_{H,{\overline{s}}}{\setminus } Z\) be the complement of Z, let U be the complement of the singular locus of Z and let \(V'=X^{\text {e}} {\setminus } \left( E \cup F \right) \). Then we have a commutative diagram of maps of pairs (recall that a(F) is precisely the set of singular points of Z)
![](http://media.springernature.com/lw305/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ133_HTML.png)
There are induced (contravariant) maps in cohomology with support
![](http://media.springernature.com/lw353/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ134_HTML.png)
and we are going to show that \(\phi , \psi \) and \(\tau \) are all isomorphisms, providing the required factorisation. The map \(\phi \) fits into a long exact sequence for \(A_{H,{\overline{s}}}\supset U \supset V\) (c.f. Chapter 23 of [34])
Since \(Z^{\text {sing}}\) is smooth of codimension 3 in \(A_{H,{\overline{s}}}\), cohomological purity (Theorem 16.1 of [34]) tells us that
which is zero for \(i=4,5\), so \(\phi \) is an isomorphism. Now we note that both \(Z^{\text {sm}}\) and \(E {\setminus } F\) are smooth of codimension 2 in U and \(X^{\text {e}} {\setminus } F\) respectively so we can use cohomological purity twice to produce a commutative diagram
![](http://media.springernature.com/lw264/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ135_HTML.png)
The map \(\sigma \) is an isomorphism because the map \(E {\setminus } F \rightarrow Z^{\text {sm}}\) induces a bijection on irreducible components (Sect. 5.4) and the sheaf \({\mathbb {V}}\) is constant on each of those components (because the components are isomorphic to \({\mathbb {P}}^1\)). Similarly, we get a commutative diagram
![](http://media.springernature.com/lw269/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ136_HTML.png)
and
\(\xi \) is an isomorphism because induces a bijection on irreducible components and \({\mathbb {V}}\) is constant on E because \(E \simeq {\mathbb {P}}^1\). \(\square \)
8 Proofs of the main results
8.1 Mazur’s principle
Let us recall the theorem that we are trying to prove:
Theorem 3
Let \(\pi \) be a cuspidal automorphic representation of \({\text {GSp}}_4\) that is cohomological of weight \(a> b > 0\) such that \(\pi _p\) is ramified and K(p)-spherical. Let \(U=U^p \cdot K(p) \subset {\text {GSp}}_4(\mathbb {A}_f)\) be a neat compact open subgroup such that \(\pi ^U \not =0\). Let \(\ell \not =p\) be a prime such that \(\overline{\rho _{\pi , \ell }}\) is irreducible, such that the group \(U_{\ell }\) is hyperspecial at \(\ell \) and such that \(\ell >a+b+4\). Then if \(\overline{\rho _{\pi , \ell }}\) is unramified at p and has four distinct \({\text {Frob}}_p\) eigenvalues, there exists a cuspidal automorphic representation \(\pi '\), of the same weight and level \(U^p\) away from p, such that \(\overline{\rho _{\pi , \ell }}=\overline{\rho _{\pi ',\ell }}\) and such that \(\pi '_p\) is unramified.
Proof
Assume that there are no congruences to unramified cuspidal automorphic representations \(\pi '\), in other words, that the conclusion of the theorem does not hold. We will prove that \(\overline{\rho _{\pi , \ell }}\) has at most three Frobenius eigenvalues, showing that the assumptions of the theorem are not satisfied. Let \({\mathbb {T}}\) be the Hecke algebra containing the unramified Hecke operators and the Hecke operators at p and let \({\mathfrak {m}}\) be the maximal ideal of the Hecke algebra corresponding to \(\overline{\rho _{\pi , \ell }}\), then we have a decomposition
where \(\rho _{\pi ',\ell }\) is congruent modulo \(\ell \) to \(\rho _{\pi , \ell }\) and might appear multiple times in the direct sum. Note that Yoshida lifts and Saito-Kurokawa lifts don’t contribute to the direct sum because the associated Galois representations are reducible and so cannot be congruent to \(\rho _{\pi , \ell }\). This means that (12) is really a direct sum of irreducible four-dimensional Galois representations. By assumption all the \(\pi '_p\) over which the sum is indexed are ramified at p and so by weight-monodromy (Corollary 7.1.6) and local-global compatibility we know that \(\pi '_p\) is of type IIa. This means that the monodromy operator \(N:\rho _{\pi ',\ell }(1) \rightarrow \rho _{\pi ',\ell }\) has a one-dimensional image, which shows that
is a one-dimensional subspace of \(H^3(A_{K,{\overline{s}}}, R \Phi {\mathbb {V}})_{{\mathfrak {m}}} \otimes _{{\mathcal {O}}} L\). Since \(\alpha \) is moreover surjective we find that the dimension of \(H^3(A_{K,{\overline{s}}}, R \Phi {\mathbb {V}})_{{\mathfrak {m}}} \otimes _{{\mathcal {O}}} L\) is equal to n, the number of \(\rho _{\pi ', \ell }\)’s appearing in the direct sum (12).
By Lemma 2.2.3 we know that Frobenius acts on \(\alpha (\rho _{\pi ',\ell })\) by the scalar \(p \lambda _{\pi '}\), where \(\lambda _{\pi '}\) is the eigenvalue of the u-operator on \((\pi '_p)^{K(p)}\), introduced in Sect. 2.2.2. Localising at \({\mathfrak {m}}\) means fixing a mod \(\ell \) eigenvalue of u and so Frobenius acts with a single eigenvalue on
We also know that \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})_{{\mathfrak {m}}} \otimes _{{\mathcal {O}}} {\mathbb {F}}\) is isomorphic (up to semi-simplification) to
for the same n as before (by vanishing of torsion). Since \(\overline{\rho _{\pi , \ell }}\) has four distinct Frobenius eigenvalues, we know that the space \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})_{{\mathfrak {m}}} \otimes _{{\mathcal {O}}} {\mathbb {F}}\) decomposes into four generalised Frobenius eigenspaces, each of dimension n. Now \(\alpha \otimes {\mathbb {F}}\) is surjective because \(\alpha \) is surjective hence the kernel of \(\alpha \otimes {\mathbb {F}}\) only contains three Frobenius eigenvalues. Because \(\overline{\rho _{\pi , \ell }}\) is irreducible we can find a copy
which is contained in the kernel of \(N \otimes {\mathbb {F}}\) since \(\overline{\rho _{\pi , \ell }}\) is unramified. As usual we compute the monodromy operator using the following diagram:
![](http://media.springernature.com/lw380/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ137_HTML.png)
Corollary 7.1.5 tells us that \(\beta \otimes {\mathbb {F}}\) is injective which means that \(\ker (N \otimes {\mathbb {F}}) = \ker (\alpha \otimes {\mathbb {F}})\). Therefore our copy of \(\overline{\rho _{\pi , \ell }}\) must be contained in the kernel of \(\alpha \otimes {\mathbb {F}}\), but then \(\overline{\rho _{\pi , \ell }}\) only has three distinct Frobenius eigenvalues, which gives a contradiction. \(\square \)
8.2 A geometric Jacquet–Langlands correspondence
Let us start by stating a precise version of Theorem 2:
Theorem 8.2.1
-
(1)
Let \(\pi \) be a cohomological cuspidal automorphic representation of \({\text {GSp}}_4\) that is not an irrelevant Yoshida lift and such that \(\pi _p\) is ramified and K(p)-spherical. Then there is a cuspidal automorphic representation \(\sigma \) of G such that \(\pi _v \cong \sigma _v\) for finite places \(v \not =p\), such that \(\sigma _p\) is \(K_2(p)\)-spherical and with \(\sigma _{\infty }\) determined by \(\pi _{\infty }\). Moreover, \(\sigma \) occurs with multiplicity one in the cuspidal spectrum of G. Conversely, a given cuspidal automorphic representation \(\sigma \) of G comes from such a \(\pi \) if \(\sigma _{\infty }\) has weight \(k>0,j>3\).
-
(2)
Let \(k \ge 0, j \ge 3\) and let N be a squarefree integer such that \(p \mid N\), then there is an injective map
(13)equivariant for the prime-to-p Hecke operators, which proves Conjecture 1. For \(k>0, j>3\) the image consists precisely of algebraic modular forms that are not weakly-endoscopic.
-
(3)
Let \(k \ge 0, j \ge 3\) and \(N=p\) be prime, then there is an injective lift
$$\begin{aligned} S_{2j-2+k}[\Gamma _0(1)] \times S_{k+2}[\Gamma _0(p)]^{\text {new}} \rightarrow {\mathcal {A}}^G_{k,j}[K_2(p)] \end{aligned}$$and for \(k=0\) an injective lift
$$\begin{aligned} S_{2j-2}[\Gamma _0(1)] \rightarrow {\mathcal {A}}^G_{0,j}[K_2(p))]. \end{aligned}$$The image of (13) is a complementary subspace to the space generated by the images of these lifts (and the constant algebraic modular forms if \(k=0,j=3\)). Moreover for \(k \ge 0, j \ge 3\) we have an equality
$$\begin{aligned} \dim {\mathcal {A}}^G_{k,j}[K_2(p)]&=\dim S_{2j-2+k}[\Gamma _0(1)] \cdot \dim S_{k+2}[\Gamma _0(p)]^{\text {new}} + \dim S_{k,j}[\Gamma _0(p)] +\\&- 2 \dim S_{k,j}[\Gamma _0(1)] + \delta _{k,0}\dim S_{2j-2}[\Gamma _0(1)] +\delta _{k,0} \cdot \delta _{j,0}. \end{aligned}$$
Remark 8.2.2
The dimension formula in (iii) is proven by Ibukiyama for \(j \not =3,4\) in [21] and for \(k=0,j=3\) in [19].
The main idea of the proof is the incarnation of the singular locus \(\Sigma \) of \(A_{K,{\overline{s}}}\) as a Shimura set for G. We then get a map \(\alpha \) from \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})\), which we can explicitly describe in terms of automorphic forms and Galois representations, to the space of algebraic modular forms. Theorem 1 combined with local-global compatibility allows us to control the image of \(\alpha \) in a Galois-theoretic way. For parts (2) and (3) the main ingredients are the multiplicity one result of [1, 13] and the main Theorem of [37], which computes the cohomology of \(A_{H,{\overline{\eta }}}\) if \(U^p={\text {GSp}}(\hat{{\mathbb {Z}}}^p)\). We start by relating spaces of algebraic modular forms to cohomology groups on \(A_{K,{\overline{s}}}\), using our description of the singular locus:
Lemma 8.2.3
There is an isomorphism
equivariant for the prime-to-p Hecke operators.
Proof
This is standard, see the proof of Proposition 6.4 of [53]. \(\square \)
Proof of Theorem 8.2.1 (1)
We can identify the following cohomology groups
and the key player of the proof will be the Hecke equivariant map
We can write the domain of \(\alpha \) in terms of Hecke modules and Galois representations as follows (using the results of Sect. 3.2 and the multiplicity one result of [1, 13])
We are going to hide some things in the notation for bookkeeping purposes: If \(\pi \) is a Yoshida lift or CAP then by \( \rho _{\pi ,\ell }\) we mean the two-dimensional Galois representation that occurs in the cohomology. If \(\pi \) is of general type with \(\pi _{\infty }\) holomorphic then \( \rho _{\pi ,\ell }\) is the four-dimensional Galois representation associated with \(\pi \) and if \(\pi _{\infty }\) is generic then \( \rho _{\pi ,\ell }=0\). The reason for doing this is that there is only one four-dimensional Galois representation \(\rho _{\pi , \ell }\) for the two automorphic representations \(\pi _{\text {fin}} \otimes \pi ^W\) and \(\pi _{\text {fin}} \otimes \pi ^H\) as they both contribute a two-dimensional piece to cohomology.
Because \(\alpha \) has an interpretation in terms of the action of inertia, we know that \(\rho _{\pi ,\ell }/(\ker \alpha \cap \rho _{\pi ,\ell })\) is one dimensional for all ramified \( \rho _{\pi ,\ell }\) occurring in \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})\). To be precise this follows from the conjunction of weight-monodromy and local-global compatibility (for weight-monodromy we need to use the results of Arthur to transfer generic cuspidal automorphic representations to \({\text {GL}}_4\), where weight-monodromy holds by [4], c.f. Theorem 2.1.1.(2) of [3]). Therefore we will write
where \(\pi \) runs over certain cuspidal automorphic representations of \({\text {GSp}}_4\). Since \(\pi _p^{K(p)}\) is one-dimensional we can rewrite this as
Similarly we can write
where \(\sigma \) runs over certain cuspidal automorphic representations of G and \(U'= U^p K_2(p)\). Since \(\sigma _p^{K_2(p)}\) is one-dimensional we can also write this as
Let \({\mathbb {T}}\) be the Hecke-algebra away from p for both G and \({\text {GSp}}_4\), which makes sense as soon as we fix an isomorphism \({\text {GSp}}_4({\mathbb {A}}_f^{p}) \cong G({\mathbb {A}}_f^{p})\). Then the spaces \((\pi _{\text {f}}^{p})^{U^p}\) and \((\sigma _{f}^{p})^{U^p}\) are simple \({\mathbb {T}}\)-modules and moreover the map \(\alpha \) is equivariant for the action of \({\mathbb {T}}\).
Now fix a cohomological automorphic representation \(\pi \) of \({\text {GSp}}_4\) that is not an irrelevant Yoshida lift such that \(\pi _{\infty }\) is in the discrete series and such that \(\pi _p\) is ramified and K(p)-spherical. Then we can choose \(U^p\) sufficiently small such that \( \rho _{\pi ,\ell }\) occurs in \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}}\)). Because \(\pi \) is not an irrelevant Yoshida lift we know that the summand
is nonzero (because the Galois representation occurring in cohomology is ramified). There we see that
and so there is a cuspidal automorphic representation \(\sigma \) of G such that \((\sigma ^p)^{U^p} \cong (\pi ^p)^{U^p}\) which implies that \(\sigma _v \cong \pi _v\) for all finite places \(v \not =p\). Moreover \(\sigma _{\infty }\) is determined by \(\pi _{\infty }\) because it is determined by the weights \(a-b,b+3\). When \(a>b>0\) or equivalently \(k>0,j>3\) then \(\alpha \) is surjective by Corollary 7.1.6 so every cuspidal automorphic representation of G arises in this way. To prove multiplicity one for \(\sigma \) ‘in the image’ of this transfer we first prove a claim:
Claim 8.2.4
The summand \(P_{\sigma }:=m(\sigma ) \sigma _f^{U'} \subset {\mathcal {A}}^G_{a-b,b+3}\) is in the image of \(\alpha \) (we have only shown so far that \({\text {Im}}\alpha \cap P_{\sigma } \not = \emptyset )\).
Proof of Claim
Let \(\pi \) be a cuspidal automorphic representation of \({\text {GSp}}_4\) that ‘maps to \(\sigma \)’. If \(P_{\sigma }\) maps nontrivially to \({\text {coker}}\alpha \) then the Hecke eigenvalues of \(\sigma \) occur in \(H^4_c(A_{H,{\overline{\eta }}}, {\mathbb {V}})\) and so the Hecke eigenvalues associated with \(\pi \) occur there. Therefore \(\pi \) has the same prime-to-p Hecke eigenvalues as an automorphic form \(\pi '\) whose Hecke eigenvalues occur in \(H^4_c(A_{H,{\overline{s}}}, {\mathbb {V}})\). By the Chebotarev density theorem this means that the semi-simplification of \(\rho _{\pi , \ell }\) is equal to the semi-simplification of \(\rho _{\pi ', \ell }\). But \(\rho _{\pi , \ell }\) is already semi-simple and since \(\rho _{\pi ', \ell }\) is unramified at p (because \(\pi '_{p}\) is unramified), we conclude that \(\rho _{\pi , \ell }\) is unramified at p, a contradiction. \(\square \)
From the claim we get cuspidal automorphic representations \(\pi _{1}, \ldots , \pi _{m(\sigma )}\) such that \(\alpha (\rho _{\pi _i, \ell })\) maps to the summand \(P_{\sigma }\). Therefore we have \(\pi _{i,v} \cong \pi _{j,v}\) for all finite places \(v \not =p\) and so all the \(\pi _i\) are in the same L-packet. When the L-packet is not CAP, then the \(\pi _{i,p}\) are generic (by weight-monodromy) and this means that \(\pi _{i,p} \cong \pi _{j,p}\) because local L-packets have unique generic constituents. When the L-packet is CAP, then the \(\pi _i\) are Saito-Kurokawa lifts and the fact that \(\pi _{i,p}\) is K(p)-spherical also means that \(\pi _{i,p} \cong \pi _{j,p}\) (c.f. Table 2 of [45]). We conclude that all the \(\pi _i\) are isomorphic and therefore by multiplicity one for \({\text {GSp}}_4\) we deduce that \(m(\sigma )=1\). \(\square \)
Remark 8.2.5
In the proof of parts (2),(3) of Theorem 8.2.1 we will work with the open compact subgroup K(N), which is not neat. This means that the moduli functors we defined are not representable and so we cannot, strictly speaking, take the étale cohomology of the ‘Shimura variety of level K(N)’. To fix this we choose a neat compact open subgroup \(U \subset K(N)\) that is normal in K(N) and then define (with similar definitions for compactly supported and inner cohomology)
where H is the finite group \(H=K(N)/U\). Note that because H is finite and \({\mathbb {V}}\) is a local system of L-vector spaces, taking H invariants is exact and so all the exact sequences from the previous sections carry over to this setting. Furthermore, this definition does not depend on the choice of U. Moreover the corresponding space of algebraic modular forms \({\mathcal {A}}^G[U']\) satisfies
for all k, j, which means that there is an induced map
Proof of Theorem 8.2.1(2)
Write
with the notation as in the proof of part (1) of Theorem 8.2.1 (so \(\rho _{\pi , \ell }\) is either two or four-dimensional). Let S be the subspace of \(H^3_{!}(A_{K,{\overline{\eta }}}, {\mathbb {V}})\) spanned by the summands \(\pi _{\text {fin}}^{U} \otimes \rho _{\pi ,\ell }\) for \(\pi \) such that \(\pi _{\infty }\) is holomorphic and such that \(\pi _p\) is ramified. Then \(\alpha (S)\) has dimension equal to the dimension of \(S_{k,j}[K(N)]^{p\text {-new}}\) which gives us an injective map (after choosing a basis of normalised eigenforms)
Since there are no holomorphic Yoshida lifts, it is clear that the algebraic modular forms in the image are not weakly endoscopic. If \(a>b>0\) then \(\alpha \) is surjective by Corollary 7.1.6 and the image of (14) is complementary to the subspace of weakly endoscopic algebraic modular forms. Indeed, the only cohomological cuspidal automorphic representations of this level that don’t come from \(S_{k,j}[K(N)]\) are non-holomorphic Yoshida lifts. \(\square \)
Proof of Theorem 8.2.1(3)
Now suppose that \(N=p\), then Theorem 2.1 of [37] tells us that \(H^4_c(A_{H, {\overline{{\mathbb {Q}}}}}, {\mathbb {V}}_{a,b})=0\) unless \(a=b\) is even. This means that \(\alpha \) will be surjective unless \(a=b\) is even and so we can prove dimension formulas if we understand the dimension of the image of \(\alpha \).
Claim 8.2.6
The dimension of the image of \(\alpha \) is equal to:
Proof of Claim 8.2.6
The cohomological cuspidal automorphic representations \(\pi \) with nonzero invariants under K(p) are either non-holomorphic Yoshida lifts or correspond to holomorphic Siegel cusp forms. We only care about holomorphic Siegel cusp forms that are new at p and similarly about Yoshida lifts with \(\pi _p\) ramified that are not irrelevant. Since \(\pi ^{K(p)}\) is one-dimensional for all these \(\pi \) it suffices to simply count them. The results of [41] tell us that every eigenform \(f \in S_{k,j}[K(1)]\) produces two oldforms in \(S_{k,j}[K(p)]\), which are distinct unless \(k=0\), j is even and f is in the image of the (injective) Saito-Kurokawa lift \(S_{2j-2}[\Gamma _0(1)] \rightarrow S_{0,j}[K(1)]\). This means that
Section 3.5.5 tells us that the number of relevant Yoshida lifts is equal to \(\dim S_{2j-2+k}[\Gamma _0(1)] \times \dim S_{k+2}[\Gamma _0(p)]^{\text {new}}\) and the formula follows. \(\square \)
If \(a>b\) or if b is odd (equivalently \(k>0\) or \(j \ge 3\) even) then \(\alpha \) is surjective which proves that
where \((\star )\) is given by (15). When \(a=b\) is even and \(b>0\) (equivalently \(k=0\) and \(j \ge 3\) odd) then the dimension formula to be proven follows from Theorem 5.2 of [21]. The case \(a=b=0\) (equivalently \(k=0, j=3\)) is proven by Ibukiyama in [19] and can also be deduced from the fact that \(H^4_c(A_{H,{\overline{\eta }}}, {\mathbb {Q}}_{\ell }) = {\mathbb {Q}}_{\ell }(-2)\).
Now let us return to the case that \(a=b\) is even. Theorem 2.1 of [37] tells us that
where \(s_{a+b+4}=\dim S_{a+b+4}[\Gamma _0(1)]\). Moreover, the Hecke eigenvalues occurring in \(H^4_{c}(A_{H, {\overline{{\mathbb {Q}}}}}, {\mathbb {V}}_{a,b})=H^4_{c}(A_{H,{\overline{\eta }}}, {\mathbb {V}}_{a,b})\) are weakly equivalent to those of automorphic representations parabolically induced from the Siegel parabolic (they are conjecturally non-cuspidal). Theorem 5.2 of [21] combined with Claim 8.2.6 tells us the dimension of the cokernel of \(\alpha \) is also equal to \(s_{a+b+4}\), and so
is surjective (recall that \({\text {coker}}\alpha = {\text {Im}}\gamma \)). In any case this means that there is an injective lift \(S_{a+b+4}[\Gamma _0(1)] \rightarrow {\mathcal {A}}^G_{0,b+3}[K_2(p)]\) as claimed in the theorem. We conclude that the image of
is a complementary subspace to the subspace generated by the lift from
the lift from \(S_{2j-2}[\Gamma _0(1)]\) and the constant algebraic modular forms (if \(k=0,j=3\)). \(\square \)
References
Arthur, J.: Automorphic Representations of \({{\rm GSp(4)}}\): Contributions to Automorphic Forms, Geometry, and Number Theory, pp. 65–81. Johns Hopkins University Press, Baltimore (2004)
Asgari, M., Schmidt, R.: Siegel modular forms and representations. Manuscr. Math. 104(2), 173–200 (2001). https://doi.org/10.1007/PL00005869
Barnet-Lamb, T., Gee, T., Geraghty, D., Taylor, R.: Potential automorphy and change of weight. Ann. Math. (2) 179(2), 501–609 (2014). https://doi.org/10.4007/annals.2014.179.2.3
Caraiani, A.: Local-global compatibility and the action of monodromy on nearby cycles. Duke Math. J. 161(12), 2311–2413 (2012). https://doi.org/10.1215/00127094-1723706
Conrad, B.: Deligne’s notes on Nagata compactifications. J. Ramanujan Math. Soc. 22(3), 205–257 (2007)
Deligne, P., Katz, N.: Groupes de monodromie en géométrie algébrique. II, Lecture Notes in Mathematics, vol. 340. Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 II). Springer, Berlin (1973)
Deligne, P.: La conjecture de Weil. II. Inst. Hautes Études Sci. Publ. Math. 52, 137– 252 (1980). http://www.numdam.org/item?id=PMIHES_1980__52__137_0
Dembélé, L.: On the computation of algebraic modular forms on compact inner forms of \({{{\rm GSp}}_4}\). Math. Comput. 83(288), 1931–1950 (2014). https://doi.org/10.1090/S0025-5718-2014-02374-0
Diamond, F., Taylor, R.: Nonoptimal levels of mod \(l\) modular representations. Invent. Math. 115(3), 435–462 (1994). https://doi.org/10.1007/BF01231768
Fretwell, D.: Level p paramodular congruences of Harder type. http://etheses.whiterose.ac.uk/9683/ (2015)
Fretwell, D.: Genus 2 paramodular Eisenstein congruences. Ramanujan J. 46(2), 447–473 (2018). https://doi.org/10.1007/s11139-017-9884-7
Gan, W.T., Shuichiro, T.: The local Langlands conjecture for \({{\rm GSp}(4)}\). Ann. Math. (2) 173(3), 1841–1882 (2011). https://doi.org/10.4007/annals.2011.173.3.12
Gee, T., Geraghty, D.: Companion forms for unitary and symplectic groups. Duke Math. J. 161(2), 247–303 (2012). https://doi.org/10.1215/00127094-1507376
Gee, T., Taïbi, O.: Arthur’s multiplicity formula for GSp\(_4\) and restriction to Sp\(_4\). arXiv:1807.03988 (2018)
Ghitza, A.: Hecke eigenvalues of Siegel modular forms (mod \(p\)) and of algebraic modular forms. J. Number Theory 106(2), 345–384 (2004). https://doi.org/10.1016/j.jnt.2003.12.009
Gross, B.H.: Algebraic modular forms. Isr. J. Math. 113, 61–93 (1999). https://doi.org/10.1007/BF02780173
Guerberoff, L.: Modularity lifting theorems for Galois representations of unitary type. Compos. Math. 147(4), 1022–1058 (2011). https://doi.org/10.1112/S0010437X10005154
Hansen, D.: A trick and the decomposition theorem. https://totallydisconnected.wordpress.com/2020/08/26/a-trick-and-the-decomposition-theorem/ (2020). Accessed 20 Apr 2021
Ibukiyama, T.: On symplectic Euler factors of genus two. Proc. Jpn. Acad. Ser. A Math. Sci. 57(5), 271– 275 (1981). http://projecteuclid.org/euclid.pja/1195516422
Ibukiyama, T.: On relations of dimensions of automorphic forms of Sp(2,R) and its compact twist Sp(2). I, automorphic forms and number theory (Sendai, 1983). Adv. Stud. Pure Math. 7, 7–30 (1985)
Ibukiyama, T.: Paramodular forms and compact twist. Automorphic forms on GSp(4). In: Furusawa, M. (Ed.) Proceedings of the 9th Autumn Workshop on Number Theory, November 6 to 10, 2006, Hakuba, Japan, pp. 37–48. Osaka City University (2006)
Ibukiyama, T.: Dimension formulas of siegel modular forms of weight 3 and supersingular abelian varieties. In: Proceedings of the 4th Spring Conference on modular forms and related topics, “Siegel Modular Forms and Abelian Varieties”, Ryushido (2007)
Ihara, Y.: On certain arithmetical Dirichlet series. J. Math. Soc. Jpn. 16, 214–225 (1964). https://doi.org/10.2969/jmsj/01630214
Jacquet, H., Langlands, R.P.: Automorphic forms on GL(2). Lecture Notes in Mathematics, vol. 114. Springer, Berlin (1970)
Jarvis, F.: Mazur’s principle for totally real fields of odd degree. Compos. Math. 116(1), 39–79 (1999). https://doi.org/10.1023/A:1000600311268
Katsura, T., Oort, F.: Families of supersingular abelian surfaces. Compos. Math. 62(2), 107– 167 (1987). http://www.numdam.org/item?id=CM_1987__62_2_107_0
Kudla, S.S., Rapoport, M.: Cycles on Siegel threefolds and derivatives of Eisenstein series. Ann. Sci. École Norm. Sup. (4) 33(5), 695–756 (2000). https://doi.org/10.1016/S0012-9593(00)01051-X
Lan, K.-W.: Arithmetic Compactifications of PEL-type Shimura Varieties, London Mathematical Society Monographs Series, vol. 36. Princeton University Press, Princeton (2013). 978-0-691-15654-5. https://doi.org/10.1515/9781400846016
Lan, K.-W., Stroh, B.: Nearby cycles of automorphic étale sheaves, II. Cohomology of Arithmetic Groups. Springer Proceedings in Mathematics & Statistics, vol. 245, pp. 83–106. Springer, Cham (2018)
Lan, K.-W., Suh, J.: Vanishing theorems for torsion automorphic sheaves on general PEL-type Shimura varieties. Adv. Math. 242, 228–286 (2013). https://doi.org/10.1016/j.aim.2013.04.004
Lansky, J., Pollack, D.: Hecke algebras and automorphic forms. Compos. Math. 130(1), 21–48 (2002). https://doi.org/10.1023/A:1013715231943
Laumon, G.: Fonctions zêtas des variétés de Siegel de dimension trois, Astérisque, 302, 1– 66, Formes automorphes. II. Le cas du groupe GSp(4) (2005)
Looijenga, E.: \(L^2\)-cohomology of locally symmetric varieties. Compos. Math. 67(1), 3– 20 (1988) http://www.numdam.org/item?id=CM_1988__67_1_3_0
Milne, J.S.: Lectures on etale cohomology (v2.21). www.jmilne.org/math/ (2013). Accessed 20 Apr 2021
Mok, C.P.: Galois representations attached to automorphic forms on \({{\rm GL}}_2\) over CM fields. Compos. Math. 150(4), 523–567 (2014). https://doi.org/10.1112/S0010437X13007665
Moonen, B., van der Geer, G., Edixhoven, B.: Abelian varieties. https://www.math.ru.nl/~bmoonen/BookAV/DualAV2.pdf (2014)
Petersen, D.: Cohomology of local systems on the moduli of principally polarized abelian surfaces. Pac. J. Math. 275(1), 39–61 (2015). https://doi.org/10.2140/pjm.2015.275.39
Rajaei, A.: On the levels of mod \(l\) Hilbert modular forms. J. Reine Angew. Math. 537, 33–65 (2001). https://doi.org/10.1515/crll.2001.058
Ribet, K.A.: On modular representations of \({{\rm Gal}}({\overline{ {Q}}}, { {Q}})\) arising from modular forms. Invent. Math. 100(2), 431–476 (1990). https://doi.org/10.1007/BF01231195
Roberts, B., Schmidt, R.: On Modular Forms for the Paramodular Groups. Automorphic Forms and Zeta Functions, pp. 334–364. World Scientific Publication, Hackensack (2006). https://doi.org/10.1142/9789812774415_0015
Roberts, B., Schmidt, R.: Local newforms for GSp(4), Lecture Notes in Mathematics, vol. 1918. Springer, Berlin. (2007). 978-3-540-73323-2. https://doi.org/10.1007/978-3-540-73324-9
Rösner, M., Weissauer, R.: Global liftings between inner forms of GSp(4) (2020) (In preparation)
Saha, A., Schmidt, R.: Yoshida lifts and simultaneous non-vanishing of dihedral twists of modular \(L\)-functions. J. Lond. Math. Soc. (2) 88(1), 251–270 (2013). https://doi.org/10.1112/jlms/jdt008
Saper, L., Stern, M.: \(L_2\)-cohomology of arithmetic varieties. Ann. Math. (2) 132(1), 1–69 (1990). https://doi.org/10.2307/1971500
Schmidt, R.: Paramodular forms in CAP representations of GSp(4) (2018) Preprint. http://www.math.ou.edu/~rschmidt/papers/CAP_paramodular.pdf. Accessed 20 Apr 2021
Serre, J.-P., Lettre à, J.-F.: Current Trends in Arithmetical Algebraic Geometry (Arcata, Calif., 1985), Contemporary Mathematics, vol. 67, pp. 263–268. American Mathematical Society, Providence (1987). https://doi.org/10.1090/conm/067/902597
Shen, X., Yu, C.-F., Zhang, C.: EKOR strata for Shimura varieties with parahoric level structure. arXiv e-prints arXiv:1910.07785 (2019-10)
Sorensen, C.M.: Level-raising for Saito-Kurokawa forms. Compos. Math. 145(4), 915–953 (2009). https://doi.org/10.1112/S0010437X09004084
Sorensen, C.M.: Potential level-lowering for GSp(4). J. Inst. Math. Jussieu 8(3), 595–622 (2009). https://doi.org/10.1017/S147474800900005X
Sun, S., Zheng, WeizheWeizhe: Parity and symmetry in intersection and ordinary cohomology. Algebra Number Theory 10(2), 235–307 (2016). https://doi.org/10.2140/ant.2016.10.235
Taylor, R.: On the \(l\)-adic cohomology of Siegel threefolds. Invent. Math. 114(2), 289–310 (1993). https://doi.org/10.1007/BF01232672
Taylor, R., Yoshida, T.: Compatibility of local and global Langlands correspondences. J. Am. Math. Soc. 20(2), 467–493 (2007). https://doi.org/10.1090/S0894-0347-06-00542-X
Thorne, J.A.: Raising the level for \({{\rm GL}}_{n}\). Forum Math. Sigma 2(e16), 35 (2014). https://doi.org/10.1017/fms.2014.14
Tilouine, J.: Siegel varieties and \(p\)-adic Siegel modular forms. Doc. Math. Extra Vol., 781–817 (2006)
van der Geer, G.: Siegel modular forms. arXiv Mathematics e-prints arXiv:math/0605346 (2006)
Vogan, D.A., Jr., Zuckerman, G.J.: Unitary representations with nonzero cohomology. Compos. Math. 53(1), 51– 90 (1984). http://www.numdam.org/item?id=CM_1984__53_1_51_0
Wang, H.: Level lowering for GSp(4) and vanishing cycles on Siegel threefolds. arXiv:1910.07569 (2019-10)
Weissauer, R.: Existence of Whittaker Models Related to Four Dimensional Symplectic Galois Representations, Modular Forms on Schiermonnikoog, pp. 285–310. Cambridge University Press, Cambridge (2008). https://doi.org/10.1017/CBO9780511543371.016
Weissauer, R.: Endoscopy for GSp(4) and the Cohomology of Siegel Modular Threefolds, Lecture Notes in Mathematics, vol. 1968. Springer, Berlin (2009) 978-3-540-89305-9. https://doi.org/10.1007/978-3-540-89306-6
Yamauchi, T.: Serre weights for \({GSp}_4\) over totally real fields. arXiv:2006.07824 (2020-06)
Yu, C.-F.: The supersingular loci and mass formulas on Siegel modular varieties. Doc. Math. 11, 449–468 (2006)
Yu, C.-F.: Geometry of the Siegel modular threefold with paramodular level structure. Proc. Am. Math. Soc. 139(9), 3181–3190 (2011). https://doi.org/10.1090/S0002-9939-2011-10749-4
Acknowledgements
I am very grateful to James Newton for his guidance and for carefully reading preliminary versions of this work. I would like to thank Ana Caraiani for her encouragement and her helpful suggestions. I would also like to thank Andrew Graham and Dougal Davis for many useful discussions. Furthermore I would like to thank the anonymous referee for their helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by the Engineering and Physical Sciences Research Council [EP/L015234/1], The EPSRC Centre for Doctoral Training in Geometry and Number Theory (The London School of Geometry and Number Theory), University College London and King’s College London.
On the weight-monodromy conjecture
On the weight-monodromy conjecture
In this appendix we prove the following result (which is presumably well known to experts):
Theorem A.1
Let \(F/{\mathbb {Q}}_p\) be a finite extension, let X/F be a Shimura variety of Hodge type, let be the inclusion of X into its minimal compactification and let \({\mathbb {V}}\) be an automorphic local system on X. Then the weight-monodromy conjecture for
where \(j_{! *}\) denotes the intermediate extension of perverse sheaves (up to shift), follows from the weight-monodromy conjecture for smooth and proper varieties over F
Proof of Theorem A.1
Let \(\pi :A \rightarrow X\) be the universal family of abelian varieties over X (here we use that X is of Hodge type) and let \(\pi ^n:A^n \rightarrow X\) be the n-fold self fiber product of \(\pi :A \rightarrow X\). Then Proposition 3.2 of [29] tells us that every automorphic local system \({\mathbb {V}}\) is a direct summand of \(R \pi ^n_{*} {\mathbb {Q}}_{\ell }\), up to shift and Tate twist. So it suffices to prove weight monodromy for
Let \(\sigma : A^{*} \rightarrow X^{*}\) be a projective morphism extending \(\pi \) (which exists by [5]) and let \(\sigma ^n\) be its n-fold self fiber product, which sits in the following Cartesian diagram over \({\overline{F}}\).
![](http://media.springernature.com/lw241/springer-static/image/art%3A10.1007%2Fs00209-021-02756-0/MediaObjects/209_2021_2756_Equ138_HTML.png)
Let us note that \(k_{! *}{\mathbb {Q}}_{\ell }[d]\), where d is the dimension of \(A^n\), is the intersection cohomology complex \({\text {IC}}_{A^{\star ,n}}\) of \(A^{\star , n}\). Theorem 1.8 of [50] (a refinement of the decomposition theorem) tells us that there is a Galois equivariant decomposition
and similarly
Claim A.1.1
For each i there is a Galois-equivariant splitting
Proof
The proper base change theorem tells us that the left hand side and the right hand side have the same restriction to \(X_{{\overline{F}}} \subset X^{*}_{{\overline{F}}}\). Then Lemma 2.2.8 of [50] gives us the result (rather its Galois equivariance). \(\square \)
Lemma 1.4 of [52] tells us that validity of weight-monodromy passes to direct summands. We compute
and deduce that weight monodromy for the cohomology of \(j_{! *} {\mathbb {V}}\) follows from weight-monodromy for the intersection cohomology of \(A^{*,n}\). Now let \(\rho :Y \rightarrow A^{*, n}\) be a smooth projective morphism with Y smooth projective.
Lemma A.1.2
(Corollary 1 of [18]) The intersection cohomology complex of \(A^{*,n}\) is a Galois-equivariant direct summand of
Proof
We know that \({}^{{\mathfrak {p}}} {\mathcal {H}}^0(R \rho _{*} {\mathbb {Q}}_{\ell })\) is a Galois-equivariant direct summand of \(R \rho _{*} {\mathbb {Q}}_{\ell }\) by Theorem 1.8 of [50]. Let \(a:U \rightarrow A^{*,n}\) be a dense open subset over which \(\rho \) is smooth and such that U is contained in \(A^n\). Then there is a Galois-equivariant decomposition
by Lemma 2.2.8 of [50]. We know that the intersection cohomology complex of \(A^{*,n}\) is equal to \(a_{! *} a^{*} {\mathbb {Q}}_{\ell }[d]\) and since intermediate extension is fully faithful it suffices to show that \({\mathbb {Q}}_{\ell }\) is a Galois-equivariant direct summand of \(a^{*} {}^{{\mathfrak {p}}} {\mathcal {H}}^0(R \rho _{*} {\mathbb {Q}}_{\ell })\). But the latter is equal to
where \(\tau \) is the restriction of \(\rho \) to U. The natural map
has a section coming from the trace map. \(\square \)
This means that weight-monodromy for Y implies weight-monodromy for the intersection cohomology of \(A^{*,n}\), proving the theorem. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
van Hoften, P. A geometric Jacquet–Langlands correspondence for paramodular Siegel threefolds. Math. Z. 299, 2029–2061 (2021). https://doi.org/10.1007/s00209-021-02756-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02756-0