The goal of this paper is to provide a complete and refined study of the standard $L$-functions $L(π,\operatorname{Std},s)$ for certain non-generic cuspidal automorphic representations $π$ of $G_2(\mathbb{A})$. For a cuspidal automorphic representation $π$ of $G_2(\mathbb{A})$ that corresponds to a modular form $φ$ of level one and of even weight on $G_2$, we explicitly define the completed standard $L$-function, $Λ(π,\operatorname{Std},s)$. Assuming that a certain Fourier coefficient of $φ$ is nonzero, we prove the functional equation $Λ(π,\operatorname{Std},s) = Λ(π,\operatorname{Std},1-s)$. Our proof proceeds via a careful analysis of a Rankin-Selberg integral that is due to an earlier work of Gurevich and Segal.
We construct a Taylor-Wiles system using a family of $p$-adically completed modular Jacobians over suitable Hecke algebras and prove that certain $p$-adically completed Mordell-Weil groups of these Jacobians is free of finite rank over a Hecke algebra.
This is a continuation of our previous work on the locally analytic vectors of the completed cohomology of modular curves. We construct differential operators on modular curves with infinite level at p in both "holomorphic" and "anti-holomorphic" directions. As applications, we reprove a classicality result of Emerton which says that every absolutely irreducible two dimensional Galois representation which is regular de Rham at p and appears in the completed cohomology of modular curves comes from an eigenform. Moreover we give a geometric description of the locally analytic representations of …
We study the locally analytic vectors in the completed cohomology of modular curves and determine the eigenvectors of a rational Borel subalgebra of $\mathfrak{gl}_2(\mathbb{Q}_p)$. As applications, we prove a classicality result for overconvergent eigenforms of weight one and give a new proof of the Fontaine-Mazur conjecture in the irregular case under some mild hypotheses. For an overconvergent eigenform of weight $k$, we show its corresponding Galois representation has Hodge-Tate-Sen weights $0,k-1$ and prove a converse result.
We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding of the quotient of overconvergent modular forms by classical modular forms, which is the obstruction space for classicality in either cohomological degree, into a unitary representation of $\mathrm{GL}_2(\mathbb{Q}_p)$. The $U_p$ operator becomes a double-coset, and unitarity yields the slope vanishing.
In this paper, we compare two different constructions of $p$-adic $L$-functions for modular forms and their relationship to Galois cohomology: one using Kato's Euler system and the other using Emerton's $p$-adically completed cohomology of modular curves. At a more technical level, we prove the equality of two elements of a local Iwasawa cohomology group, one arising from Kato's Euler system, and the other from the theory of modular symbols and $p$-adic local Langlands correspondence for $GL_2(\mathbb{Q}_p)$. We show that this equality holds even in the cases when the construction of $p$-adic …
We construct a $(\mathfrak{gl}_2, B(\mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb{P}^1$, landing in the compactly supported completed $\mathbb{C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb{P}^1, \mathcal{O}(-k))$, and on …
While investigating the Doi-Naganuma lift, Zagier defined integral weight cusp forms $f_D$ which are naturally defined in terms of binary quadratic forms of discriminant $D$. It was later determined by Kohnen and Zagier that the generating function for the $f_D$ is a half-integral weight cusp form. A natural preimage of $f_D$ under a differential operator at the heart of the theory of harmonic weak Maass forms was determined by the first two authors and Kohnen. In this paper, we consider the modularity properties of the generating function of these preimages. We prove that although the generat…
We give a Rankin-Selberg integral representation for the Spin (degree eight) $L$-function on $\mathrm{PGSp}_6$. The integral applies to the cuspidal automorphic representations associated to Siegel modular forms. If $π$ corresponds to a level one Siegel modular form $f$ of even weight, and if $f$ has a non-vanishing maximal Fourier coefficient (defined below), then we deduce the functional equation and finiteness of poles of the completed Spin $L$-function $Λ(π,Spin,s)$ of $π$.
We give a description of the maximally unramified extension of completed second Real Johnson-Wilson theory using supersingular elliptic curves with $Γ_0(3)$-level structures.
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.
We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an affirmative answer to a question posed by Serre in a 1987 letter to Tate. The proof is geometric, and lifts a mod $p$ argument due to Serre: we evaluate modular forms by identifying a quaternionic double-coset with a fiber of the Hodge-Tate period map, and extend functions off of the double-coset using fake Hasse invariants. In particular, this gives a new proo…
Theta functions for definite signature lattices constitute a rich source of modular forms. A natural question is then their generalization to indefinite signature lattices. One way to ensure a convergent theta series while keeping the holomorphicity property of definite signature theta series is to restrict the sum over lattice points to a proper subset. Although such series do not have the modular properties that a definite signature theta function has, as shown by Zwegers for signature $(1,n-1)$ lattices, they can be completed to a function that has these modular properties by compromising o…
We define a generalisation of the completed Riemann zeta function in several complex variables. It satisfies a functional equation, shuffle product identities, and has simple poles along finitely many hyperplanes, with a recursive structure on its residues. The special case of two variables can be written as a partial Mellin transform of a real analytic Eisenstein series, which enables us to relate its values at pairs of positive even points to periods of (simple extensions of symmetric powers of the cohomology of) the CM elliptic curve corresponding to the Gaussian integers. In general, the t…
Let $F$ be the element $\sum_{n\ \mathit{odd},\ n>0}x^{n^{2}}$ of $Z/2[[x]]$. Set $G=F(x^{5})$, $D=F(x)+F(x^{25})$. For $k>0$, $(k,10)=1$, define $D_{k}$ as follows. $D_{1}=D$, $D_{3}=D^{8}/G$, $D_{7}=D^{2}G$, $D_{9}=D^{4}G$; furthermore $D_{k+10}=G^{2}D_{k}$. Using modular forms of level $Γ_{0}(5)$ we show that the space $W$ spanned by the $D_{k}$ is stabilized by the formal Hecke operators $T_{p}:Z/2[[x]]\rightarrow Z/2[[x]]$, $p\ne 2$ or $5$. And we determine the structure of the (completed) shallow Hecke algebra attached to $W$. This algebra proves to be a power series ring in $T_{3}$ and …
The purpose of this partly expository paper is to give an introduction to modular forms on $G_2$. We do this by focusing on two aspects of $G_2$ modular forms. First, we discuss the Fourier expansion of modular forms, following work of Gan-Gross-Savin and the author. Then, following Gurevich-Segal and Segal, we discuss a Rankin-Selberg integral yielding the standard $L$-function of modular forms on $G_2$. As a corollary of the analysis of this Rankin-Selberg integral, one obtains a Dirichlet series for the standard $L$-function of $G_2$ modular forms; this involves the arithmetic invariant the…
In this work we study the analytic properties of the standard L-function attached to Siegel-Jacobi modular forms of higher index, generalizing previous results of Arakawa and Murase. Furthermore, we obtain algebraicity results on special L-values in the spirit of Deligne's Period Conjectures.
Let $D$ in $Z/2[[x]]$ be $\sum x^{n^{2}}$, $n>0$ and prime to $6$. Let $W$ be spanned by the $D^{k}$, $k>0$ and prime to $6$. Then the formal Hecke operators $T_{p}$, $p>3$, stabilize $W$, and it can be shown that they act locally nilpotently. We show that the completion of the Hecke algebra generated by these $T_{p}$ acting on $W$, with respect to the maximal ideal generated by the $T_{p}$, is a power series ring in $T_{7}$ and $T_{13}$ with an element of square $0$ adjoined. This may be viewed as a level 3 analog of the level 1 results of Nicolas and Serre -- the Hecke stable space they stud…
Zhiwei Yun and Wei Zhang introduced the notion of "super-positivity of self dual L-functions" which specifies that all derivatives of the completed L-function (including Gamma factors and power of the conductor) at the central value $s = 1/2$ should be non-negative. They proved that the Riemann hypothesis implies super-positivity for self dual cuspidal automorphic L-functions on $GL(n)$. Super-positivity of the Riemann zeta function was established by Pólya in 1927 and since then many other cases have been found by numerical computation. In this paper we prove, for the first time, that there a…
We proof a Garrett-Böcherer decomposition of a vector valued Siegel Eisenstein series $E_{l,0}^2$ of genus 2 transforming with the Weil representation of $\text{Sp}_2(\mathbb{Z})$ on the group ring $\mathbb{C}[(L'/L)^2]$. We show that the standard zeta function associated to a vector valued common eigenform $f$ for the Weil representation can be meromorphically continued to the whole $s$-plane and that it satisfies a functional equation. The proof is based on an integral representation of this zeta function in terms of $f$ and $E_{l,0}^2$.
Let $E_n$ be the Siegel Eisenstein series of degree $n$ and weight $k$ with a complex parameter $s$. In this paper, using a differential operator $D$ by Ibukiyama which sends a scalar valued Siegel modular form to the tensor product of two vector valued Siegel modular forms, under a certain condition, we give a formula of $DE_{p+q}$ on $H_p\times H_q$, where $H_n$ is the Siegel upper half space of degree $n$. Furthermore, we give some applications of this formula, i.e., analytic properies of standard $L$-functions and the Klingen Eisenstein series and algebraicity results for Siegel modular fo…
Let $F$ be a totally real number field and let $f$ be a classical cuspidal $p$-regular Hilbert modular eigenform over $F$ of parallel weight $1$. Let $x$ be the point on the $p$-adic Hilbert eigenvariety $\mathcal E$ corresponding to an ordinary $p$-stabilization of $f$. We show that if the $p$-adic Schanuel Conjecture is true, then $\mathcal E$ is smooth at $x$ if $f$ has CM. If we additionally assume that $F/\mathbb Q$ is Galois, we show that the weight map is étale at $x$ if $f$ has either CM or exotic projective image (which is the case for almost all cuspidal Hilbert modular eigenforms of…
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.
The standard approach to evaluate Hecke eigenvalues of a Siegel modular eigenform F is to determine a large number of Fourier coefficients of F and then compute the Hecke action on those coefficients. We present a new method based on the numerical evaluation of F at explicit points in the upper-half space and of its image under the Hecke operators. The approach is more efficient than the standard method and has the potential for further optimization by identifying good candidates for the points of evaluation, or finding ways of lowering the truncation bound. A limitation of the algorithm is th…
Let $K$ be an imaginary quadratic field. Modular forms for GL(2) over $K$ are known as Bianchi modular forms. Standard modularity conjectures assert that every weight 2 rational Bianchi newform has either an associated elliptic curve over $K$ or an associated abelian surface with quaternionic multiplication over $K$. We give explicit evidence in the way of examples to support this conjecture in the latter case. Furthermore, the quaternionic surfaces given correspond to genuine Bianchi newforms, which answers a question posed by J. Cremona as to whether this phenomenon can happen.
In this work we use the Rankin-Selberg method to obtain results on the analytic properties of the standard $L$-function attached to vector valued Siegel modular forms. In particular we provide a detailed description of its possible poles and obtain a non-vanishing result of the twisted $L$-function beyond the usual range of absolute convergence. We remark that these results were known in this generality only in the case of scalar weight Siegel modular forms. As an interesting by-product of our work we establish the cuspidality of some theta series.
This paper presents the theory of holomorphic vector valued modular forms from a geometric perspective. More precisely, we define certain holomorphic vector bundles on the modular orbifold of generalized elliptic curves whose sections are vector valued modular forms. This perspective simplifies the theory, and it clarifies the role that exponents of representations of SL_2(Z) play in the holomorphic theory of vector valued modular forms. Further, it allows one to use standard techniques in algebraic geometry to deduce free-module theorems and dimension formulae (deduced previously by other aut…
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.
In this article we present an algorithm that uses the graded algebra structure of Hilbert modular forms to compute the adelic $q$-expansion of Hilbert modular forms of weight one as the quotient of Hilbert modular forms of higher weight. The main improvement to existing methods is that our algorithm can be applied in weight $1$, which fills a gap left by standard computational methods. Additionally, the algorithm can be used to compute Hilbert modular forms over finite fields in all characteristic simultaneously. We use this algorithm to compute a first candidate of a Hilbert modular form of p…
For a cuspidal Hecke eigenform $F$ for $Sp_n(Z)$ and a Dirichlet character $χ$ let $L(s,F,χ,St)$ be the standard $L$-function of $F$ twisted by $χ$. Boecherer showed the boundedness of denominators of the algebraic part of $L(m,F,χ,St)$ at a critical point $m$ when $χ$ varies. In this paper, we give a refined version of his result We also prove a similar result for the products of Hecke $L$ functions of primitive forms for $SL_2(Z)$.
A second-quantized version of Mathieu moonshine leads to product formulae for functions that are potentially genus-two Siegel Modular Forms analogous to the Igusa Cusp Form. The modularity of these functions do not follow in an obvious manner. For some conjugacy classes, but not all, they match known modular forms. In this paper, we express the product formulae for all conjugacy classes of $M_{24}$ in terms of products of standard modular forms. This provides a new proof of their modularity.
This paper investigates the relations between modular graph forms, which are generalizations of the modular graph functions that were introduced in earlier papers motivated by the structure of the low energy expansion of genus-one Type II superstring amplitudes. These modular graph forms are multiple sums associated with decorated Feynman graphs on the world-sheet torus. The action of standard differential operators on these modular graph forms admits an algebraic representation on the decorations. First order differential operators are used to map general non-holomorphic modular graph functio…
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…
The modular case of the André-Oort Conjecture is a theorem of Andre and Pila, having at its heart the well-known modular function j. I give an overview of two other `nonclassical' classes of modular function, namely the quasimodular (QM) and almost holomorphic modular (AHM) functions. These are perhaps less well-known than j, but have been studied by various authors including for example Masser, Shimura and Zagier. It turns out to be sufficient to focus on a particular QM function $χ$ and its dual AHM function $χ^*$, since these generate the relevant fields. After discussing some of the proper…
We apply machine-learning to the study of dessins d'enfants. Specifically, we investigate a class of dessins which reside at the intersection of the investigations of modular subgroups, Seiberg-Witten curves and extremal elliptic K3 surfaces. A deep feed-forward neural network with simple structure and standard activation functions without prior knowledge of the underlying mathematics is established and imposed onto the classification of extension degree over the rationals, known to be a difficult problem. The classifications reached 0.92 accuracy with 0.03 standard error relatively quickly. T…
For $g=8,12,16$ and $24$, there is a nonzero alternating $g$-multilinear form on the ${\rm Leech}$ lattice, unique up to a scalar, which is invariant by the orthogonal group of ${\rm Leech}$. The harmonic Siegel theta series built from these alternating forms are Siegel modular cuspforms of weight $13$ for ${\rm Sp}_{2g}(\mathbb{Z})$. We prove that they are nonzero eigenforms, determine one of their Fourier coefficients, and give informations about their standard ${\rm L}$-functions. These forms are interesting since, by a recent work of the authors, they are the only nonzero Siegel modular fo…
