Dimensions of anisotropic indefinite quadratic forms. I.
J’illustre la situation générale par un exemple simple, qui permet de mieux comprendre la géométrie de l’espace des domaines de Voronoï. Ensuite, je donne des résultats généraux sur les arêtes d’un domaine de Voronoï. Finalement, pour les représentants des 15 classes connues de formes parfaites à 7 variables, non équivalentes à et qui possèdent plus de 28 vecteurs minimaux, je fournis une description détaillée de leurs orbites de voisines.
In the classical Witt theory over a field F, the study of quadratic forms begins with two simple invariants: the dimension of a form modulo 2, called the dimension index and denoted e⁰: W(F) → ℤ/2, and the discriminant e¹ with values in k₁(F) = F*/F*², which behaves well on the fundamental ideal I(F)= ker(e⁰). Here a more sophisticated situation is considered, of quadratic forms over a scheme and, more generally, over an exact category with duality. Our purposes are: ...