Serre weight conjectures for ${\mathrm{GSp}}_4$

Abstract

We prove the weight part of Serre's conjecture for Galois representations valued in ${\mathrm{GSp}}_4$ that are tamely ramified with explicit genericity at places above $p$ as conjectured by Herzig--Tilouine and Gee--Herzig--Savitt. This improves on arXiv:2304.13879 where an inexplicit genericity hypothesis was required. As an application, we prove a modularity lifting theorem for ${\mathrm{GSp}}_4$ under similar assumptions.

36 pages. Comments are welcome!