Two-descent on some genus two curves
type: Item
instance of: scholarly article
title: Two-descent on some genus two curves
zbMATH Open document ID: 1480.11082
author: Tim Evink
author: Gert-Jan van der Heiden
author: Jaap Top
published in: Indagationes Mathematicae. New Series
publication date: 2021-07-12T00:00:00Z
full work available at URL: https://arxiv.org/abs/2102.12977
full work available at URL: 1 s2.0 S0019357721000483 main.pdf
review text: Consider the hyperelliptic curves of genus two, varying \(p\) a prime, \[C_p:y^2=x(x^2-p^2)(x^2-4p^2),\] which are a quadratic twist of \(y^2=x(x^2-1)(x^2-4)\) over \(\mathbb{Q}(\sqrt{p})\) and \(\mathbb{Q}(\sqrt{-p})\). The authors of the paper under review investigate the arithmetic of \(C_p\) over \(\mathbb{Q}\) in terms of \(p\), in particular the rank of the Jacobian \(J_p\) of \(C_p\). The results of the paper under review are mainly the Master thesis of two of the authors supervised by the third author of the paper, corresponding to [\textit{T. Evink}, Two descent on hyperelliptic curves of genus 2. Groningen: University of Groningen (Master Thesis) (2020), \url{http://fse.studenttheses.ub.rug.nl/21636}; \textit{G.-J. van der Heiden}, Computing the 2-descent over \(\mathbb{Q}\) for curves of genus 2. Groningen: University of Groningen (Master Thesis) (1998), \url{http://fse.studenttheses.ub.rug.nl/8657}]. In the paper under review, first, the authors compute the \(\mathbb{F}_2\)-dimension of the \(2\)-Selmer group of \(J_p\) over \(\mathbb{Q}\), denoted by \(S^2(J_p/\mathbb{Q})\), by explicit 2-descent, method described in [\textit{E. F. Schaefer}, J. Number Theory 51, No. 2, 219--232 (1995; Zbl 0832.14016)]. The result is presented in terms as \(p\) congruent to 1,5,7,11,13,17,19,23 modulo 24, and next they study the family of \(C_p\) with \(p\) congruent to a fix of such odd primes modulo 24. From the usual sequence: \[0\rightarrow J_p(\mathbb{Q})/2J_p(\mathbb{Q})\rightarrow S^2(J_p/\mathbb{Q})\rightarrow \text{Ш}(J_p/\mathbb{Q})[2]\rightarrow 0,\] where \(\text{Ш}(J_p/\mathbb{Q})[2]\) is the 2-torsion of the Tate-Shafarevich group associated to \(J_p\) over \(\mathbb{Q}\), (and because all Weierstrass points on \(C_p\) are \(\mathbb{Q}\)-rational), they prove that the torsion group of \(J_p(\mathbb{Q})\) corresponds to the group generated by the Weierstrass points. And deduce that \[\mathrm{rank}(J_p(\mathbb{Q}))+\mathrm{dim}_{\mathbb{F}_2}\text{Ш}(J_p/\ma…
Mathematics Subject Classification ID: 11G30
Mathematics Subject Classification ID: 14G05
zbMATH DE Number: 7370863
zbMATH Keywords: hyperelliptic curve
zbMATH Keywords: 2-Selmer group
zbMATH Keywords: 2-torsion Tate-Shafarevich group
zbMATH Keywords: Rédei symbols
zbMATH Keywords: rational points
reviewed by: Francesc Bars
describes a project that uses: Magma
describes a project that uses: LMFDB
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3175312424
cites work: The Magma algebra system. I: The user language
cites work: On the Equation Y 2 = X(X 2 + p)
cites work: Two-cover descent on hyperelliptic curves
cites work: Albime triangles over quadratic fields
cites work: Cycles of quadratic polynomials and rational points on a genus-2 curve
cites work: Idempotent relations and factors of Jacobians
cites work: Three constructions of rational points on \(Y^ 2=X^ 3\pm NX\)
cites work: Decomposing Jacobians of curves with extra automorphisms
cites work: The Cassels-Tate pairing on polarized Abelian varieties
cites work: 2-descent on the Jacobians of hyperelliptic curves
cites work: Chebotarëv and his density theorem
cites work: On the equation \(Y^ 2=(X+p)(X^ 2+p^ 2)\)
DOI: 10.1016/J.INDAG.2021.06.004
Recommended article: 2-descent on the Jacobians of hyperelliptic curves
Recommended article: Descent via \((5, 5)\)-isogeny on Jacobians of genus 2 curves
Recommended article: Computing the Mordell-Weil Rank of Jacobians of Curves of Genus Two
Recommended article: Q4714020
Recommended article: Improved rank bounds from \(2\)-descent on hyperelliptic Jacobians
description: scientific article; zbMATH DE number 7370863