pith. sign in

arxiv: 2606.08733 · v1 · pith:57UF2VG5new · submitted 2026-06-07 · 🧮 math.NT · math.CO

On the degree-2 Siegel theta series of extremal even unimodular lattices of ranks 48, 72, 96, and 120

Scott Duke Kominers This is my paper

Pith reviewed 2026-06-27 17:52 UTC · model grok-4.3

classification 🧮 math.NT math.CO
keywords Siegel theta seriesextremal latticeseven unimodular latticesgenus-2 modular formsIgusa structure theoremFourier-Jacobi coefficientsdepth filtration
0
0 comments X

The pith

The degree-2 Siegel theta series of extremal even unimodular lattices is uniquely determined by extremality in ranks 48, 72, and 96.

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

The paper shows that a depth filtration on cusp forms, built from Igusa's structure theorem on the ring of genus-2 Siegel modular forms, interacts with the coefficient vanishings imposed by lattice extremality. In ranks 48, 72, and 96 this forces the degree-2 theta series to be the unique form satisfying those vanishings. The argument is direct from the genus-2 viewpoint and does not rely on prior knowledge of the lattices themselves. For rank 120 the same method leaves a one-parameter family of possible series.

Core claim

Using Igusa's structure theorem, a depth filtration on genus-2 cusp forms is defined by total degree in χ10 and χ12. This filtration interacts with the vanishing of low Fourier-Jacobi coefficients forced by extremality such that in ranks 48, 72, and 96 the degree-2 theta series is uniquely determined, and in rank 120 any two differ by an integer multiple of χ10^6.

What carries the argument

depth filtration on genus-2 cusp forms by total degree in χ10 and χ12

If this is right

  • The degree-2 theta series is fixed by extremality alone in ranks 48, 72, and 96 (conditional on existence in 96).
  • In rank 120 any two degree-2 theta series of such lattices differ by a multiple of χ10^6.
  • The uniqueness holds via a direct genus-2 proof without computing explicit lattices.

Where Pith is reading between the lines

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

  • If extremal lattices exist in these ranks, their theta series can be computed from modular form theory alone.
  • The residual freedom in rank 120 suggests that higher-rank cases may require additional invariants beyond extremality.
  • Similar filtrations might apply to other Siegel modular form contexts where coefficient vanishings occur.

Load-bearing premise

Igusa's structure theorem can be used to define a depth filtration that interacts with the vanishing of low Fourier-Jacobi coefficients forced by extremality in exactly the stated way.

What would settle it

Existence of two extremal even unimodular lattices in rank 48 whose degree-2 theta series differ by a nonzero multiple of χ10^6 would falsify the uniqueness claim.

read the original abstract

We study degree-$2$ Siegel theta series of extremal even unimodular lattices from the genus-$2$ viewpoint initiated by Ozeki. Using Igusa's structure theorem, we define a depth filtration on genus-$2$ cusp forms, measured by the total degree in $\chi_{10}$ and $\chi_{12}$, and relate it to the vanishing of low Fourier--Jacobi coefficients forced by extremality. In ranks $48$, $72$, and $96$, this interaction closes exactly and yields a direct genus-$2$ proof that the degree-$2$ theta series is uniquely determined by extremality (conditional on existence in rank $96$). In rank $120$ (again conditional on existence), the same argument leaves a one-dimensional residual line spanned by $\chi_{10}^6$: with $\chi_{10}$ in the standard integral normalization, any two such degree-$2$ theta series differ by an integer multiple of $\chi_{10}^6$.

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

1 major / 1 minor

Summary. The manuscript claims that, via Igusa's structure theorem, a depth filtration on the ring of genus-2 Siegel cusp forms (total degree in the generators χ₁₀ and χ₁₂) interacts with the vanishing orders of low Fourier–Jacobi coefficients forced by extremality of even unimodular lattices. In ranks 48, 72 and 96 this interaction closes exactly, yielding a direct genus-2 proof that the degree-2 theta series is uniquely determined by extremality (conditional on existence in rank 96). In rank 120 the same argument leaves a one-dimensional residual spanned by χ₁₀⁶, so that any two such theta series differ by an integer multiple of that form.

Significance. If the matching of filtration depth with vanishing order is verified, the work supplies an algebraic, genus-2 proof of uniqueness that avoids higher-genus machinery and makes the extremality condition directly visible in the ring structure. The explicit residual in weight 60 is a concrete, falsifiable prediction. The approach builds cleanly on Ozeki’s earlier genus-2 viewpoint and could serve as a template for similar problems involving extremal lattices.

major comments (1)
  1. [Main argument (Igusa filtration and Fourier–Jacobi vanishing)] The central claim that the depth filtration closes exactly in weights 24, 36 and 48 (and leaves precisely the χ₁₀⁶ line in weight 60) rests on an asserted equality between algebraic depth and analytic vanishing order; the abstract sketches the argument but the manuscript must supply the explicit coefficient comparison or inductive step that establishes this equality, as it is load-bearing for both the uniqueness statements and the residual description.
minor comments (1)
  1. The standard integral normalization of χ₁₀ should be stated explicitly when the integer-multiple claim for rank 120 is made, to avoid ambiguity about the lattice of possible residuals.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thorough reading and for recognizing the potential of the genus-2 approach. The single major comment concerns the explicit verification of the depth-vanishing equality; we address it directly below and will incorporate the requested details.

read point-by-point responses

  1. Referee: [Main argument (Igusa filtration and Fourier–Jacobi vanishing)] The central claim that the depth filtration closes exactly in weights 24, 36 and 48 (and leaves precisely the χ₁₀⁶ line in weight 60) rests on an asserted equality between algebraic depth and analytic vanishing order; the abstract sketches the argument but the manuscript must supply the explicit coefficient comparison or inductive step that establishes this equality, as it is load-bearing for both the uniqueness statements and the residual description.

    Authors: We agree that the equality between the algebraic depth (total degree in the Igusa generators) and the analytic vanishing order of the low Fourier–Jacobi coefficients is the load-bearing step. The current manuscript contains the relation in Section 3 via the action of the depth filtration on the Fourier–Jacobi expansion, but the coefficient comparison is only indicated rather than written out inductively. In the revision we will add an explicit inductive argument: we first record the precise leading Fourier–Jacobi coefficients of χ₁₀ and χ₁₂ (normalized integrally), then show by induction on depth that any form of depth d vanishes to order at least ⌈d/2⌉ in the first two coefficients when the lattice is extremal. This closes the filtration exactly in weights 24, 36 and 48 and isolates the χ₁₀⁶ line in weight 60. The added computation occupies roughly two pages and makes the uniqueness statements and the residual prediction fully rigorous without external references. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central argument applies Igusa's structure theorem (external algebraic fact) to equip the ring of genus-2 Siegel modular forms with a depth filtration by total degree in the cusp-form generators χ10 and χ12, then relates this filtration to the order of vanishing of low Fourier-Jacobi coefficients forced by extremality. This matching is asserted to close exactly in weights 24, 36, and 48 (and leave a one-dimensional residual in weight 60). The construction cites Ozeki's prior genus-2 viewpoint as an external starting point but introduces the specific depth filtration and its interaction with extremality as independent content; no parameter is fitted to data and then renamed as a prediction, no self-citation chain bears the load of a uniqueness claim, and no equation reduces to its own inputs by definition. The derivation is therefore self-contained against the stated external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The argument rests on Igusa's structure theorem for the ring of genus-2 Siegel modular forms and on the definition of the depth filtration; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • standard math Igusa's structure theorem holds for the ring of genus-2 Siegel modular forms and allows a depth filtration by total degree in χ10 and χ12
    Invoked to define the filtration that interacts with extremality conditions.

pith-pipeline@v0.9.1-grok · 5714 in / 1326 out tokens · 21129 ms · 2026-06-27T17:52:50.406217+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

19 extracted references

  1. [1]

    John Horton Conway and Neil J. A. Sloane, Sphere Packings, Lattices and Groups , 3rd ed., Grundlehren der mathematischen Wissenschaften, vol. 290, Springer-Verlag, New York, 1999

    1999

  2. [2]

    V. A. Erokhin, Theta-series of even unimodular lattices, Journal of Soviet Mathematics 25 (1984), no. 2, 1012--1020

    1984

  3. [3]

    55, Birkh \"a user, Boston, 1985

    Martin Eichler and Don Zagier, The Theory of Jacobi Forms , Progress in Mathematics, vol. 55, Birkh \"a user, Boston, 1985

    1985

  4. [4]

    1, 175--200

    Jun-Ichi Igusa, On Siegel modular forms of genus two , American Journal of Mathematics 84 (1962), no. 1, 175--200

    1962

  5. [5]

    3, 392--412

    , On Siegel modular forms of genus two II , American Journal of Mathematics 86 (1964), no. 3, 392--412

    1964

  6. [6]

    C. L. Mallows, A. M. Odlyzko, and N. J. A. Sloane, Upper bounds for modular forms, lattices, and codes, Journal of Algebra 36 (1975), no. 1, 68--76

    1975

  7. [7]

    Gabriele Nebe, An even unimodular 72 -dimensional lattice of minimum 8 , Journal f \"u r die reine und angewandte Mathematik 673 (2012), 237--247

    2012

  8. [8]

    , A fourth extremal even unimodular lattice of dimension 48 , Discrete Mathematics 331 (2014), 133--136

    2014

  9. [9]

    1, 19--53

    Manabu Oura and Michio Ozeki, Distinguishing Siegel theta series of degree 4 for the 32 -dimensional even unimodular extremal lattices , Abhandlungen aus dem Mathematischen Seminar der Universit \"a t Hamburg 86 (2016), no. 1, 19--53

    2016

  10. [10]

    2, 281--314

    , A numerical study of Siegel theta series of various degrees for the 32 -dimensional even unimodular extremal lattices , Kyushu Journal of Mathematics 70 (2016), no. 2, 281--314

    2016

  11. [11]

    3, 225--228

    Michio Ozeki, On a relation satisfied by Fourier coefficients of theta-series of degree one and two , Mathematische Annalen 222 (1976), no. 3, 225--228

    1976

  12. [12]

    1, 17--30

    , On basis problem for Siegel modular forms of degree 2 , Acta Arithmetica 31 (1976), no. 1, 17--30

    1976

  13. [13]

    3, 249--258

    , On a property of Siegel theta-series , Mathematische Annalen 228 (1977), no. 3, 249--258

    1977

  14. [14]

    2, 119--131

    , Examples of even unimodular extremal lattices of rank 40 and their Siegel theta-series of degree 2 , Journal of Number Theory 28 (1988), no. 2, 119--131

    1988

  15. [15]

    1, 1--22

    , On a problem posed by R.\ Salvati Manni , Acta Arithmetica 150 (2011), no. 1, 1--22

    2011

  16. [16]

    1, 53--91

    , Siegel theta series of various degrees for the Leech lattice , Kyushu Journal of Mathematics 68 (2014), no. 1, 53--91

    2014

  17. [17]

    2, 139--186

    , A numerical study of Siegel theta series of various degrees for the 48 -dimensional even unimodular extremal lattices , Tsukuba Journal of Mathematics 40 (2016), no. 2, 139--186

    2016

  18. [18]

    1, 58--61

    Meinhard Peters, Siegel theta series of degree 2 of extremal lattices , Journal of Number Theory 35 (1990), no. 1, 58--61

    1990

  19. [19]

    Salvati Manni, Slope of cusp forms and theta series, Journal of Number Theory 83 (2000), no

    R. Salvati Manni, Slope of cusp forms and theta series, Journal of Number Theory 83 (2000), no. 2, 282--296

    2000