A canonical subspace of modular forms of half-integral weight

We characterise the space of newforms of weight k + 1/2 on Γ₀(4N), N odd and square-free (studied by the second and third authors with Vasudevan) under the Atkin-Lehner W(4) operator. As an application, we show that the (±1)-eigensubspaces of the W(4) operator on the space of modular forms of weight k + 1/2 on Γ₀(4N) is mapped to modular forms of weight 2k on Γ₀(N), under a class of Shimura maps. The existence of such subspaces having this mapping property was conjectured by Zagier in a private communication. One of the special features of the (±1)-eigensubspaces is that the (2k + 1)-th power of the classical theta series of weight 1/2 belongs to the +  eigensubspace and hence this gives interesting congruences for r _2k+1(p ²).     

<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.     

Congruences for Siegel modular forms and their weights

J.-P. Serre proved that the congruences for elliptic modular forms mod p ^m descend to those of weights mod p ^m−1(p−1). Later, this result was generalized by T. Ichikawa to the case of Siegel modular forms. In this note we use elementary methods to reduce Ichikawa’s result to a similar question about elliptic modular forms with level, where results of Katz are available.     

Sur les idéaux stables dans certains anneaux différentiels de formes quasi-modulaires de Hilbert

Nesterenko (Sb. Math. 187:1319–1348, [1996]) proved, among other results, the algebraic independence over ℚ of the numbers π and e ^π . A very important feature of his proof is a multiplicity estimate for quasi-modular forms associated to SL ₂(ℤ) which involves differential properties of certain non-linear differential systems. The aim of this article is to begin the study of the corresponding properties for Hilbert modular and quasi-modular forms, especially those which are associated with the number field . We show that the differential structure of these functions has several analogies with the differential structure of the quasi-modular forms associated to SL ₂(ℤ).      

Spaces of modular forms generated by eta-quotients

In this paper, we study the spaces of modular forms on Γ₀(N) generated by eta-quotients, where the genus of Γ₀(N) is zero or N is a prime. Our results give an answer to a question of Ono (2004, Problem 1.68). 2000 Mathematics Subject Classification Primary—11F20, 11F11     

The heat operator and mock Jacobi forms

We study a necessary and sufficient condition for Jacobi integrals of weight -r+\fracj2-r+\frac{j}{2}, r∈ℤ≥0, and index ℳ^(j) on ℋ×ℂ ^j to have a dual Jacobi form of weight r+\fracj2+2r+\frac{j}{2}+2 and index ℳ^(j). Such a meromorphic Jacobi integral with a dual Jacobi form is called a mock Jacobi form whose concept was first introduced by Zagier in Séminaire Bourbaki, 60éme année, 2006–2007, N° 986. In fact, we show the map L^r+1_M^(j)L^{r+1}_{\mathcal{M}^{(j)}} from the space of mock Jacobi forms to that of Jacobi forms is surjective by constructing the corresponding inverse image via Eichler integral of vector valued modular forms which are coming from the theta decomposition of Jacobi forms. We discuss Lerch sums as a typical example.     

A generalization of Cohen- Eisenstein series and Shimura liftings and some congruences between Cusp forms and Eisenstein series

In this paper we introduce some modular forms of half-integral weight on congruence group Г_o(4N) withN an odd positive integer which can be viewed as a natural generalization of Cohen-Eisenstein series. Using these series, we can prove that the restriction of Shimura lifting on Eisenstein spaceE _k+1/2 ⁺ (4N,χl) gives an isomorphism fromE _k+1/2 ⁺ (4N,χl) toE _2k(N). We consider some congruence relationships between modular forms in use of Shimura lifting.     

Toric varieties and modular forms

Let N⊂ℝ^r be a lattice, and let deg:N→ℂ be a piecewise-linear function that is linear on the cones of a complete rational polyhedral fan. Under certain conditions on deg, the data (N,deg) determines a function f:ℌ→ℂ that is a holomorphic modular form of weight r for the congruence subgroup Γ₁(l). Moreover, by considering all possible pairs (N ,deg), we obtain a natural subring ? (l) of modular forms with respect to Γ₁ (l). We construct an explicit set of generators for ? (l), and show that ? (l) is stable under the action of the Hecke operators. Finally, we relate ? (l) to the Hirzebruch elliptic genera that are modular with respect to Γ₁ (l). Oblatum 22-IX-1999 & 18-X-2000?Published online: 5 March 2001     

On the analogue of Weil’s converse theorem for Jacobi forms and their lift to half-integral weight modular forms

We generalize Weil’s converse theorem to Jacobi cusp forms of weight k, index m and Dirichlet character χ over the group Γ ₀(N)⋉ℤ². Then two applications of this result are given; we generalize a construction of Jacobi forms due to Skogman and present a new proof for several known lifts of such Jacobi forms to half-integral weight modular forms.     

Some remarks on the <Emphasis Type="Italic">q</Emphasis>-exponents of generalized modular functions

We discuss some properties of exponents of q-product expansions of specific generalized modular functions on the congruence subgroup Γ₀(N).     

On type numbers of split orders of definite quaternion algebras

In this paper, we shall give a new relation between the arithmetic of quaternion algebras and modular forms; we shall express the type numberT _{q, N} of a split order of type (q, N) as the sums of dimensions of some subspaces of the space of cusp forms of weight 2 with respect to Γ₀(qN) which are common eigenspaces of Atkin-Lehner's involutions.     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

A larger GL2 large sieve in the level aspect

In this paper we study the orthogonality of Fourier coefficients of holomorphic cusp forms in the sense of large sieve inequality. We investigate the family of GL ₂ cusp forms modular with respect to the congruence subgroups Γ₁(q), with additional averaging over the levels q ∼ Q. We obtain the orthogonality in the range N ≪ Q ^2−δ for any δ > 0, where N is the length of linear forms in the large sieve.     

Torsion points on modular curves

Let N≥23 be a prime number. In this paper, we prove a conjecture of Coleman, Kaskel, and Ribet about the ℚ-valued points of the modular curve X ₀(N) which map to torsion points on J ₀(N) via the cuspidal embedding. We give some generalizations to other modular curves, and to noncuspidal embeddings of X ₀(N) into J ₀(N). Oblatum 1-VI-1999 & 19-X-1999?Published online: 29 March 2000     

Mean ergodic theorems for bi-continuous semigroups

In this paper we study the main properties of the Cesàro means of bi-continuous semigroups, introduced and studied by Kühnemund (Semigroup Forum 67:205–225, 2003). We also give some applications to Feller semigroups generated by second-order elliptic differential operators with unbounded coefficients in C _b (ℝ ^N ) and to evolution operators associated with nonautonomous second-order differential operators in C _b (ℝ ^N ) with time-periodic coefficients.     

Shimura lifts of half-integral weight modular forms arising from theta functions

In 1973, Shimura (Ann. Math. (2) 97:440–481, 1973) introduced a family of correspondences between modular forms of half-integral weight and modular forms of even integral weight. Earlier, in unpublished work, Selberg explicitly computed a simple case of this correspondence pertaining to those half-integral weight forms which are products of Jacobi’s theta function and level one Hecke eigenforms. Cipra (J. Number Theory 32(1):58–64, 1989) generalized Selberg’s work to cover the Shimura lifts where the Jacobi theta function may be replaced by theta functions attached to Dirichlet characters of prime power modulus, and where the level one Hecke eigenforms are replaced by more generic newforms. Here we generalize Cipra’s results further to cover theta functions of arbitrary Dirichlet characters multiplied by Hecke eigenforms.      

On approximation of meromorphic functions having index-pair (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

The purpose of this paper is to generalize the results obtained by Winiarski (Ann. Polon. Math. 29:259–273, 1970) and Kasana and Kumar (Publ. Mat. 38:255–267, 1994) for the M ₀(C) of all entire functions onto the class M _m (C), m ≥ 0 of all meromorphic functions with exactly m poles on the complex plane C.     

Weierstrass points on X 0(p ℓ) and arithmetic properties of Fourier coefficients of cusp forms

Generally it is unknown, whether or not ∞ is a Weierstrass point on the modular curve X ₀(N) if N is squarefree. A classical result of Atkin and Ogg states that ∞ is not a Weierstrass point on X ₀(N), if N=pM with p prime, p ∤ M and the genus of X ₀(M) zero. We use results of Kohnen and Weissauer to show that there is a connection between this question and the p-adic valuation of cusp forms under the Atkin–Lehner involution. This gives, in a sense, a generalization of Ogg’s Theorem in some cases.      

Autour des formes quadratiques indécomposables de l’image de l’homomorphisme W(F) → W(F(φ))

Let F be a field of characteristic not 2. In this article, we treat the quadratic forms of Im(W(F) → W(F(φ))) which are indecomposable, i.e., those which are not isometric to a sum of two nonzero forms of this image, where W(F) is the Witt ring of F-quadratic forms, and F(φ) is the function field of the affine quadric given by φ. This is related to the descent problems studied in [12, 14]. More precisely, we will focus on indecomposable quadratic forms of minimal dimension, which we detail for φ of dimension less than or equal to 8. We also include other related results.     

Parity patterns associated with lifts of Hecke groups

Let q be an odd prime, m a positive integer, and let Γ _m (q) be the group generated by two elements x and y subject to the relations x ^2m =y ^qm =1 and x ²=y ^q ; that is, Γ _m (q) is the free product of two cyclic groups of orders 2m respectively qm, amalgamated along their subgroups of order m. Our main result determines the parity behaviour of the generalized subgroup numbers of Γ _m (q) which were defined in Müller (Adv. Math. 153:118–154, 2000), and which count all the homomorphisms of index n subgroups of Γ _m (q) into a given finite group H, in the case when gcd (m,| H |)=1. This computation depends upon the solution of three counting problems in the Hecke group ℋ(q)=C ₂*C _q : (i) determination of the parity of the subgroup numbers of ℋ(q); (ii) determination of the parity of the number of index n subgroups of ℋ(q) which are isomorphic to a free product of copies of C ₂ and of C _∞; (iii) determination of the parity of the number of index n subgroups in ℋ(q) which are isomorphic to a free product of copies of C _q . The first problem has already been solved in Müller (Groups: Topological, Combinatorial and Arithmetic Aspects, LMS Lecture Notes Series, vol. 311, pp. 327–374, Cambridge University Press, Cambridge, 2004). The bulk of our paper deals with the solution of Problems (ii) and (iii). Research of C. Krattenthaler partially supported by the Austrian Science Foundation FWF, grant S9607-N13, in the framework of the National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.