Classification des formes quadratiques réelles: un contre-exemple à la finitude

David-Olivier Jaquet-Chiffelle, and François Sigrist. "Classification des formes quadratiques réelles: un contre-exemple à la finitude." Acta Arithmetica 68.3 (1994): 291-294. <http://eudml.org/doc/206662>.

@article{David1994,
abstract = { 1. Introduction. On doit à G. Voronoï [Vo] un algorithme de classification complète des formes quadratiques parfaites. Il est dès lors possible, en principe, de déterminer en un temps fini la constante d'Hermite γₙ, qui décrit dans ℝⁿ la densité maximale des empilements de sphères en réseau. L'énorme complexité de l'algorithme lui donne une limite naturelle: il semble actuellement impensable de dépasser la dimension 8, où les explorations ont déjà fourni des milliers de formes parfaites. Signalons cependant que la constante γ₈ a été trouvée par une approche différente (Blichfeldt 1926), et que sa valeur vient d'être confirmée par la détermination de γ₇ [Ja1]. Dans [BMS], on envisage la restriction de l'algorithme de Voronoï à un sous-espace affine T de l'espace vectoriel des formes quadratiques réelles (il faut introduire une restriction géométrique, qui sera clairement remplie ci-dessous: les empilements de sphères associés aux formes T-parfaites doivent être connexes). Dans une telle situation, l'algorithme est exhaustif, mais l'existence d'une condition d'arrêt n'est pas établie. Un des exemples ci-après montrera qu'elle n'existe pas en général. Mentionnons cependant un résultat important [Ja2]: Dans le cas des G-formes (invariantes sous l'action d'un groupe fini G), il n'existe qu'un nombre fini de formes G-parfaites, à G-équivalence près. },
author = {David-Olivier Jaquet-Chiffelle, François Sigrist},
journal = {Acta Arithmetica},
keywords = {real quadratic forms; Voronoi algorithm},
language = {fre},
number = {3},
pages = {291-294},
title = {Classification des formes quadratiques réelles: un contre-exemple à la finitude},
url = {http://eudml.org/doc/206662},
volume = {68},
year = {1994},
}

TY - JOUR
AU - David-Olivier Jaquet-Chiffelle
AU - François Sigrist
TI - Classification des formes quadratiques réelles: un contre-exemple à la finitude
JO - Acta Arithmetica
PY - 1994
VL - 68
IS - 3
SP - 291
EP - 294
AB - 1. Introduction. On doit à G. Voronoï [Vo] un algorithme de classification complète des formes quadratiques parfaites. Il est dès lors possible, en principe, de déterminer en un temps fini la constante d'Hermite γₙ, qui décrit dans ℝⁿ la densité maximale des empilements de sphères en réseau. L'énorme complexité de l'algorithme lui donne une limite naturelle: il semble actuellement impensable de dépasser la dimension 8, où les explorations ont déjà fourni des milliers de formes parfaites. Signalons cependant que la constante γ₈ a été trouvée par une approche différente (Blichfeldt 1926), et que sa valeur vient d'être confirmée par la détermination de γ₇ [Ja1]. Dans [BMS], on envisage la restriction de l'algorithme de Voronoï à un sous-espace affine T de l'espace vectoriel des formes quadratiques réelles (il faut introduire une restriction géométrique, qui sera clairement remplie ci-dessous: les empilements de sphères associés aux formes T-parfaites doivent être connexes). Dans une telle situation, l'algorithme est exhaustif, mais l'existence d'une condition d'arrêt n'est pas établie. Un des exemples ci-après montrera qu'elle n'existe pas en général. Mentionnons cependant un résultat important [Ja2]: Dans le cas des G-formes (invariantes sous l'action d'un groupe fini G), il n'existe qu'un nombre fini de formes G-parfaites, à G-équivalence près.
LA - fre
KW - real quadratic forms; Voronoi algorithm
UR - http://eudml.org/doc/206662
ER -