Abstract:Let $A$ be a modular abelian surface over $Q$ which either has trivial geometric endomorphism ring, or arises as the restriction of scalars of an elliptic curve over an imaginary quadratic field which is modular and is not a $Q$-curve. In the former case, assume that there exists an odd Dirichlet character $\chi$ such that $L(A,\chi,1)\neq 0$. We prove the following implication: if $L(A, 1) \ne 0$, and the $p$-adic eigenvariety for $GSp_4$ is smooth at the point corresponding to $A$ (and some auxiliary technical hypotheses hold), then $A(Q)$ is finite, as predicted by the Birch--Swinnerton-Dyer conjecture, and the $p$-part of the Tate--Shafarevich group is also finite. We also prove one inclusion of the cyclotomic Iwasawa Main Conjecture for $A$. Moreover, we also prove analogous results for cohomological automorphic representations of $GSp_4$, removing many of the restrictive hypotheses in our earlier work [<a class="link-https" data-arxiv-id="2003.05960" href="https://arxiv.org/abs/2003.05960">2003.05960</a>]; for cohomological representations we do not need to assume smoothness of the eigenvariety, since it is automatic in this case. The main ingredient in the proof is the Euler system attached to the spin representations of genus $2$ Siegel modular forms constructed in our earlier work with Skinner.

A universal Euler system for GSp(4)

On the Bloch-Kato conjecture for GSp(4)

An Euler system for the adjoint of a modular form

Euler systems for conjugate-symplectic motives

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

A Variety of Euler's Conjecture

On obstructions to the Euler system method for Rankin-Selberg convolutions

Irreducible characters of GSp(4, q) and dimensions of spaces of fixed vectors

Euler systems and relative Satake isomorphism

Spherical varieties and p-adic families of cohomology classes

Universal Polynomial $\mathfrak{so}$ Weight System

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

On integral aspects of Asai periods and Euler systems for $\mathrm{Res}_{E/\mathbf{Q}}\mathrm{GL}_2$

On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$

Anti-cyclotomic Euler system of diagonal cycles

Jacobi's last multiplier and the complete symmetry group of the Euler-Poinsot system

On $p$-adic $L$-functions for $\text{GSp}_4 \times \text{GL}_2$

Integral structures in smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representations and zeta integrals

Character theory and Euler characteristic for orbispaces and infinite groups

Exceptional Siegel-Weil theorems for compact $\mathrm{Spin}_8$

Euler characteristics of the generalized Kloosterman sheaves for symplectic and orthogonal groups