11.07.2015 Views

International Congress of Mathematicians

International Congress of Mathematicians

International Congress of Mathematicians

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

ICM 2002 • Vol. II • 129^138Constructing and CountingNumber FieldsH. Cohen*AbstractIn this paper we give a survey <strong>of</strong> recent methods for the asymptotic andexact enumeration <strong>of</strong> number fields with given Galois group <strong>of</strong> the Galoisclosure. In particular, the case <strong>of</strong> fields <strong>of</strong> degree up to 4 is now almostcompletely solved, both in theory and in practice. The same methods alsoallow construction <strong>of</strong> the corresponding complete tables <strong>of</strong> number fields withdiscriminant up to a given bound.2000 Mathematics Subject Classification: 11R16, 11R29, 11R45, 11Y40.Keywords and Phrases: Discriminants, Number field tables, Kummer theory.1. IntroductionLet K be a number field considered as a fixed base field, K an algebraicclosure <strong>of</strong> K, and G a transitive permutation group on n letters. We considerthe set TK,U(G) <strong>of</strong> all extensions L/K <strong>of</strong> degree n with F c K such that theGalois group <strong>of</strong> the Galois closure L <strong>of</strong> L/K viewed as a permutation group onthe set <strong>of</strong> embeddings <strong>of</strong> F into L is permutation isomorphic to G (i.e, n/m(G)times the number <strong>of</strong> extensions up to FJ-isomorphism, where m(G) is the number<strong>of</strong> K-automorphisms <strong>of</strong> F). We writeN K , n (G,X) = \{L £ T n (G), \N[v(L/K))\ < X}\ ,where Q(L/K) denotes the relative ideal discriminant and TV the absolute norm.The aim <strong>of</strong> this paper is to give a survey <strong>of</strong> new methods, results, and conjectureson asymptotic and exact values <strong>of</strong> this quantity. It is usually easy to generalizethe results to the case where the behavior <strong>of</strong> a finite number <strong>of</strong> places <strong>of</strong> K in theextension L/K is specified, for example if K = Q when the signature (Fi, R 2 ) <strong>of</strong> Fis specified, with Fi + 2F 2 = n.Remarks.* Laboratoire A2X, Institut de Mathématiques, Université Bordeaux I, 351 Cours de laLibération, 33405 TALENCE Cedex, France. E-mail: cohen@math.u-bordeaux.fr

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!