
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 SwinnertonDyer for
such $L$values, and extends beyond their framework to special nonCM elliptic
curves.

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
GromovWitten 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
GromovWitten 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 mirrorsymmetric properties of these orbifolds
in subsequent works.

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 numbertheoretically. 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 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 noncuspidal 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.

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 EichlerShimura 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.

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
DuncanFrenkel 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.

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 nonobvious. 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.

In this note we extend integral weight harmonic Maass forms to functions
defined on the upper and lower halfplanes 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.

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.

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 zetapolynomials $Z_f(s)$
which satisfy the functional equation $Z_f(s)=\pm Z_f(1s)$, 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 zetafunctions. 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 BlochKato Tamagawa Number Conjecture,
they encode the arithmetic of a combinatorial arithmeticgeometric object which
we call the "BlochKato 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.

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.

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$.

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 KacWakimoto characters which occur naturally
in Lie theory, and yields, as easy corollaries, many important PDEs arising in
combinatorics such as the famous rankcrank 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.

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 blowup formula for generating functions
of invariants of moduli spaces of semistable sheaves of rank 3 on rational
surfaces. Our proof confirms that in the latter context, different routes to
compute the generating function (using the blowup formula and wallcrossing)
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$.

In this paper, we study modularity of several functions which naturally arose
in a recent paper of Lau and Zhou on open GromovWitten 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.

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.

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 SwinnertonDyer 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.

Recently, Bruinier and Ono found an algebraic formula for the partition
function in terms of traces of singular moduli of a certain nonholomorphic
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.

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 (nonholomorphic) 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 HasseWeil $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 quasiperiod of a lattice. A quick inspection
of the proof shows that it also allows one to easily construct more general
nonholomorphic elliptic functions.

Using results from the theory of modular forms, we reprove and extend a
result of Romik about lacunary recurrence relations for Eisenstein series.

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
"halfderivatives" of the AndrewsGordon 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.

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 semiholomorphic MaassJacobi forms of weight one and index two. We
prove the convergence of some MaassJacobi Poincar\'e series of weight one, and
then use these to characterize the semiholomorphic MaassJacobi forms arising
from the largest Mathieu group.

In analogy with the classical theory of Eichler integrals for integral weight
modular forms, Lawrence and Zagier considered examples of Eichler integrals of
certain halfintegral 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 welldefined 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.

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$.

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 rankcrank
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.