Quadratic Chabauty: \(p\)-adic heights and integral points on hyperelliptic curves (Q334476): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Timo Keller / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11G30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11G50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6646159 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
curves of arbitrary genus or genus \(\neq 1\) over global fields | |||
Property / zbMATH Keywords: curves of arbitrary genus or genus \(\neq 1\) over global fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
heights | |||
Property / zbMATH Keywords: heights / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rational points | |||
Property / zbMATH Keywords: rational points / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
arithmetic varieties and schemes | |||
Property / zbMATH Keywords: arithmetic varieties and schemes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Arakelov theory | |||
Property / zbMATH Keywords: Arakelov theory / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Magma / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: SageMath / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963968797 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1302.2944 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:34, 18 April 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