Positive definite lattices of rank at most 8. (Q1415368): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4039784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pieces of eight: semiselfdual lattices and a new foundation for the theory of Conway and Mathieu groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5801410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Klassenzahlen definiter quadratischer Formen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4333042 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4789130 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4043127 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Observation on the Minimum of a Positive Quadratic Form in Eight Variables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5670687 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5723265 / rank | |||
Normal rank |
Revision as of 13:06, 6 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Positive definite lattices of rank at most 8. |
scientific article |
Statements
Positive definite lattices of rank at most 8. (English)
0 references
3 December 2003
0 references
The first construction of a positive definite even integral quadratic form of determinant 1 and rank 8 was given by \textit{A. Korkine} and \textit{G. Zolotareff} [Math. Ann. 6, 366--389 (1873; JFM 05.0109.01)]. It is now a well-known result in the theory of lattices that any positive definite even unimodular lattice of rank 8 is isometric to the root lattice of the \(E_8\) root system. This fact was first proved by \textit{L.-J. Mordell} [J. Math. Pures Appl. (9) 17, 41--46 (1938; Zbl 0018.29401)]. Various proofs of this uniqueness have appeared in the literature, including one by \textit{M. Kneser} [Arch. Math. 8, 241--250 (1957; Zbl 0078.03801)] that uses the method of neighbor lattices. The result can also be established by utilizing the Minkowski-Siegel mass formula or the theory of modular forms. The purpose of the present paper is to give a short, and reasonably elementary and self-contained, proof of the uniqueness of this positive definite even unimodular lattice of rank 8. The approach has similarities to that of Kneser [loc. cit.], but avoids the use of \(p\)-adic completions, and rests primarily on only an upper bound for the minimum nonzero norm of a lattice, such as the classical ones due to Hermite or Minkowski.
0 references
even unimodular lattices
0 references
\(E_8\) root lattice
0 references
0 references