-
le 08 novembre 2022 à 10:00
Fixons un entier
, et, pour
, soit
l'ensemble des classes d'isomorphisme de corps de nombres de degré
et de discriminant inférieur à
en valeur absolue. La méthode de Hunter-Pohst permet d'énumérer
en temps
. Pour
, on s'attend à ce que cette complexité ne soit pas optimale : en effet, une conjecture classique, démontrée pour
, prévoit qu'il existe une constante
telle que le cardinal de
soit équivalent à
. En utilisant une paramétrisation des corps cubiques due à Davenport et Heilbronn, Belabas a mis au point un algorithme énumérant
en temps optimal
. Je montrerai comment une paramétrisation des corps quartiques due à Bhargava permet de manière similaire d'énumérer
en temps
. Je présenterai ensuite des résultats numériques, ainsi que des perspectives d'amélioration et de généralisation en degré supérieur.