Universal codes and unimodular lattices (Q679097)

Let \(p\) be a prime such that \(p \equiv -1 (\text{mod }8)\) and denote by \(\widehat{\mathcal Q}\) the universal extended quadratic residue code of length \(p+1\) over the \(2\)-adic integers \({\mathbb Z}_{2^{\infty}}.\) For positive integers \(s\) let \(\widehat{\mathcal Q}_{2^s}\) denote the reduction of \(\widehat{\mathcal Q}\) modulo \(2^s.\) Given a code \(C\) of length \(n\) over \({\mathbb Z}_4\) let \(\Lambda (C)\) be the set of vectors in \({\mathbb Z}^n\) which reduce modulo \(4\) to elements of \(C.\) If \(p \equiv -1 (\text{mod }8)\) the lattice \(\frac{1}{2}\Lambda (\widehat{\mathcal Q}_4)\) is even and unimodular; if \(p=23\) it is the Leech lattice. On the other hand for a self-orthogonal linear subcode \(C\) of \({\mathbb Z}_2^{p+1}\) containing the all-ones word let \(B(C) = C +2 P_{p+1} + 4 {\mathbb Z}^{p+1}\) and \(L(C)=2 B(C) \cup ((r 1^p) + 2B(C)).\) This is the generalization of the original construction of the Leech lattice. The main result of this paper is that the lattices \(\frac{1}{2}\Lambda (\widehat{\mathcal Q}_4)\) and \(\frac{1}{\sqrt{8}} L (\widehat{\mathcal Q}_2)\) are isometric for \(p \leq 31.\) The proof is based on a construction of an explicit isomorphism between the two lattices. Analogous results are proved for the primes \(p=47,71,79,103\) and \(127\), too.