Fourier-Jacobi type spherical functions for principal series representations of Sp(2, R)

In this paper, we study the Fourier-Jacobi type spherical functions on Sp(2, R) for irreducible principal series representations. We give the multiplicity theorem and an explicit formula for this function.     

The Rogers-Ramanujan continued fraction and a new Eisenstein series identity

With two elementary trigonometric sums and the Jacobi theta function θ₁, we provide a new proof of two Ramanujan's identities for the Rogers-Ramanujan continued fraction in his lost notebook. We further derive a new Eisenstein series identity associated with the Rogers-Ramanujan continued fraction.     

An explicit formula of the Koecher-Maass series associated with Hermitian modular forms belonging to the Maass space

We give an explicit form of the Koecher-Maass series for Hermitian modular forms belonging to the Maass space. We express the Koecher-Maass series as a finite sum of products of two L-functions associated with automorphic forms of one variable. In particular the Koecher-Maass series associated with the Hermitian-Eisenstein series of degree two can be described by a finite sum of products of four shifted Dirichlet L-functions associated with some quadratic characters under the assumption that the class number of imaginary quadratic fields is one.     

Hadamard grade of power series

The Hadamard product of two power series ∑anzn and ∑bnzn is the power series ∑anbnzn. We define the (Hadamard) grade of a power series A to be the least number (finite or infinite) of algebraic power series, the Hadamard product of which equals A. We study and discuss this notion.     

The Dedekind symbol associated with the Eisenstein series of weight two

Dedekind symbols generalize the classical Dedekind sums (symbols). These symbols are determined uniquely, up to additive constants, by their reciprocity laws. For k ≧ 2, there is a natural isomorphism between the space of Dedekind symbols with Laurent polynomial reciprocity laws of degree 2k − 2 and the space of modular forms of weight 2k for the full modular group However, this is not the case when k = 1 as there is no modular form of weight two; nevertheless, there exists a unique (up to a scalar multiple) quasi-modular form (Eisenstein series) of weight two. The purpose of this note is to define the Dedekind symbol associated with this quasi-modular form, and to prove its reciprocity law. Furthermore we show that the odd part of this Dedekind symbol is nothing but a scalar multiple of the classical Dedekind sum. This gives yet another proof of the reciprocity law for the classical Dedekind sum in terms of the quasi-modular form.Received: 13 September 2004     

The Lie theory of the Rankin-Cohen brackets and allied bi-differential operators

The Lie theoretic nature of the Rankin-Cohen brackets is here uncovered. These bilinear operations, which, among other purposes, were devised to produce a holomorphic automorphic form from any pair of such forms, are instances of SL(2,R)-equivariant holomorphic bi-differential operators on the upper half-plane. All of the latter are here characterized and explicitly obtained, by establishing their one-to-one correspondence with singular vectors in the tensor product of two sl(2,C) Verma modules. The Rankin-Cohen brackets arise in the generic situation where the linear span of the singular vectors of a given weight is one-dimensional. The picture is completed by the special brackets which appear for the finite number of pairs of initial lowest weights for which the above space is two-dimensional. Explicit formulæ for basis vectors in both situations are obtained and universal Lie algebraic objects subsuming all of them are exhibited. A few applications of these results and Lie theoretic approach are then considered. First, a generalization of the latter yields Rankin-Cohen type brackets for Hilbert modular forms. Then, some Rankin-Cohen brackets are shown to intertwine the tensor product of two holomorphic discrete series representations of SL(2,R) with another such representation occurring in the tensor product decomposition. Finally, the sought for precise relationship between the Rankin-Cohen brackets and Gordan's transvection processes of the nineteenth century invariant theory is unveiled.     

Poles of Eisenstein series on quaternion groups

We show that the normalized Siegel Eisenstein series of quaternion groups have at most simple poles at certain integers and half integers. These Eisenstein series play an important role of Rankin-Selberg integral representations of Langlands L-functions for quaternion groups.     

Zagier-type dualities and lifting maps for harmonic Maass-Jacobi forms

The real-analytic Jacobi forms of Zwegers' PhD thesis play an important role in the study of mock theta functions and related topics, but have not been part of a rigorous theory yet. In this paper, we introduce harmonic Maass-Jacobi forms, which include the classical Jacobi forms as well as Zwegers' functions as examples. Maass-Jacobi-Poincaré series also provide prime examples. We compute their Fourier expansions, which yield Zagier-type dualities and also yield a lift to skew-holomorphic Jacobi-Poincaré series. Finally, we link harmonic Maass-Jacobi forms to different kinds of automorphic forms via a commutative diagram.     

Eisenstein series and theta functions to the septic base

We develop a theory for Eisenstein series to the septic base, which was started by S. Ramanujan in his “Lost Notebook.” We show that two types of septic Eisenstein series may be parameterized in terms of the septic theta function and the eta quotient η⁴(7τ)/η⁴(τ). This is accomplished by constructing elliptic functions which have the septic Eisenstein series as Taylor coefficients. The elliptic functions are shown to be solutions of a differential equation, and this leads to a recurrence relation for the septic Eisenstein series.     

Sums of products of Kronecker's double series

Closed expressions are obtained for sums of products of Kronecker's double series of the form , where the summation ranges over all nonnegative integers j₁,…,jN with j₁+?+jN=n. Corresponding results are derived for functions which are an elliptic analogue of the periodic Euler polynomials. As corollaries, we reproduce the formulas for sums of products of Bernoulli numbers, Bernoulli polynomials, Euler numbers, and Euler polynomials, which were given by K. Dilcher.     

p-Adic liftings of the supersingular j-invariants and j-zeros of certain Eisenstein series

Let p>3 be a prime. We consider j-zeros of Eisenstein series Ek of weights k=p−1+Mpa(p²−1) with M,a?0 as elements of . If M=0, the j-zeros of Ep−1 belong to Qp(ζp²−1) by Hensel's lemma. Call these j-zeros p-adic liftings of supersingular j-invariants. We show that for every such lifting u there is a j-zero r of Ek such that ordp(r−u)>a. Applications of this result are considered. The proof is based on the techniques of formal groups.     

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.     

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.     

The 26th power of Dedekind's η-function

We prove a simple and explicit formula, which expresses the 26th power of Dedekind's η-function as a double series. The proof relies on properties of Ramanujan's Eisenstein series P, Q and R, and parameters from the theory of elliptic functions.The formula reveals a number of properties of the product , for example its lacunarity, the action of the Hecke operator, and sufficient conditions for a coefficient to be zero.     

Newforms of squarefree level and theta series

We show that the cuspidal part of the span of the theta series associated to maximal integral lattices on a definite quaternion algebra over is precisely the space of newforms. Furthermore, using the Eichler commutation relation and an idea coming out of the Yoshida lifting, we show how to express each newform as an explicit linear combination of such theta series. The coefficients of these linear combinations come from cuspidal eigenvectors of Brandt matrices.     

Elliptic hypergeometric series on root systems

We derive a number of summation and transformation formulas for elliptic hypergeometric series on the root systems A_n, C_n and D_n. In the special cases of classical and q-series, our approach leads to new elementary proofs of the corresponding identities.     

Eigenfunctions of transfer operators and cohomology

The eigenfunctions with eigenvalues 1 or −1 of the transfer operator of Mayer are in bijective correspondence with the eigenfunctions with eigenvalue 1 of a transfer operator connected to the nearest integer continued fraction algorithm. This is shown by relating these eigenspaces of these operators to cohomology groups for the modular group with coefficients in certain principal series representations.     

Power series extensions of half-factorial domains

An integral domain is said to be a half-factorial domain (HFD) if every non-zero element a that is not a unit may be factored into a finite product of irreducible elements, while any other such factorization of a has the same number of irreducible factors. While it is known that a power series extension of a factorial domain need not be factorial, the corresponding question for HFD has been open. In this paper we show that the answer is also negative. In the process we answer in the negative, for HFD, an open question of Samuel for factorial domains by showing that for certain quadratic domains R, and independent variables, Y and T, R[[Y]][[T]] is not HFD even when R[[Y]] is HFD. The proof hinges on Samuel’s theorem to the effect that a power series, in finitely many variables, over a regular factorial domain is factorial.     

Nonvanishing of Koecher–Maass series attached to Siegel cusp forms

We prove a nonvanishing result for Koecher–Maass series attached to Siegel cusp forms of weight k and degree n   in certain strips on the complex plane. When n=2$n=2$, we prove such a result for forms orthogonal to the space of the Saito–Kurokawa lifts ‘up to finitely many exceptions’, in bounded regions.