Searcharxiv⌕ Search

arXiv subjects

Larry Rolen

Publications and source records attributed to Larry Rolen.

71 records · Page 4Linked to original sources

Weierstrass mock modular forms and elliptic curves

Mock modular forms, which give the theoretical framework for Ramanujan's enigmatic mock theta functions, play many roles in mathematics. We study their role in the context of modular parameterizations of elliptic curves $E/\mathbb{Q}$. We show that mock modular forms which arise from Weierstrass $ζ$-functions encode the central $L$-values and $L$-derivatives which occur in the Birch and Swinnerton-Dyer Conjecture. By defining a theta lift using a kernel recently studied by Hövel, we obtain canonical weight 1/2 harmonic Maass forms whose Fourier coefficients encode the vanishing of these values for the quadratic twists of $E$. We employ results of Bruinier and the third author, which builds on seminal work of Gross, Kohnen, Shimura, Waldspurger, and Zagier. We also obtain $p$-adic formulas for the corresponding weight 2 newform using the action of the Hecke algebra on the Weierstrass mock modular form.

math.NT↗

On class invariants for non-holomorphic modular functions and a question of Bruinier and Ono

Recently, Bruinier and Ono found an algebraic formula for the partition function in terms of traces of singular moduli of a certain non-holomorphic modular function. In this paper we prove that the rational polynomial having these singuar moduli as zeros is (essentially) irreducible, settling a question of Bruinier and Ono. The proof uses careful analytic estimates together with some related work of Dewar and Murty, as well as extensive numerical calculations of Sutherland.

math.NT↗

Negative index Jacobi forms and quantum modular forms

In this paper, we consider the Fourier coefficients of a special class of meromorphic Jaocbi forms of negative index. Much recent work has been done on such coefficients in the case of Jacobi forms of positive index, but almost nothing is known for Jacobi forms of negative index. In this paper we show, from two different perspectives, that their Fourier coefficients have a simple decomposition in terms of partial theta functions. The first perspective uses the language of Lie super algebras, and the second applies the theory of elliptic functions. In particular, we find a new infinite family of rank-crank type PDEs generalizing the famous example of Atkin and Garvan. We then describe the modularity properties of these coefficients, showing that they are "mixed partial theta functions", along the way determining a new class of quantum modular partial theta functions which is of independent interest.

math.NT↗

Classical and Umbral Moonshine: Connections and $p$-adic Properties

The classical theory of monstrous moonshine describes the unexpected connection between the representation theory of the monster group $M$, the largest of the simple sporadic groups, and certain modular functions, called Hauptmodln. In particular, the $n$-th Fourier coefficient of Klein's $j$-function is the dimension of the grade $n$ part of a special infinite dimensional representation $V$ of the monster group. More generally the coefficients of Hauptmoduln are graded traces $T_g$ of $g \in M$ acting on $V$. Similar phenomena have been shown to hold for the Matthieu group $M_{24}$, but instead of modular functions, mock modular forms must be used. This has been conjecturally generalized even further, to umbral moonshine, which associates to each of the 23 Niemeier lattices a finite group, infinite dimensional representation, and mock modular form. We use generalized Borcherds products to relate monstrous moonshine and umbral moonshine. Namely, we use mock modular forms from umbral moonshine to construct via generalized Borcherds products rational functions of the Hauptmoduln $T_g$ from monstrous moonshine. This allows us to associate to each pure $A$-type Niemeier lattice a conjugacy class $g$ of the monster group, and gives rise to identities relating dimensions of representations from umbral moonshine to values of $T_g$. We also show that the logarithmic derivatives of the Borcherds products are $p$-adic modular forms for certain primes $p$ and describe some of the resulting properties of their coefficients modulo $p$.

math.NT↗

Half-integral weight Eichler integrals and quantum modular forms

In analogy with the classical theory of Eichler integrals for integral weight modular forms, Lawrence and Zagier considered examples of Eichler integrals of certain half-integral weight modular forms. These served as early prototypes of a new type of object, which Zagier later called a quantum modular form. Since then, a number of others have studied similar examples. Here we develop the theory in a general context, giving rise to a well-defined class of quantum modular forms. Since elements of this class show up frequently in examples of combinatorial and number theoretical interest, we propose the study of the general properties of this space of quantum modular forms. We conclude by giving a set of fundamental questions concerning this space of objects which merit further study.

math.NT↗

Maass-Jacobi Poincaré series and Mathieu Moonshine

Mathieu moonshine attaches a weak Jacobi form of weight zero and index one to each conjugacy class of the largest sporadic simple group of Mathieu. We introduce a modification of this assignment, whereby weak Jacobi forms are replaced by semi-holomorphic Maass-Jacobi forms of weight one and index two. We prove the convergence of some Maass-Jacobi Poincaré series of weight one, and then use these to characterize the semi-holomorphic Maass-Jacobi forms arising from the largest Mathieu group.

math.NT↗

Congruences for Taylor expansions of quantum modular forms

Recently, a beautiful paper of Andrews and Sellers has established linear congruences for the Fishburn numbers modulo an infinite set of primes. Since then, a number of authors have proven refined results, for example, extending all of these congruences to arbitrary powers of the primes involved. Here, we take a different perspective and explain the general theory of such congruences in the context of an important class of quantum modular forms. As one example, we obtain an infinite series of combinatorial sequences connected to the "half-derivatives" of the Andrews-Gordon functions and with Kashaev's invariant on $(2m+1,2)$ torus knots, and we prove conditions under which the sequences satisfy linear congruences modulo at least $50\%$ of primes of primes.

math.NT↗

A new construction of Eisenstein's completion of the Weierstrass zeta function

In the theory of elliptic functions and elliptic curves, the Weierstrass $zeta$ function (which is essentially an antiderivative of the Weierstrass $\wp$ function) plays a prominent role. Although it is not an elliptic function, Eisenstein constructed a simple (non-holomorphic) completion of this form which is doubly periodic. This theorem has begun to play an important role in the theory of harmonic Maass forms, and was crucial to work of Guerzhoy as well as Alfes, Griffin, Ono, and the author. In particular, this simple completion of $ζ$ provides a powerful method to construct harmonic Maass forms of weight zero which serve as canonical lifts under the differential operator $ξ_{0}$ of weight 2 cusp forms, and this has been shown in to have deep applications to determining vanishing criteria for central values and derivatives of twisted Hasse-Weil $L$-functions for elliptic curves. Here we offer a new and motivated proof of Eisenstein's theorem, relying on the basic theory of differential operators for Jacobi forms together with a classical identity for the first quasi-period of a lattice. A quick inspection of the proof shows that it also allows one to easily construct more general non-holomorphic elliptic functions.

math.NT↗

Radial limits of mock theta functions

Inspired by the original definition of mock theta functions by Ramanujan, a number of authors have considered the question of explicitly determining their behavior at the cusps. Moreover, these examples have been connected to important objects such as quantum modular forms and ranks and cranks by Folsom, Ono, and Rhoades. Here we solve the general problem of understanding Ramanujan's definition explicitly for any weight $\frac12$ mock theta function, answering a question of Rhoades. Moreover, as a side product, our results give a large, explicit family of modular forms.

math.NT↗

A "Strange" Vector-Valued Quantum Modular Form

Since their definition in 2010 by Zagier, quantum modular forms have been connected to numerous different topics such as strongly unimodal sequences, ranks, cranks, and asymptotics for mock theta functions near roots of unity. These are functions that are not necessarily defined on the upper half plane but a priori are defined only on a subset of $\Q$, and whose obstruction to modularity is some analytically "nice" function. Motivated by Zagier's example of the quantum modularity of Kontsevich's "strange" function $F(q)$, we revisit work of Andrews, Jimenez-Urroz, and Ono to construct a natural vector-valued quantum modular form whose components are similarly "strange".

math.NT↗

Progress Towards Counting D_5 Quintic Fields

Let $N(5,D_5,X)$ be the number of quintic number fields whose Galois closure has Galois group $D_5$ and whose discriminant is bounded by $X$. By a conjecture of Malle, we expect that $N(5,D_5,X) \sim C X^{1/2}$ for some constant $C$. The best known upper bound is $N(5,D_5,X)\ll X^{3/4 + ε}$, and we show this could be improved by counting points on a certain variety defined by a norm equation; computer calculations give strong evidence that this number is $\ll X^{2/3}$. Finally, we show how such norm equations can be helpful by reinterpreting an earlier proof of Wong on upper bounds for $A_4$ quartic fields in terms of a similar norm equation.

math.NT↗

Integrality Properties of the CM-values of Certain Weak Maass Forms

In a recent paper, Bruinier and Ono prove that the coefficients of certain weight -1/2 harmonic Maass forms are traces of singular moduli for weak Maass forms. In particular, for the partition function $p(n)$, they prove that \[p(n)=\frac{1}{24n-1} \sum P(α_Q),\] where $P$ is a weak Maass form and $α_Q$ ranges over a finite set of discriminant $-24n+1$ CM points. Moreover, they show that $6 (24n-1) P(α_Q)$ is always an algebraic integer, and they conjecture that $(24n-1) P(α_Q)$ is always an algebraic integer. Here we prove a general theorem which implies this conjecture as a corollary.

math.NT↗

Upper Bounds for the Number of Number Fields with Alternating Galois Group

We study the number $N(n, A_n, X)$ of number fields of degree $n$ whose Galois closure has Galois group $A_n$ and whose discriminant is bounded by $X$. By a conjecture of Malle, we expect that $N(n, A_n, X) \sim C_n X^{1/2} (\log X)^{b_n}$, for constants $b_n$ and $C_n$. For $5 < n < 84394$, the best known upper bound is $N(n, A_n, X) \ll X^{\frac{n + 2}{4}}$; this bound follows from Schmidt's Theorem, which implies there are $\ll X^{\frac{n + 2}{4}}$ number fields of degree $n$. (For $n > 84393$, there are better bounds due to Ellenberg and Venkatesh.) We show, using the important work of Pila on counting integral points on curves, that $N(n, A_n, X) \ll X^{\frac{n^2 - 2}{4(n - 1)}+ε}$, thereby improving the best previous exponent by approximately 1/4 for $5 < n < 84394$.

math.NT↗

An Improved Bound Towards a Conjecture of Serre on Surjective Galois Representations

Suppose that $E$ is an elliptic curve defined over $\mathbb{Q}$ without complex multiplication and with conductor $N$. For each positive integer $m$, the action of the absolute Galois group $G_{\mathbb{Q}}=\operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ on the torsion points over $\bar{\mathbb{Q}}$ gives rise to a representation of $G_\mathbb{Q}$. A celebrated paper of Serre shows that this representation is surjective for all sufficiently large primes; the other primes are termed \emph{exceptional}. Serre conjectures that there are no exceptional primes $\ell>37$ for any non CM elliptic curve over $\mathbb{Q}$. The best result in this direction is due to Cojocaru, who proves that the largest exceptional prime $\ell_0\ll_ε N^{1+ε}$. In this paper we lower the exponent on the bound to obtain $\ell_0\ll_ε N_0^{1/4}+ε}$, where $N_0$ is the product of primes of bad reduction. If $E$ has no places of multiplicative reduction, then we have $\ell_0\ll_εN^{1/8}+ε}$. Assuming the Frey-Szpiro conjecture, we have that $\ell_0\ll_εN^{1/8}+ε}$ in general. Our main methods include the Rankin-Selberg method and the classical work on distribution of quadratic residues.

math.NT↗

Benford's Law For Coefficients of Modular Forms and Partition Functions

Here we prove that Benford's law holds for coefficients of an infinite class of modular forms. Expanding the work of Bringmann and Ono on exact formulas for harmonic Maass forms, we derive the necessary asymptotics. This implies that the unrestricted partition function $p(n)$, as well as other natural partition functions, satisfy Benford's law.

math.NT↗