Modular forms are special mathematical functions that have deep connections to number theory, including the study of prime numbers and integer solutions to equations. Among these, cusp forms are a particularly important subclass. A long-standing goal in number theory is to find explicit, concrete ways to construct or describe the space of all cusp forms of a given weight, rather than just knowing abstractly that such a space exists with a certain dimension.
This paper provides an explicit recipe for building a spanning set for the space of cusp forms using simpler objects called Eisenstein series evaluated at prime levels. Eisenstein series are easier to write down and work with than cusp forms, and they live in a related but distinct space. By working at prime levels and combining these Eisenstein series in the right way, the authors produce a collection of explicit functions that together can represent any cusp form through rational linear combinations. The word "rational" here means the coefficients involved are ordinary fractions, which is a desirable and non-trivial feature.
The key technical tool behind the proof involves a result about L-functions, which are certain infinite series encoding arithmetic information about modular forms. Specifically, the authors show that a cusp form is completely determined by a particular collection of its L-values, called noncentral quadratic-twist L-values. Knowing that these values uniquely pin down a cusp form is what allows the authors to confirm that their Eisenstein-series-based construction actually spans the full space of cusp forms, turning an abstract existence statement into something fully concrete and computable.