logo IMB
Retour

Séminaire de Théorie Algorithmique des Nombres

Énumération des corps de nombres quartiques

Anne-Edgar Wilke

( IMB )

-

le 08 novembre 2022 à 10:00

Fixons un entier n2n \geq 2, et, pour X0X \geq 0, soit Cn(X)C_n(X) l'ensemble des classes d'isomorphisme de corps de nombres de degré nn et de discriminant inférieur à XX en valeur absolue. La méthode de Hunter-Pohst permet d'énumérer Cn(X)C_n(X) en temps O(Xn+24+epsilon)O(X^{\frac{n + 2}{4} + epsilon}). Pour n3n \geq 3, on s'attend à ce que cette complexité ne soit pas optimale : en effet, une conjecture classique, démontrée pour nleq5n leq 5, prévoit qu'il existe une constante cn0c_n \geq 0 telle que le cardinal de Cn(X)C_n(X) soit équivalent à cnXc_n X. En utilisant une paramétrisation des corps cubiques due à Davenport et Heilbronn, Belabas a mis au point un algorithme énumérant C3(X)C_3(X) en temps optimal O(X1+ϵ)O(X^{1 + \epsilon}). Je montrerai comment une paramétrisation des corps quartiques due à Bhargava permet de manière similaire d'énumérer C4(X)C_4(X) en temps O(X54+ϵ)O(X^{\frac{5}{4} + \epsilon}). 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.