Computing torsion for plane quartics without using height bounds
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909010664357888 |
|---|---|
| author | van Bommel, Raymond |
| author_facet | van Bommel, Raymond |
| contents | We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes, and searching for torsion points, not just over Q but also over small number fields, until the two bounds meet. Both complex analytic and Chinese remainder theorem based methods are used to find such torsion points. The method has been implemented in Magma for plane quartic curves over Q with a rational point and used to provably compute the rational torsion subgroup for more than 98% of Jacobians of curves in a data set due to Sutherland consisting of 82240 plane quartic curves. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_08312 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Computing torsion for plane quartics without using height bounds van Bommel, Raymond Number Theory 11G10, 11F80, 11G40, 11G30, 14H40 We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes, and searching for torsion points, not just over Q but also over small number fields, until the two bounds meet. Both complex analytic and Chinese remainder theorem based methods are used to find such torsion points. The method has been implemented in Magma for plane quartic curves over Q with a rational point and used to provably compute the rational torsion subgroup for more than 98% of Jacobians of curves in a data set due to Sutherland consisting of 82240 plane quartic curves. |
| title | Computing torsion for plane quartics without using height bounds |
| topic | Number Theory 11G10, 11F80, 11G40, 11G30, 14H40 |
| url | https://arxiv.org/abs/2301.08312 |