Cyclotomic quadratic forms

DOI10.5802/JTNB.295MaRDI QIDQ5939725zbMATH OpenOpenAlexFDO

Authors François Sigrist

Publication date 30 July 2001

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=JTNB_2000__12_2_519_0, https://eudml.org/doc/93784, http://www.emis.de/journals/JTNB/2000-2/jtnb12-2.html

zbMATH Keywords

complete classification of perfect cyclotomic formscyclotomic quadratic formsHermite constantHermite invariant of cyclotomic formsuper boundsVoronoi's algorithm

Mathematics Subject Classification ID

Forms and linear algebraic groups (11E99) Minima of forms (11H50) Quadratic forms (reduction theory, extreme forms, etc.) (11H55)

Review text

Let \(G\) be the companion matrix of the \(m\)th cyclotomic polynomial, of degree \(n = \phi(m)\), generating the standard \(n\)-dimensional representation of the cyclic group \(C_m\). A cyclotomic form is a real quadratic form \(q(x)\) in \(n\) variables, invariant under this action of \(C_m\): if \(A\) is the symmetric matrix of \(q\), then \(G^tAG = G\). Voronoi's algorithm is a long-known method providing an explicit complete classification of perfect quadratic forms, and thus a means of computing the densest quadratic forms in each dimension, albeit with tremendous computational complexity. NEWLINENEWLINENEWLINEThis article generalizes Voronoi's algorithm to cyclotomic forms (which substantially reduces the computational complexity), and provides a complete classification of perfect cyclotomic forms for \(\phi(m) < 16\) and for \(m = 17\). In the process, precise upper bounds for the Hermite invariant of cyclotomic forms in this range are obtained. In many cases, these bounds improve the best-known or conjectured values of the Hermite constant for the corresponding dimensions.

Recommendations

• Binary Hermitian forms over a cyclotomic field
• Enumerating perfect forms
• scientific article; zbMATH DE number 51581
• Perfect lattices over imaginary quadratic number fields
• scientific article; zbMATH DE number 1419297

Cites work

• Complete enumeration of classes of perfect septenary forms
• Etude Algorithmique de Réseaux Construits avec la Forme Trace
• Formes quadratiques liées aux algèbres semi-simples.
• scientific article; zbMATH DE number 65916 (Why is no real title available?)
• scientific article; zbMATH DE number 409904 (Why is no real title available?)
• scientific article; zbMATH DE number 979850 (Why is no real title available?)
• Sphere packings, lattices and groups. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov.
• Three finiteness theorems for \(G\)-forms

Cited in

(8)

• Anne-Marie Bergé -- in memoriam (1939--2008)
• Quadratic cyclic sequences
• Binary Hermitian forms over a cyclotomic field
• Perfect unary forms over real quadratic fields
• scientific article; zbMATH DE number 1795962 (Why is no real title available?)
• Cyclic Sullivan-De Rham Forms
• scientific article; zbMATH DE number 1419297 (Why is no real title available?)
• Unit reducible fields and perfect unary forms. II. Cyclotomic fields

This page was built for publication: Cyclotomic quadratic forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5939725)