Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields

Given a subgroup B of a finitely-generated abelian group A, the saturation B of B is defined to be the largest subgroup of A containing B with finite index. In this thesis we consider a crucial step in the determination of the Mordell-Weil group of an elliptic curve, E(K). Methods such as Descent m...

Full description

Bibliographic Details
Main Author: Prickett, Martin
Format: Thesis (University of Nottingham only)
Language:English
Published: 2004
Subjects:
Online Access:https://eprints.nottingham.ac.uk/10052/
_version_ 1848791015357415424
author Prickett, Martin
author_facet Prickett, Martin
author_sort Prickett, Martin
building Nottingham Research Data Repository
collection Online Access
description Given a subgroup B of a finitely-generated abelian group A, the saturation B of B is defined to be the largest subgroup of A containing B with finite index. In this thesis we consider a crucial step in the determination of the Mordell-Weil group of an elliptic curve, E(K). Methods such as Descent may produce subgroups H of E(K) with [H:H]>1. We have determined an algorithm for calculating H given H, and hence for completing the process of finding the Mordell-Weil group. Our method has been implemented in MAGMA with two versions of the programs; one for general number fields K and the other for Q. It builds upon previous work by S. Siksek. Our problem splits into two. First we can use geometry of numbers arguments to establish an upper bound N for the index [H:H]. Second for each remaining prime p<N we seek to prove either that H is p-saturated, i.e. p|[H:H], or to enlarge H by index p. To solve the first problem, 1. We have devised and implemented an algorithm that searches for points on E(K) up to a specified naive height bound. 2. We have devised and implemented an algorithm that calculates the subgroup Egr(K) of points with good reduction at specified valuations. 3. We have implemented joint work with S. Siksek and J. Cremona to calculate an upper bound on the difference of the canonical and naive height of points on an elliptic curve. 4. We have helped to devise and have implemented joint work with S. Siksek and J. Cremona to calculate a lower bound on the canonical heights of non-torsion points on E(K) with K a totally real field. To solve the second problem, 1. As in earlier work by Siksek, we use homomorphisms to prove p-saturation for primes p. We however use the Tate-Lichtenbaum pairing, and we show that, using this pairing, our method will always prove H is p-saturated if that is the case. 2. We show that Siksek's original method will fail for some curves.
first_indexed 2025-11-14T18:21:47Z
format Thesis (University of Nottingham only)
id nottingham-10052
institution University of Nottingham Malaysia Campus
institution_category Local University
language English
last_indexed 2025-11-14T18:21:47Z
publishDate 2004
recordtype eprints
repository_type Digital Repository
spelling nottingham-100522025-02-28T11:07:01Z https://eprints.nottingham.ac.uk/10052/ Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields Prickett, Martin Given a subgroup B of a finitely-generated abelian group A, the saturation B of B is defined to be the largest subgroup of A containing B with finite index. In this thesis we consider a crucial step in the determination of the Mordell-Weil group of an elliptic curve, E(K). Methods such as Descent may produce subgroups H of E(K) with [H:H]>1. We have determined an algorithm for calculating H given H, and hence for completing the process of finding the Mordell-Weil group. Our method has been implemented in MAGMA with two versions of the programs; one for general number fields K and the other for Q. It builds upon previous work by S. Siksek. Our problem splits into two. First we can use geometry of numbers arguments to establish an upper bound N for the index [H:H]. Second for each remaining prime p<N we seek to prove either that H is p-saturated, i.e. p|[H:H], or to enlarge H by index p. To solve the first problem, 1. We have devised and implemented an algorithm that searches for points on E(K) up to a specified naive height bound. 2. We have devised and implemented an algorithm that calculates the subgroup Egr(K) of points with good reduction at specified valuations. 3. We have implemented joint work with S. Siksek and J. Cremona to calculate an upper bound on the difference of the canonical and naive height of points on an elliptic curve. 4. We have helped to devise and have implemented joint work with S. Siksek and J. Cremona to calculate a lower bound on the canonical heights of non-torsion points on E(K) with K a totally real field. To solve the second problem, 1. As in earlier work by Siksek, we use homomorphisms to prove p-saturation for primes p. We however use the Tate-Lichtenbaum pairing, and we show that, using this pairing, our method will always prove H is p-saturated if that is the case. 2. We show that Siksek's original method will fail for some curves. 2004 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en arr https://eprints.nottingham.ac.uk/10052/1/thesis.pdf Prickett, Martin (2004) Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields. PhD thesis, University of Nottingham. Elliptic Curves Mordell-Weil Group Computational Number Theory Cremona
spellingShingle Elliptic Curves
Mordell-Weil Group
Computational Number Theory
Cremona
Prickett, Martin
Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields
title Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields
title_full Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields
title_fullStr Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields
title_full_unstemmed Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields
title_short Saturation of Mordell-Weil Groups of Elliptic Curves over Number Fields
title_sort saturation of mordell-weil groups of elliptic curves over number fields
topic Elliptic Curves
Mordell-Weil Group
Computational Number Theory
Cremona
url https://eprints.nottingham.ac.uk/10052/