An algorithm to compute relative cubic fields

Morra, Anna

doi:10.1090/S0025-5718-2013-02686-5

An algorithm to compute relative cubic fields
HTML articles powered by AMS MathViewer

by Anna Morra PDF

Math. Comp. 82 (2013), 2343-2361 Request permission

Abstract:

Let $K$ be an imaginary quadratic number field with class number $1$. We describe a new, essentially linear-time algorithm, to list all isomorphism classes of cubic extensions $L/K$ up to a bound $X$ on the norm of the relative discriminant ideal. The main tools are Taniguchi’s [18] generalization of Davenport-Heilbronn parametrisation of cubic extensions, and reduction theory for binary cubic forms over imaginary quadratic fields. Finally, we give numerical data for $K=\mathbb {Q}(i)$, and we compare our results with ray class field algorithm results, and with asymptotic heuristics, based on a generalization of Roberts’ conjecture [19].

References

K. Belabas, A fast algorithm to compute cubic fields, Math. Comp. 66 (1997), no. 219, 1213–1237. MR 1415795, DOI 10.1090/S0025-5718-97-00846-6
Karim Belabas, Paramétrisation de structures algébriques et densité de discriminants (d’après Bhargava), Astérisque 299 (2005), Exp. No. 935, ix, 267–299 (French, with French summary). Séminaire Bourbaki. Vol. 2003/2004. MR 2167210
Karim Belabas, L’algorithmique de la théorie algébrique des nombres, Théorie algorithmique des nombres et équations diophantiennes, Ed. Éc. Polytech., Palaiseau, 2005, pp. 85–155 (French). MR 2224342
Henri Cohen, Advanced topics in computational number theory, Graduate Texts in Mathematics, vol. 193, Springer-Verlag, New York, 2000. MR 1728313, DOI 10.1007/978-1-4419-8489-0
J. E. Cremona, Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields, Compositio Math. 51 (1984), no. 3, 275–324. MR 743014
J. E. Cremona, Reduction of binary cubic and quartic forms, LMS J. Comput. Math. 2 (1999), 64–94. MR 1693411, DOI 10.1112/S1461157000000073
J. Cremona, Reduction of binary forms over imaginary quadratic fields, slides of the talk given in Bordeaux (2007), can be found at http://www.warwick.ac.uk/staff/J.E.Cremona/papers/jec\_bordeaux.pdf.
Boris Datskovsky and David J. Wright, Density of discriminants of cubic extensions, J. Reine Angew. Math. 386 (1988), 116–138. MR 936994, DOI 10.1515/crll.1988.386.116
H. Davenport and H. Heilbronn, On the density of discriminants of cubic fields. II, Proc. Roy. Soc. London Ser. A 322 (1971), no. 1551, 405–420. MR 491593, DOI 10.1098/rspa.1971.0075
J. Elstrodt, F. Grunewald, and J. Mennicke, Groups acting on hyperbolic space, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 1998. Harmonic analysis and number theory. MR 1483315, DOI 10.1007/978-3-662-03626-6
G. Julia, Etude sur les formes binaires non quadratiques à indéterminées réelles ou complexes, Mémoires de l’Académie des Sciences de l’Institut de France 55 (1917), 1–296. Also in Julia’s Oeuvres, vol. 5.
K. Mahler, An inequality for the discriminant of a polynomial, Michigan Math. J. 11 (1964), 257–262. MR 166188
Gunter Malle, On the distribution of Galois groups, J. Number Theory 92 (2002), no. 2, 315–329. MR 1884706, DOI 10.1006/jnth.2001.2713
Gunter Malle, The totally real primitive number fields of discriminant at most $10^9$, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 4076, Springer, Berlin, 2006, pp. 114–123. MR 2282919, DOI 10.1007/11792086_{9}
A. Morra, Comptage asymptotique et algorithmique d’extensions cubiques relatives, Thèse (in english), Université Bordeaux 1, 2009. Available online at http://tel.archives-ouvertes.fr/docs/00/52/53/20/PDF/these.pdf
PARI/GP, version 2.5.0, Bordeaux, 2011, http://pari.math.u-bordeaux.fr/.
Richard G. Swan, Generators and relations for certain special linear groups, Advances in Math. 6 (1971), 1–77 (1971). MR 284516, DOI 10.1016/0001-8708(71)90027-2
T. Taniguchi, Distribution of discriminants of cubic algebras, preprint 2006, arXiv:math.NT/0606109v1.
T. Taniguchi and F. Thorne, Secondary terms in counting functions for cubic fields, preprint 2011, arXiv:math.NT/1102.2914v1.
E. Whitley, Modular symbols and elliptic curves over imaginary quadratic number fields, PhD Thesis, Exeter (1990).
T. Womack, Explicit descent on elliptic curves, PhD Thesis, Nottingham (2003).