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

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–Tate group $\Sha (J/\mathbb{Q})$ is trivial. This verifies the strong BSD conjecture for $J$.

Bibliographic Details
Main Authors: Keller, Timo, Stoll, Michael
Format: Article
Language:English
Published: Académie des sciences 2022-05-01
Series:Comptes Rendus. Mathématique
Online Access:https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.313/