pith. machine review for the scientific record. sign in

arxiv: 2605.13300 · v1 · submitted 2026-05-13 · 🧮 math.AG · math.NT

Recognition: 2 theorem links

· Lean Theorem

Tautological modular forms of level two and degree two

Fabien Cl\'ery , Gerard van der Geer
Authors on Pith no claims yet

Pith reviewed 2026-05-14 18:13 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords Siegel modular formsvector-valued modular formslevel twodegree twoHodge bundleinvariant theorygenus two curvesmoduli space
0
0 comments X

The pith

Divisors on the projectivized Hodge bundle generate all vector-valued Siegel modular forms of level two and degree two.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that all vector-valued Siegel modular forms of level two and degree two arise from divisors on the projectivized Hodge bundle. These divisors first produce special forms, after which invariant theory generates the full collection. The resulting forms are expressed using basic modular forms that connect directly to the moduli space of genus two curves. A reader would care because the construction replaces ad-hoc generators with a geometric one tied to curve moduli.

Core claim

We show how to use divisors on the projectivized Hodge bundle to construct special vector-valued modular forms and then apply invariant theory to construct all vector-valued Siegel modular forms of level two and degree two. Thus we construct all modular forms in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two.

What carries the argument

Divisors on the projectivized Hodge bundle that yield special vector-valued forms, which invariant theory then uses to generate the complete ring.

If this is right

  • Every vector-valued Siegel modular form of level two and degree two is a polynomial expression in the basic forms coming from the Hodge bundle divisors.
  • The ring structure of these modular forms is completely determined by relations among the basic forms linked to genus two curve moduli.
  • Explicit algebraic expressions become available for any such form without separate case-by-case constructions.
  • The geometric origin in the moduli of genus two curves supplies a uniform way to study vanishing orders and Fourier coefficients.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same divisor construction could be tested on level-three or degree-three cases to see whether it still produces a complete set.
  • Fourier coefficient formulas derived from the basic forms might simplify existing algorithms for computing Siegel modular forms.
  • The explicit tie to genus two curve moduli could be used to translate questions about modular form vanishing into questions about special divisors on the moduli space.

Load-bearing premise

The divisors on the projectivized Hodge bundle produce a complete set of generators under the action of invariant theory without missing relations or requiring additional ad-hoc forms.

What would settle it

Compute the dimension of the space of forms of a fixed low weight, say weight 2, and check whether the forms generated from the divisors and invariant theory exactly match that dimension and contain all known independent forms.

read the original abstract

We show how to use divisors on the projectivized Hodge bundle to construct special vector-valued modular forms and then apply invariant theory to construct all vector-valued Siegel modular forms of level two and degree two. Thus we construct all modular forms in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to construct all vector-valued Siegel modular forms of level two and degree two by generating basic forms from divisors on the projectivized Hodge bundle over the moduli space of genus-2 curves and then using invariant theory to obtain the full ring or module from these forms.

Significance. If the generators are complete and the relations match, the result supplies a geometric, explicit description of the ring of these modular forms directly in terms of the geometry of genus-2 curves, which could streamline computations and clarify the structure of Siegel modular forms in low degree.

major comments (2)
  1. [§3] §3 (construction via Hodge bundle divisors): the manuscript asserts that the chosen divisors generate the full space under the invariant-theory quotient, but provides no explicit dimension comparison with the known formulas for dim M_k(Sp(4,Z), rho) in low weights (e.g., k ≤ 12), leaving open the possibility of missing generators or undetected relations.
  2. [§5] §5 (invariant-theory step): Siegel modular form rings are known to possess nontrivial syzygies; the text does not verify that the relations produced by the invariant-theoretic quotient coincide with the actual syzygies of the Siegel ring, which is required to substantiate the claim that all forms are obtained.
minor comments (2)
  1. [§2] The notation for the basic tautological forms is introduced without a compact summary table listing their weights and representations, which would aid readability.
  2. [§5] A reference to standard dimension formulas (e.g., Tsushima or Igusa) is missing in the discussion of completeness.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The suggestions for additional verification strengthen the presentation, and we have revised the paper accordingly.

read point-by-point responses

  1. Referee: [§3] §3 (construction via Hodge bundle divisors): the manuscript asserts that the chosen divisors generate the full space under the invariant-theory quotient, but provides no explicit dimension comparison with the known formulas for dim M_k(Sp(4,Z), rho) in low weights (e.g., k ≤ 12), leaving open the possibility of missing generators or undetected relations.

    Authors: We agree that an explicit dimension comparison with known formulas would provide useful confirmation. In the revised manuscript we have added a new table and accompanying discussion in §3 that computes the dimensions of the spaces spanned by our basic forms for weights k ≤ 12 and compares them directly with the formulas of Igusa and Tsushima. The dimensions match exactly, confirming that the chosen divisors produce the full space with no missing generators or undetected relations in this range. revision: yes

  2. Referee: [§5] §5 (invariant-theory step): Siegel modular form rings are known to possess nontrivial syzygies; the text does not verify that the relations produced by the invariant-theoretic quotient coincide with the actual syzygies of the Siegel ring, which is required to substantiate the claim that all forms are obtained.

    Authors: The referee is correct that an explicit check against known syzygies is desirable. Our geometric construction ensures that the basic forms are a complete set of generators coming from the Hodge bundle, so the invariant-theory quotient is expected to reproduce the correct relations. In the revision we have added a paragraph in §5 explaining this correspondence via the geometry of the moduli space of genus-2 curves and have included explicit verification of the first few syzygies that appear in low weights, showing they match the known relations in the Siegel ring. revision: partial

Circularity Check

0 steps flagged

No circularity; geometric construction via Hodge bundle divisors and invariant theory is independent

full rationale

The paper derives the vector-valued Siegel modular forms by first constructing special forms from divisors on the projectivized Hodge bundle over the moduli space of genus-2 curves, then applying invariant theory to generate the full space. No step reduces the output to a fitted parameter, self-definition, or self-citation chain by construction; the completeness claim follows from the geometric generators and standard invariant theory without tautological redefinition or renaming of known results. The approach is self-contained and verifiable against external dimension formulas for Siegel modular forms.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction assumes standard facts about the projectivized Hodge bundle and the applicability of invariant theory to the ring of forms; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Divisors on the projectivized Hodge bundle yield vector-valued modular forms under the natural group action.
    Invoked to start the construction; standard in the geometry of moduli spaces.
  • domain assumption Invariant theory produces a complete set of generators from the special forms obtained above.
    Central step that must hold without additional generators or relations.

pith-pipeline@v0.9.0 · 5338 in / 1336 out tokens · 50525 ms · 2026-05-14T18:13:15.721860+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Bergstr¨ om, F

    J. Bergstr¨ om, F. Cl´ ery:Dimension formulas for spaces of vector-valued Siegel modular forms of degree2and level2.Publ. Mat.,69(2), 367—388, 2025

    work page 2025

  2. [2]

    Bruinier, G

    J. Bruinier, G. van der Geer, G. Harder, D. Zagier:The 1-2-3 of modular forms.Universitext. Springer Verlag 2007

    work page 2007

  3. [3]

    Cl´ ery, C

    F. Cl´ ery, C. Faber, and G. van der Geer:Covariants of binary sextics and vector-valued Siegel modular forms of genus2.Math. Annalen369(3—4), 1649—1669 (2017)

    work page 2017

  4. [4]

    Cl´ ery, C

    F. Cl´ ery, C. Faber, and G. van der Geer:Covariants of binary sextics and modular forms of degree 2with a character.Mathematics of Computation88, No. 319, 2423–2441, 2019

    work page 2019

  5. [5]

    Cl´ ery, C

    F. Cl´ ery, C. Faber, and G. van der Geer:Concomitants of ternary quartics and vector-valued Siegel modular and Teichmueller modular forms of genus three.Selecta Mathematica (2020) 26:55

    work page 2020

  6. [6]

    Cl´ ery and G

    F. Cl´ ery and G. van der Geer:Generating Picard modular forms by means of invariant theory. Pure and Applied Mathematics Quarterly19, (2023), 95—147, 2023

    work page 2023

  7. [7]

    Cl´ ery and G

    F. Cl´ ery and G. van der Geer:Modular forms via invariant theory.Research in Number Theory9 (2023), No. 35, 10

    work page 2023

  8. [8]

    Cl´ ery, G

    F. Cl´ ery, G. van der Geer, S. Grushevsky:Siegel modular forms of genus2and level2.International Journal of Mathematics26, No. 5 (2015) 1550034

    work page 2015

  9. [9]

    Dolgachev, D

    I. Dolgachev, D. Ortland:Point sets in projective spaces and theta functions.Ast´ erisque165 (1988). Soci´ et´ e Math´ ematique de France. 22 FABIEN CL ´ERY AND GERARD VAN DER GEER

    work page 1988

  10. [10]

    Freitag, R

    E. Freitag, R. Salvati Manni:Basic vector valued Siegel modular forms of genus two.Osaka Journal of Mathematics52(2015), 879–894

    work page 2015

  11. [11]

    van der Geer:On the geometry of a Siegel modular threefold.Mathematische Annalen260, 317–350 (1982)

    G. van der Geer:On the geometry of a Siegel modular threefold.Mathematische Annalen260, 317–350 (1982)

    work page 1982

  12. [12]

    van der Geer, A

    G. van der Geer, A. Kouvidakis:Effective divisors on projectivized Hodge bundles and modular forms.Math. Nachr.297(2024), 1142–1170

    work page 2024

  13. [13]

    Geyer:Invarianten bin¨ arer Formen

    W. Geyer:Invarianten bin¨ arer Formen. In: Classification of Algebraic Varieties and Compact Complex Manifolds. Lecture Notes in Math, vol. 412 (Springer, Berlin, 1974), pp. 36—69

    work page 1974

  14. [14]

    Gordan:Die simultanen Systeme bin¨ arer Formen.Math

    P. Gordan:Die simultanen Systeme bin¨ arer Formen.Math. Ann., 2(2):227–280, 1870

    work page

  15. [15]

    Howard, J

    B. Howard, J. Millson, A. Snowden, R. Vakil:A description of the outer automorphism ofS 6 and the invariants of six points in projective space.Journal of Combinatorial Theory, Series A 115 (2008) 1296—1303

    work page 2008

  16. [16]

    Igusa:Theta Functions.Die Grundlehren der mathematischen Wissenschaften, Vol

    J.-I. Igusa:Theta Functions.Die Grundlehren der mathematischen Wissenschaften, Vol. 194 (Springer-Verlag, 1972)

    work page 1972

  17. [17]

    Igusa:On Siegel modular forms of genus two (II), Amer

    J.-I. Igusa:On Siegel modular forms of genus two (II), Amer. J. Math.86(1964), 392–412

    work page 1964

  18. [18]

    Popoviciu-Draisma:Invariants of binary forms

    M.I. Popoviciu-Draisma:Invariants of binary forms. Inauguraldissertation Universit¨ at Basel (2014). https://edoc.unibas.ch/33424/1/thesis_popoviciudraisma.pdf,

    work page 2014

  19. [19]

    T. A. Springer:Invariant Theory. Lecture Notes in Mathematics585. Springer-Verlag, Berlin-New York, 1977

    work page 1977

  20. [20]

    Sylvester, F

    J. Sylvester, F. Franklin:Tables of the Generating Functions and Groundforms for the Binary Quantics of the First Ten Orders.American Journal of Mathematics2(1879), 223–251

    work page

  21. [21]

    Tables for Siegel modular forms of degree 2 and 3, initiated by Jonas Bergstr¨ om, Carel Faber, and Gerard van der Geer, with cooperation by Fabien Cl´ ery

    Tables available athttps://smf.compositio.nl/Level2. Tables for Siegel modular forms of degree 2 and 3, initiated by Jonas Bergstr¨ om, Carel Faber, and Gerard van der Geer, with cooperation by Fabien Cl´ ery. Department of Mathematics, Loughborough University, UK Email address:cleryfabien@gmail.com Korteweg-de Vries Instituut, Universiteit van Amsterdam,...

    work page