A universal Euler system for GSp(4)

This paper, "A Universal Euler System for $\text{GSp}_4$" by David Loeffler and Sarah Livia Zerbes, provides a foundational representation-theoretic refinement of the Euler system construction for 4-dimensional Galois representations associated with cuspidal automorphic representations of $\text{GSp}_4$.

Below is a detailed technical summary of the work.

---

1. The Problem: Redundancy and Test Data

The authors build upon their previous work ([LSZ22]), which constructed an Euler system for $\text{GSp}_4$ using the Lemma–Eisenstein map. That construction relied on several arbitrary choices of "test data":

• Local Test Data: Specific Schwartz functions $\Phi$ and Hecke operators $\xi$.
• Modular Parametrisation: The choice of homomorphism from the étale cohomology of the Shimura variety to the Galois representation.

The central problem addressed here is determining how these arbitrary choices affect the resulting Euler system classes. Without a "universal" formulation, it is difficult to relate these classes to $L$-values or to prove reciprocity laws, as the scaling factors between different choices are not immediately obvious.

2. Methodology: Local Multiplicity-One

The authors employ smooth representation theory and local period studies to resolve the dependency on test data. The methodology follows these steps:

• Local Uniqueness (Multiplicity-One): They utilize results from Mœglin–Waldspurger and Rösner–Weissauer to show that certain spaces of linear functionals (Whittaker models and zeta-integrals) are at most one-dimensional.
• Zeta-Integrals: They define a normalized local zeta-integral $eZ(w, \Phi, s_1, s_2)$ that satisfies specific equivariance properties under the action of the group $H \subset \text{GSp}_4$.
• Adelic Integration: By tensoring local results, they construct a global bilinear form that maps test data to Galois cohomology classes.
• Comparison of Models: They use the theory of Bessel models and parahoric subgroups (Siegel and Klingen levels) to evaluate these integrals explicitly at unramified primes.

3. Key Contributions and Results

Theorem A: The Existence of a Universal Class

The most significant result is the proof that the Euler system construction is essentially unique. They show that for a generic automorphic representation $\Pi$, all possible Euler system classes obtained via different test data are simply scalar multiples of a single "universal" class $z_{can}^{[\Pi,q,r]}(\chi)$.

• The scaling factor is explicitly given by a product of local zeta-integrals.
• This effectively removes the "arbitrariness" of the construction, providing a canonical object for study.

Theorem B: The Necessity of Genericity

The authors prove that the construction "fails" (yields zero) if the representation $\Pi$ is non-generic at any finite prime $\ell$. While this might seem like a limitation, they argue it is a feature: non-generic representations in an $L$-packet do not contribute new information to the Galois representation, and the Euler system correctly identifies the "redundancy" in the $L$-packet.

Theorem C: The Reciprocity Law (The Bridge to $L$-functions)

The paper provides the representation-theoretic machinery to prove a reciprocity law. They show that the Bloch–Kato logarithm of the universal Euler system class is related to the values of a two-variable $p$-adic $L$-function $L_{p,\nu}(\Pi, \chi; -, -)$.

• Specifically, the regulator of the class is proportional to the $p$-adic $L$-value at a specific point.
• This result is the crucial link required to attack the Bloch–Kato and Iwasawa main conjectures for $\text{GSp}_4$.

4. Technical Highlights

• Parahoric Eigenvectors: The paper provides explicit formulas for normalized generators of eigenspaces at Siegel and Klingen parahoric levels (e.g., $w_{Si}^\alpha$ and $w_{Kl}^{\alpha\beta}$).
• Klingen-Ordinary Assumption: To ensure the existence of the regulator, the authors assume $\Pi$ is Klingen-ordinary at $p$, which allows them to use the properties of the crystalline Frobenius and the Bloch–Kato exponential map.
• Dual Formulation: They translate the problem from the étale side (Galois cohomology) to the coherent side (Eisenstein series on Shimura varieties) to facilitate the computation of the regulator.

5. Significance

This paper is a vital technical component of the broader program to understand the arithmetic of Siegel modular forms. By proving that the Euler system is "universal" and explicitly linked to $L$-functions via local zeta-integrals, the authors provide the necessary tools to:

1. Relate Geometry to Analysis: Connect the cohomology of Shimura varieties (geometry) to $L$-functions (analysis).
2. Prove Main Conjectures: Provide the "Euler system machine" required to bound Selmer groups, which is the standard method for proving cases of the Bloch–Kato conjectures.
3. Generalize Methods: The methods used (relating multiplicity-one results to the universality of Euler systems) are presented as potentially applicable to other groups beyond $\text{GSp}_4$.