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.

Uniform behavior of families of Galois representations on Siegel modular forms and the Endoscopy Conjecture

Galois characterization of Endoscopy for rational Siegel modular forms

Modulo $\ell$ distinction problems

Congruences for Siegel modular forms of nonquadratic nebentypus mod $p$

A congruence family for 2-elongated plane partitions: An application of the localization method

Modularity of residual Galois extensions and the Eisenstein ideal

On the Classification of Modular Congruence Families

Modulo l distinction problems

Ordinary primes in Hilbert modular varieties

The Unbounded Denominators Conjecture

Computing nonsurjective primes associated to Galois representations of genus $2$ curves

Local Langlands in families: The banal case

Certain squarefree levels of reducible modular mod$\,\ell$ Galois representations

Slopes of modular forms and geometry of eigencurves

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

Congruences of modular forms and modularity of Tate-Shafarevich classes

Modularity of trianguline Galois representations

Automatic convergence for Siegel modular forms

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

Ordinary Modular Forms and Companion Points on the Eigencurve

Non-optimal levels of some reducible mod $p$ modular representations