Euler systems for GSp(4)

We construct an Euler system for Galois representations associated to cohomological cuspidal automorphic representations of the group GSp(4), using the pushforwards of Eisenstein classes for GL(2) x GL(2).