🔢 mathematics

Tautological modular forms of level two and degree two

This paper constructs all vector-valued Siegel modular forms of level two and degree two by utilizing divisors on the projectivized Hodge bundle and applying invariant theory to express them in terms of basic forms connected to the moduli of genus two curves.

Original authors: Fabien Cléry, Gerard van der Geer

Published 2026-05-14

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Fabien Cléry, Gerard van der Geer

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 you are trying to describe every possible shape a specific type of dough can take when baked. In the world of advanced mathematics, this "dough" is a modular form—a highly complex, multi-dimensional function that holds deep secrets about numbers and geometry.

This paper, written by Fabien Cléry and Gerard van der Geer, is essentially a master recipe book. It explains how to bake every single possible version of a specific type of modular form (specifically, those related to "level two" and "degree two") using just a few basic ingredients.

Here is the breakdown of their method, translated into everyday language:

1. The Problem: A Messy Kitchen

Mathematicians have known for a long time how to describe these "dough shapes" (modular forms) for simple cases. But as the complexity increases (moving from "level one" to "level two"), the kitchen gets messy.

The Issue: In this specific complex case, there are infinitely many different "dough shapes," and they don't fit neatly into a small, finite box of basic ingredients. You can't just list them all out like a grocery list.
The Goal: The authors wanted to find a way to describe all of these infinite shapes using a structured, manageable system.

2. The Solution: The "Tautological" Ingredients

The authors introduce a concept they call "tautological modular forms." Think of these as the "universal dough" or the "master ingredients" that are naturally built into the geometry of the problem.

Instead of trying to invent new shapes from scratch, they look at the geometry of the curves themselves.

The Analogy: Imagine you have a rubber sheet (a curve) with six specific dots marked on it (called Weierstrass points).
The Magic: The authors realized that if you look at how these six dots sit on the sheet, they naturally create six specific "gradient" shapes (like the slope of the sheet at those points). These six shapes are the "basic ingredients."

3. The Method: The "Translation Machine"

The paper describes a clever two-step process to turn these geometric ingredients into the complex mathematical forms they need.

Step A: The Geometry-to-Algebra Translator (The Map $\mu$ )
They treat the six marked points on the curve as six simple lines (like six sticks). They use a branch of math called Invariant Theory (which studies how shapes change when you rotate or stretch them) to create a "dictionary."

This dictionary translates the complex, infinite world of modular forms into a simpler world of polynomials (algebraic expressions) involving those six sticks.
Crucially, this translation turns a messy, infinite list of forms into a finite, manageable ring of polynomials. It's like taking a chaotic library of books and organizing them into a single, perfect filing system.

Step B: The Algebra-to-Geometry Translator (The Map $\nu$ )
Once they have the polynomial in the filing system, they need to turn it back into a modular form.

They take their "six sticks" (the polynomial variables) and swap them out for the actual six gradient shapes they found in the geometry step.
The Catch: Sometimes, when you swap them back, the result might have "holes" or "poles" (mathematical errors where the value blows up to infinity).
The Fix: The authors created a specific criterion (a checklist) to look at the polynomial before swapping it back. If the polynomial passes the checklist, they know the final result will be a perfect, "hole-free" modular form.

4. The Result: A Complete Recipe

By using this "Translation Machine," the authors achieved something remarkable:

They proved that every vector-valued Siegel modular form of this specific type can be built by taking a polynomial from their finite filing system and swapping in the geometric ingredients.
They didn't just find a few examples; they found the blueprint for all of them.
They also showed how to handle "intermediate" levels (kitchen setups that are between simple and complex) by splitting the six sticks into smaller groups (like splitting a group of six friends into a group of five and one loner).

5. Why This Matters (According to the Paper)

It's Constructive: The method is so clear that a computer could theoretically follow the steps to generate these forms automatically.
It Solves the "Infinite" Problem: Since the ring of these forms isn't finitely generated (you can't list a finite set of basic forms that build everything else), embedding them into a finite ring of polynomials is a brilliant workaround. It gives mathematicians a finite way to describe an infinite object.
It Connects Geometry and Algebra: It shows that the "shape" of the curve (geometry) and the "equations" describing it (algebra) are two sides of the same coin.

In summary: The paper provides a universal translator that turns the messy, infinite world of complex mathematical shapes into a neat, finite set of algebraic recipes, proving that every possible shape in this category can be built from a few fundamental geometric "ingredients."

Technical Summary: Tautological Modular Forms of Level Two and Degree Two

Problem Statement
The paper addresses the construction and explicit description of the ring of vector-valued Siegel modular forms of degree 2 and level 2, denoted $R(A_2[2])$ . Unlike the case of level 1, where the ring of modular forms is finitely generated (by Eisenstein series $E_4, E_6$ for elliptic curves or specific forms for genus 2), the ring of vector-valued modular forms for degree 2 is known not to be finitely generated (Grundh [2]). The authors seek a method to describe this non-finitely generated ring using "tautological" forms—forms intimately connected to the moduli interpretation of the space—and to embed this ring into a finitely generated structure to facilitate explicit computation.

Methodology
The authors employ a geometric approach combining the theory of moduli stacks, invariant theory, and theta functions.

Moduli Stack Interpretation: The moduli space $A_2[2]$ of principally polarized abelian surfaces with full level 2 structure is interpreted as a stack quotient. Specifically, the moduli space $M_2[2]$ of genus 2 curves with marked Weierstrass points is identified with the stack $[P/GL_2]$ , where $P$ is the space of pairs $(p_1, \dots, p_6, f)$ consisting of six points on $\mathbb{P}^1$ and a binary sextic $f$ vanishing at these points. The symmetric group $S_6 \cong Sp(4, \mathbb{Z}/2\mathbb{Z})$ acts on this space by permuting the six Weierstrass points.
Geometric Construction of Forms: The authors construct vector-valued modular forms by interpreting divisors on the projectivized Hodge bundle $\mathbb{P}(E)$ . The six Weierstrass points on the universal curve define six sections, whose closures yield divisors $W_i$ . The authors relate these divisors to the gradients of the six odd theta functions, denoted $G_1, \dots, G_6$ .
Invariant Theory and Covariants: The problem is translated into the language of classical invariant theory. Vector-valued modular forms on $A_2[2]$ are identified with covariants of the action of $GL_2$ on the space $V^{\oplus 6}$ (six linear forms in two variables). The ring of covariants $C(V^{\oplus 6})$ is finitely generated (by Gordan's theorem), whereas the ring of modular forms is not.
The Homomorphism $\mu$ and $\nu$ :
- A homomorphism $\mu: R(A_2[2]) \to C'(V^{\oplus 6})$ is defined, mapping modular forms to covariants with specific degree constraints.
- A reverse homomorphism $\nu: C'(V^{\oplus 6}) \to R(A_2[2])[1/\chi_5]$ is constructed by substituting the modular forms $G_i$ (and theta constants) into the covariant polynomials. This map lands in the ring of meromorphic modular forms.
Holomorphicity Criterion: To recover the ring of holomorphic modular forms, the authors establish an algebraic criterion for regularity. A covariant $C$ yields a holomorphic modular form if and only if its valuation $v_\pi(C)$ along the boundary divisors $H_\pi$ (corresponding to partitions of the six points) is non-negative for all partitions $\pi$ .

Key Contributions and Results

Tautological Forms: The paper constructs "tautological" vector-valued modular forms defined by divisors, coefficients of the universal binary sextic, and gradients of odd theta functions. Specifically, the forms $G_i$ (gradients of odd theta functions) and $\chi_5$ (the square root of the discriminant, product of even theta constants) serve as the fundamental building blocks.
Explicit Isomorphism: The ring of vector-valued Siegel modular forms of level 2 is explicitly identified as a subring of the finitely generated ring of covariants:
$R(A_2[2]) \cong \{ c \in C'(V^{\oplus 6}) : v_\pi(c) \geq 0 \text{ for all } \pi \}$
This provides a concrete description of a non-finitely generated ring via a finitely generated ambient ring.
Construction of Specific Forms: The authors demonstrate the method by constructing explicit bases for various spaces of modular forms (e.g., $S_{2,5}$ , $S_{4,4}$ , $S_{4,5}$ , $S_{6,4}$ ). They calculate Fourier expansions and Hecke eigenvalues for these forms, verifying their properties against known data (e.g., point counting over finite fields).
Intermediate Levels: The framework is extended to intermediate levels between level 1 and level 2 (e.g., $A_2[w]$ , the moduli of curves with a marked Weierstrass point). By splitting the universal binary sextic into factors (e.g., a quintic and a linear form), the authors construct modular forms for these intermediate levels using covariants of smaller degree binary forms.

Significance
The paper claims that this construction method offers a "good compensation" for the lack of a finite set of generators for the ring of vector-valued modular forms of degree 2. By embedding the ring into a finitely generated ring of covariants, the authors provide a systematic way to generate all modular forms explicitly. Furthermore, the authors note that this method is "ready made for machine construction of modular forms," facilitating the computation of Fourier expansions and other invariants. The work generalizes previous results on genus 2 (level 1) and genus 3 moduli, suggesting a pathway to extend these techniques to genus 3. The paper does not claim to solve the finite generation problem but rather to provide a practical, explicit description of the ring's structure and elements.

1. The Problem: A Messy Kitchen

2. The Solution: The "Tautological" Ingredients

3. The Method: The "Translation Machine"

4. The Result: A Complete Recipe

5. Why This Matters (According to the Paper)

More like this