Ring of modular forms

In mathematics, the ring of modular forms associated to a subgroup Template:Math of the special linear group Template:Math is the graded ring generated by the modular forms of Template:Math. The study of rings of modular forms describes the algebraic structure of the space of modular forms.

Definition

Let Template:Math be a subgroup of Template:Math that is of finite index and let Template:Math be the vector space of modular forms of weight Template:Mvar. The ring of modular forms of Template:Math is the graded ring $M(\mathrm{\Gamma })=\underset{k\ge 0}{⨁}{M}_k(\mathrm{\Gamma })$.

Example

The ring of modular forms of the full modular group Template:Math is freely generated by the Eisenstein series Template:Math and Template:Math. In other words, Template:Math is isomorphic as a $ℂ$-algebra to $ℂ[E_4,E_6]$, which is the polynomial ring of two variables over the complex numbers.

Properties

The ring of modular forms is a graded Lie algebra since the Lie bracket $[f,g]=kf{g}^{\prime }-\ell f^{\prime }g$ of modular forms Template:Mvar and Template:Mvar of respective weights Template:Mvar and Template:Mvar is a modular form of weight Template:Math. A bracket can be defined for the Template:Mvar-th derivative of modular forms and such a bracket is called a Rankin–Cohen bracket.

Congruence subgroups of SL(2, Z)

In 1973, Pierre Deligne and Michael Rapoport showed that the ring of modular forms Template:Math is finitely generated when Template:Math is a congruence subgroup of Template:Math.

In 2003, Lev Borisov and Paul Gunnells showed that the ring of modular forms Template:Math is generated in weight at most 3 when $\mathrm{\Gamma }$ is the congruence subgroup ${\mathrm{\Gamma }}_1(N)$ of prime level Template:Mvar in Template:Math using the theory of toric modular forms. In 2014, Nadim Rustom extended the result of Borisov and Gunnells for ${\mathrm{\Gamma }}_1(N)$ to all levels Template:Mvar and also demonstrated that the ring of modular forms for the congruence subgroup ${\mathrm{\Gamma }}_0(N)$ is generated in weight at most 6 for some levels Template:Mvar.

In 2015, John Voight and David Zureick-Brown generalized these results: they proved that the graded ring of modular forms of even weight for any congruence subgroup Template:Math of Template:Math is generated in weight at most 6 with relations generated in weight at most 12. Building on this work, in 2016, Aaron Landesman, Peter Ruhm, and Robin Zhang showed that the same bounds hold for the full ring (all weights), with the improved bounds of 5 and 10 when Template:Math has some nonzero odd weight modular form.

General Fuchsian groups

A Fuchsian group Template:Math corresponds to the orbifold obtained from the quotient $\mathrm{\Gamma }\mathrm{\setminus }ℍ$ of the upper half-plane $ℍ$. By a stacky generalization of Riemann's existence theorem, there is a correspondence between the ring of modular forms of Template:Math and a particular section ring closely related to the canonical ring of a stacky curve.

There is a general formula for the weights of generators and relations of rings of modular forms due to the work of Voight and Zureick-Brown and the work of Landesman, Ruhm, and Zhang. Let $e_i$ be the stabilizer orders of the stacky points of the stacky curve (equivalently, the cusps of the orbifold $\mathrm{\Gamma }\mathrm{\setminus }ℍ$) associated to Template:Math. If Template:Math has no nonzero odd weight modular forms, then the ring of modular forms is generated in weight at most $6\max (1,e_1,e_2,\dots ,e_r)$ and has relations generated in weight at most $12\max (1,e_1,e_2,\dots ,e_r)$. If Template:Math has a nonzero odd weight modular form, then the ring of modular forms is generated in weight at most $\max (5,e_1,e_2,\dots ,e_r)$ and has relations generated in weight at most $2\max (5,e_1,e_2,\dots ,e_r)$.

Applications

In string theory and supersymmetric gauge theory, the algebraic structure of the ring of modular forms can be used to study the structure of the Higgs vacua of four-dimensional gauge theories with N = 1 supersymmetry. The stabilizers of superpotentials in N = 4 supersymmetric Yang–Mills theory are rings of modular forms of the congruence subgroup Template:Math of Template:Math.