A geometric Jacquet–Langlands correspondence for paramodular Siegel threefolds

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$$ 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$$ GSp 4 .