Horizontal norm compatibility of cohomology classes for ${\mathrm{GSp}}_6$

Abstract

We establish abstract horizontal norm relations involving the unramified Hecke-Frobenius polynomials that correspond under the Satake isomorhpism to the degree eight spinor $L$-factors of ${\mathrm{GSp}}_6$. These relations apply to classes in the degree seven motivic cohomology of the Siegel modular sixfold obtained via Gysin pushforwards of Beilinson's Eisenstein symbol pulled back on one copy in a triple product of modular curves. The proof is based on a novel approach that circumvents the failure of the so-called multiplicity one hypothesis in our setting, which precludes the applicability of an existing technique. In a sequel, we combine our result with the previously established vertical norm relations for these classes to obtain new Euler systems for the eight dimensional Galois representations associated with certain non-endoscopic cohomological cuspidal automorphic representations of ${\mathrm{GSp}}_6$.

52 pages. Comments welcome