Showing 1–12 of 12 results for author: Harron, R

Shapes of unit lattices in $D_p$-number fields

Authors: Robert Harron, Erik Holmes, Sameera Vemulapalli

Abstract: The unit group of the ring of integers of a number field, modulo torsion, is a lattice via the logarithmic Minkowski embedding. We examine the shape of this lattice, which we call the unit shape, within the family of prime degree $p$ number fields whose Galois closure has dihedral Galois group $D_p$ and a unique real embedding. In the case $p = 5$, we prove that the unit shapes lie on a single hyp… ▽ More The unit group of the ring of integers of a number field, modulo torsion, is a lattice via the logarithmic Minkowski embedding. We examine the shape of this lattice, which we call the unit shape, within the family of prime degree $p$ number fields whose Galois closure has dihedral Galois group $D_p$ and a unique real embedding. In the case $p = 5$, we prove that the unit shapes lie on a single hypercycle on the modular surface (in this case, the modular surface is the space of shapes of rank $2$ lattices). For general $p$, we show that the unit shapes are contained in a finite union of translates of periodic torus orbits in the space of shapes. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: Comments welcome!

MSC Class: 11R27; 11R18; 11R33

The shapes of Galois quartic fields

Authors: Piper H, Robert Harron

Abstract: We determine the shapes of all degree $4$ number fields that are Galois. These lie in four infinite families depending on the Galois group and the tame versus wild ramification of the field. In the $V_4$ case, each family is a two-dimensional space of orthorhombic lattices and we show that the shapes are equidistributed, in a regularized sense, in these spaces as the discriminant goes to infinity… ▽ More We determine the shapes of all degree $4$ number fields that are Galois. These lie in four infinite families depending on the Galois group and the tame versus wild ramification of the field. In the $V_4$ case, each family is a two-dimensional space of orthorhombic lattices and we show that the shapes are equidistributed, in a regularized sense, in these spaces as the discriminant goes to infinity (with respect to natural measures). We also show that the shape is a complete invariant in some natural families of $V_4$-quartic fields. For $C_4$-quartic fields, each family is a one-dimensional space of tetragonal lattices and the shapes make up a discrete subset of points in these spaces. We prove asymptotics for the number of fields with a given shape in this case. △ Less

Submitted 11 August, 2019; originally announced August 2019.

Comments: 37 pages. Comments welcome

MSC Class: 11R16; 11R45; 11E12; 11P21

Equidistribution of shapes of complex cubic fields of fixed quadratic resolvent

Authors: Robert Harron

Abstract: We show that the shape of a complex cubic field lies on the geodesic of the modular surface defined by the field's trace-zero form. We also prove a general such statement for all orders in étale Q-algebras. Applying a method of Manjul Bhargava and Piper H to results of Bhargava and Ariel Shnidman, we prove that the shapes lying on a fixed geodesic become equidistributed with respect to the hyperbo… ▽ More We show that the shape of a complex cubic field lies on the geodesic of the modular surface defined by the field's trace-zero form. We also prove a general such statement for all orders in étale Q-algebras. Applying a method of Manjul Bhargava and Piper H to results of Bhargava and Ariel Shnidman, we prove that the shapes lying on a fixed geodesic become equidistributed with respect to the hyperbolic measure as the discriminant of the complex cubic field goes to infinity. We also show that the shape of a complex cubic field is a complete invariant (within the family of all cubic fields). △ Less

Submitted 16 July, 2019; originally announced July 2019.

Comments: 26 pages, 1 figure. Comments welcome!

MSC Class: 11R16; 11R45; 11E12

Journal ref: Alg. Number Th. 15 (2021) 1095-1125

Explicit computations of Hida families via overconvergent modular symbols

Authors: Evan P. Dummit, Márton Hablicsek, Robert Harron, Lalit Jain, Robert Pollack, Daniel Ross

Abstract: 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ć 2006]). In this paper, we generalize these algorithms to the case of families of overconvergent modul… ▽ More 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ć 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. △ Less

Submitted 8 August, 2016; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: 51 pages. To appear in Research in Number Theory. This version has added some comments and clarifications, a new example, and further explanations of the previous examples

MSC Class: 11F33; 11R23; 11F67; 11F85

The shapes of pure cubic fields

Authors: Robert Harron

Abstract: 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 d… ▽ More 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. △ Less

Submitted 25 May, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: 14 pages. To appear in the Proceedings of the AMS. Postprint version. Comments welcome!

MSC Class: 11R16; 11R45; 11E12

Iwasawa theory for symmetric powers of CM modular forms at nonordinary primes, II

Authors: Robert Harron, Jonathan Pottharst

Abstract: Continuing the study of the Iwasawa theory of symmetric powers of CM modular forms at supersingular primes begun by the first author and Antonio Lei, we prove a Main Conjecture equating the "admissible" $p$-adic $L$-functions to characteristic ideals of "finite-slope" Selmer modules constructed by the second author. As a key ingredient, we improve Rubin's result on the Main Conjecture of Iwasawa t… ▽ More Continuing the study of the Iwasawa theory of symmetric powers of CM modular forms at supersingular primes begun by the first author and Antonio Lei, we prove a Main Conjecture equating the "admissible" $p$-adic $L$-functions to characteristic ideals of "finite-slope" Selmer modules constructed by the second author. As a key ingredient, we improve Rubin's result on the Main Conjecture of Iwasawa theory for imaginary quadratic fields to an equality at inert primes. △ Less

Submitted 16 July, 2014; originally announced July 2014.

Comments: 16 pages, submitted, comments welcome!

MSC Class: 11R23; 11F80; 11F67

Counting elliptic curves with prescribed torsion

Authors: Robert Harron, Andrew Snowden

Abstract: Mazur's theorem states that there are exactly 15 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 15 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}$, for some number… ▽ More Mazur's theorem states that there are exactly 15 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 15 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}$, for some number $d=d(G)$ which we compute. △ Less

Submitted 19 November, 2013; originally announced November 2013.

Comments: 16 pages. Comments welcome!

MSC Class: Primary: 11G05; Secondary: 14G05; 14G25

On symmetric power L-invariants of Iwahori level Hilbert modular forms

Authors: Robert Harron, Andrei Jorza

Abstract: We compute the arithmetic L-invariants (of Greenberg-Benois) of twists of symmetric powers of p-adic Galois representations attached to Iwahori level Hilbert modular forms (under some technical conditions). Our method uses the automorphy of symmetric powers and the study of analytic Galois representations on p-adic families of automorphic forms over symplectic and unitary groups. Combining these f… ▽ More We compute the arithmetic L-invariants (of Greenberg-Benois) of twists of symmetric powers of p-adic Galois representations attached to Iwahori level Hilbert modular forms (under some technical conditions). Our method uses the automorphy of symmetric powers and the study of analytic Galois representations on p-adic families of automorphic forms over symplectic and unitary groups. Combining these families with some explicit plethysm in the representation theory of GL(2), we construct global Galois cohomology classes with coefficients in the symmetric powers and provide formulae for the L-invariants in terms of logarithmic derivatives of Hecke eigenvalues. △ Less

Submitted 23 October, 2013; originally announced October 2013.

Comments: Submitted. 27 pages. Comments welcome!

MSC Class: 11R23; 11F80; 11R34; 11F67

Gauss-Manin connections for p-adic families of nearly overconvergent modular forms

Authors: Robert Harron, Liang Xiao

Abstract: We interpolate the Gauss-Manin connection in p-adic families of nearly overconvergent modular forms. This gives a family of Maass-Shimura type differential operators from the space of nearly overconvergent modular forms of type r to the space of nearly overconvergent modular forms of type r + 1 with p-adic weight shifted by 2. Our construction is purely geometric, using Andreatta-Iovita-Stevens an… ▽ More We interpolate the Gauss-Manin connection in p-adic families of nearly overconvergent modular forms. This gives a family of Maass-Shimura type differential operators from the space of nearly overconvergent modular forms of type r to the space of nearly overconvergent modular forms of type r + 1 with p-adic weight shifted by 2. Our construction is purely geometric, using Andreatta-Iovita-Stevens and Pilloni's geometric construction of eigencurves, and should thus generalize to higher rank groups. △ Less

Submitted 15 July, 2014; v1 submitted 7 August, 2013; originally announced August 2013.

Comments: Final version accepted for publication in the Annales de l'Institut Fourier. Minor revisions. 11 pages

MSC Class: 11F33 (primary); 14F40 (secondary)

Iwasawa theory for symmetric powers of CM modular forms at non-ordinary primes

Authors: Robert Harron, Antonio Lei

Abstract: Let f be a cuspidal newform with complex multiplication (CM) and let p be an odd prime at which f is non-ordinary. We construct admissible p-adic L-functions for the symmetric powers of f, thus verifying general conjectures of Dabrowski and Panchishkin in this special case. We also construct their "mixed" plus and minus counterparts and prove an analogue of Pollack's decomposition of the admissibl… ▽ More Let f be a cuspidal newform with complex multiplication (CM) and let p be an odd prime at which f is non-ordinary. We construct admissible p-adic L-functions for the symmetric powers of f, thus verifying general conjectures of Dabrowski and Panchishkin in this special case. We also construct their "mixed" plus and minus counterparts and prove an analogue of Pollack's decomposition of the admissible p-adic L-functions into mixed plus and minus p-adic L-functions. On the arithmetic side, we define corresponding mixed plus and minus Selmer groups. We unite the arithmetic with the analytic by first formulating the Main Conjecture of Iwasawa Theory relating the plus and minus Selmer groups with the plus and minus p-adic L-functions, and then proving the exceptional zero conjecture for the admissible p-adic L-functions. The latter result takes advantage of recent work of Benois, while the former uses recent work of the second author, as well as the main conjecture of Mazur-Wiles. △ Less

Submitted 6 August, 2012; originally announced August 2012.

Comments: Submitted. 24 pages. Comments welcome!

MSC Class: 11R23; 11F80; 11F67

Journal ref: Journal de théorie des nombres de Bordeaux, 26 no. 3 (2014), p. 673-707

The exceptional zero conjecture for symmetric powers of CM modular forms: the ordinary case

Authors: Robert Harron

Abstract: We prove the exceptional zero conjecture for the symmetric powers of CM cuspidal eigenforms at ordinary primes. In other words, we determine the trivial zeroes of the associated p-adic L-functions, compute the L-invariants, and show that they agree with Greenberg's L-invariants. We prove the exceptional zero conjecture for the symmetric powers of CM cuspidal eigenforms at ordinary primes. In other words, we determine the trivial zeroes of the associated p-adic L-functions, compute the L-invariants, and show that they agree with Greenberg's L-invariants. △ Less

Submitted 22 October, 2013; v1 submitted 21 September, 2011; originally announced September 2011.

Comments: 22 pages, postprint version (there may still be minor differences with published version)

MSC Class: 11R23; 11F80; 11F67

Journal ref: International Mathematics Research Notices 2013 (2013), no. 16, art. ID rns161, pp. 3744-3770

On Greenberg's $L$-invariant of the symmetric sixth power of an ordinary cusp form

Authors: Robert Harron

Abstract: We derive a formula for Greenberg's $L$-invariant of Tate twists of the symmetric sixth power of an ordinary non-CM cuspidal newform of weight $\geq4$, under some technical assumptions. This requires a "sufficiently rich" Galois deformation of the symmetric cube which we obtain from the symmetric cube lift to $\GSp(4)_{/\QQ}$ of Ramakrishnan--Shahidi and the Hida theory of this group developed by… ▽ More We derive a formula for Greenberg's $L$-invariant of Tate twists of the symmetric sixth power of an ordinary non-CM cuspidal newform of weight $\geq4$, under some technical assumptions. This requires a "sufficiently rich" Galois deformation of the symmetric cube which we obtain from the symmetric cube lift to $\GSp(4)_{/\QQ}$ of Ramakrishnan--Shahidi and the Hida theory of this group developed by Tilouine--Urban. The $L$-invariant is expressed in terms of derivatives of Frobenius eigenvalues varying in the Hida family. Our result suggests that one could compute Greenberg's $L$-invariant of all symmetric powers by using appropriate functorial transfers and Hida theory on higher rank groups. △ Less

Submitted 13 July, 2010; originally announced July 2010.

Comments: 20 pages, submitted

MSC Class: 11R23; 11F80; 11R34; 11F67

Journal ref: Compositio Math. 148 (2012) 1033-1050