Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Atkin and Swinnerton-Dyer congruences for meromorphic modular forms

Michael Allen, Ling Long, Hasan Saad

Abstract

In the 1970's, Atkin and Swinnerton-Dyer conjectured that Fourier coefficients of holomorphic modular cusp forms on noncongruence subgroups of $\text{SL}_2(\mathbb{Z})$ satisfy certain $p$-adic recurrence relations which are analogous to Hecke's recurrence relations for congrunece subgroups. In 1985, this was proven in seminal work of Scholl and it was recently extended to weakly holomorphic modular forms by Kazalicki and Scholl. We show that Atkin and Swinnerton-Dyer type congruences extend to the setting of meromorphic modular forms and that the $p$-adic recurrence relations arise from Scholl's congruences in addition to a contribution of fibers of universal elliptic curves at the poles. Moreover, when the poles are located at CM points, we exploit the CM structure to reduce these $p$-adic recurrence relations to $2$-term relations and we give explicit examples. Using this framework, we partially prove conjectures that certain meromorphic modular forms are magnetic.

Atkin and Swinnerton-Dyer congruences for meromorphic modular forms

Abstract

In the 1970's, Atkin and Swinnerton-Dyer conjectured that Fourier coefficients of holomorphic modular cusp forms on noncongruence subgroups of satisfy certain -adic recurrence relations which are analogous to Hecke's recurrence relations for congrunece subgroups. In 1985, this was proven in seminal work of Scholl and it was recently extended to weakly holomorphic modular forms by Kazalicki and Scholl. We show that Atkin and Swinnerton-Dyer type congruences extend to the setting of meromorphic modular forms and that the -adic recurrence relations arise from Scholl's congruences in addition to a contribution of fibers of universal elliptic curves at the poles. Moreover, when the poles are located at CM points, we exploit the CM structure to reduce these -adic recurrence relations to -term relations and we give explicit examples. Using this framework, we partially prove conjectures that certain meromorphic modular forms are magnetic.

Paper Structure

This paper contains 1 section, 2 theorems, 26 equations.

Table of Contents

  1. Introduction and statement of results

Key Result

Theorem 1.1

Let $\Gamma$ be a finite index subgroup of $\mathop{\mathrm{SL}}\nolimits_2(\mathbb Z)$ such that $X_\Gamma:=\Gamma\backslash\overline{\mathfrak{H}}$ is defined over $K$ and satisfies the conditions above. Moreover, let $k\geq 3,$$\mathfrak{u}\subset Y(K),$ and $d:=2\dim S_k(X_{\Gamma})+(k-1)\cdot\# such that for any $f(\tau)=\sum\limits_{n\geq 1} a_f(n)t^n\in S_k(X_\Gamma,\star\mathfrak{u}, \math

Theorems & Definitions (7)

  • Remark 1
  • Definition 1
  • Theorem 1.1
  • Example 1
  • Remark 2
  • Example 2
  • Corollary 1.2