Exact verification of the strong BSD conjecture for some absolutely simple abelian surfaces

Timo Keller, Michael Stoll

Let $X$ be one of the $28$ Atkin-Lehner quotients of a curve $X_0(N)$ such that $X$ has genus $2$ and its Jacobian variety $J$ is absolutely simple. We show that the Shafarevich-Ta…