Complete verification of strong BSD for many modular abelian surfaces over $\mathbf{Q}$
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910602244390912 |
|---|---|
| author | Keller, Timo Stoll, Michael |
| author_facet | Keller, Timo Stoll, Michael |
| contents | We develop the theory and algorithms necessary to be able to verify the strong Birch--Swinnerton-Dyer Conjecture for absolutely simple modular abelian varieties over $\mathbf{Q}$. We apply our methods to all 28 Atkin--Lehner quotients of $X_0(N)$ of genus $2$, all 97 genus $2$ curves from the LMFDB whose Jacobian is of this type and six further curves originally found by Wang. We are able to verify the strong BSD Conjecture unconditionally and exactly in all these cases; this is the first time that strong BSD has been confirmed for absolutely simple abelian varieties of dimension at least $2$. We also give an example where we verify that the order of the Tate--Shafarevich group is $7^2$ and agrees with the order predicted by the BSD Conjecture. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_07307 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Complete verification of strong BSD for many modular abelian surfaces over $\mathbf{Q}$ Keller, Timo Stoll, Michael Number Theory Algebraic Geometry 11G40 (Primary) 11G10, 14G05 (Secondary) We develop the theory and algorithms necessary to be able to verify the strong Birch--Swinnerton-Dyer Conjecture for absolutely simple modular abelian varieties over $\mathbf{Q}$. We apply our methods to all 28 Atkin--Lehner quotients of $X_0(N)$ of genus $2$, all 97 genus $2$ curves from the LMFDB whose Jacobian is of this type and six further curves originally found by Wang. We are able to verify the strong BSD Conjecture unconditionally and exactly in all these cases; this is the first time that strong BSD has been confirmed for absolutely simple abelian varieties of dimension at least $2$. We also give an example where we verify that the order of the Tate--Shafarevich group is $7^2$ and agrees with the order predicted by the BSD Conjecture. |
| title | Complete verification of strong BSD for many modular abelian surfaces over $\mathbf{Q}$ |
| topic | Number Theory Algebraic Geometry 11G40 (Primary) 11G10, 14G05 (Secondary) |
| url | https://arxiv.org/abs/2312.07307 |