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 behaviour of the Atiyah Conjecture under taking subgroups and under taking quotients with finite kernel

On subquotients of the etale cohomology of Shimura varieties

On the Schertz conjecture

The Strong Approximation Conjecture holds for amenable groups

Quotients of abelian varieties by reflection groups

Quantitative reduction theory and unlikely intersections

Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

On the non-inner automorphism conjecture of finite $p$-groups

On passage to over-groups of finite indices of the Farrell-Jones conjecture

A remark on K0 of crystallographic groups

ON NONINNER AUTOMORPHISMS OF SOME FINITE P -GROUPS

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

Haagerup and Størmer's conjecture for pointwise inner automorphisms

The Total Rank Conjecture in Characteristic Two

The Unbounded Denominators Conjecture

The Farrell-Jones Conjecture for Some Nearly Crystallographic Groups

Abhyankar's conjectures in Galois theory: Current status and future directions

On finite groups in which the twisted conjugacy classes of the unit element are subgroups

Brauer-Manin obstructions for homogeneous spaces of commutative affine algebraic groups over global fields

On the abscissae of Weil representation zeta functions for procyclic groups

Casselman--Shahidi conjecture on the singularity of intertwining operators: groups of exceptional type