Quadratic Chabauty: \(p\)-adic heights and integral points on hyperelliptic curves (Q334476): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: SageMath / rank | |||
Normal rank |
Revision as of 20:37, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quadratic Chabauty: \(p\)-adic heights and integral points on hyperelliptic curves |
scientific article |
Statements
Quadratic Chabauty: \(p\)-adic heights and integral points on hyperelliptic curves (English)
0 references
1 November 2016
0 references
Let \(X/\mathbb{Q}\) be a hyperelliptic curve of genus \(g\) with Jacobian \(J\) of Mordell-Weil rank \(r\). If \(r< g\), the method of Coleman-Chabauty gives an effective method to determine \(X(\mathbb{Q})\). The authors consider the case \(r = g\). They prove that there is a Coleman function \(\rho: X(\mathbb{Q}_p) \to \mathbb{Q}_p\) on \(X \times_\mathbb{Q} \mathbb{Q}_p\) and a finite set of values \(T\) such that \(\rho(\mathcal{U}(\mathbb{Z}[1/p])) \subset T\) with \(\mathcal{U}(\mathbb{Z}[1/p])\) the set of \(p\)-integral solutions of an affine integral equation of \(X\). Further, they prove that \(T\) is effectively computable if \(X\) has good reduction at \(p\), and that \(\rho\) is effectively computable from a basis of \(J(\mathbb{Q}) \otimes_\mathbb{Z} \mathbb{Q}\), see Theorem 3.1. Let \[ f_i(z) = \int_{\infty}^{z}\omega_i. \] Then there exists a non-trivial linear combination of the \(f_i\) vanishing on \(\mathcal{U}(\mathbb{Z}[1/p])\), or there exist constants \(\alpha_{ij} \in \mathbb{Q}_p\) such that the Coleman function \(\rho\) is defined using products of Coleman integrals, \[ \rho(z) = \tau(z) - \sum_{0 \leq i \leq j< g}\alpha_{ij}f_i(z)f_j(z), \] with \(\tau\) defined in Theorem 2.2 as an iterated Coleman integral. For the computation of \(\rho\), one needs to compute iterated Coleman integrals, \(p\)-adic height pairings and a basis of \(J(\mathbb{Q}) \otimes_\mathbb{Z} \mathbb{Q}\). The computation of \(\tau\) is described in section 4, and the computation of \(T\) in section 5. The authors conclude with some examples illustrating the methods of their article.
0 references
curves of arbitrary genus or genus \(\neq 1\) over global fields
0 references
heights
0 references
rational points
0 references
arithmetic varieties and schemes
0 references
Arakelov theory
0 references