Period relations for cusp forms of GSp4

Abstract

Abstract Let F be a totally real number field and let π be a cuspidal automorphic representation of GSp 4 ⁢ ( 𝔸 F ) {\mathrm{GSp_{4}}(\mathbb{A}_{F})} , which contributes irreducibly to coherent cohomology. If π has a Bessel model, we may attach a period p ⁢ ( π ) {p(\pi)} to this datum. In the present paper, which is Part I in a series of two, we establish a relation of these Bessel periods p ⁢ ( π ) {p(\pi)} and all of their twists p ⁢ ( π ⊗ ξ ) {p(\pi\otimes\xi)} under arbitrary algebraic Hecke characters ξ. In the appendix, we show that ( 𝔤 , K ) {(\mathfrak{g},K)} -cohomological cusp forms of GSp 4 ⁢ ( 𝔸 F ) {\mathrm{GSp_{4}}(\mathbb{A}_{F})} all qualify to be of the above type – providing a large source of examples. We expect that these period relations for GSp 4 ⁢ ( 𝔸 F ) {\mathrm{GSp_{4}}(\mathbb{A}_{F})} will allow a conceptual, fine treatment of rationality relations of special values of the spin L-function, which we hope to report on in Part II of this paper.