Overconvergent Eichler-Shimura morphisms for $\mathrm{GSp}_4$

Abstract: We construct explicit Eichler-Shimura morphisms for families of overconvergent Siegel modular forms of genus two. These can be viewed as $p$-adic interpolations of the Eichler-Shimura decomposition of Faltings-Chai for classical Siegel modular forms. In particular, we are able to $p$-adically interpolate the entire decomposition, extending our previous work on the $H^0$-part. The key new inputs are the higher Coleman theory of Boxer-Pilloni and a theory of pro-Kummer \'etale cohomology with supports.