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.

On the $p$-part of the Birch-Swinnerton-Dyer conjecture for elliptic curves with complex multiplication by the ring of integers of $\mathbb{Q}(\sqrt{-3})$

On the 2-part of the Birch and Swinnerton-Dyer conjecture for quadratic twists of elliptic curves

The Birch--Swinnerton-Dyer exact formula for quadratic twists of elliptic curves

On The Birch and Swinnerton-Dyer Conjecture for CM Elliptic Curves over $\BQ$

Generalized Birch lemma and the 2-part of the Birch and Swinnerton-Dyer conjecture for certain elliptic curves

On the arithmetic of a family of twisted constant elliptic curves

On anticyclotomic variants of the $p$-adic Birch and Swinnerton-Dyer conjecture

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

L-series and their 2-adic and 3-adic valuations at s=1 attached to CM elliptic curves

On Rubin's variant of the p-adic Birch and Swinnerton-Dyer conjecture II

On The Birch and Swinnerton-Dyer Conjecture for CM Elliptic Curves over Q

On central $L$-values and the growth of the $3$-part of the Tate-Shafarevich group

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

A note on $ L(1) $ of Hecke $ L-$series associated to the elliptic curves with CM by $ \sqrt{-3} $

Non-vanishing of central $L$-values of the Gross family of elliptic curve

Non‐vanishing Theorems for Central L‐values of Some Elliptic Curves with Complex Multiplication

On the quadratic twist of elliptic curves with full $2$-torsion

L-values of elliptic curves twisted by cubic characters

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

Almost all quadratic twists of an elliptic curve have no integral points

Some Remarks on P-Adic L-functions for Certain Abelian Varieties with Complex Multiplication