First we reprove, using representation theory and the relative trace formula of Jacquet, an average value result of Duke for modular L-series at the critical center. We also establish a refinement. To be precise, the L-value which appears is L(1/2, f)L(1/2,f,χ) (divided by the Petersson norm of f), and the average is over newforms f of prime level N and coefficients a_p(f), with χbeing an odd quadratic Dirichlet character of conductor -D and associated quadratic field K. For any prime p not dividing ND, the asymptotic as N goes to infinity is governed by a measure μ_p, which is the Plancherel measure at p when χ(p)=-1, but is new if χ(p)=1; as p goes to infinity both measures approach the Sato-Tate measure. A particular consequence of our refinement is that for any non-empty interval J in [-2,2], there are infinitely many primes N, which are inert in K, such that for some f of level N, a_p(f) is in J and L(1/2, f)L(1/2,f,χ) is non-zero.
Zagier proved that the generating series for the traces of singular moduli is a \textit{weakly holomorphic} modular form of weight 3/2 on $Γ_0(4)$. Bruinier and Funke extended the results of Zagier to modular curves of arbitrary genus. Zagier also showed that the twisted traces of singular moduli are generated by a weakly holomorphic modular form of weight 3/2. In this paper, we study the extension of Zagier's result for the twisted traces of singular moduli to congruence subgroups $Γ_0(N)$. As an application, we study congruences for the twisted traces of singular moduli of weakly holomorphic…
Zagier proved that the traces of singular values of the classical j-invariant are the Fourier coefficients of a weight 3/2 modular form and Duke provided a new proof of the result by establishing an exact formula for the traces using Niebur's work on a certain class of non-holomorphic modular forms. In this short note, by utilizing Niebur's work again, we generalize Duke's result to exact formulas for traces of singular moduli of higher level modular functions.
We present a formula for vector-valued modular forms, expressing the value of the Hilbert-polynomial of the module of holomorphic forms evaluated at specific arguments in terms of traces of representation matrices, restricting the weight distribution of the free generators.
We describe (in a representation theoretic setting) a simple comparison of trace formulas, which implies that the conjugate of a Hilbert modular form $f$ by an automorphism of ${\Bbb C}$ again is a Hilbert modular form of the same level and conjugate weight as $f$. This is a Theorem of Shimura for which we obtain a new proof (cf. Theorem 3.3 and Corollary 3.4
The purpose of this note is to report on recent joint work with J. Funke, P. Jenkins, and K. Ono on the traces of CM values of modular functions and some applications.
We provide a generalization of an algebraic linear combination for the trace of certain elliptic modular forms, and through specializing the expression at a suitable pair consisting of an elliptic curve over algebraic number fields and its a certain cyclic subgroup with finite order, show a formula between distinct algebraic number fields, the one related to modular forms and the other related to elliptic curves.
In this preprint we prove that any finite slope modular form fits into a p-adic family of modular forms which is indexed by the weight. Here, the term p-adic family means that p-adic congruences between weights entail certain p-adic congruences between the corresponding modular forms. We also show that the dimension of the slope subspace of the space of modular forms does not depend on the weight. Both statements are predicted by the Mazur-Gouvea Conjecture, which has been proven by Coleman using methods from rigid analytic geometry. In contrast our proof is based on a comparison of (topologic…
After Zagier proved that the traces of singular moduli $j(z)$ are Fourier coefficients of a weakly holomorphic modular form, various properties of the traces of the singular values of modular functions mostly on the full modular group $PSL_2(\mathbb{Z})$ have been investigated such as their exact formulas, limiting distribution, duality, and congruences. The purpose of this paper is to generalize these arithmetic properties of traces of singular values of a weakly holomorphic modular function on the full modular group to those on a congruence subgroup $Γ_0(N)$.
We present the first example of the Selberg type zeta function for noncompact higher rank locally symmetric spaces. We study certain Selberg type zeta functions and Ruelle type zeta functions attached to the Hilbert modular group of a real quadratic field. We show that they have meromorphic extensions to the whole complex plane and satisfy functional equations. The method is based on considering the differences among several Selberg trace formulas with different weights for the Hilbert modular group. Besides as an application of the differences of the Selberg trace formula, we also obtain an a…
We give a new, simple proof of the trace formula for Hecke operators on modular forms for finite index subgroups of the modular group. The proof uses algebraic properties of certain universal Hecke operators acting on period polynomials of modular forms, and it generalizes an approach developed by Don Zagier and the author for the modular group. This approach leads to a very simple formula for the trace on the space of cusp forms plus the trace on the space of modular forms. As applications, we investigate what happens when varying the weight or the level in the trace formula.
We elaborate an explicit version of the relative trace formula on $\PGL(2)$ over a totally real number field for the toral periods of Hilbert cusp forms along the diagonal split torus. As an application, we prove (i) a spectral equidistribution result in the level aspect for Satake parameters of holomorphic Hilbert cusp forms weighted by central $L$-values, and (ii) a bound of quadratic base change $L$-functions for Hilbert cusp forms with a subconvex exponent in the weight aspect.
We derive finite rational formulas for the traces of cycle integrals of certain meromorphic modular forms. Moreover, we prove the modularity of a completion of the generating function of such traces. The theoretical framework for these results is an extension of the Shintani theta lift to meromorphic modular forms of positive even weight.
We prove multiplicity one for vector valued holomorphic Siegel modular forms of weights greater or equal to 3 and the full Siegel modular group and give a trace formula for the action of the Hecke operators T(p) in the regular cases.
We give a short proof of the trace formula for Hecke operators on modular forms for the modular group, using the action of Hecke operators on the space of period polynomials.
We give an exact formula of the average of adjoint $L$-functions of holomorphic Hilbert cusp forms with a fixed weight and a square-free level, which is a generalization of Zagier's formula known for the case of elliptic cusp forms on ${\rm SL}_2(\mathbb{Z})$. As an application, we prove that the Satake parameters of Hilbert cusp forms with a fixed weight and with growing square-free levels are equidistributed in an ensemble constructed by values of the adjoint $L$-functions.
Duke and the second author defined a family of linear maps from spaces of weakly holomorphic modular forms of negative integral weight and level 1 into spaces of weakly holomorphic modular forms of half integral weight and level 4 and showed that these lifts preserve the integrality of Fourier coefficients. We show that the generalization of these lifts to modular forms of genus 0 odd prime level also preserves the integrality of Fourier coefficients.
Let $p$ be a prime for which the congruence group $Γ_0(p)^*$ is of genus zero, and $j_p^*$ be the corresponding Hauptmodul. Let $f$ be a nearly holomorphic modular form of weight 1/2 on $Γ_0(4p)$ which satisfies some congruence condition on its Fourier coefficients. We interpret $f$ as a vector valued modular form. Applying Borcherds lifting of vector valued modular forms we construct infinite products associated to $j_p^*$ and extend Zagier's trace formula for singular values of $j_p^*$. Further we investigate the twisted traces of sigular values of $j_p^*$ and construct Borcherds products re…
Zagier's well-known work on traces of singular moduli relates the coefficients of certain weakly holomorphic modular forms of weight $1/2$ to traces of values of the modular $j$-function at imaginary quadratic points. A real quadratic analogue was recently studied by Duke, Imamoglu, and Tóth. They showed that the coefficients of certain weight $1/2$ mock modular forms \[ f_D = \sum_{d>0} a(d,D) q^d, \qquad D>0 \] are given in terms of traces of cycle integrals of the $j$-function. Their result applies to those coefficients $a(d,D)$ for which $dD$ is not a square. Recently Bruinier, Funke, and …
We compute the divisor of the modular equation on the modular curve $Γ_0(N) \backslash \mathbb H^*$ and then find recurrence relations satisfied by the modular traces of the Hauptmodul for any congruence subgroup $Γ_0(N)$ of genus zero. We also introduce the notions and properties of $Γ$-equivalence and $Γ$-reduced forms about binary quadratic forms. Using these, we can explicitly compute the recurrence relations for $N = 2, 3, 4, 5$.
In an important paper, Zagier proved that certain half-integral weight modular forms are generating functions for traces of polynomials in the $j$-function. It turns out that Zagier's work makes it possible to algorithmically compute Hilbert class polynomials using a canonical family of modular forms of weight $\frac{3}{2}$. We generalize these results and consider Haupmoduln for levels $1, 2, 3, 5, 7,$ and $13$. We show that traces of singular values of polynomials in Haupmoduln are again described by coefficients of half-integral weight modular forms. This realization makes it possible to al…
For primes p congruent to 1 mod 12, we present an explicit relation between the traces of Frobenius on a family of elliptic curves with j-invariant 1728/t and values of a particular 2F1-hypergeometric function over F_p. Additionally, we determine a formula for traces of Hecke operators T_k(p) on spaces of cusp forms of weight k and level 1 in terms of the same traces of Frobenius. This leads to formulas for Ramanujan's tau-function in terms of hypergeometric functions.
We show that the generating series of traces of reciprocal singular moduli is a mixed mock modular form of weight $3/2$ whose shadow is given by a linear combination of products of unary and binary theta functions. To prove these results, we extend the Kudla-Millson theta lift of Bruinier and Funke to meromorphic modular functions.
Zagier proved that the traces of singular moduli, i.e., the sums of the values of the classical j-invariant over quadratic irrationalities, are the Fourier coefficients of a modular form of weight 3/2 with poles at the cusps. Using the theta correspondence, we generalize this result to traces of CM values of (weakly holomorphic) modular functions on modular curves of arbitrary genus. We also study the theta lift for the weight 0 Eisenstein series for SL(2,Z) and realize a certain generating series of arithmetic intersection numbers as the derivative of Zagier's Eisenstein series of weight 3/2.…
In a series of lectures Selberg introduced a trace formula on the space of hybrid Maass-modular forms of an irreducible uniform lattice in $\PSL_2(\bbR)^n$. In this paper we derive the analogous formula for a non-uniform lattice and use it to study the distribution of elliptic-hyperbolic conjugacy classes. In particular, for Hilbert modular groups there is a nice interpretation of these results in terms of class numbers and fundamental units of quadratic forms over totally real number fields.
Let $f$ be a Drinfeld modular form for $Γ_0(\mathfrak{p})$. From such a form, one can obtain two forms for the full modular group $\operatorname{GL}_2(A)$: by taking the trace or the norm from $Γ_0(\mathfrak{p})$ to $\operatorname{GL}_2(A)$. In this paper we show some connections between the arithmetic modulo $\mathfrak{p}$ of the coefficients of the $u$-series expansion of $f$ and those of a form closely related to its trace, and of the coefficients of $f$ and those of its norm.
In this paper, we investigate traces of cycle integrals of certain meromorphic modular forms. By relating them to regularised theta lifts we provide explicit formulae for them in terms of coefficients of harmonic Maass forms.
This paper proves a reciprocity formula for modular inverses for non-zero integers and demonstrates some applications of the reciprocity formula in calculating or verifying some modular inverses of specific forms, including the modular inverse of a Gaussian integer modulo another Gaussian integer.
We prove an abstract modularity result for classes of Heegner divisors in the generalized Jacobian of a modular curve associated to a cuspidal modulus. Extending the Gross-Kohnen-Zagier theorem, we prove that the generating series of these classes is a weakly holomorphic modular form of weight 3/2. Moreover, we show that any harmonic Maass forms of weight 0 defines a functional on the generalized Jacobian. Combining these results, we obtain a unifying framework and new proofs for the Gross-Kohnen-Zagier theorem and Zagier's modularity of traces of singular moduli, together with new geometric i…
We use relative trace formula to prove a non-vanishing result and a subconvexity result for the twisted base change $L$-functions associated to Hilbert modular forms whose local components at ramified places are some supercuspidal representations. This generalizes the work of Feigon and Whitehouse.
We give an upper bound for the trace of a Hecke operator acting on the space of holomorphic cusp forms with respect to certain congruence subgroups. Such an estimate has applications to the analytic theory of elliptic curves over a finite field, going beyond the Riemann hypothesis over finite fields. As the main tool to prove our bound on traces of Hecke operators, we develop a Petersson formula for newforms for general nebentype characters.
We have discovered conjectural near-addition formulas for Somos sequences. We have preliminary evidence suggesting the existence of modular theta functions.
We give two applications of Arthur's multiplicity formula to Siegel modular forms. The one is a lifting theorem for vector valued Siegel modular forms, which contains Miyawaki's conjectures and Ibukiyama's conjectures. The other is the strong multiplicity one theorem for Siegel modular forms of scalar weights and level one.
We first obtain the dimension formulas for the spaces of holomorphic modular forms with character for the Fricke group $Γ_0^+(N)$, then that for $Γ_0^*(N)$ with all Atkin-Lehner involutions added in a particular case.
We compute the cohomology with compact supports of a Picard modular surface as a virtual module over the product of the appropriate Galois group and the appropriate Hecke algebra. We use the method developed by Ihara, Langlands, and Kottwitz: comparison of the Grothendieck-Lefschetz formula and the Arthur-Selberg trace formula. Our implementation of this method takes as its starting point the works of Laumon and Morel.
We describe a construction of preimages for the Shimura map on Hilbert modular forms using generalized theta series, and give an explicit Waldspurger type formula relating their Fourier coefficients to central values of twisted $L$-functions. This formula extends our previous work, allowing to compute these central values when the main central value vanishes.
In this paper, we obtain an explicit arithmetic intersection formula on a Hilbert modular surface between the diagonal embedding of the modular curve and a CM cycle associated to a non-biquadratic CM quartic field. This confirms a special case of the author's conjecture with J. Bruinier in \cite{BY}, and is a generalization of the beautiful factorization formula of Gross and Zagier on singular moduli. As an application, we proved the first non-trivial non-abelian Chowla-Selberg formula, a special case of Colmez conjecture.
It is one of the remarkable results of vertex operator algebras (VOAs) that the graded traces (one-point correlation functions) of holomorphic VOAs are modular functions. This paper explores the question of which modular functions arise as the graded traces of holomorphic VOAs. For VOAs of small central charge, i.e., $c\le 24$, and a non-zero weight-one subspace, we find that the only conditions imposed on the modular fuctions are those that arise easily out of our condition that the VOAs be of CFT type, that is that they have no negative-weight subspaces and their zero-weight subspace is gene…
We give a formula for divisors of modular units on $X_1(N)$ and use it to prove that the $\mathbb{Q}$-gonality of the modular curve $X_1(N)$ is bounded above by $\left[\frac{11N^2}{840}\right]$, where $[\bullet]$ denotes the nearest integer.
It was shown in previous works that the measure associated to holomorphic newforms of weight $k$ and level $q$ will tend weakly to the Haar measure on modular curve of level 1, as $qk\rightarrow \infty$. In this paper we proved that this phenomenon is also true on modular curves of general level N.
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…
We construct an integral model of the perfectoid modular curve. Studying this object, we prove some vanishing results for the coherent cohomology at perfectoid level. We use a local duality theorem at finite level to compute duals for the coherent cohomology of the integral perfectoid curve. Specializing to the structural sheaf, we can describe the dual of the completed cohomology as the inverse limit of the integral cusp forms of weight $2$ and trace maps.
Continuing the work of \cite{7} and \cite{8}, we derive an analogue of the classical "$k/12$-formula" for Drinfeld modular forms of rank $r \geq 2$. Here the vanishing order $ν_ω(f)$ of one modular form at some point $ω$ of the complex upper half-plane is replaced by the intersection multiplicity $ν_{\bo}(f_1,\ldots,f_{r-1})$ of $r-1$ independent Drinfeld modular forms at some point $\bo$ of the Drinfeld symmetric space $\OM^r$. We apply the formula to determine the common zeroes of $r-1$ consecutive Eisenstein series $E_{q^{i}-1}$, where $n-r<i<n$ for some $n \geq r$.
Borcherds-Zagier bases of the spaces of weakly holomorphic modular forms of weights 1/2 and 3/2 share the Fourier coefficients which are traces of singular moduli. Recently, Duke, Imamoglu, and Tóth have constructed a basis of the space of weight 1/2 mock modular forms, each member in which has Zagier's generating series of traces of singular moduli as its shadow. They also showed that Fourier coefficients of their mock modular forms are sums of cycle integrals of the $j$-function which are real quadratic analogues of singular moduli. In this paper, we prove the Fourier coefficients of a basis…
We describe a construction of preimages for the Shimura map on Hilbert modular forms, and give an explicit Waldspurger type formula relating their Fourier coefficients to central values of twisted L-functions. Our construction is inspired by that of Gross and applies to any nontrivial level and arbitrary base field, subject to certain conditions on the Atkin-Lehner eigenvalues and on the weight.
This paper introduces two forms of modular inverses and proves their reciprocity formulas respectively. These formulas are then applied to formulate new and generalized algorithm for computing these modular inverses. The same algorithm is also shown to be applicable for the Chinese Remainder problem, i.e., simultaneous linear congruence equations, for co-prime moduli as well as non-co-prime moduli.
We prove a geometric formula for the cycle integrals of Parson's weight 2k modular integrals in terms of the intersection angles of geodesics on modular curves. Our result is an analog for modular integrals of a classical formula for the cycle integrals of certain hyperbolic Poincaré series, due to Katok. On the other hand, it extends a recent geometric formula of Matsusaka and Duke, Imamoglu, and Tóth for the cycle integrals of weight 2 modular integrals.
