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.

Efficient computation of BSD invariants in genus 2

Complete verification of strong BSD for many modular abelian surfaces over $\mathbf{Q}$

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

2-Selmer Groups and the Birch-Swinnerton-Dyer Conjecture for the Congruent Number Curve

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

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

Higher Genus FJRW Invariants of a Fermat Cubic

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

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

Ranks, $2$-Selmer groups, and Tamagawa numbers of elliptic curves with $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/8\mathbb{Z}$-torsion

An application of Birch-Tate formula to tame kernels of real quadratic number fields

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

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})$

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

A formulation for p-adic versions of the Birch and Swinnerton-Dyer conjectures in the supersingular case

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

L2-invariants of nonuniform lattices in semisimple Lie groups

Weierstrass preparation and algebraic invariants

On the arithmetic of a family of twisted constant elliptic curves

Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two

Two improvements in Birch's theorem on forms