Generators and relations of the graded algebra of modular forms

DOI10.1007/S11139-015-9674-ZzbMATH Open1408.11025arXiv1402.0405OpenAlexW3101470825MaRDI QIDQ5963792FDOQ5963792

N. Rustom

Publication date: 23 February 2016

Published in: The Ramanujan Journal (Search for Journal in Brave)

Abstract: We give bounds on the degree of generators for the ideal of relations of the graded algebras of modular forms with coefficients in $mathbbQ$ over congruence subgroups $Gamm{a}_0(N)$ for $N$ satisfying some congruence conditions and for $Gamm{a}_1(N)$. We give similar bounds for the graded $mathbbZ[frac1N]$-algebra of modular forms on $Gamm{a}_1(N)$ with coefficients in $mathbbZ[frac1N]$. For a prime $pgeq5$, we give a lower bound on the highest weight appearing in a minimal list of generators for $Gamm{a}_0(p)$, and we identify a set of generators for the graded algebra $M(Gamm{a}_0(p),mathbbZ)$ of modular forms over $Gamm{a}_0(p)$ with coefficients in $mathbbZ$, showing that this weight is unbounded. We generalize a result of Serre concerning congruences between modular forms over $Gamm{a}_0(p)$ and $S{L}_2(mathbbZ)$, and use it to identify a set of generators for $M(Gamm{a}_0(p),mathbbZ)$, and we state two conjectures detailing further the structure of this algebra. Finally we provide computations concerning the number of generators and relations for each of these algebras, as well as computational evidence for these conjectures.

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

zbMATH Keywords

relationsgraded algebrasgeneratorsmodular formsnumber theorymodular curves

Mathematics Subject Classification ID

Modular and automorphic functions (11F03) Graded rings (13A02) Relations with algebraic geometry and topology (11F23)

Cites Work

• Title not available (Why is that?)
• A tameness criterion for Galois representations associated to modular forms (mod \(p\))
• The irreducibility of the space of curves of a given genus
• The Arithmetic of Elliptic Curves
• Les Schémas de Modules de Courbes Elliptiques
• Courbes elliptiques: Formulaire
• Varieties Defined by Quadratic Equations
• Eta Products and Theta Series Identities
• Differential automorphisms for modular forms on \(\Gamma _{0}(4)\)
• Generators of graded rings of modular forms
• Algebras of Automorphic Forms with few Generators
• \(p\)-adic \(L\)-functions and the coniveau filtration on Chow groups. With an appendix by Brian Conrad.
• Automorphic forms and singularities with \(C^*\)-action
• On the algebra of modular forms on a congruence subgroup

Cited In (8)

• Generators of graded rings of modular forms
• Additive decompositions for rings of modular forms
• Rings of modular forms and a splitting of \(\mathrm{TMF}_0(7)\)
• Generators for modules of vector-valued Picard modular forms
• The minimum of the levels of the proper factors of a holomorphic eta quotient
• Explicit generators for the relation module in the example of Gruenberg–Linnell
• Generators of graded modules associated with linear filter-regular sequences
• The canonical ring of a stacky curve

This page was built for publication: Generators and relations of the graded algebra of modular forms

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