The Conway-Sloane tetralattice pairs are non-isometric (Q635486)

Two positive definite quadratic forms are called \textit{isospectral} if they have the same representation numbers. \textit{A. Schiemann} [Arch. Math. 54, No. 4, 372--375 (1990; Zbl 0697.10018)] provided an example of two isospectral quaternary forms with integer coefficients which are not isometric. \textit{J. H. Conway} and \textit{N. J. A. Sloane} [Int. Math. Res. Not. 1992, No. 4, 93--96 (1992; Zbl 0770.11022)] constructed a 4-parameter family of pairs of isospectral lattices of rank four and conjectured that all pairs in this family are non-isometric provided that the parameters are pairwise different. In [Conway and Sloane, loc. cit.] the conjecture was verified for the classical integral lattices of determinant up to \(10^4\). The main result of the paper under review gives a proof of the conjecture of Conway and Sloane. The proof is based on using a new lattice invariant, introduced by the authors in [``Lattice invariants from the heat kernel'', \url{arXiv:0906.1128}; ``Lattice invariants from the heat kernel. II'', \url{arXiv:0909.0340}].