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

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.