Linear quadratic Chabauty
Higher degree equations; Fermat's equation (11D41) [https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Heights (11G50) Rational points (14G05) Arithmetic varieties and schemes; Arakelov theory; heights (14G40)
Let \(X : y^2 = f(x)\) be a hyperelliptic curve, where \( f \in \mathbb{Z}[x]\) is a squarefree polynomial of degree \(2g+2\) whose leading coefficient is a square in \(\mathbb{Z}\). Let \(J\) denote the Jacobian variety of \(X\), and suppose that the rank \(r\) of the Mordell-Weil group \(J(\mathbb{Q})\) is equal to \(g\). Let \(p > g\) be a prime of good reduction for \(X\), and set\N\[\NU = \operatorname{Spec}\bigl(\mathbb{Z}[x,y]/(y^2 - f(x))\bigr).\N\]\NThe paper presents the construction of a nontrivial, computable, locally analytic function \(\rho \colon U(\mathbb{Z}_p) \longrightarrow \mathbb{Q}_p\) together with a finite and explicitly computable set \(T \subset \mathbb{Q}_p\) such that \(\rho\bigl(U(\mathbb{Z})\bigr) \subseteq T\). On the basis of this construction, a new quadratic Chabauty method for determining integral points on the hyperelliptic curve \(X\) is introduced. The method is illustrated by computing the set of integral points on the curve defined by \N\[\Ny^2 = x^6 + 2x^5 - 7x^4 - 18x^3 + 2x^2 + 20x + 9.\N\]\NFurthermore, the approach is extended to compute integral points on certain even-degree hyperelliptic curves defined over number fields of degree greater than one. As an illustration, the set of integral points is determined for the curve \N\[\Ny^2 = x^6 + x^5 - w x^4 + (1 - w)x^3 + x^2 + w x + w,\N\]\Ndefined over the number field \(K = \mathbb{Q}(w)\), where \(w^2 = 7\).
- \(p\)-adic Arakelov theory
- \(p\)-adic numbers. An introduction
- Asymptotics of the Néron height pairing
- Catalan's conjecture
- Chabauty-Coleman experiments for genus 3 hyperelliptic curves
- Coleman integration for even-degree models of hyperelliptic curves
- Computing p-adic heights on hyperelliptic curves
- Computing canonical heights using arithmetic intersection theory
- Computing integral points on hyperelliptic curves using quadratic Chabauty
- Computing local p-adic height pairings on hyperelliptic curves
- Computing Néron-Tate heights of points on hyperelliptic Jacobians
- Corrections to "A quantitative version of Runge's theorem on diophantine equations" (Acta Arith. 62 (1992), 157-172)
- Explicit arithmetic intersection theory and computation of Néron-Tate heights
- Explicit Chabauty over number fields
- Explicit Coleman integration for hyperelliptic curves
- Explicit quadratic Chabauty over number fields
- scientific article; zbMATH DE number 3977155 (Why is no real title available?)
- scientific article; zbMATH DE number 16334 (Why is no real title available?)
- scientific article; zbMATH DE number 1748084 (Why is no real title available?)
- Implementing 2-descent for Jacobians of hyperelliptic curves
- Quadratic Chabauty and rational points. I: \(p\)-adic heights
- Quadratic Chabauty for modular curves: algorithms and examples
- Quadratic Chabauty: p-adic heights and integral points on hyperelliptic curves
- The Magma algebra system. I: The user language
- The method of Chabauty and Coleman
- The Mordell-Weil sieve: proving non-existence of rational points on curves
- Thue equations and the method of Chabauty-Coleman.
- Ueber ganzzahlige Lösungen von Gleichungen zwischen zwei Veränderlichen.
- Unlikely intersections and the Chabauty-Kim method over number fields
This page was built for publication: Linear quadratic Chabauty
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6885429)
