Theta Blocks

Don Zagier; Nils-Peter Skoruppa; Valery Gritsenko

arxiv: 1907.00188 · v1 · pith:D32KLAUWnew · submitted 2019-06-29 · 🧮 math.NT

Theta Blocks

Valery Gritsenko , Nils-Peter Skoruppa , Don Zagier This is my paper

Pith reviewed 2026-05-25 13:01 UTC · model grok-4.3

classification 🧮 math.NT

keywords theta blocksJacobi formsSiegel modular formsDedekind eta functionmodular formslattice theoryalgebraic geometry

0 comments

The pith

Theta blocks, defined as products of Jacobi theta functions divided by eta powers, provide a new method to construct Jacobi forms and Siegel modular forms.

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

The paper defines theta blocks and demonstrates their use in building Jacobi forms and related Siegel modular forms. A central question addressed is determining the conditions under which such a block qualifies as a Jacobi form. This question links to problems in Fourier analysis, infinite-dimensional Lie algebras, and moduli spaces in algebraic geometry. The authors provide several answers to this question, opening applications in lattice theory and algebraic geometry.

Core claim

Theta blocks are defined as products of Jacobi theta functions divided by powers of the Dedekind eta-function. These objects give a powerful new method to construct Jacobi forms and Siegel modular forms. The question of when a theta block defines a Jacobi form connects to deep problems across multiple fields, and several answers are given.

What carries the argument

Theta blocks, defined as products of Jacobi theta functions divided by powers of the Dedekind eta-function, which are shown to satisfy modular transformation properties under suitable parameter choices.

If this is right

New explicit constructions of Jacobi forms of various weights and indices become available.
These constructions extend to Siegel modular forms in higher genus.
Applications arise in the study of lattices and their theta series.
Connections are established to moduli spaces in algebraic geometry.

Where Pith is reading between the lines

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

Computational verification of specific theta blocks could confirm their Jacobi form properties for small cases.
The method might extend to other types of modular forms beyond Jacobi and Siegel.
Links to Lie algebra representations could lead to new identities in representation theory.

Load-bearing premise

That the defined products of theta functions divided by eta powers satisfy the required transformation properties to define Jacobi forms for suitable choices of parameters.

What would settle it

Finding a specific choice of parameters where the theta block does not transform correctly under the action of the modular group, or where it fails to match the known space of Jacobi forms of that weight and index.

read the original abstract

We define theta blocks as products of Jacobi theta functions divided by powers of the Dedekind eta-function and show that they give a powerful new method to construct Jacobi forms and Siegel modular forms, with applications also in lattice theory and algebraic geometry. One of the central questions is when a theta block defines a Jacobi form. It turns out that this seemingly simple question is connected to various deep problems in different fields ranging from Fourier analysis over infinite-dimensional Lie algebras to the theory of moduli spaces in algebraic geometry. We give several answers to this question.

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.

Desk Editor's Note private letter to a colleague

Theta blocks give a straightforward construction for some Jacobi forms with real links to other areas, but the paper supplies several partial answers rather than a general theory.

read the letter

The main contribution is the definition of theta blocks as products of Jacobi theta functions over powers of eta, together with the claim that these objects produce Jacobi forms and Siegel modular forms under suitable conditions. The authors connect the question of when the product satisfies the right automorphy to problems in Fourier analysis, Kac-Moody algebras, and moduli spaces, and they supply several answers in the form of concrete criteria or families where it works. That framing is the part that feels useful; it organizes constructions that people already use in modular forms and makes the cross-field connections explicit rather than implicit. The authors know the literature, so the citations and the choice of examples are likely on target. The construction itself is elementary enough that it can be checked directly once the parameters are fixed. The soft spot is that the central question receives several answers instead of one clean theorem that settles it in general. If the paper only treats special cases or gives sufficient conditions without necessity, then the method is a tool rather than a classification. The applications to lattices and algebraic geometry are mentioned but read as directions rather than fully worked out. This paper is for people already working on Jacobi forms or Siegel modular forms who want explicit generators or new examples. A reader looking for a broad new framework will get less out of it. It deserves a serious referee because the topic is live and the authors deliver concrete objects rather than vague suggestions.

Referee Report

0 major / 3 minor

Summary. The paper defines theta blocks as products of Jacobi theta functions divided by powers of the Dedekind eta-function. It shows that these objects provide a new constructive method for Jacobi forms and Siegel modular forms, with further applications in lattice theory and algebraic geometry. The central question addressed is the determination of when a theta block is a Jacobi form; several answers are given, linking the question to problems in Fourier analysis, infinite-dimensional Lie algebras, and moduli spaces of curves.

Significance. If the constructions and criteria hold, the work supplies an explicit and flexible method for producing Jacobi forms of various weights and indices, which is a longstanding constructive problem in the field. The connections drawn to Lie algebra representations and to the geometry of moduli spaces indicate potential for cross-field applications, particularly if the theta-block criteria can be made effective for specific lattices or curves.

minor comments (3)

§2, Definition 2.1: the precise range of the multi-index m and the integrality conditions on the exponents should be stated explicitly before the first examples are given, to avoid ambiguity when the block is later specialized to Siegel forms.
Theorem 3.4: the statement that the theta block is holomorphic at the cusp would benefit from a short remark on the growth estimate used, even if it follows from the standard theory of theta functions.
Table 1: several entries list the same weight and index; a brief note on whether these arise from distinct lattices or are merely reparametrizations would improve clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our manuscript on theta blocks, as well as the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines theta blocks explicitly as products of Jacobi theta functions divided by powers of the Dedekind eta function and then addresses the independent question of when such products satisfy the automorphy conditions to be Jacobi forms. This question is resolved by connecting to external results in Fourier analysis, Lie algebras, and moduli spaces rather than by any self-referential fitting, renaming, or self-citation chain that reduces the claimed construction back to its inputs by definition. No load-bearing step in the abstract or described approach exhibits the enumerated circular patterns; the central claim remains an independent investigation of transformation properties.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the definition of theta blocks itself may implicitly introduce a new construction but details are absent.

pith-pipeline@v0.9.0 · 5605 in / 907 out tokens · 42181 ms · 2026-05-25T13:01:16.692621+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

A theta block of length r is a function of the form ϑ_{a1}…ϑ_{ar} η^n … Its order at infinity is given by ord(ϑ_p,x) = (1/(4π^{2})) ∑ p(e^{2π i x n})/n^{2}.
IndisputableMonolith/Foundation/DimensionForcing.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 9.1 … eutactic star s … G-extremal … yields Jacobi form of weight n/2 on lattice index L.

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.