Fourier expansions with modular form coefficients

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

In this paper, we study the Fourier expansion where the coefficients are given as the evaluation of a sequence of modular forms at a fixed point in the upper half-plane. We show that for prime levels l for which the modular curve X0(l) is hyperelliptic (with hyperelliptic involution of the AtkinLehner type) then one can choose a sequence of weight k (any even integer) forms so that the resulting Fourier expansion is itself a meromorphic modular form of weight 2-k. These sequences have many interesting properties, for instance, the sequence of their first nonzero next-to-leading coefficient is equal to the terms in the Fourier expansion of a certain weight 2-k form. The results in the paper generalizes earlier work by Asai, Kaneko, and Ninomiya (for level one), and Ahlgren (for the cases where X0(l) has genus zero).

Original languageEnglish
Pages (from-to)1433-1446
Number of pages14
JournalInternational Journal of Number Theory
Volume5
Issue number8
DOIs
Publication statusPublished - Dec 2009
Externally publishedYes

Fingerprint

Fourier Expansion
Modular Forms
Coefficient
Modular Curves
Meromorphic
Half-plane
Involution
Genus
Choose
Fixed point
Generalise
Integer
Evaluation
Zero
Term
Form

Keywords

  • Atkin-Lehner involution
  • Coefficient duality
  • Fourier expansions
  • Hyperelliptic modular curves
  • Meromorphic modular forms

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this

Fourier expansions with modular form coefficients. / ElGuindy, Ahmad.

In: International Journal of Number Theory, Vol. 5, No. 8, 12.2009, p. 1433-1446.

Research output: Contribution to journalArticle

@article{eb1e6494b9ce493f95517f837a86b98c,
title = "Fourier expansions with modular form coefficients",
abstract = "In this paper, we study the Fourier expansion where the coefficients are given as the evaluation of a sequence of modular forms at a fixed point in the upper half-plane. We show that for prime levels l for which the modular curve X0(l) is hyperelliptic (with hyperelliptic involution of the AtkinLehner type) then one can choose a sequence of weight k (any even integer) forms so that the resulting Fourier expansion is itself a meromorphic modular form of weight 2-k. These sequences have many interesting properties, for instance, the sequence of their first nonzero next-to-leading coefficient is equal to the terms in the Fourier expansion of a certain weight 2-k form. The results in the paper generalizes earlier work by Asai, Kaneko, and Ninomiya (for level one), and Ahlgren (for the cases where X0(l) has genus zero).",
keywords = "Atkin-Lehner involution, Coefficient duality, Fourier expansions, Hyperelliptic modular curves, Meromorphic modular forms",
author = "Ahmad ElGuindy",
year = "2009",
month = "12",
doi = "10.1142/S1793042109002717",
language = "English",
volume = "5",
pages = "1433--1446",
journal = "International Journal of Number Theory",
issn = "1793-0421",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "8",

}

TY - JOUR

T1 - Fourier expansions with modular form coefficients

AU - ElGuindy, Ahmad

PY - 2009/12

Y1 - 2009/12

N2 - In this paper, we study the Fourier expansion where the coefficients are given as the evaluation of a sequence of modular forms at a fixed point in the upper half-plane. We show that for prime levels l for which the modular curve X0(l) is hyperelliptic (with hyperelliptic involution of the AtkinLehner type) then one can choose a sequence of weight k (any even integer) forms so that the resulting Fourier expansion is itself a meromorphic modular form of weight 2-k. These sequences have many interesting properties, for instance, the sequence of their first nonzero next-to-leading coefficient is equal to the terms in the Fourier expansion of a certain weight 2-k form. The results in the paper generalizes earlier work by Asai, Kaneko, and Ninomiya (for level one), and Ahlgren (for the cases where X0(l) has genus zero).

AB - In this paper, we study the Fourier expansion where the coefficients are given as the evaluation of a sequence of modular forms at a fixed point in the upper half-plane. We show that for prime levels l for which the modular curve X0(l) is hyperelliptic (with hyperelliptic involution of the AtkinLehner type) then one can choose a sequence of weight k (any even integer) forms so that the resulting Fourier expansion is itself a meromorphic modular form of weight 2-k. These sequences have many interesting properties, for instance, the sequence of their first nonzero next-to-leading coefficient is equal to the terms in the Fourier expansion of a certain weight 2-k form. The results in the paper generalizes earlier work by Asai, Kaneko, and Ninomiya (for level one), and Ahlgren (for the cases where X0(l) has genus zero).

KW - Atkin-Lehner involution

KW - Coefficient duality

KW - Fourier expansions

KW - Hyperelliptic modular curves

KW - Meromorphic modular forms

UR - http://www.scopus.com/inward/record.url?scp=77149134946&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77149134946&partnerID=8YFLogxK

U2 - 10.1142/S1793042109002717

DO - 10.1142/S1793042109002717

M3 - Article

VL - 5

SP - 1433

EP - 1446

JO - International Journal of Number Theory

JF - International Journal of Number Theory

SN - 1793-0421

IS - 8

ER -