A generalized modular relation of the form $F(z, w, α)=F(z, iw,β)$, where $αβ=1$ and $i=\sqrt{-1}$, is obtained in the course of evaluating an integral involving the Riemann $Ξ$-function. It is a two-variable generalization of a transformation found on page $220$ of Ramanujan's Lost Notebook. This modular relation involves a surprising generalization of the Hurwitz zeta function $ζ(s, a)$, which we denote by $ζ_w(s, a)$. While $ζ_w(s, 1)$ is essentially a product of confluent hypergeometric function and the Riemann zeta function, $ζ_w(s, a)$ for $0<a<1$ is an interesting new special function. We show that $ζ_w(s, a)$ satisfies a beautiful theory generalizing that of $ζ(s, a)$ albeit the properties of $ζ_w(s, a)$ are much harder to derive than those of $ζ(s, a)$. In particular, it is shown that for $0<a<1$ and $w\in\mathbb{C}$, $ζ_w(s, a)$ can be analytically continued to Re$(s)>-1$ except for a simple pole at $s=1$. This is done by obtaining a generalization of Hermite's formula in the context of $ζ_w(s, a)$. The theory of functions reciprocal in the kernel $\sin(πz) J_{2 z}(2 \sqrt{xt}) -\cos(πz) L_{2 z}(2 \sqrt{xt})$, where $L_{z}(x)=-\frac{2}πK_{z}(x)-Y_{z}(x)$ and $J_{z}(x), Y_{z}(x)$ and $K_{z}(x)$ are the Bessel functions, is worked out. So is the theory of a new generalization of $K_{z}(x)$, namely, ${}_1K_{z,w}(x)$. Both these theories as well as that of $ζ_w(s, a)$ are essential to obtain the generalized modular relation.
We have discovered conjectural near-addition formulas for Somos sequences. We have preliminary evidence suggesting the existence of modular theta functions.
In 2013, Lemke Oliver classified all eta-quotients which are theta functions. In this paper, we unify the eta-theta functions by constructing mock modular forms from the eta-theta functions with even characters, such that the shadows of these mock modular forms are given by the eta-theta functions with odd characters. In addition, we prove that our mock modular forms are quantum modular forms. As corollaries, we establish simple finite hypergeometric expressions which may be used to evaluate Eichler integrals of the odd eta-theta functions, as well as some curious algebraic identities.
For a prime $p$ larger than $7$, the Eisenstein series of weight $p-1$ has some remarkable congruence properties modulo $p$. Those imply, for example, that the $j$-invariants of its zeros (which are known to be real algebraic numbers in the interval $[0,1728]$), are at most quadratic over the field with $p$ elements and are congruent modulo $p$ to the zeros of a certain truncated hypergeometric series. In this paper we introduce "theta modular forms" of weight $k \geq 4$ for the full modular group as the modular forms for which the first dim$(M_k)$ Fourier coefficients are identical to certain…
We study the reduction of Picard modular surfaces modulo an inert prime, mod p and p-adic modular forms. We construct a theta operator on such modular forms and study its poles and its effect on Fourier-Jacobi expansions.
Let $F$ be a totally real number field and $\mathfrak{o}$ the ring of integers of $F$. We study theta functions which are Hilbert modular forms of half-integral weight for the Hilbert modular group $\mathrm{SL}_2(\mathfrak{o})$. We obtain an equivalent condition that there exists a multiplier system of half-integral weight for $\mathrm{SL}_2(\mathfrak{o})$. We determine the condition of $F$ that there exists a theta function which is a Hilbert modular form of half-integral weight for $\mathrm{SL}_2(\mathfrak{o})$. The theta function is defined by a sum on a fractional ideal $\mathfrak{a}$ of $…
We show that the meromorphic modular forms recently considered by Bringmann and Kane can be obtained as images of regularized theta lifts of Poincaré series under weight raising operators. We use this fact in order to simplify the evaluation of the regularized pairing, also defined by Bringmann and Kane, of these functions with other meromorphic modular forms.
Given a characteristic, we define a character of the Siegel modular group of level 2, the computations of their values are also obtained. By using our theorems, some key theorems of Igusa [1] can be recovered.
In this paper, we compute the Zwegers's modification of the mock theta functions $Φ^{[m,0] \, \ast}$ and study the modular transformation properties of the indefinite modular forms which appear in the explicit formula for the modified functions $\tildeΦ^{[m,0] \, \ast}$.
We prove that the coefficients of certain mock theta functions possess no linear congruences modulo 3. We prove similar results for the moduli 2 and 3 for a wide class of weakly holomorphic modular forms and discuss applications. This extends work of Radu on the behavior of the ordinary partition function modulo 2 and 3.
The modular transformations of Ramanujan's tenth order mock theta functions are computed, beginning from Choi's Hecke-type identites and using Zwegers' results on indefinite theta series. Explicit completions and shadows are found as an intermediate step. Our result for the modular transformations confirms numerical work by Gordon and McIntosh, and a recent conjecture by Cheng, Duncan, and Harvey.
The mock theta conjectures are ten identities involving Ramanujan's fifth-order mock theta functions. The conjectures were proven by Hickerson in 1988 using q-series methods. Using methods from the theory of harmonic Maass forms, specifically work of Zwegers and Bringmann-Ono, Folsom reduced the proof of the mock theta conjectures to a finite computation. Both of these approaches involve proving the identities individually, relying on work of Andrews-Garvan. Here we give a unified proof of the mock theta conjectures by realizing them as an equality between two nonholomorphic vector-valued modu…
We continue our study of Yoshida's lifting, which associates to a pair of automorphic forms on the adelic multiplicative group of a quaternion algebra a Siegel modular form of degree 2. We consider here the case that the automorphic forms on the quaternion algebra correspond to modular forms of arbitrary even weights and square free levels; in particular we obtain a construction of Siegel modular forms of weight 3 attached to a pair of elliptic modular forms of weights 2 and 4.
We describe the effect of the differential operators defined by Boecherer-Nagaoka, Flander-Ghitza and Yamauchi on the Galois representations (conjecturally) attached to Siegel modular eigenforms.
We investigate hyperderivatives of Drinfeld modular forms and determine formulas for these derivatives in terms of Goss polynomials for the kernel of the Carlitz exponential. As a consequence we prove that v-adic modular forms in the sense of Serre, as defined by Goss and Vincent, are preserved under hyperdifferentiation. Moreover, upon multiplication by a Carlitz factorial, hyperdifferentiation preserves v-integrality.
False theta functions closely resemble ordinary theta functions, however they do not have the modular transformation properties that theta functions have. In this paper, we find modular completions for false theta functions, which among other things gives an efficient way to compute their obstruction to modularity. This has potential applications for a variety of contexts where false and partial theta series appear. To exemplify the utility of this derivation, we discuss the details of its use on two cases. First, we derive a convergent Rademacher-type exact formula for the number of unimodal …
Serre and Stark found a basis for the space of modular forms of weight 1/2 in terms of theta series. In this paper, we generalize their result - under certain mild restrictions on the level and character - to the case of weight 1/2 Hilbert modular forms over a totally real field of narrow class number 1. The methods broadly follow those of Serre-Stark; however we are forced to overcome technical difficulties which arise when we move out of Q.
Generalizing a result of~\cite{Z1991} for modular forms of level~one, we give a closed formula for the sum of all Hecke eigenforms on $Γ_0(N)$, multiplied by their odd period polynomials in two variables, as a single product of Jacobi theta series for any squarefree level $N$. We also show that for $N=2$,~3 and~5 this formula completely determines the Fourier expansions of all Hecke eigenforms of all weights on $Γ_0(N)$.
Unary theta functions have played a significant role in the theory of holomorphic modular forms and modular $L$-functions. A partial theta functions is defined analogously, but the sum is over part of the integer lattice. Such sums fail to have modular properties. We give a construction which unifies these partial theta functions with the mock theta function introduced by Ramanujan. The modularity of Ramanujan's mock theta functions has only recently been understood by the work of Sander Zwegers.
The mod $p$ kernel of the theta operator is the set of modular forms whose image of the theta operator is congruent to zero modulo a prime $p$. In the case of Siegel modular forms, the authors found interesting examples of such modular forms. For example, Igusa's odd weight cusp form is an element of mod 23 kernel of the theta operator. In this paper, we give some examples which represent elements in the mod $p$ kernel of the theta operator in the case of Hermitian modular forms of degree 2.
Let $Γ_n(\mathcal{\scriptstyle{O}}_{\mathbb{K}})$ denote the Hermitian modular group of degree $n$ over an imaginary quadratic number field $\mathbb{K}$ and $Δ_{n,\mathbb{K}}^*$ its maximal discrete extension in the special unitary group $SU(n,n;\mathbb{C})$. In this paper we study the action of $Δ_{n,\mathbb{K}}^*$ on Hermitian theta series and Maass spaces. For $n=2$ we will find theta lattices such that the corresponding theta series are modular forms with respect to $Δ_{2,\mathbb{K}}^*$ as well as examples where this is not the case. Our second focus lies on studying two different Maass sp…
The modular transformation behavior of theta series for indefinite quadratic forms is well understood in the case of elliptic modular forms due to Vignéras, who deduced that solving a differential equation of second order serves as a criterion for modularity. In this paper, we will give a generalization of this result to Siegel theta series.
We construct almost holomorphic and holomorphic modular forms by considering theta series for quadratic forms of signature $(n-1,1)$. We include homogeneous and spherical polynomials in the definition of the theta series (generalizing a construction of the second author) to obtain holomorphic, almost holomorphic and modular theta series. We give a criterion for these series to coincide, enabling us to construct almost holomorphic and holomorphic cusp forms on congruence subgroups of the modular group. Further, we provide numerous explicit examples.
We explain how the work of Johnson-Leung and Roberts on lifting Hilbert modular forms for real quadratic fields to Siegel modular forms can be adapted to imaginary quadratic fields. For this we use archimedean results from Harris, Soudry, Taylor and replace the global arguments of Roberts by the non-vanishing result of Takeda. As an application of our lifting result, we exhibit an abelian surface $B$ defined over $\mathbb{Q}$, which is not restriction of scalars of an elliptic curve and satisfies the Brumer-Kramer Paramodularity Conjecture.
We investigate Siegel theta series for quadratic forms of signature $(m-1,1)$. On the one hand, we construct a holomorphic series that does not transform like a modular form. On the other hand, we construct a non-holomorphic series that transforms like a Siegel modular form of weight $m/2$. Moreover, the holomorphic series describes almost everywhere the holomorphic part of the modular series.
Ramanujan studied the analytic properties of many $q$-hypergeometric series. Of those, mock theta functions have been particularly intriguing, and by work of Zwegers, we now know how these curious $q$-series fit into the theory of automorphic forms. The analytic theory of partial theta functions however, which have $q$-expansions resembling modular theta functions, is not well understood. Here we consider families of $q$-hypergeometric series which converge in two disjoint domains. In one domain, we show that these series are often equal to one another, and define mock theta functions, includi…
We introduce and study higher depth quantum modular forms. We construct two families of examples coming from rank two false theta functions, whose "companions" in the lower half-plane can be also realized both as double Eichler integrals and as non-holomorphic theta series having values of "double error" functions as coefficients. In particular, we prove that the false theta of $\frak{sl}_3$, appearing in the character of the vertex algebra $W^0(p)_{A_2}$, can be written as the sum of two depth two quantum modular forms of positive integral weight.
Let $f(q)$ denote Ramanujan's mock theta function \[f(q) = \sum_{n=0}^{\infty} a(n) q^{n} := 1+\sum_{n=1}^{\infty} \frac{q^{n^{2}}}{(1+q)^{2}(1+q^{2})^{2}\cdots(1+q^{n})^{2}}.\] It is known that there are many linear congruences for the coefficients of $f(q)$ and other mock theta functions. We prove that if the linear congruence $a(mn+t) \equiv 0 \pmod{\ell}$ holds for some prime $\ell \geq 5$, then $\ell | m$ and $(\frac{24t-1}{\ell}) \neq (\frac{-1}{\ell})$. We prove analogous results for the mock theta function $ω(q)$ and for a large class of weakly holomorphic modular forms which includes …
False theta functions form a family of functions with intriguing modular properties and connections to mock modular forms. In this paper, we take the first step towards investigating modular transformations of higher rank false theta functions, following the example of higher depth mock modular forms. In particular, we prove that under quite general conditions, a rank two false theta function is determined in terms of iterated, holomorphic, Eichler-type integrals. This provides a new method for examining their modular properties and we apply it in a variety of situations where rank two false t…
In this paper we consider Jacobi forms of half-integral index for any positive definite lattice L (classical Jacobi forms from the book of Eichler and Zagier correspond to the lattice A_1=<2>). We give a lot of examples of Jacobi forms of singular and critical weights for root systems using Jacobi theta-series. We describe the Jacobi lifting for Jacobi forms of half-integral indices. In some case it gives additive lifting construction of new reflective modular forms.
Siegel modular forms in the space of the mod $p$ kernel of the theta operator are constructed by the Eisenstein series in some odd-degree cases. Additionally, a similar result in the case of Hermitian modular forms is given.
We describe the construction of vector valued modular forms transforming under a given congruence representation of the modular group SL$(\bold Z)$ in terms of theta series. We apply this general setup to obtain closed and easily computable formulas for conformal characters of rational models of $W$-algebras.
Sander Zwegers showed that Ramanujan's mock theta functions are $q$-hypergeometric series, whose $q$-expansion coefficients are half of the Fourier coefficients of a non-holomorphic modular form. George Andrews, Henri Cohen, Freeman Dyson, and Dean Hickerson found a pair of $q$-hypergeometric series each of which contains half of the Fourier coefficients of Maass waveform of eigenvalue $1/4$. This series of papers shows that a $q$-series construction, called ``renormalization'', yields the other half of the Fourier coefficients from a series which contains half of them. This construction unifi…
Ramanujan in his second notebook recorded total of seven $P$--$Q$ modular equations involving theta--function $f(-q)$ with moduli of orders 1, 3, 5 and 15. In this paper, modular equations analogous to those recorded by Ramanujan are obtained involving his theta--functions $φ(q)$ and $ψ(-q)$ with moduli of orders 1, 3, 5 and 15. As a consequence, several values of quotients of theta--function and a continued fraction of order 12 are explicitly evaluated.
In a series of papers we have been studying the geometric theta correspondence for non-compact arithmetic quotients of symmetric spaces associated to orthogonal groups. It is our overall goal to develop a general theory of geometric theta liftings in the context of the real differential geometry/topology of non-compact locally symmetric spaces of orthogonal and unitary groups which generalizes the theory of Kudla-Millson in the compact case. In this paper we study in detail the geometric theta lift for Hilbert modular surfaces. In particular, we will give a new proof and an extension (to all f…
It is proved that the theta series of an even lattice whose level is a power of a prime $\ell$ is congruent modulo $\ell$ to an elliptic modular form of level~1. The proof uses arithmetic and algebraic properties of lattices rather than methods from the theory of modular forms. The methods presented here may therefore be especially pleasing to those working in the theory of quadratic forms, and they admit generalizations to more general types of theta series as they occur e.g. in the theory of Siegel or Hilbert modular forms.
In this paper, we use regularized theta liftings to construct weak Maass forms weight 1/2 as lifts of weak Maass forms of weight 0. As a special case we give a new proof of some of recent results of Duke, Toth and Imamoglu on cycle integrals of the modular j-invariant and extend these to any congruence subgroup. Moreover, our methods allow us to settle the open question of a geometric interpretation for periods of j along infinite geodesics in the upper half plane. In particular, we give the `central value' of the (non-existing) `L-function' for j. The key to the proofs is the construction of …
We give some relations between the weights and the prime $p$ of elements of the mod $p$ kernel of the generalized theta operator $Θ^{[j]}$. In order to construct examples of the mod $p$ kernel of $Θ^{[j]}$ from any modular form, we introduce new operators $A^{(j)}(M)$ and show the modularity of $F|A^{(j)}(M)$ when $F$ is a modular form. Finally, we give some examples of the mod $p$ kernel of $Θ^{[j]}$ and the filtrations of some of them.
We consider the classical theta operator $θ$ on modular forms modulo $p^m$ and level $N$ prime to $p$ where $p$ is a prime greater than 3. Our main result is that $θ$ mod $p^m$ will map forms of weight $k$ to forms of weight $k+2+2p^{m-1}(p-1)$ and that this weight is optimal in certain cases when $m$ is at least 2. Thus, the natural expectation that $θ$ mod $p^m$ should map to weight $k+2+p^{m-1}(p-1)$ is shown to be false. The primary motivation for this study is that application of the $θ$ operator on eigenforms mod $p^m$ corresponds to twisting the attached Galois representations with the …
Utilizing a classification due to Lemke Oliver of eta-quotients which are also theta functions (here called eta-theta functions), Folsom, Garthwaite, Kang, Treneer, and the fourth author constructed a catalog of mock modular forms $V_{mn}$ having weight $3/2$ eta-theta function shadows and showed that these mock modular forms when viewed on certain sets of rationals, transform as quantum modular forms under the action of explicit subgroups. In this paper, we introduce an infinite class of functions that generalizes one row of the catalog, namely the $V_{m1}$, and show that the functions in thi…
Theta series for indefinite quadratic lattices were introduced by Zwegers, for signature (m-1,1), Alexandrov, Banerjee, Manschot and Pioline, for signature (m-2,2), and Nazaroglu, for signature (m-q,q). These series are modular modular completions, defined by means of generalized error functions, of certain non-modular holomorphic generating series associated to lattice vectors in positive cones. We show that these modular forms arise as integrals of the theta forms, defined in work of Millson and the second author, over certain singular q-cubes. We also give an explicit formula for the integr…
Let L be the even unimodular lattice of signature (2,10), In the paper [FS] we considered the subgroup O(L)^+ of index two in the orthogonal group. It acts biholomorphically on a ten dimensional tube domain H_{10}. We found a 715 dimensional space of modular forms with respect to the principal congruence subgroup of level two O^+(L)[2]. It defines an everywhere regular birational embedding of the related modular variety into the 714 dimensional projective space. In this paper, we prove that this space of orthogonal modular forms is related to a space of theta series. The main tool is a modular…
Using results from Ramanujan's lost notebook, Zudilin recently gave an insightful proof of a radial limit result of Folsom, Ono, and Rhoades for mock theta functions. Here we see that the author's previous work on the dual nature of Appell--Lerch sums and partial theta functions and on constructing bilateral $q$-series with mixed mock modular behaviour is well-suited for such radial limits. We present five more radial limit results which follow from mixed mock modular bilateral $q$-hypergeometric series. We also obtain the mixed mock modular bilateral series for a universal mock theta function…
We describe an algorithm for computing the inner product between a holomorphic modular form and a unary theta function, in order to determine whether the form is orthogonal to unary theta functions without needing a basis of the entire space of modular forms and without needing to use linear algebra to decompose this space completely.
In the proposed work, we establish a total of six new $P$--$Q$ modular equations involving theta--function $f(-q)$ with moduli of orders 1, 3, 7 and 21.These equations can be regarded as modular identities in the alternate theory of signature 3. As a consequence, several values of quotients of theta--function are evaluated.
In his second notebook, Ramanujan recorded total of 23 P-Q modular equations involving theta-functions $f(-q)$, $φ(q)$ and $ψ(q)$. In this paper, modular equations analogous to those recorded by Ramanujan are obtained involving $f(-q)$. As a consequence, values of certain quotients of theta-function are evaluated.
We prove an algebraic property of the elements defining Hecke operators on period polynomials associated with modular forms, which implies that the pairing on period polynomials corresponding to the Petersson scalar product of modular forms is Hecke equivariant. As a consequence of this proof, we derive two indefinite theta series identities which can be seen as analogues of Jacobi's formula for the theta series associated with the sum of four squares.
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.
False theta functions are functions that are closely related to classical theta functions and mock theta functions. In this paper, we study their modular properties at all ranks by forming modular completions analogous to modular completions of indefinite theta functions of any signature and thereby develop a structure parallel to the recently developed theory of higher depth mock modular forms. We then demonstrate this theoretical base on a number of examples up to depth three coming from characters of modules for the vertex algebra $W^0(p)_{A_n}$, $1 \leq n \leq 3$, and from $\hat{Z}$-invari…
