• ### Central $L$-values of elliptic curves and local polynomials(1803.10555)

April 12, 2018 math.NT
Here we study the recently introduced notion of a locally harmonic Maass form and its applications to the theory of $L$-functions. In particular, we find finite formulas for certain twisted central $L$-values of a family of elliptic curves in terms of finite sums over canonical binary quadratic forms. This yields vastly simpler formulas related to work of Birch and Swinnerton-Dyer for such $L$-values, and extends beyond their framework to special non-CM elliptic curves.
• ### Indefinite theta functions arising in Gromov-Witten Theory of elliptic orbifolds(1608.08588)

Jan. 11, 2018 math.DG, math.SG, math.NT
In this paper, we consider natural geometric objects coming from Lagrangian Floer theory and mirror symmetry. Lau and Zhou showed that some of the explicit Gromov-Witten potentials computed by Cho, Hong, Kim, and Lau are essentially classical modular forms. Recent work by Zwegers and two of the authors determined modularity properties of several simpler pieces of the last, and most mysterious, function by developing several identities between functions with properties generalizing those of the mock modular forms in Zwegers' thesis. Here, we complete the analysis of all pieces of Cho, Hong, Kim, and Lau's functions, inspired by recent work of Alexandrov, Banerjee, Manschot, and Pioline on similar functions. Combined with the work of Lau and Zhou, as well as the aforementioned work of Zwegers and two of the authors, this affords a complete understanding of the modularity transformation properties of the open Gromov-Witten potentials of elliptic orbifolds of the form $\mathbb P^1_{a,b,c}$ computed by Cho, Hong, Kim, and Lau. It is hoped that this will provide a fuller picture of the mirror-symmetric properties of these orbifolds in subsequent works.
• ### Number-theoretic generalization of the Monster denominator formula(1702.00453)

Sept. 15, 2017 math.NT
The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(\tau)$ in terms of the Hecke system of $\operatorname{SL}_2(\mathbb{Z})$-modular functions $j_n(\tau)$. This formula can be reformulated entirely number-theoretically. Namely, it is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form in $\tau$ with a pole at $z$. Although these results rely on the fact that $X_0(1)$ has genus 0, here we obtain a generalization, framed in terms of polar harmonic Maass forms, for all of the $X_0(N)$ modular curves. In this survey we discuss this generalization, and we offer an introduction to the theory of polar harmonic Maass forms. We conclude with applications to formulas of Ramanujan and Green's functions.
• ### Period polynomials, derivatives of $L$-functions, and zeros of polynomials(1707.04814)

July 16, 2017 math.NT
Period polynomials have long been fruitful tools for the study of values of $L$-functions in the context of major outstanding conjectures. In this paper, we survey some facets of this study from the perspective of Eichler cohomology. We discuss ways to incorporate non-cuspidal modular forms and values of derivatives of $L$-functions into the same framework. We further review investigations of the location of zeros of the period polynomial as well as of its analogue for $L$-derivatives.
• ### Eichler cohomology and zeros of polynomials associated to derivatives of $L$-functions(1704.02667)

April 9, 2017 math.NT
In recent years, a number of papers have been devoted to the study of roots of period polynomials of modular forms. Here, we study cohomological analogues of the Eichler-Shimura period polynomials corresponding to higher $L$-derivatives. We state general conjectures about the locations of the roots of the full and odd parts of the polynomials, in analogy with the existing literature on period polynomials, and we also give numerical evidence that similar results hold for our higher derivative "period polynomials" in the case of cusp forms. We prove a special case of this conjecture in the case of Eisenstein series.
• ### On Divisors of Modular Forms(1609.08100)

March 24, 2017 math.NT
The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(\tau)$ given in terms of the Hecke system of $\operatorname{SL}_2(\mathbb Z)$-modular functions $j_n(\tau)$. It is prominent in Zagier's seminal paper on traces of singular moduli, and in the Duncan-Frenkel work on Moonshine. The formula is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form with a pole at $z$. Although these results rely on the fact that $X_0(1)$ has genus 0, here we obtain a generalization, framed in terms of polar harmonic Maass forms, for all of the $X_0(N)$ modular curves. We use these functions to study divisors of modular forms.
• ### On some special families of $q$-hypergeometric Maass forms(1603.01783)

Feb. 17, 2017 math.NT
Using special polynomials introduced by Hikami and the second author in their study of torus knots, we construct classes of $q$-hypergeometric series lying in the Habiro ring. These give rise to new families of quantum modular forms, and their Fourier coefficients encode distinguished Maass cusp forms. The cuspidality of these Maass waveforms is proven by making use of the Habiro ring representations of the associated quantum modular forms. Thus, we provide an example of using the $q$-hypergeometric structure of associated series to establish modularity properties which are otherwise non-obvious. We conclude the paper with a number of motivating questions and possible connections with Hecke characters, combinatorics, and still mysterious relations between $q$-hypergeometric series and {the passage} from positive to negative coefficients of Maass waveforms.
• ### Images of Maass-Poincar\'e series in the lower half-plane(1612.00051)

Nov. 30, 2016 math.NT
In this note we extend integral weight harmonic Maass forms to functions defined on the upper and lower half-planes using the method of Poincar\'e series. This relates to Rademacher's "expansion of zero" principle, which was recently employed by Rhoades to link mock theta functions and partial theta functions.
• ### Formulas for Jacobi forms and generalized Frobenius partitions(1610.01329)

Oct. 22, 2016 math.CO, math.NT
Since their introduction by Andrews, generalized Frobenius partitions have interested a number of authors, many of whom have worked out explicit formulas for their generating functions in specific cases. This has uncovered interesting combinatorial structure and led to proofs of a number of congruences. In this paper, we show how Andrews' generating functions can be cast in the framework of Eichler and Zagier's Jacobi forms. This reformulation allows us to compute explicit formulas for the generalized Frobenius partition generating functions (and in fact provides formulas for further functions of potential combinatorial interest), and it leads to a recursion formula to calculate them in terms of infinite $q$-products.
• ### Zeta-polynomials for modular form periods(1602.00752)

Oct. 4, 2016 math.NT
Answering problems of Manin, we use the critical $L$-values of even weight $k\geq 4$ newforms $f\in S_k(\Gamma_0(N))$ to define zeta-polynomials $Z_f(s)$ which satisfy the functional equation $Z_f(s)=\pm Z_f(1-s)$, and which obey the Riemann Hypothesis: if $Z_f(\rho)=0$, then $\operatorname{Re}(\rho)=1/2$. The zeros of the $Z_f(s)$ on the critical line in $t$-aspect are distributed in a manner which is somewhat analogous to those of classical zeta-functions. These polynomials are assembled using (signed) Stirling numbers and "weighted moments" of critical values $L$-values. In analogy with Ehrhart polynomials which keep track of integer points in polytopes, the $Z_f(s)$ keep track of arithmetic information. Assuming the Bloch--Kato Tamagawa Number Conjecture, they encode the arithmetic of a combinatorial arithmetic-geometric object which we call the "Bloch-Kato complex" for $f$. Loosely speaking, these are graded sums of weighted moments of orders of \v{S}afarevi\v{c}-Tate groups associated to the Tate twists of the modular motives.
• ### Explorations in the theory of partition zeta functions(1605.05536)

July 2, 2016 math.CO, math.NT
We introduce and survey results on two families of zeta functions connected to the multiplicative and additive theories of integer partitions. In the case of the multiplicative theory, we provide specialization formulas and results on the analytic continuations of these "partition zeta functions", find unusual formulas for the Riemann zeta function, prove identities for multiple zeta values, and see that some of the formulas allow for $p$-adic interpolation. The second family we study was anticipated by Manin and makes use of modular forms, functions which are intimately related to integer partitions by universal polynomial recurrence relations. We survey recent work on these zeta polynomials, including the proof of their Riemann Hypothesis.
• ### On a relation between certain $q$-hypergeometric series and Maass waveforms(1512.04452)

March 15, 2016 math.NT
In this paper, we answer a question of Li, Ngo, and Rhoades concerning a set of $q$-series related to the $q$-hypergeometric series $\sigma$ from Ramanajun's lost notebook. Our results parallel a theorem of Cohen which says that $\sigma$, along with its partner function $\sigma^*$, interpolate the coefficients of a Maass waveform of eigenvalue $1/4$.
• ### On the Fourier coefficients of negative index meromorphic Jacobi forms(1501.04476)

Dec. 21, 2015 hep-th, math.NT
In this paper, we consider the Fourier coefficients of meromorphic Jacobi forms of negative index. This extends recent work of Creutzig and the first two authors for the special case of Kac-Wakimoto characters which occur naturally in Lie theory, and yields, as easy corollaries, many important PDEs arising in combinatorics such as the famous rank-crank PDE of Atkin and Garvan. Moreover, we discuss the relation of our results to partial theta functions and quantum modular forms as introducted by Zagier, which together with previous work on positive index meromorphic Jacobi forms illuminates the general structure of the Fourier coefficients of meromorphic Jacobi forms.
• ### Identities for generalized Appell functions and the blow-up formula(1510.00630)

Oct. 2, 2015 math.AG, math.NT
In this paper, we prove identities for a class of generalized Appell functions which are based on the $\operatorname{A}_2$ root lattice. The identities are reminiscent of periodicity relations for the classical Appell function, and are proven using only analytic properties of the functions. Moreover they are a consequence of the blow-up formula for generating functions of invariants of moduli spaces of semi-stable sheaves of rank 3 on rational surfaces. Our proof confirms that in the latter context, different routes to compute the generating function (using the blow-up formula and wall-crossing) do arrive at identical $q$-series. The proof also gives a clear procedure for how to prove analogous identities for generalized Appell functions appearing in generating functions for sheaves with rank $r>3$.
• ### On the modularity of certain functions from the Gromov-Witten theory of elliptic orbifolds(1506.07833)

Oct. 2, 2015 math.DG, math.SG, math.NT
In this paper, we study modularity of several functions which naturally arose in a recent paper of Lau and Zhou on open Gromov-Witten potentials of elliptic orbifolds. They derived a number of examples of indefinite theta functions, and we provide modular completions for several such functions which involve more complicated objects than ordinary modular forms. In particular, we give new closed formulas for special indefinite theta functions of type $(1,2)$ in terms of products of mock modular forms. This formula is also of independent interest.
• ### On $t$-core towers and $t$-defects of partitions(1509.06620)

Sept. 22, 2015 math.CO, math.NT
We study generating functions which count the sizes of $t$-cores of partitions, and, more generally, the sizes of higher rows in $t$-core towers. We then use these results to derive an asymptotic for the average size of the $t$-defect of partitions, as well as some curious congruences.
• ### Weierstrass mock modular forms and elliptic curves(1406.0443)

Sept. 9, 2015 math.NT
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 $\zeta$-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\"ovel, 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.
• ### On class invariants for non-holomorphic modular functions and a question of Bruinier and Ono(1501.03743)

Aug. 24, 2015 math.NT
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.
• ### A new construction of Eisenstein's completion of the Weierstrass zeta function(1504.03787)

Aug. 18, 2015 math.NT
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 $\zeta$ provides a powerful method to construct harmonic Maass forms of weight zero which serve as canonical lifts under the differential operator $\xi_{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.
• ### Lacunary recurrences for Eisenstein series(1504.00356)

Aug. 18, 2015 math.NT
Using results from the theory of modular forms, we reprove and extend a result of Romik about lacunary recurrence relations for Eisenstein series.
• ### Congruences for Taylor expansions of quantum modular forms(1411.1047)

Aug. 18, 2015 math.QA, math.NT
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.
• ### Maass-Jacobi Poincar\'e series and Mathieu Moonshine(1409.4124)

Aug. 18, 2015 math.RT, math.NT
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\'e series of weight one, and then use these to characterize the semi-holomorphic Maass-Jacobi forms arising from the largest Mathieu group.
• ### Half-integral weight Eichler integrals and quantum modular forms(1409.3781)

Aug. 18, 2015 math.NT
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.
• ### Classical and Umbral Moonshine: Connections and $p$-adic Properties(1403.3712)

Aug. 18, 2015 hep-th, math.RT, math.NT
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$.
• ### Negative index Jacobi forms and quantum modular forms(1401.7189)

Aug. 18, 2015 hep-th, math.NT
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.