Let $k=12 m(k)+s \ge 12$ for $s\in \{0,4,6,8,10,14\}$, be an even integer and $f$ be a normalised modular form of weight $k$ with real Fourier coefficients, written as $$ f=E_k+\sum_{j=1}^{m(k)}a_jE_{k-12j}Δ^j. $$ Under suitable conditions on $a_j$ (rectifying an earlier result of Getz), we show that all the zeros of $f$, in the standard fundamental domain for the action of ${\bf SL}(2,\mathbb Z)$ on the upper half plane, lies on the arc $A:= \left\{ e^{i θ} : \fracπ{2} \le θ\le \frac{2π}{3} \right\}$. Further, extending a result of Nozaki, we show that for certain family $\{f_k\}_k$ of normalised modular forms, the zeros of $f_k$ and $f_{k+12}$ interlace on $A^\circ:= \left\{ e^{i θ} : \fracπ{2} < θ< \frac{2π}{3} \right\}$.
We introduce and investigate an infinite family of functions which are shown to have generalised quantum modular properties. We realise their "companions" in the lower half plane both as double Eichler integrals and as non-holomorphic theta functions with coefficients given by double error functions. Further, we view these Eichler integrals in a modular setting as parts of certain weight two indefinite theta series.
This paper is a continuation of our previous works (see Muić in Monatsh. Math. 180, no. 3, 607--629, (2016)) and (Muić, Kodrnja in Ramanujan J. 55, no. 2, 393--420, (2021)) where we have studied maps from $X_0(N)$ into $\mathbb P^2$ (and more general) constructed via modular forms of the same weight. In this short note we study how degrees of the maps and degrees of the resulting curve change when we let modular forms vary.
We express a family of Hecke--Appell-type sums of Hikami and Lovejoy in terms of mixed mock modular forms; in particular, we express the sums in terms of Appell functions and theta functions. Hikami and Lovejoy's family of Hecke--Appell-type sums was obtained by considering certain duals of generalized quantum modular forms.
In this article, we discuss Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms. After the overview on the situation of the ordinary case of Hida family, we will introduce a Coleman map for Coleman family for the non-ordinary case (Coleman family) which was obtained as a joint work with Filippo Nuccio [NO16] and we give some results on Iwasawa Theory for Coleman families as applications of . First, we give a construction of a two-variable $p$-adic $L$-function for a Coleman family thanks to the ingredients given in [NO16] (Theorem 5.1). Combining this result and Coleman…
We introduce Galois families of modular forms. They are a new kind of family coming from Galois representations of the absolute Galois groups of rational function fields over the rational field. We exhibit some examples and provide an infinite Galois family of non-liftable weight one Katz modular eigenforms over an algebraic closure of F_p for p in {3,5,7,11}.
The study of Fourier coefficients of meromorphic modular forms dates back to Ramanujan, who, together with Hardy, studied the reciprocal of the weight 6 Eisenstein series. Ramanujan conjectured a number of further identities for other meromorphic modular forms and quasi-modular forms which were subsequently established by Berndt, Bialek, and Yee. In this paper, we place these identities into the context of a larger family by making use of Poincaré series introduced by Petersson and a new family of Poincaré series which we construct here and which are of independent interest. In addition we est…
The purpose of this paper is to investigate the number of classical weight one specializations of a non-CM ordinary Hida family of parallel weight Hilbert cusp forms. It is known that a specialization of a primitive ordinary Hida family at any arithmetic points of weight at least two is a classical holomorphic Hilbert cusp form. However, this is not always the case for weight one specializations. Balasubramanyam, Ghate and Vatsal proved that such a Hida family admits infinitely many classical weight one specializations if and only if it is of CM type. We give an explicit upper bound on the num…
Given a Hilbert cuspidal newform $g$ we construct a family of modular forms of half-integral weight whose Fourier coefficients give the central values of the twisted $L$-series of $g$ by fundamental discriminants. The family is parametrized by quadratic conditions on the primes dividing the level of $g$, where each form has coefficients supported on the discriminants satisfying the conditions. These modular forms are given as generalized theta series and thus their coefficients can be effectively computed. Our construction works over arbitrary totally real number fields, except that in the cas…
We show that the values of a certain family of weakly holomorphic modular functions at points in the divisors of any meromorphic modular form with algebraic Fourier coefficients are algebraic. We use this to extend the classical result of Schneider by proving that zeros or poles of any non-zero meromorphic modular form with algebraic Fourier coefficients are either transcendental or imaginary quadratic irrational.
In [4] and [5], Folsom presents a family of modular units as higher-level analogues of the Rogers-Ramanujan $q$-continued fraction. These units are constructed from analytic solutions to the higher-order $q$-recurrence equations of Selberg. Here, we consider another family of modular units, which are quotients of Hall-Littlewood $q$-series that appear in the generalized Rogers-Ramanujan type identities of [6]. In analogy with the results of Folsom, we provide a formula for the rank of the subgroup these units generate and show that their specializations at the cusp $0$ generate a subgroup of t…
We consider the Galois representation associated with a finite slope $p$-adic family of modular forms. We prove that the Lie algebra of its image contains a congruence Lie subalgebra of a non-trivial level. We describe the largest such level in terms of the congruences of the family with $p$-adic CM forms.
We compute modular forms known to arise from the order 5 generators of the 5-local Adams-Novikov spectral sequence 2-line, generalizing and contextualizing previous computations of M. Behrens and G. Laures. We exhibit analogous computations at other primes and conjecture formulas for some of the modular forms arising in this way at arbitrary primes greater than or equal to 5.
We compute the p-adic Abel-Jacobi map of the product of a Hilbert modular surface and a modular curve at a null-homologous (modified) embedding of the modular curve in this product, evaluated on differentials associated to a Hilbert cuspidal form f of weight (2,2) and a cuspidal form of weight 2. We generalize this computation to suitable null-homological cycles in the fibre products of the universal families on the surface and the curve, evaluated at differentials associated to f and g of higher weights. We express the values of the p-adic Abel-Jacobi map at these weights in terms of a p-adic…
We study the splitting fields of the family of polynomials $f_n(X)= X^n-X-1$. This family of polynomials has been much studied in the literature and has some remarkable properties. Serre related the function on primes $N_p(f_n)$, for a fixed $n \leq 4$ and $p$ a varying prime, which counts the number of roots of $f_n(X)$ in $\mathbb F_p$ to coefficients of modular forms. We study the case $n=5$, and relate $N_p(f_5)$ to mod $5$ modular forms over $\mathbb Q$, and to characteristic 0, parallel weight 1 Hilbert modular forms over $\mathbb Q(\sqrt{19 \cdot 151})$.
Broadhurst conjectured that the Feynman integral associated to the polynomial corresponding to $t=1$ in the one-parameter family $(1+x_1+x_2+x_3)(1+x_1^{-1}+x_2^{-1}+x_3^{-1})-t$ is expressible in terms of $L(f,2),$ where $f$ is a cusp form of weight $3$ and level $15$. Bloch, Kerr and Vanhove have recently proved that the conjecture holds up to a rational factor. In this paper, we prove that Broadhurst's conjecture is true. Similar identities involving Feynman integrals associated to other polynomials in the same family are also established.
We establish a duality result proving the `functional equation' of the characteristic ideal of the Selmer group associated to a nearly ordinary Hilbert modular form over the cyclotomic $\mathbb{Z}_{p}$ extension of a totally real number field. Further, we use this result to establish a duality or algebraic `functional equation' for the `big' Selmer groups associated to the corresponding nearly ordinary Hida deformation. The multivariable cyclotomic Iwasawa main conjecture for nearly ordinary Hida family of Hilbert modular forms is not established yet and this can be thought of as an evidence t…
We construct an explicit family of modular iterated integrals which involves cusp forms. This leads to a new method of producing "invariant versions" of iterated integrals of modular forms. The construction will be based on an extension of higher-order modular forms which, in contrast to the standard higher-order forms, applies to general Fuchsian groups of the first kind and, as such, is of independent interest.
In this paper, we study central values of the family of quadratic twists of modular $L$-functions of moduli $8p$, with $p$ ranging over odd primes. Assuming the truth of the generalized Riemann hypothesis, we establish a positive proportion non-vanishing result for the corresponding $L$-values.
In this paper, we provide an explicit construction of weight $0$ meromorphic modular forms. Following work of Petersson, we build these via Poincaré series. There are two main aspects of our investigation which differ from his approach. Firstly, the naive definition of the Poincaré series diverges and one must analytically continue via Hecke's trick. Hecke's trick is further complicated in our situation by the fact that the Fourier expansion does not converge everywhere due to singularities in the upper half-plane so it cannot solely be used to analytically continue the functions. To explain t…
We construct a compatible family of global cohomology classes (an Euler system) for the symmetric square of a modular form, and apply this to bounding Selmer groups of the symmetric square Galois representation and its twists.
In this paper, we prove a conjecture of Broadhurst and Zudilin \cite{BZ17} concerning a divisibility property of the Fourier coefficients of a meromorphic modular form using the generalization of the Shimura lift by Borcherds \cite{Borcherds98} and Hecke operators on vector-valued modular forms developed by Bruinier and Stein \cite{BS10}. Furthermore, we construct a family of meromorphic modular forms with this property.
In recent work, M. Just and the second author defined a class of "semi-modular forms" on $\mathbb C$, in analogy with classical modular forms, that are "half modular" in a particular sense; and constructed families of such functions as Eisenstein-like series using symmetries related to integer partitions. Looking for further natural examples of semi-modular behavior, here we construct a family of Eisenstein-like series to produce semi-modular forms, using symmetries related to Fibonacci numbers instead of partitions. We then consider other Lucas sequences that yield semi-modular forms.
Ming-Lun Hsieh constructed three-variable triple product p-adic L-functions attached to triples of primitive Hida families and proved interpolation formulas. We generalize his result in the unbalanced case and construct a three-variable triple product p-adic L-function attached to a primitive Hida family and two more general p-adic families of modular forms.
We study the $2k$-th moment of the family of twisted modular $L$-functions to a fixed prime power modulus at the central values. We establish sharp lower bounds for all real $k \geq 0$ and sharp upper bounds for $k$ in the range $0 \leq k \leq 1$.
We complete several generating functions to non-holomorphic modular forms in two variables. For instance, we consider the generating function of a natural family of meromorphic modular forms of weight two. We then show that this generating series can be completed to a smooth, non-holomorphic modular form of weights 3/2 and two. Moreover, it turns out that the same function is also a modular completion of the generating function of weakly holomorphic modular forms of weight 3/2, which prominently appear in work of Zagier on traces of singular moduli.
In this paper, we construct a family of generalized $L$-functions, one for each point $z$ in the upper half-plane. We prove that as $z$ approaches $i\infty$, these generalized $L$-functions converge to an $L$-function which can be written in terms of the Riemann zeta function.
This paper generalises previous work of the author to the setting of overconvergent $p$-adic automorphic forms for a definite quaternion algebra over a totally real field. We prove results which are analogues of classical `level raising' results in the theory of mod $p$ modular forms. Roughly speaking, we show that an overconvergent eigenform whose associated local Galois representation at some auxiliary prime $ł$ is (a twist of) a direct sum of trivial and cyclotomic characters lies in a family of eigenforms whose local Galois representation at $ł$ is generically (a twist of) a ramified exten…
We construct an Euler system -- a compatible family of global cohomology classes -- for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps holds, this Euler system is non-trivial, and we deduce bounds towards the Iwasawa main conjecture for these Galois representations.
We investigate a new family of locally harmonic Maass forms which correspond to periods of modular forms. They transform like negative weight modular forms and are harmonic apart from jump singularities along infinite geodesics. Our main result is an explicit splitting of the new locally harmonic Maass forms into a harmonic part and a locally polynomial part that captures the jump singularities. As an application, we obtain finite rational formulas for suitable linear combinations of periods of meromorphic modular forms associated to positive definite binary quadratic forms.
We prove a harmonically weighted equidistribution result for the $p$-th Satake parameters of the family of automorphic cuspidal representations of $\operatorname{PGSp}(2n)$ of fixed weight $\mathtt{k}$ and prime-to-$p$ level $N\to \infty$. The main tool is a new asymptotic Petersson formula for $\operatorname{GSp}(2n)$ in the level aspect.
We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer…
Using a family of mock modular forms constructed by Zagier, we study the coefficients of a mock modular form of weight $3/2$ on $\operatorname{SL}_2(\mathbb{Z})$ modulo primes $\ell\geq 5$. These coefficients are related to the smallest parts function of Andrews. As an application, we reprove a theorem of Garvan regarding the properties of this function modulo $\ell$. As another application, we show that congruences modulo $\ell$ for the smallest parts function are rare in a precise sense.
We introduce a new family of real analytic modular forms on the upper half plane. They are arguably the simplest class of `mixed' versions of modular forms of level one and are constructed out of real and imaginary parts of iterated integrals of holomorphic Eisenstein series. They form an algebra of functions satisfying many properties analogous to classical holomorphic modular forms. In particular, they admit expansions in $q, \overline{q}$ and $\log |q|$ involving only rational numbers and single-valued multiple zeta values. The first non-trivial functions in this class are real analytic Eis…
Based on the notion of strong modular form developed in Part I, we propose to structure the family of cuspidal modular form spaces $(S_{2k}(Γ_0(N)))_{k\in \mathbb{N}^*}$ and to determine bases for each of these spaces, once known bases for the first values of $k$. We then apply these theoretical results to explicitly determine bases for space families $(S_{2k}(Γ_0(N)))_{k\in \mathbb{N}^*}$ when $1\leq N \leq 10$.
We investigate the modular properties of a new partition rank, the $M_d$-rank of overpartitions. In fact this is an infinite family of ranks, indexed by the positive integer $d$, that gives both the Dyson rank of overpartitions and the overpartition $M_2$-rank as special cases. The $M_d$-rank of overpartitions is the holomorphic part of a certain harmonic Maass form of weight $\frac{1}{2}$. We give the exact transformation of this harmonic Maass form along with a few identities for the $M_d$-rank.
Considering the family of $L$-functions $\{L(s,f)\}_{f \in H_k}$ where $H_k$ is the set of weight $k$ Hecke-eigen cusp forms for $SL_2(\mathbb{Z})$, we prove a zero density estimate near the central point, valid as the weight $k \to \infty$. This is an ingredient in the author's related paper, which gives an unconditional upper bound on the distribution of the central values.
These are the lecture notes from my portion of a mini-course for the summer school "Building Bridges 3" that was held in Sarajevo during July 2016. My lectures covered the Katz definition of modular forms, a family of forms defined from this perspective and their relation to Eisenstein series, and methods of finding explicit models of modular curves. The treatment is purely expository, and the results are mostly standard, although a few points of view may not be as widely known as they deserve to be.
Higher genus modular graph tensors map Feynman graphs to functions on the Torelli space of genus-$h$ compact Riemann surfaces which transform as tensors under the modular group $Sp(2h , \mathbb Z)$, thereby generalizing a construction of Kawazumi. An infinite family of algebraic identities between one-loop and tree-level modular graph tensors are proven for arbitrary genus and arbitrary tensorial rank. We also derive a family of identities that apply to modular graph tensors of higher loop order.
