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 .

Degeneration of Kummer surfaces

We prove that a Kummer surface defined over a complete strictly Henselian discretely valued field K of residue characteristic different from 2 admits a strict Kulikov model after finite base change. The Kulikov models we construct will be schemes, so our results imply that the semistable reduction conjecture is true for Kummer surfaces in this setup, even in the category of schemes. Our construction of Kulikov models is closely related to an earlier construction of Künnemann, which produces semistable models of Abelian varieties. It is well known that the special fibre of a strict Kulikov model belongs to one of three types, and we shall prove that the type of the special fibre of a strict Kulikov model of a Kummer surface and the toric rank of a corresponding Abelian surface are determined by each other. We also study the relationship between this invariant and the Galois representation on the second ℓ-adic cohomology of the Kummer surface. Finally, we apply our results, together with earlier work of Halle–Nicaise, to give a proof of the monodromy conjecture for Kummer surfaces in equal characteristic zero.

On local monodromy filtrations attached to motives

We prove special cases, of an analogue of the (local) weight monodromy conjecture, for motives over number fields. This enables us to show in many new cases that the local [Formula: see text]-factors of these motives are well defined, i.e. depend only on the motive and the valuations, and not on the chosen prime [Formula: see text] for the [Formula: see text]-adic realization.