Extremal Type II lattices of rank $72$ are generated by their second shell

Scott Duke Kominers

arxiv: 2606.08734 · v1 · pith:7KVISX3Onew · submitted 2026-06-07 · 🧮 math.NT · math.CO· math.MG

Extremal Type II lattices of rank 72 are generated by their second shell

Scott Duke Kominers This is my paper

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

classification 🧮 math.NT math.COmath.MG

keywords Type II latticesextremal latticeslattice generationspherical designsrank 72inner product distributionnorm shells

0 comments

The pith

An extremal Type II lattice of rank 72 is generated by its vectors of norm 10.

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

The paper proves that any extremal Type II lattice in rank 72 is spanned by its vectors of norm 10. This follows from first fixing the complete inner-product distribution between the norm-8 shell and the norm-10 shell. The distribution is obtained by invoking the spherical 11-design property of the norm-10 shell. A sympathetic reader would care because the result reduces the description of these lattices to a single shell, which may simplify further structural questions about them.

Core claim

If L is an extremal Type II lattice of rank 72, then L is generated by its vectors of norm 10. The proof determines the full inner product distribution between the shells of norms 8 and 10 using the spherical 11-design property of the norm-10 shell.

What carries the argument

The spherical 11-design property of the norm-10 shell, which fixes the inner-product counts with the norm-8 shell and thereby proves that the norm-10 vectors span the lattice.

If this is right

The lattice equals the Z-span of its second shell.
All inner products between norm-8 and norm-10 vectors are completely determined.
The same generation statement holds for every extremal Type II lattice in this rank.

Where Pith is reading between the lines

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

The same design-based counting technique might apply to extremal lattices in nearby ranks where an analogous design property is known.
If the generation result holds, computations of the lattice's theta series or kissing number could be reduced to data from the second shell alone.
One could test the result by attempting to generate candidate lattices directly from a putative second shell that satisfies the design and extremality conditions.

Load-bearing premise

The norm-10 shell of an extremal Type II lattice of rank 72 is a spherical 11-design.

What would settle it

An explicit example of an extremal Type II lattice of rank 72 whose norm-10 vectors do not span the full lattice.

read the original abstract

We show that if $L$ is an extremal Type II lattice of rank $72$, then $L$ is generated by its vectors of norm $10$. The proof determines the full inner product distribution between the shells of norms $8$ and $10$ using the spherical $11$-design property of the norm-$10$ shell.

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

The paper proves extremal Type II lattices of rank 72 are generated by their norm-10 vectors by fixing the inner-product distribution with the norm-8 shell via the 11-design property.

read the letter

The key takeaway is that any extremal Type II lattice in rank 72 is generated by its norm-10 vectors. The argument works out the full set of possible inner products between the norm-8 and norm-10 shells by invoking the spherical 11-design property on the latter, then uses that distribution to show every norm-8 vector lies in the integer span of the norm-10 ones.

What is new is the generation statement itself for this specific rank and type. The paper does a clean job of turning the design property into a concrete distribution and then into the spanning conclusion. The design fact is already known from the extremal condition and Venkov-type results, so there is no circularity; the contribution is the explicit calculation and the deduction that follows.

The soft spots are limited. The abstract is terse, so the details of how the distribution is enumerated and how it rules out any norm-8 vector outside the span need to be checked in the full text, but the outline given shows no internal contradiction or unstated assumption. The result is narrow in scope, which is fine for the subfield but means its impact stays within lattice classification work.

This is for people already working on extremal even unimodular lattices or spherical designs in high dimensions. A reader who follows the literature on rank-72 examples or wants structural constraints for further constructions would find it useful. It is a focused, logically grounded piece that deserves a serious referee rather than a desk rejection.

Referee Report

0 major / 2 minor

Summary. The paper proves that every extremal Type II lattice L of rank 72 is generated by its norm-10 vectors. The argument computes the complete inner-product distribution between the norm-8 and norm-10 shells by invoking the known fact that the norm-10 shell forms a spherical 11-design, then concludes that every norm-8 vector lies in the Z-span of the norm-10 vectors.

Significance. If the derivation holds, the result supplies a concrete generation statement for the extremal even unimodular lattices in dimension 72. It rests on standard consequences of the extremal property (Venkov-type design theorems) rather than introducing new ad-hoc assumptions, which strengthens its utility for further structural or computational work on these lattices.

minor comments (2)

The manuscript should include an explicit reference or short derivation for the spherical 11-design property of the norm-10 shell (currently invoked without a numbered citation or lemma).
Notation for the shells (e.g., L_8, L_10) and the inner-product counts should be introduced once in a preliminary section and used consistently thereafter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation of minor revision. The report contains no specific major comments to address point by point.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central claim—that extremal Type II rank-72 lattices are generated by their norm-10 vectors—is derived by using the known spherical 11-design property of the norm-10 shell (a standard consequence of extremality via Venkov's theory of lattice designs) to fix the inner-product distribution with the norm-8 shell, then showing every norm-8 vector lies in the Z-span of the norm-10 vectors. This design fact is external, not derived from the generation statement itself, and no self-citation, self-definition, fitted-input renaming, or ansatz smuggling appears in the load-bearing steps. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result depends on standard background facts about Type II lattices and the spherical-design property of the norm-10 shell; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The norm-10 shell of an extremal Type II lattice of rank 72 is a spherical 11-design
Explicitly used in the abstract to fix the inner-product distribution between shells.

pith-pipeline@v0.9.1-grok · 5574 in / 1300 out tokens · 28518 ms · 2026-06-27T17:50:42.111133+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references

[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]

Delsarte, J

P. Delsarte, J. M. Goethals, and J. J. Seidel, Spherical codes and designs, Geometriae Dedicata 6 (1977), 363--388

1977
[3]

Elkies and Scott Duke Kominers, Refined configuration results for extremal Type II lattices of ranks 40 and 80 , Proceedings of the American Mathematical Society 138 (2010), no

Noam D. Elkies and Scott Duke Kominers, Refined configuration results for extremal Type II lattices of ranks 40 and 80 , Proceedings of the American Mathematical Society 138 (2010), no. 1, 105--108

2010
[4]

2, 365--371

Scott Duke Kominers and Zachary Abel, Configurations of rank- 40r extremal even unimodular lattices ( r=1,2,3 ), Journal de Th \'e orie des Nombres de Bordeaux 20 (2008), no. 2, 365--371

2008
[5]

3, 457--464

Scott Duke Kominers, Configurations of extremal even unimodular lattices, International Journal of Number Theory 5 (2009), no. 3, 457--464

2009
[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]

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]

2, 283--291

Michio Ozeki, On even unimodular positive definite quadratic lattices of rank 32 , Mathematische Zeitschrift 191 (1986), no. 2, 283--291

1986
[9]

1, 54--61

, On the configurations of even unimodular lattices of rank 48 , Archiv der Mathematik 46 (1986), no. 1, 54--61

1986
[10]

3, 847--862

, On the structure of even unimodular extremal lattices of rank 40 , Rocky Mountain Journal of Mathematics 19 (1989), no. 3, 847--862

1989
[11]

7, Springer-Verlag, New York, 1973

Jean-Pierre Serre, A Course in Arithmetic , Graduate Texts in Mathematics, vol. 7, Springer-Verlag, New York, 1973

1973
[12]

B. B. Venkov, Even unimodular Euclidean lattices in dimension 32 , Journal of Mathematical Sciences 26 (1984), 1860--1867

1984
[13]

, On even unimodular extremal lattices, Proceedings of the Steklov Institute of Mathematics 165 (1985), 47--52

1985

[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]

Delsarte, J

P. Delsarte, J. M. Goethals, and J. J. Seidel, Spherical codes and designs, Geometriae Dedicata 6 (1977), 363--388

1977

[3] [3]

Elkies and Scott Duke Kominers, Refined configuration results for extremal Type II lattices of ranks 40 and 80 , Proceedings of the American Mathematical Society 138 (2010), no

Noam D. Elkies and Scott Duke Kominers, Refined configuration results for extremal Type II lattices of ranks 40 and 80 , Proceedings of the American Mathematical Society 138 (2010), no. 1, 105--108

2010

[4] [4]

2, 365--371

Scott Duke Kominers and Zachary Abel, Configurations of rank- 40r extremal even unimodular lattices ( r=1,2,3 ), Journal de Th \'e orie des Nombres de Bordeaux 20 (2008), no. 2, 365--371

2008

[5] [5]

3, 457--464

Scott Duke Kominers, Configurations of extremal even unimodular lattices, International Journal of Number Theory 5 (2009), no. 3, 457--464

2009

[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]

2, 283--291

Michio Ozeki, On even unimodular positive definite quadratic lattices of rank 32 , Mathematische Zeitschrift 191 (1986), no. 2, 283--291

1986

[9] [9]

1, 54--61

, On the configurations of even unimodular lattices of rank 48 , Archiv der Mathematik 46 (1986), no. 1, 54--61

1986

[10] [10]

3, 847--862

, On the structure of even unimodular extremal lattices of rank 40 , Rocky Mountain Journal of Mathematics 19 (1989), no. 3, 847--862

1989

[11] [11]

7, Springer-Verlag, New York, 1973

Jean-Pierre Serre, A Course in Arithmetic , Graduate Texts in Mathematics, vol. 7, Springer-Verlag, New York, 1973

1973

[12] [12]

B. B. Venkov, Even unimodular Euclidean lattices in dimension 32 , Journal of Mathematical Sciences 26 (1984), 1860--1867

1984

[13] [13]

, On even unimodular extremal lattices, Proceedings of the Steklov Institute of Mathematics 165 (1985), 47--52

1985