On Saito-Kurokawa descent for congruence subgroups

The conjecture made by H. Saito and N. Kurokawa states the existence of a “lifting” from the space of elliptic modular forms of weight 2k?2 (for the full modular group) to the subspace of the space of Siegel modular forms of weightk (for the full Siegel modular group) which is compatible with the action of Hecke operators. (The subspace is the so called “Maaß spezialschar” defined by certain identities among Fourier coefficients). This conjecture was proved (in parts) by H. Maaß, A.N. Andrianov and D. Zagier. The purpose of this paper is to prove a generalised version of the conjecture for cusp forms of odd squarefree level.     

The extreme core

For a Siegel modular cusp formf of weightk letv(f) be the closure of the convex ray hull of the support of the Fourier series inside the cone of semidefinite forms. We show the existence of the extreme core,C _ext, which satisfiesv(f) ⊇k C_ext for all cusp forms. This is a generalization of the Valence Inequality to Siegel modular cusp forms. We give estimations of the extreme core for general n. For n ≤5 we use noble forms to improve these estimates. Forn = 2 we almost specify the extreme core but fall short. We supply improved estimates for all relevant constants and show optimality in some cases. The techniques are mainly from the geometry of numbers but we also use IGUSA’s generators for the ring of Siegel modular forms in degree two.     

Some aspects of Hermitian Jacobi forms

We introduce a certain differential (heat) operator on the space of Hermitian Jacobi forms of degree 1, show its commutation with certain Hecke operators and use it to construct a map from elliptic cusp forms to Hermitian Jacobi cusp forms. We construct Hermitian Jacobi forms as the image of the tensor product of two copies of Jacobi forms and also from the differentiation of the variables. We determine the number of Fourier coefficients that determine a Hermitian Jacobi form and use the differential operator to embed a certain subspace of Hermitian Jacobi forms into a direct sum of modular forms for the full modular group.     

Differential operators for harmonic weak Maass forms and the vanishing of Hecke eigenvalues

For integers k ≥ 2, we study two differential operators on harmonic weak Maass forms of weight 2 ? k. The operator ξ_2-k (resp. D ^k-1) defines a map to the space of weight k cusp forms (resp. weakly holomorphic modular forms). We leverage these operators to study coefficients of harmonic weak Maass forms. Although generic harmonic weak Maass forms are expected to have transcendental coefficients, we show that those forms which are “dual” under ξ_2-k to newforms with vanishing Hecke eigenvalues (such as CM forms) have algebraic coefficients. Using regularized inner products, we also characterize the image of D ^k-1.     

Rational decomposition of modular forms

We prove explicit formulas decomposing cusp forms of even weight for the modular group, in terms of generators having rational periods, and in terms of generators having rational Fourier coefficients. Using the Shimura correspondence, we also give a decomposition of Hecke cusp forms of half integral weight k+1/2 with k even in terms of forms with rational Fourier coefficients, given by Rankin–Cohen brackets of theta series with Eisenstein series.     

Generalized modular forms

The theory of “generalized modular forms,” initiated here, grows naturally out of questions inherent in rational conformal field theory. The latter physical theory studies q-series arising as trace functions (or partition functions), which generate a finite-dimensional SL(2,Z)-module. It is a natural step to investigate whether these q-series are in fact modular forms in the classical sense. As it turns out, the existence of the module does not, of itself, guarantee that this is so. Indeed, our Theorem 1 shows that such q-series of necessity behave like modular forms in every respect, with the important exception that the multiplier system need not be of absolute value one. The Supplement to Theorem 1 shows that such q-series are classical modular forms exactly when the scalars relating the q-series generators of the module have absolute value one. That is, the SL(2,Z)-module in question is unitary. (There is the further restriction that the associated representation is monomial.) We prove as well that there exist generalized modular forms which are not classical modular forms. (Hence, as asserted above, the q-series need not be classical modular forms.)Beyond Theorem 1 and its Supplement, which serve to relate our generalized modular forms to classical modular forms (and thus justify the name), this work develops a number of their fundamental properties. Among these are a basic result relating generalized modular forms to classical modular forms of weight 2 and so, as well, to abelian integrals. Further, we prove two general existence results and a complete characterization of weight k generalized modular forms in terms of generalized modular forms of weight 0 and classical modular forms of weight k.     

On geometric density of Hecke eigenvalues for certain cusp forms

In this paper we prove certain density results for Hecke eigenvalues as well as we give estimates on the length of modules for Hecke algebra acting on the cusp forms constructed out of Poincaré series for a semisimple group G over a number field k. The cusp forms discusses here are taken from Muić (Math Ann 343:207–227, 2009) and they generalize usual cuspidal modular forms S _k (Γ) of weight k ≥ 3 for a Fuchsian group Γ (Muić, in On the cuspidal modular forms for the Fuchsian groups of the first kind).     

Dihedral Congruence Primes and Class Fields of Real Quadratic Fields

We show that for a real quadratic field F the dihedral congruence primes with respect to F for cusp forms of weight k and quadratic nebentypus are essentially the primes dividing expressions of the form ε^k−1₊±1 where ε₊ is a totally positive fundamental unit of F. This extends work of Hida. Our results allows us to identify a family of (ray) class fields of F which are generated by torsion points on modular abelian varieties.     

Differential operators on Hilbert modular forms

We investigate differential operators and their compatibility with subgroups of SL₂n(R). In particular, we construct Rankin-Cohen brackets for Hilbert modular forms, and more generally, multilinear differential operators on the space of Hilbert modular forms. As an application, we explicitly determine the Rankin-Cohen bracket of a Hilbert-Eisenstein series and an arbitrary Hilbert modular form. We use this result to compute the Petersson inner product of such a bracket and a Hilbert modular cusp form.     

Slopes of integral lattices

We use the dyadic trace to define the concept of slope for integral lattices. We present an introduction to the theory of the slope invariant. The main theorem states that a Siegel modular cusp form f of slope strictly less than the slope of an integral lattice with Gram matrix s satisfies f(sτ)=0 for all τ in the upper half plane. We compute the dyadic trace and the slope of each root lattice and we give applications to Siegel modular cusp forms.     

Compactification of Drinfeld modular varieties and Drinfeld modular forms of arbitrary rank

We give an abstract characterization of the Satake compactification of a general Drinfeld modular variety. We prove that it exists and is unique up to unique isomorphism, though we do not give an explicit stratification by Drinfeld modular varieties of smaller rank which is also expected. We construct a natural ample invertible sheaf on it, such that the global sections of its k-th power form the space of (algebraic) Drinfeld modular forms of weight k. We show how the Satake compactification and modular forms behave under all natural morphisms between Drinfeld modular varieties; in particular we define Hecke operators. We give explicit results in some special cases.     

Differential operators for Hermitian Jacobi forms and Hermitian modular forms

Kim (Arch Math (Basel) 79(3):208–215, 2002) constructs multilinear differential operators for Hermitian Jacobi forms and Hermitian modular forms. However, her work relies on incorrect actions of differential operators on spaces of Hermitian Jacobi forms and Hermitian modular forms. In particular, her results are incorrect if the underlying field is the Gaussian number field. We consider more general spaces of Hermitian Jacobi forms and Hermitian modular forms over \(\mathbb {Q}(i)\), which allow us to correct the corresponding results in Kim (2002).     

On Zagier’s cusp form and the Ramanujan τ function

Zagier constructed a cusp form for each weightk of the full modular group. We use this construction to estimate Fourier coefficients of cusp forms. In particular, we get a non-trivial estimate, by elementary methods and indicate a relationship with the Lindelof hypothesis for classical Dirichlet L-functions. Dedicated to the memory of Professor K G Ramanathan     

On p-adic quaternionic Eisenstein series

We show that certain p-adic Eisenstein series for quaternionic modular groups of degree 2 become “real” modular forms of level p in almost all cases. To prove this, we introduce a U(p) type operator. We also show that there exists a p-adic Eisenstein series of the above type that has transcendental coefficients. Former examples of p-adic Eisenstein series for Siegel and Hermitian modular groups are both rational (i.e., algebraic).     

Congruences for Hermitian modular forms of degree 2

We give two congruence properties of Hermitian modular forms of degree 2 over and . The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm?s theorem. Another is the well-definedness of the p-adic weight for Hermitian modular forms.     

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.     

Congruences for Hecke eigenvalues of Siegel modular forms

We prove some congruences for Hecke eigenvalues of Klingen-Eisenstein series and those of cusp forms for Siegel modular groups modulo special values of automorphic L-functions.     

Eichler–Shimura theory for mock modular forms

We use mock modular forms to compute generating functions for the critical values of modular $L$ -functions, and we answer a generalized form of a question of Kohnen and Zagier by deriving the “extra relation” that is satisfied by even periods of weakly holomorphic cusp forms. To obtain these results we derive an Eichler–Shimura theory for weakly holomorphic modular forms and mock modular forms. This includes two “Eichler–Shimura isomorphisms”, a “multiplicity two” Hecke theory, a correspondence between mock modular periods and classical periods, and a “Haberland-type” formula which expresses Petersson’s inner product and a related antisymmetric inner product on $M_{k}^{!}$ in terms of periods.     

Abelian subvarieties of Drinfeld Jacobians and congruences modulo the characteristic

We relate the existence of Frobenius morphisms into the Jacobians of Drinfeld modular curves to the existence of congruences between cusp forms.