On Atkin and Swinnerton-Dyer congruence relations (2)

In this paper we give an example of a noncongruence subgroup whose three-dimensional space of cusp forms of weight 3 has the following properties. For each of the four residue classes of odd primes modulo 8 there is a basis whose Fourier coefficients at infinity satisfy a three-term Atkin and Swinnerton-Dyer congruence relation, which is the p-adic analogue of the three-term recursion satisfied by the coefficients of classical Hecke eigenforms. We also show that there is an automorphic L-function over whose local factors agree with those of the l-adic Scholl representations attached to the space of noncongruence cusp forms. The research of the second author was supported in part by an NSA grant #MDA904-03-1-0069 and an NSF grant #DMS-0457574. Part of the research was done when she was visiting the National Center for Theoretical Sciences in Hsinchu, Taiwan. She would like to thank the Center for its support and hospitality. The third author was supported in part by an NSF-AWM mentoring travel grant for women. She would further thank the Pennsylvania State University and the Institut des Hautes études Scientifiques for their hospitality.     

Construction of entire modular forms of weights 5 and 6 for the congruence group Γ0(4N)

Two classes of entire modular forms of weight 5 and two of weight 6 are constructed for the congruence subgroup ₀(4N). The constructed modular forms as well as the modular forms from [1] will be helpful in the theory of representation of numbers by the quadratic forms in 10 and 12 variables.     

A description of continued fraction expansions of quadratic surds represented by polynomials

The principal thrust of this investigation is to provide families of quadratic polynomials , where e_k²−f_k²C=n (for any given nonzero integer n) satisfying the property that for any , the period length of the simple continued fraction expansion of is constant for fixed k and lim_k→∞?_k=∞. This generalizes, and completes, numerous results in the literature, where the primary focus was upon |n|=1, including the work of this author, and coauthors, in Mollin (Far East J. Math. Sci. Special Vol. 1998, Part III, 257-293; Serdica Math. J. 27 (2001) 317) Mollin and Cheng (Math. Rep. Acad. Sci. Canada 24 (2002) 102; Internat Math J 2 (2002) 951) and Mollin et al. (JP J. Algebra Number Theory Appl. 2 (2002) 47).     

On the cuspidal modular forms for the Fuchsian groups of the first kind

In this paper we study the construction and non-vanishing of cuspidal modular forms of weight m?3 for arbitrary Fuchsian groups of the first kind. We give a spanning set for the space of cuspidal modular forms Sm(Γ) of weight m?3 in a uniform way which does not depend on the fact that Γ has cusps or not.     

Average values of L-functions in characteristic two

Gauss made two conjectures about average values of class numbers of orders in quadratic number fields, later on proven by Lipschitz and Siegel. A version for function fields of odd characteristic was established by Hoffstein and Rosen. In this paper, we extend their results to the case of even characteristic. More precisely, we obtain formulas of average values of L-functions associated to orders in quadratic function fields over a constant field of characteristic two, and then derive formulas of average class numbers of these orders.     

On the dual nature of partial theta functions and Appell–Lerch sums

In recent work, Hickerson and the author demonstrated that it is useful to think of Appell–Lerch sums as partial theta functions. This notion can be used to relate identities involving partial theta functions with identities involving Appell–Lerch sums. In this sense, Appell–Lerch sums and partial theta functions appear to be dual to each other. This duality theory is not unlike that found by Andrews between various sets of identities of Rogers–Ramanujan type with respect to Baxter's solution to the hard hexagon model of statistical mechanics. As an application we construct bilateral q-series with mixed mock modular behaviour. In subsequent work we see that our bilateral series are well-suited for computing radial limits of Ramanujan's mock theta functions.     

On a divisor problem related to the Epstein zeta-function, II

Recently by using the theory of modular forms and the Riemann zeta-function, Lü improved the estimates for the error term in a divisor problem related to the Epstein zeta-function established by Sankaranarayanan. In this short note, we are able to further sharpen some results of Sankaranarayanan and of Lü, and to establish corresponding Ω-estimates.     

Class groups of quadratic fields of 3-rank at least 2: Effective bounds

In this paper, we give parametric families of both real and complex quadratic number fields whose class group has 3-rank at least 2. As a consequence, we obtain that for all large positive real numbers x, the number of both real and complex quadratic fields whose class group has 3-rank at least 2 and absolute value of the discriminant ?x is >cx1/3, where c is some positive constant.     

On Atkin and Swinnerton-Dyer congruence relations (3)

It is now well known that Hecke operators defined classically act trivially on genuine cuspforms for noncongruence subgroups of SL₂(Z). Atkin and Swinnerton-Dyer speculated the existence of p-adic Hecke operators so that the Fourier coefficients of their eigenfunctions satisfy three-term congruence recursions. In the previous two papers with the same title ([W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148] by W.C. Li, L. Long, Z. Yang and [A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied two exceptional spaces of noncongruence cuspforms where almost all p-adic Hecke operators can be diagonalized simultaneously or semi-simultaneously. Moreover, it is shown that the l-adic Scholl representations attached to these spaces are modular in the sense that they are isomorphic, up to semisimplification, to the l-adic representations arising from classical automorphic forms.In this paper, we study an infinite family of spaces of noncongruence cuspforms (which includes the cases in [W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148; A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358]) under a general setting. It is shown that for each space in this family there exists a fixed basis so that the Fourier coefficients of each basis element satisfy certain weaker three-term congruence recursions. For a new case in this family, we will exhibit that the attached l-adic Scholl representations are modular and the p-adic Hecke operators can be diagonalized semi-simultaneously.     

Congruences for modular forms of weights two and four

We prove a conjecture of Calegari and Stein regarding mod p congruences between modular forms of weight four and the derivatives of modular forms of weight two.     

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.     

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.     

On some entire modular forms of weights 5 and 6 for the congruence group Г(in0)(4N)

Two entire modular forms of weight 5 and two of weight 6 for the congruence subgroup Γ₀ (4N)are constructed, which will be useful for revealing the arithmetical sense of additional terms in formulas for the number of representations of positive integers by quadratic forms in 10 and 12 variables.     

There are infinitely many Perrin pseudoprimes

This paper proves the existence of infinitely many Perrin pseudoprimes, as conjectured by Adams and Shanks in 1982. The theorem proven covers a general class of pseudoprimes based on recurrence sequences. The result uses ingredients of the proof of the infinitude of Carmichael numbers, along with zero-density estimates for Hecke L-functions.     

Congruences for Hecke eigenvalues in higher level cases

In Guerzhoy (2008) [6], Guerzhoy defined certain quotient space dual to the space of cusp forms of given weight, developed its properties and applied them to the congruences for Hecke eigenvalues in level one case. We extend his result to higher level cases.     

Real Quadratic Fields with Class Number Divisible by 5 or 7

We shall show that the number of real quadratic fields whose absolute discriminant is ≤ x and whose class number is divisible by 5 or 7 is improving the existing best known bound for g = 5 and for g = 7 of Yu (J Number Theory 97:35–44, 2002).This work was supported by KRF-R08-2003-000-10243-0 and partially by KRF-2005-070-C00004.     

On the value set of the Ramanujan function

We give lower bounds on the number of distinct values of the Ramanujan function τ(n), n ≦ x, and on the number of distinct residues of τ(n), n ≦ x, modulo a prime ℓ. We also show that for any prime ℓ the values τ(n), n ≦ ℓ⁴, form a finite additive basis modulo ℓ. Received: 6 October 2004     

Diophantine equations of Pellian type

We investigate the solutions of diophantine equations of the form dx²−d^?y²=±t for t∈{1,2,4} and their connections with ideal theory, continued fractions and Jacobi symbols.     

On the parity of the class number of multiquadratic number fields

This paper investigates the 2-class group of real multiquadratic number fields. Let p₁,p₂,…,pn be distinct primes and . We draw a list of all fields K whose 2-class group is trivial.