Computing bases of modular forms using the graded algebra structure

DOI10.1007/S00605-018-1168-9MaRDI QIDQ1757406zbMATH OpenOpenAlexFDO

Authors Michael O. Lam, Noah S. McClelland, Matthew R. Petty, John J. Webb

Publication date 4 January 2019

Published in Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.07475

zbMATH Keywords

algorithmbases of modular formseta-quotientsholomorphic modular forms on \(\Gamma_0(N)\)

Mathematics Subject Classification ID

Holomorphic modular forms of integral weight (11F11) Dedekind eta function, Dedekind sums (11F20) Fourier coefficients of automorphic forms (11F30) Number-theoretic algorithms; complexity (11Y16)

Abstract: We develop a new algorithm to compute a basis for $M_k(Gamm{a}_0(N))$, the space of weight $k$ holomorphic modular forms on $Gamm{a}_0(N)$, in the case when the graded algebra of modular forms over $Gamm{a}_0(N)$ is generated at weight two. Our tests show that this algorithm significantly outperforms a commonly used algorithm which relies more heavily on modular symbols.

Review text

In this article, the authors offer a new algorithm to compute a basis of the space \(M_k(\Gamma_0(N))\) of modular forms of integral level \(N\) and of even weight \(k\) with respect to the modular group \(\Gamma_0(N)\) in the case that the graded algebra \(\sum_{k\geq 2}M_k(\Gamma_0(N))\) is generated by modular forms of weight \(2\). This case occurs precisely when \(N\) is satisfied with the following (1) and (2): (1) either \(4|N\) or \(p|N\) for some prime \(p\equiv 3 \mod 4\); (2) either \(9|N\) or \(p|N\) for some prime \(p\equiv 2 \mod 3\). This algorithm gives a basis of \(M_k(\Gamma_0(N))\) by generating independent products of \(k/2\) modular forms of weight \(2\) in series. Comparing with the previous standard algorithm based on the modular symbol, on experiments by the authors, this algorithm shows significant improvement in both speed and memory usage. Further in the case that \(M_2(\Gamma_0(N))\) is generated by eta-quotients, the authors offer another algorithm by eta-quotients.

Recommendations

• The Hecke operators on \(S_ k(\Gamma_ 1(N))\)
• COMPARISON OF INTEGRAL STRUCTURES ON SPACES OF MODULAR FORMS OF WEIGHT TWO, AND COMPUTATION OF SPACES OF FORMS MOD 2 OF WEIGHT ONE. WITH APPENDICES BY JEAN-FRANÇOIS MESTRE AND GABOR WIESE
• An introduction to computing modular forms using modular symbols
• Modular forms, a computational approach. With an appendix by Paul E. Gunnells
• Computations with classical and p-adic modular forms

Cites work

• Finiteness of simple holomorphic eta quotients of a given weight
• Generators of graded rings of modular forms
• scientific article; zbMATH DE number 2134201 (Why is no real title available?)
• scientific article; zbMATH DE number 3503412 (Why is no real title available?)
• scientific article; zbMATH DE number 2038304 (Why is no real title available?)
• Modular forms, a computational approach. With an appendix by Paul E. Gunnells
• On spaces of modular forms spanned by eta-quotients

Cited in

(10)

• Modular algorithms for computing Gröbner bases.
• The Bruinier-Funke pairing and the orthogonal complement of unary theta functions
• Construction of all polynomial relations among Dedekind eta functions of level \(N\)
• An algorithm to prove holonomic differential equations for modular forms
• COMPARISON OF INTEGRAL STRUCTURES ON SPACES OF MODULAR FORMS OF WEIGHT TWO, AND COMPUTATION OF SPACES OF FORMS MOD 2 OF WEIGHT ONE. WITH APPENDICES BY JEAN-FRANÇOIS MESTRE AND GABOR WIESE
• scientific article; zbMATH DE number 5509903 (Why is no real title available?)
• Computing homology using generalized Gröbner bases
• Generators and relations of the graded algebra of modular forms
• On the computation of modular forms on noncongruence subgroups
• Computing classical modular forms for arbitrary congruence subgroups

This page was built for publication: Computing bases of modular forms using the graded algebra structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1757406)