Siegel modular forms of weight 13 and the Leech lattice
Pith reviewed 2026-05-24 19:03 UTC · model grok-4.3
The pith
Alternating multilinear forms on the Leech lattice produce the only nonzero Siegel modular forms of weight 13.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For g equal to 8, 12, 16 or 24 there exists a nonzero alternating g-multilinear form on the Leech lattice, unique up to scalar, that is invariant under the orthogonal group of the lattice. The harmonic Siegel theta series attached to these forms are Siegel modular cuspforms of weight 13 for the group Sp(2g,Z); they are eigenforms, one of their Fourier coefficients is determined, and information is obtained about their standard L-functions.
What carries the argument
The g-multilinear alternating form on the Leech lattice that is invariant under its orthogonal group, used to construct the harmonic Siegel theta series of weight 13.
If this is right
- The four constructed forms are eigenforms for the Hecke algebra.
- One Fourier coefficient of each form can be read off from the lattice data.
- The standard L-functions of these forms satisfy the expected functional equations and have known local factors at many primes.
- No other nonzero Siegel modular forms of weight 13 exist for any Sp(2n,Z).
Where Pith is reading between the lines
- The same lattice-theoretic construction may produce forms in other weights once suitable multilinear invariants are identified.
- The uniqueness statement constrains the possible Hecke eigenvalues of any Siegel form of weight 13.
- If the Leech lattice admits no further independent invariants of this type, the list of weight-13 forms is exhaustive.
Load-bearing premise
There exists a nonzero alternating g-multilinear form on the Leech lattice that is invariant under the orthogonal group of the lattice, for each g in {8,12,16,24}.
What would settle it
An explicit computation showing that any one of the four constructed theta series vanishes identically, or the discovery of a nonzero Siegel form of weight 13 whose Fourier expansion does not arise from one of these Leech-lattice forms.
read the original abstract
For $g=8,12,16$ and $24$, there is a nonzero alternating $g$-multilinear form on the ${\rm Leech}$ lattice, unique up to a scalar, which is invariant by the orthogonal group of ${\rm Leech}$. The harmonic Siegel theta series built from these alternating forms are Siegel modular cuspforms of weight $13$ for ${\rm Sp}_{2g}(\mathbb{Z})$. We prove that they are nonzero eigenforms, determine one of their Fourier coefficients, and give informations about their standard ${\rm L}$-functions. These forms are interesting since, by a recent work of the authors, they are the only nonzero Siegel modular forms of weight $13$ for ${\rm Sp}_{2n}(\mathbb{Z})$, for any $n\geq 1$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript demonstrates the existence, uniqueness up to scalar, and O(Leech)-invariance of alternating g-multilinear forms on the Leech lattice for g = 8,12,16,24. It constructs the corresponding harmonic Siegel theta series and establishes that they are cusp forms of weight 13 for Sp_{2g}(Z). The authors prove that these forms are eigenforms, compute one Fourier coefficient to show non-vanishing, and provide information on their standard L-functions. They further claim, based on their recent work, that these are the only nonzero Siegel modular forms of weight 13 for Sp_{2n}(Z) with n ≥ 1.
Significance. If the results hold, this work offers explicit constructions of Siegel modular forms in weight 13, a weight where such forms are not commonly known. The approach using the Leech lattice and the representation theory of the Conway group to construct invariant alternating forms is innovative and connects lattice theory with the theory of Siegel modular forms. The proof of the eigenform property and the determination of Fourier coefficients, along with L-function information, are valuable contributions. The uniqueness statement, if substantiated by the cited work, would provide a complete classification in this weight.
minor comments (1)
- In the abstract, 'give informations about their standard L-functions' should be corrected to 'give information about their standard L-functions'.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of the manuscript and for recommending acceptance. The referee's summary correctly reflects the main contributions regarding the construction of weight-13 Siegel cusp forms via harmonic theta series attached to O(Leech)-invariant alternating multilinear forms on the Leech lattice, their eigenform property, and the uniqueness statement relying on our prior work.
Circularity Check
Minor self-citation for uniqueness remark; construction and proofs independent
specific steps
-
self citation load bearing
[Abstract (final sentence)]
"These forms are interesting since, by a recent work of the authors, they are the only nonzero Siegel modular forms of weight 13 for Sp_{2n}(Z), for any n≥1."
The assertion that the constructed forms are the only nonzero Siegel modular forms of weight 13 relies exclusively on a citation to the authors' own recent prior work rather than any argument or theorem proved in the present manuscript.
full rationale
The paper derives the existence and uniqueness (up to scalar) of the O(Leech)-invariant alternating g-linear forms for g=8,12,16,24 via explicit representation-theoretic arguments on the Conway group and direct invariance checks. It then builds the associated harmonic Siegel theta series, proves they are weight-13 cusp forms for Sp_{2g}(Z), establishes they are eigenforms, computes a Fourier coefficient for non-vanishing, and obtains L-function information. All of these steps are self-contained within the manuscript. The sole self-citation appears only in the final sentence of the abstract as an additional remark that these are the only nonzero weight-13 forms (for any n), which is not invoked in any derivation or proof of the paper's main results. This qualifies as a minor, non-load-bearing self-citation.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Leech lattice admits a nonzero alternating g-multilinear form, unique up to scalar, invariant under its orthogonal group, for g=8,12,16,24.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.