Nearly higher Coleman theory and p-adic L-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ and $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$

TL;DR

This paper develops new four-variable p-adic L-functions for GSp(4) and GL(2) automorphic forms, extending Coleman theory and constructing p-adic distributions related to Gan-Gross-Prasad periods, advancing the understanding of p-adic L-functions in higher rank groups.

Contribution

It introduces nearly overconvergent modular forms in the coherent cohomology of Siegel threefolds and constructs p-adic distributions interpolating Gan-Gross-Prasad periods, leading to new p-adic L-functions for GSp(4) and GL(2) forms.

Findings

Constructed four-variable p-adic L-functions for GSp(4) and GL(2) forms.

Extended Coleman theory to nearly overconvergent forms in Siegel threefolds.

Established p-adic distributions interpolating Gan-Gross-Prasad periods.

Abstract

We construct four-variable $p$-adic $L$-functions for the spin Galois representation of a Siegel modular form of genus 2 twisted by the Galois representation of a cuspidal modular form as the modular forms vary in Coleman families. The main ingredient is the construction of a space of nearly overconvergent modular forms in the coherent cohomology of the Siegel threefold, extending the spaces of overconvergent modular forms appearing in higher Coleman theory. In addition to this, we construct $p$-adic distributions interpolating the Gan-Gross-Prasad automorphic periods for $(\mathrm{GSpin}(5), \mathrm{GSpin}(4))$ which, conditional on the local and global Gan-Gross-Prasad conjectures for this pair of groups, provides a construction of "square-root" $p$-adic $L$-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$ as the automorphic forms vary in Coleman families.