Low dimensional strongly perfect lattices. II: Dual strongly perfect lattices of dimension 13 and 15. (Q1953843)

The authors work in Euclidean \(n\)-space \((\mathbb R^n,(\,,\,))\) where \((x,y)=\sum_{i=1}^nx_i y_i\) is the standard \textit{inner product} with associated quadratic form \(Q: \mathbb R^n\rightarrow \mathbb R, \,\, Q(x):=\frac{1}{2} (x,x)=\frac{1}{2}\sum_{i=1}^n x_i^2\). A lattice \(L\) is the \(\mathbb Z\)-span \(L=<b_1,\dots,b_n>_{\mathbb Z}=\{\sum_{i=1}^n a_ib_i\;|\;a_i\in\mathbb Z\}\) of a basis \(B:= (b_1,\dots,b_n)\) of \(\mathbb R^n\). The minimum of \(L\) is \(\min(L)=\{\min(x,x)\;|\;0\not= x\in L\}\). The dual lattice \(L^*\) of \(L\) is the lattice spanned by the dual basis of \(B\). A lattice \(L\) in Euclidean space \((\mathbb R^n,(,))\) is called \textit{strongly perfect} if the set of its minimal vectors form a \textit{spherical \(4\)-design.} A lattice \(L\) is called \textit{dual strongly perfect} if \(L\) and its dual \(L^*\) are strongly perfect. The authors have shown in [\textit{B. Venkov}, Monogr. Enseign. Math. 37, 10--86 (2001; Zbl 1139.11320)], [\textit{G. Nebe} and \textit{B. Venkov}, J. Théor. Nombres Bordx. 12, No. 2, 503--518 (2000; Zbl 0997.11049), Enseign. Math. (2) 51, No. 1--2, 129--163 (2005; Zbl 1124.11031), Int. J. Number Theory 6, No. 2, 387--409 (2010; Zbl 1219.11103)] that all strongly perfect lattices are known up to dimension 12 and that they are all dual strongly perfect. In this article, the authors prove now: \textit{there are no dual strongly perfect lattices of dimension \(13\) and \(15\).} The hypothesis that \(L\) and \(L^*\) are simultaneously strongly perfect allows them to apply the strategy given in [Zbl 1219.11103] to obtain bounds of the discriminant group \(L^*/L\) which either allow the direct classification of all the candidate for \(L\) or to use \textit{modular forms} to prove their non-existence. Moreover the author conjecture the stronger result: \textit{there are no strongly perfect lattice in dimension \(13\) and \(15\).} For an introduction to \textit{perfect lattices} see [\textit{J. Martinet}, Perfect lattices in Euclidean spaces. Berlin: Springer (2003 Zbl 1017.11031)] and for a more detailed description of some proofs and the computations with \texttt{MAGMA} and \texttt{SAGE}, see also \textit{E. Nossek} [``On low dimensional strongly perfect lattices'', PhD thesis, RWTH Aachen University (2013)].