🔢 mathematics

Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

This paper establishes explicit dimension formulas for spaces of rational-weight modular forms induced by eta-quotients, classifies their associated multiplier systems, extends Martin's theorem to identify multiplicative holomorphic eta-quotients of integral weights, and provides SageMath tools for verification.

Original authors: Xiao-Jie Zhu

Published 2026-06-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Xiao-Jie Zhu

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the world of mathematics as a vast, intricate library. Inside this library, there are special books called modular forms. These aren't ordinary books; they are complex functions that follow very strict rules of symmetry, like a kaleidoscope that looks the same no matter how you rotate it.

For a long time, mathematicians have been trying to count how many of these special "books" exist for a given set of rules. This count is called the dimension of the space. Knowing the exact number is crucial because if there is only one book in a room, it has a very special property: it's an "eigenfunction." This means it sings a pure, unique note that doesn't get mixed up with others, allowing mathematicians to decode hidden patterns in its contents (its Fourier coefficients).

This paper, written by Xiao-Jie Zhu, is like a master librarian who has just discovered a new, highly efficient cataloging system for a specific, tricky section of the library: the section of rational-weight modular forms.

Here is a breakdown of what the paper achieves, using simple analogies:

1. The New Counting Formula (The Dimension Formula)

Previously, counting these specific types of modular forms was like trying to guess the number of grains of sand on a beach by looking at a single shell. It was vague or required very specific, hard-to-measure conditions.

The Analogy: Imagine you have a recipe for a cake (the modular form) that uses ingredients called "eta-quotients" (a specific type of mathematical building block). Sometimes the recipe calls for fractional amounts of ingredients (like 1/3 of a cup), which makes the math messy.
The Breakthrough: The author provides a precise calculator (an explicit formula). If you tell the calculator the level of the recipe (how complex the symmetry is) and the "fractional" ingredients used, it instantly tells you exactly how many unique cakes (modular forms) can be baked.
Why it matters: Before this, we didn't have a reliable way to count these when the "ingredients" were fractions. Now, we can say with certainty, "There is exactly one cake here," or "There are three."

2. Application I: Unlocking the "Roots" of Infinite Products

The paper uses this new counting formula to solve a puzzle involving infinite products (mathematical expressions that multiply an infinite number of terms together).

The Analogy: Imagine a giant, never-ending chain of dominoes falling. Sometimes, mathematicians want to know what happens if you take the "cube root" or "fifth root" of the entire chain. It's like asking, "If I take the cube root of this infinite song, what are the notes?"
The Breakthrough: Because the author proved that for certain specific setups, there is only one possible modular form (dimension = 1), they could match this unique form to a known "Eisenstein series" (a standard, well-understood type of form).
The Result: By matching the two, they derived a new series expression. This is like finding a secret code that translates the "root" of the infinite product into a clear list of numbers (Fourier coefficients). It's a new way to calculate the values of these complex mathematical objects.

3. Application II: The "Multiplicative" List (Extending Martin's Work)

In 1996, a mathematician named Yves Martin created a "Hall of Fame" list of special modular forms that have a property called multiplicativity.

The Analogy: Multiplicativity is like a magic rule where if you know the value of the function for number 3 and number 5, you can instantly know the value for 15 (because $3 \times 5 = 15$ ). It's a super-power that makes these numbers behave very predictably.
The Old List: Martin's list only included forms where the "ingredients" were whole numbers (integers) and the rules were very strict.
The New List: The author expanded this Hall of Fame. They relaxed the rules slightly to include forms that still have this "multiplicative" super-power but might have been excluded before.
The Result: They generated a massive table containing 2,277 new entries. They also proved that all these new entries are "Hecke eigenforms," meaning they are the "pure notes" of the mathematical world, obeying the multiplicative rule perfectly.

4. Classifying the "Characters" (The ID Cards)

Every modular form has an "ID card" called a multiplier system or character. This ID card tells the form how to behave when the symmetry rules are applied.

The Analogy: Think of the modular forms as dancers. The "character" is their dance license. Some licenses are for standard dances, others for complex, fractional steps.
The Breakthrough: The author completely classified all possible "dance licenses" (characters) that can be created using these specific eta-quotient ingredients.
The Result: They found, for example, that for a specific level (Level 4), there are exactly 384 different types of licenses available for a fixed weight. This is a complete inventory of the possibilities, showing that while the world of these forms is vast, it is also finite and fully mapped out.

Summary

In short, this paper is a construction manual and a census for a specific, difficult-to-reach part of the mathematical universe.

It gives a formula to count how many structures exist in this area.
It uses that count to decode the hidden numbers inside complex infinite products.
It creates a giant list of 2,277 special numbers that follow a predictable multiplication pattern, updating a famous list from 1996.
It provides a complete catalog of the "ID cards" (characters) that govern these structures.

The author also provided computer programs (SageMath) so that anyone can verify these counts and generate these lists themselves, ensuring the library is open for everyone to check the work.

Technical Summary: Dimension Formulas for Modular Form Spaces of Rational Weights, the Classification of Eta-Quotient Characters, and an Extension of Martin's Theorem

Problem Statement
The paper addresses the lack of systematic attention and explicit computational tools for modular forms of rational weights, particularly those with multiplier systems induced by eta-quotients of fractional exponents. While dimension formulas exist for integral and half-integral weights (often relying on Dirichlet characters or theta series multipliers), explicit formulas for general rational weights $k \in \mathbb{Q}$ with eta-quotient multipliers have been scarce or incomplete. Furthermore, the classification of characters induced by eta-quotients on the double cover of $\Gamma_0(N)$ and the extension of multiplicative properties (Hecke eigenform behavior) to these rational-weight settings remain open challenges.

Methodology
The author employs a divisor-theoretic approach based on the classical Riemann-Roch theorem and the Riemann-Hurwitz formula, following the method established by Petersson [Pet38]. The core technical framework involves:

D-Cover Formalism: The paper utilizes the $D$ -cover of $GL_2^+(\mathbb{R})$ to handle the multi-valued nature of fractional powers in the automorphic factor $(c\tau+d)^k$ . This allows multiplier systems to be treated as group characters on the cover.
Divisor Construction: A $\mathbb{Q}$ -valued divisor is associated with meromorphic modular forms of rational weight on the compact modular curve $X_{\Gamma_0(N)}$ . The valence formula is established for rational weights, relating the degree of the divisor to the weight $k$ and the index of the group.
Explicit Evaluation: The main technical achievement is the explicit evaluation of the divisor-theoretic formula for eta-quotient multiplier systems. This involves calculating the orders of eta-quotients at cusps using Dedekind sums and transformation formulas.
Linear Algebra and Inversion: To relate the exponents of eta-quotients to their orders at cusps, the paper utilizes an invertible matrix transformation (based on Bhattacharya's work) to solve for the exponents given the orders, and vice versa.
Hecke Operator Extension: For the application regarding multiplicativity, the paper extends Wohlfahrt's theory of double coset operators to rational weights and eta-quotients with arbitrary multiplier systems, deriving explicit formulas for the action of these operators on Fourier coefficients.

Key Contributions and Results

Explicit Dimension Formulas (Main Theorem):
The paper provides an explicit formula for $\dim_{\mathbb{C}} M_k(\Gamma_0(N), \chi)$ where $k \in \mathbb{Q}$ and $\chi$ is the multiplier system induced by an eta-quotient $f = \prod_{n|N} \eta(n\tau)^{r_n}$ with fractional exponents $r_n \in \mathbb{Q}$ .
- The formula is valid under specific conditions on the weight $k$ relative to the level $N$ and the orders at cusps (specifically when $k > 2 - \dots$ or when the dimension is sufficiently large).
- The formula generalizes previous results by Ibukiyama and others, covering cases where the multiplier system is not induced by a Dirichlet character or the theta series.
- Complete lists of dimensions for weights $1/2, 1, 3/2$ and small levels are generated and presented in tables.
Classification of Eta-Quotient Characters:
The paper completely classifies the linear characters induced by eta-quotients of integral exponents on the double cover of $\Gamma_0(N)$ .
- It establishes a bijection between these characters and specific vectors of exponents modulo a subgroup $Z(N)$ .
- Concrete counts are provided for various levels; for instance, there are exactly 384 such characters on the double cover of $\Gamma_0(4)$ for any fixed weight $k \in \frac{1}{2}\mathbb{Z}$ .
Extension of Martin's Theorem:
The paper extends Yves Martin's 1996 classification of multiplicative holomorphic eta-quotients (integral weights, Dirichlet character multipliers) to a broader setting.
- Generalized Multiplicativity: The definition of multiplicativity is extended to eta-quotients with arbitrary multiplier systems.
- Admissible Eta-Quotients: The author identifies "admissible" eta-quotients (those lying in one-dimensional spaces or satisfying specific cusp form conditions) and proves they are eigenforms for a generalized set of Hecke operators (Wohlfahrt's extension).
- Table of Results: A table containing 2,277 such admissible eta-quotients (Type I) is presented for levels $N \in \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 21, 27\}$ .
- Identities: The paper derives new identities involving Fourier coefficients of these eta-quotients, showing that $c_f(n_1)c_f(n_2) = c_f(n_1 n_2)$ for coprime $n_1, n_2$ under specific conditions.
Application to Infinite Products:
As a direct application of the dimension formulas, the paper derives series expressions for the Fourier coefficients of the $n$ -th root of certain infinite $q$ -products. By identifying one-dimensional spaces where an eta-quotient is proportional to an Eisenstein series, explicit formulas for the coefficients are obtained.

Significance and Claims
The paper claims to fill a gap in the theory of modular forms by providing the first fully explicit dimension formulas for spaces of rational-weight modular forms with eta-quotient multipliers. It asserts that these formulas are not merely theoretical but computationally effective, as demonstrated by the generation of extensive tables and SageMath programs.

Regarding the extension of Martin's theorem, the paper claims to significantly broaden the scope of known multiplicative eta-quotients. By relaxing the requirement for Dirichlet character multipliers and incorporating rational weights (via the $D$ -cover), the author identifies over 2,000 new examples of Hecke eigenforms. The paper emphasizes that these results rely on the identification of one-dimensional spaces, a technique that allows for the derivation of non-trivial relations among Fourier coefficients without requiring a full Hecke theory for general rational weights, which the author notes is not yet fully developed.

The work is presented as a foundational step, providing the necessary tools (dimension formulas, character classification, and operator actions) to further explore non-congruence modular forms and the arithmetic properties of eta-quotients with fractional exponents.

1. The New Counting Formula (The Dimension Formula)

2. Application I: Unlocking the "Roots" of Infinite Products

3. Application II: The "Multiplicative" List (Extending Martin's Work)

4. Classifying the "Characters" (The ID Cards)

Summary

More like this