In a previous paper \cite{BorGunn}, we defined the space of toric forms $\TTT(l)$, and showed that it is a finitely generated subring of the holomorphic modular forms of integral weight on the congruence group $Γ_1(l)$. In this article we prove the following theorem: modulo Eisenstein series, the weight two toric forms coincide exactly with the vector space generated by all cusp eigenforms f such that $L(f,1) \not = 0$. The proof uses work of Merel, and involves an explicit computation of the intersection pairing on Manin symbols.
These are the notes from a survey talk given at Arbeitstagung 2001 covering the author's work with Lev Borisov and Sorin Popescu on toric varieties, modular forms, and equations of modular curves.
We describe algorithms for computing central values of twists of $L$-functions associated to Hilbert modular forms, carry out such computations for a number of examples, and compare the results of these computations to some heuristics and predictions from random matrix theory.
We study the analytic behavior of the restriction of a Siegel modular form to $\mathbb{H} \times \mathbb{H}$ in the case that the Siegel form is a Saito-Kurokawa lift. A formula of Ichino links this behavior to a family of $GL_3 \times GL_2$ $L$-functions.
Let $N\subset \RR^{r}$ be a lattice, and let $°\colon N \to \CC$ be a piecewise-linear function that is linear on the cones of a complete rational polyhedral fan. Under certain conditions on $°$, the data $(N,°)$ determines a function $f\colon {\HHH}\to \CC$ that is a holomorphic modular form of weight $r$ for the congruence subgroup $Γ_{1} (l) $. Moreover, by considering all possible pairs $(N ,°)$, we obtain a natural subring ${\TTT} (l)$ of modular forms with respect to $Γ_{1} (l) $. We construct an explicit set of generators for $\TTT (l)$, and show that ${\TTT} (l)$ is stable under the ac…
A quadratic twist of the L-function associated with a modular form is known to satisfy a functional equation, which may be even or odd. A result due to Gross and Zagier explicitly computes the central value of the L-function or its derivative. In prime level when the functional equation is even, Michel and Ramakrishnan have used an averaging method to prove several consequences of the Gross-Zagier formulae, including a non-vanishing result. The present research concerns L-functions arising from newforms in prime-squared level, which necessarily have odd functional equations. Such an L-function…
We construct classes in the motivic cohomology of certain 1-parameter families of Calabi-Yau hypersurfaces in toric Fano n-folds, with applications to local mirror symmetry (growth of genus 0 instanton numbers) and inhomogeneous Picard-Fuchs equations. In the case where the family is classically modular the classes are related to Belinson's Eisenstein symbol; the Abel-Jacobi map (or rational regulator) is computed in this paper for both kinds of cycles. For the "modular toric" families where the cycles essentially coincide, we obtain a motivic (and computationally effective) explanation of a p…
We study several aspects of nonvanishing Fourier coefficients of elliptic modular forms $\bmod \ell$, partially answering a question of Bellaïche-Soundararajan concerning the asymptotic formula for the count of the number of Fourier coefficients upto $x$ which do not vanish $\bmod \ell$. We also propose a precise conjecture as a possible answer to this question. Further, we prove several results related to the nonvanishing of arithmetically interesting (e.g., primitive or fundamental) Fourier coefficients $\bmod \ell $ of a Siegel modular form with integral algebraic Fourier coefficients provi…
In two previous papers we used the geometry of complete polyhedral fans to construct a subring $\TTT (l)$ of the modular forms on $Γ_{1} (l)$, and showed that for weight two the cuspidal part of $\TTT (l)$ coincides with the space of cusp forms of analytic rank zero. In this paper we show that in weights greater than two, the cuspidal part of $\TTT (l)$ coincides with the space of all cusp forms.
Let $D$ be a definite quaternion algebra over $\mathbb{Q}$ and $\mathcal{O}$ an Eichler order in $D$ of square-free level. We study distribution of the toric periods of algebraic modular forms of level $\mathcal{O}$. We focus on two problems: non-vanishing and sign changes. Firstly, under certain conditions on $\mathcal{O}$, we prove the non-vanishing of the toric periods for positive proportion of imaginary quadratic fields. This improves the known lower bounds toward Goldfeld's conjecture in some cases and provides evidence for similar non-vanishing conjectures for central values of twisted …
Squashed toric sigma models are a class of sigma models whose target space is a toric manifold in which the torus fibration is squashed away from the fixed points so as to produce a neck-like region. The elliptic genera of squashed toric-Calabi-Yau manifolds are known to obey the modular transformation property of holomorphic Jacobi forms, but have an explicit non-holomorphic dependence on the modular parameter. The elliptic genus of the simplest one-dimensional example is known to be a mixed mock Jacobi form, but the precise automorphic nature for the general case remained to be understood. W…
We study a class of two-dimensional N=(2,2) sigma models called squashed toric sigma models, using their Gauged Linear Sigma Models (GLSM) description. These models are obtained by gauging the global U(1) symmetries of toric GLSMs and introducing a set of corresponding compensator superfields. The geometry of the resulting vacuum manifold is a deformation of the corresponding toric manifold in which the torus fibration maintains a constant size in the interior of the manifold, thus producing a neck-like region. We compute the elliptic genus of these models, using localization, in the case when…
Let F(z) be a newform of weight 2k and level one with a trivial character, and assume that F(z) is a non-zero eigenform of all Hecke operators. In this paper, we study nonvanishing for central values of twisted modular L-function of F.
We show that every elliptic modular form of integral weight greater than $1$ can be expressed as linear combinations of products of at most two cusp expansions of Eisenstein series. This removes the obstruction of nonvanishing central $\mathrm{L}$-values present in all previous work. For weights greater than $2$, we refine our result further, showing that linear combinations of products of exactly two cusp expansions of Eisenstein series suffice.
Given a weight two modular form f with associated p-adic Galois representation V_f, for certain quadratic imaginary fields K one can construct canonical classes in the Galois cohomology of V_f by taking the Kummer images of Heegner points on the modular abelian variety attached to f. We show that these classes can be interpolated as f varies in a Hida family, and construct an Euler system of big Heegner points for Hida's universal ordinary deformation of V_f. We show that the specialization of this big Euler system to any form in the Hida family is nontrivial, extending results of Cornut and V…
We prove under mild hypotheses the three-variable Iwasawa main conjecture for $p$-ordinary modular forms in the indefinite setting. Our result is in a setting complementary to that in the work of Skinner-Urban, and it has applications to Greenberg's nonvanishing conjecture for the first derivatives at the center of $p$-adic $L$-functions of cusp forms in Hida families with root number $-1$ and to Howard's horizontal nonvanishing conjecture.
A generalized Riemann hypothesis states that all zeros of the completed Hecke $L$-function $L^*(f,s)$ of a normalized Hecke eigenform $f$ on the full modular group should lie on the vertical line $Re(s)=\frac{k}{2}.$ It was shown by Kohnen that there exists a Hecke eigenform $f$ of weight $k$ such that $L^*(f,s) \neq 0$ for sufficiently large $k$ and any point on the line segments $Im(s)=t_0, \frac{k-1}{2} < Re(s) < \frac{k}{2}-ε, \frac{k }{2}+ε< Re(s) < \frac{k+1}{2},$ for any given real number $t_0$ and a positive real number $ε.$ This paper concerns the non-vanishing of the product $L^*(f,s…
We construct p-adic L-functions associated to cuspidal Hilbert modular eigenforms of parallel weight two in certain dihedral or anticyclotomic extensions via the Jacquet-Langlands correspondence, generalizing works of Bertolini-Darmon, Vatsal and others. The construction given here is adelic, which allows us to deduce a precise interpolation formula from a Waldspurger type formula, as well as a formula for the dihedral mu-invariant. We also make a note of Howard's nonvanishing criterion for these p-adic L-functions, which can be used to reduce the associated Iwasawa main conjecture to a certai…
Let L >= 3. Using the moduli interpretation, we define certain elliptic modular forms of level Gamma(L) over any field k where 6L is invertible and k contains the Lth roots of unity. These forms generate a graded algebra R_L, which, over C, is generated by the Eisenstein series of weight 1 on Gamma(L). The main result of this article is that, when k=C, the ring R_L contains all modular forms on Gamma(L) in weights >= 2. The proof combines algebraic and analytic techniques, including the action of Hecke operators and nonvanishing of L-functions. Our results give a systematic method to produce m…
This article describes results of joint work with Michael Rapoport and Tonghai Yang. First, we construct an modular form ϕ(τ) of weight 3/2 valued in the arithmetic Chow group of the arithmetic surface M attached toa Shimura curve over Q. The q-expansion of this function is an analogue of the Hirzebruch-Zagier generating function for the cohomology classes of curves on a Hilbert modular surface. This`arithmetic theta function' is used to define an `arithmetic theta lift' from modular forms of weight 3/2 to the arithmetic Chow group of M. For integers t_1 and t_2 with t_1t_2 not a square, the (…
In this paper, we calculate the Fourier coefficients of the paramodular twist of a Siegel modular form of paramodular level $N$ by a nontrivial quadratic Dirichlet character mod $p$ for $p$ a prime not dividing $N$. As an application, these formulas can be used to verify the nonvanishing of the twist for particular examples. We also deduce that the twists of Maass forms are identically zero.
We investigate Poincaré series, where we average products of terms of Fourier series of real-analytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincaré series are almost holomorphic as well. In general this is not the case. The main point of this paper is the study of Siegel-Poincaré series of degree $2$ attached to products of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms. …
We prove an algebraicity result for the central critical value of certain Rankin-Selberg L-functions for GL(n) x GL(n-1). This is a generalization and refinement of some results of Harder, Kazhdan-Mazur-Schmidt, Mahnkopf, and Kasten-Schmidt. As an application of this result, we prove algebraicity results for certain critical values of the fifth and the seventh symmetric power L-functions attached to a holomorphic cusp form. Assuming Langlands functoriality one can prove similar algebraicity results for the special values of any odd symmetric power L-function. We also prove a conjecture of Blas…
In this article, we prove an explicit Waldspurger formula for the toric Hilbert modular forms. As an application, we construct a class of anticyclotomic p-adic Rankin-Selberg L-functions for Hilbert modular forms, generalizing the construction of Bertolini, Darmon and Prasanna in the elliptic case. Moreover, building on works of Hida, we give a necessary and sufficient condition when the Iwasawa mu-invariant of this p-adic L-function vanishes and prove a result on the non-vanishing modulo $p$ of central Rankin-Selberg L-values with anticyclotomic twists.
Inspired by Lehmer's conjecture on the nonvanishing of the Ramanujan $τ$-function, one may ask whether an odd integer $α$ can be equal to $τ(n)$ or any coefficient of a newform $f(z)$. Balakrishnan, Craig, Ono, and Tsai used the theory of Lucas sequences and Diophantine analysis to characterize non-admissible values of newforms of even weight $k\geq 4$. We use these methods for weight $2$ and $3$ newforms and apply our results to $L$-functions of modular elliptic curves and certain $K3$ surfaces with Picard number $\ge 19$. In particular, for the complete list of weight $3$ newforms $f_λ(z)=\s…
This work considers aspects of almost holomorphic and meromorphic Siegel modular forms from the perspective of physics and mathematics. The first part is concerned with (refined) topological string theory and the direct integration of the holomorphic anomaly equations. Here, a central object to compute higher genus amplitudes, which serve as the generating functions of various enumerative invariants, is provided by the so-called propagator. We derive a universal expression for the propagator for geometries that have mirror curves of genus two which is given by the derivative of the logarithm o…
We study mirror symmetric pairs of Calabi--Yau manifolds over finite fields. In particular we compute the number of rational points of the manifolds as a function of the complex structure parameters. The data of the number of rational points of a Calabi--Yau $X/\mathbb{F}_q$ can be encoded in a generating function known as the congruent zeta function. The Weil Conjectures (proved in the 1970s) show that for smooth varieties, these functions take a very interesting form in terms of the Betti numbers of the variety. This has interesting implications for mirror symmetry, as mirror symmetry exchan…
The Kaleidoscopic Filter on the Partition Manifold, Part I: The Simplicial Ehrhart, Barycentric Pascal Product, and Continuous Bernoulli Exact Closed Forms for $p(n)$
