Barry Mazur famously classified the finitely many groups that can occur as a torsion subgroup of an elliptic curve over the rationals. This thesis deals with generalizations of this to higher... Show moreBarry Mazur famously classified the finitely many groups that can occur as a torsion subgroup of an elliptic curve over the rationals. This thesis deals with generalizations of this to higher degree number fields. Merel proved that for all integers d one has that the number of isomorphsim classes of torsion groups of elliptic curves over number fields of degree d is finite. This thesis consists of 4 chapters, the first is introductory and the other tree are research articles. Chapter two deals with the computation of gonalities of modular curves, and the application of these computations to the question which cyclic subgroups can occur as the torsion subgroup of infinitely many non-isomorphic elliptic curves over number fields of degree <7. In the second chapter a general theory for finding rational points on symmetric powers of curves is developed that is similar to symmetric power Chabauty. Application of this theory to symmetric powers of modular curves allows us to determine which primes can divide the order of the torsion subgroup of an elliptic curve over a number field of degree <7. The last chapter studies elliptic curve with a point of order 17 over a number field of degree 4. Show less
We prove two new density results about 16-ranks of class groups of quadratic number fields. They can be stated informally as follows. Let C(D) denote the class groups of the quadratic number... Show moreWe prove two new density results about 16-ranks of class groups of quadratic number fields. They can be stated informally as follows. Let C(D) denote the class groups of the quadratic number field of discriminant D. Theorem A. The class group C(-4p) has an element of order 16 for one-fourth of prime numbers p of the form a^2+16c^4. Theorem B. The class group C(-8p) has an element of order 16 for one-eighth of prime numbers p = -1 mod 4. These are the first non-trivial density results about the 16-rank of class groups in a family of quadratic number fields. They prove an instance of the Cohen-Lenstra conjectures. The proofs of these theorems involve new applications of powerful sieving techniques developed by Friedlander and Iwaniec. In case of Theorem B, we prove a power-saving error term for a prime-counting function related to the 16-rank of C(-8p), thereby giving strong evidence against a conjecture of Cohn and Lagarias that the 16-rank is governed by a Chebotarev-type criterion. Show less