Robert Harron

In [Pollack-Stevens 2011], efficient algorithms are given to compute with overconvergent modular symbols. These algorithms then allow for the fast computation of $p$-adic $L$-functions and have further been applied to compute rational points on elliptic curves (e.g. [Darmon-Pollack 2006, Trifkovi\'c 2006]). In this paper, we generalize these algorithms to the case of families of overconvergent modular symbols. As a consequence, we can compute $p$-adic families of Hecke-eigenvalues, two-variable $p$-adic $L$-functions, $L$-invariants, as well as the shape and structure of ordinary Hida-Hecke algebras.

We determine the shapes of pure cubic fields and show that they fall into two families based on whether the field is wildly or tamely ramified (of Type I or Type II in the sense of Dedekind). We show that the shapes of Type I fields are rectangular and that they are equidistributed, in a regularized sense, when ordered by discriminant, in the one-dimensional space of all rectangular lattices. We do the same for Type II fields, which are however no longer rectangular. We obtain as a corollary of the determination of these shapes that the shape of a pure cubic field is a complete invariant determining the field within the family of all cubic fields.

Mazur’s theorem states that there are exactly fifteen possibilities for the torsion subgroup of an elliptic curve over the rational numbers. We determine how often each of these groups actually occurs. Precisely, if G is one of these fifteen groups, we show that the number of elliptic curves up to height X whose torsion subgroup is isomorphic to G is on the order of X 1 / d {X^{1/d}} , for some number d = = d(G) which we compute.