The asymptotic distribution of traces of Maass–Poincaré series

We establish an asymptotic formula with a power savings in the error term for traces of CM values of a family of Maass–Poincaré series which contains the modular j-function as a special case. By work of Borcherds (1998) [2], Zagier (2002) [31], and Bringmann and Ono (2007) [4], these traces are Fourier coefficients of half-integral weight weakly holomorphic modular forms and Maass forms.     

Heegner points,cycles and Maass forms

We derive for Hecke-Maass cusp forms on the full modular group a relation between the sum of the form at Heegner points (and integrals over Heegner cycles) and the product of two Fourier coefficients of a corresponding form of half-integral weight. Specializing to certain cycles we obtain the nonnegativity of theL-function of such a form at the center of the critical strip. These results generalize similar formulae known for holomorphic forms. Partially supported by NSF grant # DMS-9096262. Partially supported by NSF grant # DMS-9102082.     

Arithmetic properties of coefficients of half-integral weight Maass–Poincaré series

Zagier [23] proved that the generating functions for the traces of level 1 singular moduli are weight 3/2 modular forms. He also obtained generalizations for “twisted traces”, and for traces of special non-holomorphic modular functions. Using properties of Kloosterman-Salié sums, and a well known reformulation of Salié sums in terms of orbits of CM points, we systematically show that such results hold for arbitrary weakly holomorphic and cuspidal half-integral weight Poincaré series in Kohnen’s Γ₀(4) plus-space. These results imply the aforementioned results of Zagier, and they provide exact formulas for such traces.     

<Emphasis Type="Italic">p</Emphasis>-Adic limit of the Fourier coefficients of weakly holomorphic modular forms of half integral weight

Serre obtained the p-adic limit of the integral Fourier coefficients of modular forms on SL ₂(ℤ) for p = 2, 3, 5, 7. In this paper, we extend the result of Serre to weakly holomorphic modular forms of half integral weight on Γ₀(4N) for N = 1, 2, 4. The proof is based on linear relations among Fourier coefficients of modular forms of half integral weight. As applications to our main result, we obtain congruences on various modular objects, such as those for Borcherds exponents, for Fourier coefficients of quotients of Eisentein series and for Fourier coefficients of Siegel modular forms on the Maass Space.     

Combinatorial formulas for certain sequences of multiple numbers

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.     

Exact formulas for traces of singular moduli of higher level modular functions

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.     

A simple proof of Zagier duality for Hilbert modular forms

In this paper, we give a simple proof of an identity between the Fourier coefficients of the weakly holomorphic modular forms of weight 0 arising from Borcherds products of Hilbert modular forms and those of the weakly holomorphic modular forms of weight satisfying a certain property.

     

Two-divisibility of the coefficients of certain weakly holomorphic modular forms

We study a canonical basis for spaces of weakly holomorphic modular forms of weights 12, 16, 18, 20, 22, and 26 on the full modular group. We prove a relation between the Fourier coefficients of modular forms in this canonical basis and a generalized Ramanujan τ-function, and use this to prove that these Fourier coefficients are often highly divisible by 2.     

Variation of Heegner points in Hida families

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 Vatsal from modular forms of weight two and trivial character to all ordinary modular forms, and propose a horizontal nonvanishing conjecture for these cohomology classes. The horizontal nonvanishing conjecture implies, via the theory of Euler systems, a conjecture of Greenberg on the generic ranks of Selmer groups in Hida families.     

Heegner Divisors and Nonholomorphic Modular Forms

We consider an embedded modular curve in a locally symmetric space M attached to an orthogonal group of signature (p, 2) and associate to it a nonholomorphic elliptic modular form by integrating a certain theta function over the modular curve. We compute the Fourier expansion and identify the generating series of the (suitably defined) intersection numbers of the Heegner divisors in M with the modular curve as the holomorphic part of the modular form. This recovers and generalizes parts of work of Hirzebruch and Zagier.     

Borcherds products on unitary groups

In the present paper, we provide a construction of the multiplicative Borcherds lift for unitary groups $\mathrm U (1,m)$ , which takes weakly holomorphic elliptic modular forms as input functions and lifts them to automorphic forms having infinite product expansions and taking their zeros and poles along Heegner divisors. In order to transfer Borcherds’ theory to unitary groups, we construct a suitable embedding of $\mathrm U (1,m)$ into $\mathrm O (2,2m)$ . We also derive a formula for the values taken by the Borcherds products at cusps of the symmetric domain of the unitary group. Further, as an application of the lifting, we obtain a modularity result for a generating series with Heegner divisors as coefficients, along the lines of Borcherds’ generalization of the Gross-Zagier-Kohnen theorem.     

Special cohomology classes for modular Galois representations

Building on ideas of Vatsal [Uniform distribution of Heegner points, Invent. Math. 148(1) (2002) 1-46], Cornut [Mazur's conjecture on higher Heegner points, Invent. Math. 148(3) (2002) 495-523] proved a conjecture of Mazur asserting the generic nonvanishing of Heegner points on an elliptic curve E_/Q as one ascends the anticyclotomic Z_p-extension of a quadratic imaginary extension K/Q. In the present article, Cornut's result is extended by replacing the elliptic curve E with the Galois cohomology of Deligne's two-dimensional ?-adic representation attached to a modular form of weight 2k>2, and replacing the family of Heegner points with an analogous family of special cohomology classes.     

Kloosterman sums and traces of singular moduli

We give a new proof of some identities of Zagier relating traces of singular moduli to the coefficients of certain weakly holomorphic half integral weight modular forms. These identities play a central role in Zagier's work on the infinite product isomorphism introduced by Borcherds. In addition, we derive a simple expression for writing twisted traces of singular moduli as infinite series.     

A refined conjecture of Mazur-Tate type for Heegner points

Summary In [MT1], Mazur and Tate present a refined conjecture of Birch and Swinnerton-Dyer type for a modular elliptic curveE. This conjecture relates congruences for certain integral homology cycles onE(C) (the modular symbols) to the arithmetic ofE overQ. In this paper we formulate an analogous conjecture forE over a suitable imaginary quadratic fieldK, in which the role of the modular symbols is played by Heegner points. A large part of this conjecture can be proved, thanks to the ideas of Kolyvagin on the Euler system of Heegner points. In effect the main result of this paper can be viewed as a generalization of Kolyvagin's result relating the structure of the Selmer group ofE overK to the Heegner points defined in the Mordell-Weil groups ofE over ring class fields ofK. An explicit application of our method to the Galois module structure of Heegner points is given in Sect. 2.2.Oblatum 19-XII-1991, & 25-II-1992     

Shintani lifts and fractional derivatives for harmonic weak Maass forms

In this paper, we construct Shintani lifts from integral weight weakly holomorphic modular forms to half-integral weight weakly holomorphic modular forms. Although defined by different methods, these coincide with the classical Shintani lifts when restricted to the space of cusp forms. As a side effect, this gives the coefficients of the classical Shintani lifts as new cycle integrals. This yields new formulas for the L-values of Hecke eigenforms. When restricted to the space of weakly holomorphic modular forms orthogonal to cusp forms, the Shintani lifts introduce a definition of weakly holomorphic Hecke eigenforms. Along the way, auxiliary lifts are constructed from the space of harmonic weak Maass forms which yield a “fractional derivative” from the space of half-integral weight harmonic weak Maass forms to half-integral weight weakly holomorphic modular forms. This fractional derivative complements the usual ξ-operator introduced by Bruinier and Funke.     

The subconvexity problem for Rankin–Selberg L-functions and equidistribution of Heegner points. II

We prove a general subconvex bound in the level aspect for Rankin–Selberg L-functions associated with two primitive holomorphic or Maass cusp forms over Q. We use this bound to establish the equidistribution of incomplete Galois orbits of Heegner points on Shimura curves associated with indefinite quaternion algebras over Q. Mathematics Subject Classification (2000) 11F66, 11F67, 11M41     

关于奇异模迹的同余与整除恒等式

Zagier研究发现奇异模的迹是一些权为3/2的模形式的傅里叶系数. 结果进而人们研究发现了这些奇异模在各种条件下的迹公式和同余性质. 近来, Ahlgen利用模形式在Hecke算子作用下的关系式证明了奇异模迹的一个精确关系式. 基于此,我们研究得到了一些关于奇异模的迹和Hurwitz-Kronecker类数有趣的同余和整数恒等式.     

Intersection numbers of cycles on locally symmetric spaces and fourier coefficients of holomorphic modular forms in several complex variables

Using the theta correspondence we construct liftings from the cohomology with compact supports of locally symmetric spaces associated to O(p, q) (resp. U(p, q)) of degreenq (resp. Hodge typenq, nq) to the space of classical holomorphic Siegel modular forms of weight (p +q)/2 and genusn (resp. holomorphic hermitian modular forms of weightp +q and genusn). It is important to note that the cohomology with compact supports contains the cuspidal harmonic forms by Borel [3]. We can express the Fourier coefficients of the lift of η in terms of periods of η over certain totally geodesic cycles—generalizing Shintani’s solution [21] of a conjecture of Shimura. We then choose η to be the Poincaré dual of a (finite) cycle and obtain a collection of formulas analogous to those of Hirzebruch-Zagier [8]. In our previous work we constructed the above lifting but we were unable to prove that it took values in theholomorphic forms. Moreover, we were unable to compute the indefinite Fourier coefficients of a lifted class. By Koecher’s Theorem we may now conclude that all such coefficients are zero. Partially supported by NSF Grant # MCS-82-01660. Partially supported by NSF Grant # DMS-85-01742.     

Duality involving the mock theta function f(q)

We show that the coefficients of Ramanujan's mock theta functionf(q) are the first non-trivial coefficients of a canonical sequenceof modular forms. This fact follows from a duality which equatescoefficients of the holomorphic projections of certain weight1/2 Maass forms with coefficients of certain weight 3/2 modularforms. This work depends on the theory of Poincaré series,and a modification of an argument of Goldfeld and Sarnak onKloosterman–Selberg zeta functions.     

On the proof of the reciprocity law for arithmetic Siegel modular functions

Earlier we obtained a new proof of Shimura’s reciprocity law for the special values of arithmetic Hilbert modular functions. In this note we show how from this result one may derive Shimura’s reciprocity law for special values of arithmetic Siegel modular functions. To achieve this we use Shimura’s classification of the special points of the Siegel space, Satake’s classification of the equivariant holomorphic imbeddings of Hilbert-Siegel modular spaces into a larger Siegel space, and, finally, a corrected version of some of Karel’s results giving an action of the Galois group Gal(Q_ab/Q) on arithmetic Siegel modular forms. Research supported in part by the NSF Grant No. DMS-8601130.