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.

The localized Gouvêa–Mazur conjecture

Localized Gouvêa-Mazur conjecture

Recent Results on the Moduli Spaces of Riemann Surfaces

Slopes of modular forms and geometry of eigencurves

Localization and Conjectures from String Duality

Local Complete Intersections and Weierstrass Points

On the Boston's Unramified Fontaine-Mazur Conjecture

Moduli of Fontaine--Laffaille representations and a mod-$p$ local-global compatibility result

Standard Module Conjecture

Determination of certain mod $p$ Galois representations using local constancy

Tamagawa number conjecture for CM modular forms and Rankin--Selberg convolutions

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

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

The Unbounded Denominators Conjecture

A Local-Global Study of Obstructed Deformation Problems -- I

Local Langlands in families: The banal case

The Fontaine-Mazur conjecture in the residually reducible case

On a conjecture of Mazur predicting the growth of Mordell--Weil ranks in $\mathbb{Z}_p$-extensions

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

Congruences of modular forms and modularity of Tate-Shafarevich classes