|
On quadratic fields with large 3-rank
Author:
Karim Belabas
Translated by:
Journal:
Math. Comp. 73 (2004), 2061-2074
MSC (2000):
Primary 11R11, 11R16, 11Y40
Posted:
January 30, 2004
MathSciNet review:
2059751
Full-text PDF Free Access
Abstract |
References |
Similar Articles |
Additional Information
Abstract: Davenport and Heilbronn defined a bijection between classes of binary cubic forms and classes of cubic fields, which has been used to tabulate the latter. We give a simpler proof of their theorem then analyze and improve the table-building algorithm. It computes the multiplicities of the general cubic discriminants (real or imaginary) up to in time and space , or more generally in time and space for a freely chosen positive . A variant computes the -ranks of all quadratic fields of discriminant up to with the same time complexity, but using only units of storage. As an application we obtain the first real quadratic fields with , and prove that is the smallest imaginary quadratic field with -rank equal to .
- 1.
K.
Belabas, A fast algorithm to compute cubic
fields, Math. Comp. 66
(1997), no. 219, 1213–1237.
MR
1415795 (97m:11159), http://dx.doi.org/10.1090/S0025-5718-97-00846-6
- 2.
Karim
Belabas, On the mean 3-rank of quadratic fields, Compositio
Math. 118 (1999), no. 1, 1–9. MR 1705974
(2000g:11102), http://dx.doi.org/10.1023/A:1000949724172
- 3.
M. BHARGAVA, A simple proof of the Davenport-Heilbronn theorem, 1999, preprint.
- 4.
M. BHARGAVA, Higher composition laws, Ph.D. thesis, Princeton University, 2001.
- 5.
Henri
Cohen, A course in computational algebraic number theory,
Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin,
1993. MR
1228206 (94i:11105)
- 6.
Henri
Cohen, Advanced topics in computational number theory,
Graduate Texts in Mathematics, vol. 193, Springer-Verlag, New York,
2000. MR
1728313 (2000k:11144)
- 7.
H.
Cohen and H.
W. Lenstra Jr., Heuristics on class groups of number fields,
Number theory, Noordwijkerhout 1983 (Noordwijkerhout, 1983) Lecture Notes
in Math., vol. 1068, Springer, Berlin, 1984, pp. 33–62. MR 756082
(85j:11144), http://dx.doi.org/10.1007/BFb0099440
- 8.
Maurice
Craig, A construction for irregular discriminants, Osaka J.
Math. 14 (1977), no. 2, 365–402. MR 0450226
(56 #8522)
- 9.
J.
E. Cremona, Reduction of binary cubic and quartic forms, LMS
J. Comput. Math. 2 (1999), 64–94 (electronic). MR 1693411
(2000f:11040)
- 10.
H.
Davenport, On the class-number of binary cubic forms. I, J.
London Math. Soc. 26 (1951), 183–192. MR 0043822
(13,323e)
- 11.
H.
Davenport, On the class-number of binary cubic forms. II, J.
London Math. Soc. 26 (1951), 192–198. MR 0043823
(13,323f)
- 12.
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 0491593
(58 #10816)
- 13.
B.
N. Delone and D.
K. Faddeev, The theory of irrationalities of the third degree,
Translations of Mathematical Monographs, Vol. 10, American Mathematical
Society, Providence, R.I., 1964. MR 0160744
(28 #3955)
- 14.
F.
Diaz y Diaz, On some families of imaginary
quadratic fields, Math. Comp.
32 (1978), no. 142, 637–650. MR 0485775
(58 #5582), http://dx.doi.org/10.1090/S0025-5718-1978-0485775-4
- 15.
Francisco
Diaz y Diaz, Sur le 3-rang des corps quadratiques,
Publications Mathématiques d’Orsay 78, vol. 11,
Université de Paris-Sud Département de Mathématique,
Orsay, 1978 (French). MR 532177
(80i:12005)
- 16.
Philippe
Dutarte, Compatibilité avec le Spiegelungssatz de
probabilités conjecturales sur le 𝑝-rang du groupe des
classes, Number theory (Besançon), 1983–1984, Publ.
Math. Fac. Sci. Besançon, Univ. Franche-Comté,
Besançon, 1984, pp. Exp. No. 4, 11 (French). MR 803700
(86m:11103)
- 17.
Veikko
Ennola and Reino
Turunen, On totally real cubic fields,
Math. Comp. 44 (1985), no. 170, 495–518. MR 777281
(86e:11100), http://dx.doi.org/10.1090/S0025-5718-1985-0777281-8
- 18.
H. HASSE, Arithmetische Theorie der kubischen Zahlkörper auf klassenkörpertheoretischer Grundlage, Math. Zeitschrift. 31 (1930), pp. 565-582.
- 19.
A.
Borel, S.
Chowla, C.
S. Herz, K.
Iwasawa, and J.-P.
Serre, Seminar on complex multiplication, Seminar held at the
Institute for Advanced Study, Princeton, N.J., 1957-58. Lecture Notes in
Mathematics, No. 21, Springer-Verlag, Berlin, 1966. MR 0201394
(34 #1278)
- 20.
Donald
E. Knuth, The art of computer programming. Vol. 2: Seminumerical
algorithms, Addison-Wesley Publishing Co., Reading, Mass.-London-Don
Mills, Ont, 1969. MR 0286318
(44 #3531)
- 21.
Franck
Leprévost, Courbes modulaires et 11-rang de corps
quadratiques, Experiment. Math. 2 (1993), no. 2,
137–146 (French, with English and French summaries). MR 1259427
(94m:11073)
- 22.
Pascual
Llorente and Jordi
Quer, On the 3-Sylow subgroup of the class
group of quadratic fields, Math. Comp.
50 (1988), no. 181, 321–333. MR 917838
(89b:11083), http://dx.doi.org/10.1090/S0025-5718-1988-0917838-7
- 23.
Daniel
C. Mayer, Multiplicities of dihedral
discriminants, Math. Comp.
58 (1992), no. 198, 831–847, S55–S58. MR 1122071
(92f:11154), http://dx.doi.org/10.1090/S0025-5718-1992-1122071-3
- 24.
Jean-François
Mestre, Corps quadratiques dont le 5-rang du groupe des classes est
≥3, C. R. Acad. Sci. Paris Sér. I Math. 315
(1992), no. 4, 371–374 (French, with English and French
summaries). MR
1179040 (93f:11076)
- 25.
PARI/GP, version 2.1.5, Bordeaux, 2003, http://www.parigp-home.de.
- 26.
Jordi
Quer, Corps quadratiques de 3-rang 6 et courbes elliptiques de rang
12, C. R. Acad. Sci. Paris Sér. I Math. 305
(1987), no. 6, 215–218 (French, with English summary). MR 907945
(88j:11074)
- 27.
David
P. Roberts, Density of cubic field
discriminants, Math. Comp.
70 (2001), no. 236, 1699–1705 (electronic). MR 1836927
(2002e:11142), http://dx.doi.org/10.1090/S0025-5718-00-01291-6
- 28.
R.
J. Schoof, Class groups of complex quadratic
fields, Math. Comp. 41
(1983), no. 163, 295–302. MR 701640
(84h:12005), http://dx.doi.org/10.1090/S0025-5718-1983-0701640-0
- 29.
Takuro
Shintani, On zeta-functions associated with the vector space of
quadratic forms, J. Fac. Sci. Univ. Tokyo Sect. I A Math.
22 (1975), 25–65. MR 0384717
(52 #5590)
- 30.
J. J. SOLDERITSCH, Quadratic fields with special class groups, Ph.D. thesis, Lehigh University, 1977.
- 31.
Yoshihiko
Yamamoto, On unramified Galois extensions of quadratic number
fields, Osaka J. Math. 7 (1970), 57–76. MR 0266898
(42 #1800)
- 1.
- K. BELABAS, A fast algorithm to compute cubic fields, Math. Comp. 66 (1997), pp. 1213-1237. MR 97m:11159
- 2.
- K. BELABAS, On the mean
-rank of quadratic fields, Compositio Mathematica 118 (1999), pp. 1-9. MR 2000g:11102
- 3.
- M. BHARGAVA, A simple proof of the Davenport-Heilbronn theorem, 1999, preprint.
- 4.
- M. BHARGAVA, Higher composition laws, Ph.D. thesis, Princeton University, 2001.
- 5.
- H. COHEN, A course in computational algebraic number theory, Springer-Verlag, 1993. MR 94i:11105
- 6.
- H. COHEN, Advanced topics in computational number theory, Springer-Verlag, 2000. MR 2000k:11144
- 7.
- H. COHEN AND H. W. LENSTRA, JR., Heuristics on class groups of number fields, in Number theory, Noordwijkerhout 1983 (Berlin), Lecture Notes in Math., vol. 1068, Springer, Berlin, 1984, pp. 33-62. MR 85j:11144
- 8.
- M. CRAIG, A construction for irregular discriminants, Osaka J. Math 14 (1977), pp. 365-402. MR 56:8522
- 9.
- J. E. CREMONA, Reduction of binary cubic and quartic forms, LMS J. Comput. Math. 2 (1999), pp. 64-94 (electronic). MR 2000f:11040
- 10.
- H. DAVENPORT, On the class number of binary cubic forms (i), J. Lond. Math. Soc. 26 (1951), pp. 183-192; errata ibid 27 (1951), p. 512. MR 13:323e
- 11.
- H. DAVENPORT, On the class number of binary cubic forms (ii), J. Lond. Math. Soc. 26 (1951), pp. 192-198. MR 13:323f
- 12.
- H. DAVENPORT AND H. HEILBRONN, On the density of discriminants of cubic fields (ii), Proc. Roy. Soc. Lond. A 322 (1971), pp. 405-420. MR 58:10816
- 13.
- B. N. DELONE AND D. K. FADDEEV, The theory of irrationalities of the third degree, Translations of Mathematical Monographs, vol. 10, American Mathematical Society, 1964. MR 28:3955
- 14.
- F. DIAZ Y DIAZ, On some families of imaginary quadratic fields, Math. Comp. 32 (1978), no. 142, pp. 637-650. MR 58:5582
- 15.
- F. DIAZ Y DIAZ, Sur le
-rang des corps quadratiques réels, Prépublications de la faculté d'Orsay, 1978. MR 80i:12005
- 16.
- P. DUTARTE, Compatibilité avec le Spiegelungssatz de probabilités conjecturales sur le
-rang du groupe des classes, in Number theory, 1983-1984 (Besançon), Univ. Franche-Comté, Besançon, 1984, pp. Exp. No. 4, 11. MR 86m:11103
- 17.
- V. ENNOLA AND R. TURUNEN, On totally real cubic fields, Math. Comp. 44 (1985), no. 170, pp. 495-518. MR 86e:11100
- 18.
- H. HASSE, Arithmetische Theorie der kubischen Zahlkörper auf klassenkörpertheoretischer Grundlage, Math. Zeitschrift. 31 (1930), pp. 565-582.
- 19.
- C. S. HERZ, Seminar on Complex Multiplication. VII. Construction of class fields, Lect. Notes in Math., vol. 21, Springer-Verlag, Berlin, 1966. MR 34:1278
- 20.
- D. E. KNUTH, The art of computer programming. vol. 2: Seminumerical algorithms, Addison-Wesley, 1969. MR 44:3531
- 21.
- F. LEPRÉVOST, Courbes modulaires et
-rang de corps quadratiques, Experiment. Math. 2 (1993), no. 2, pp. 137-146. MR 94m:11073
- 22.
- P. LLORENTE AND J. QUER, On the
-Sylow subgroup of the class group of quadratic fields, Math. Comp. 50 (1988), no. 181, pp. 321-333. MR 89b:11083
- 23.
- D. C. MAYER, Multiplicities of dihedral discriminants, Math. Comp. 58 (1992), no. 198, pp. 831-847, S55-S58. MR 92f:11154
- 24.
- J.-F. MESTRE, Corps quadratiques dont le
-rang du groupe des classes est , C. R. Acad. Sci. Paris Sér. I Math. 315 (1992), no. 4, pp. 371-374. MR 93f:11076
- 25.
- PARI/GP, version 2.1.5, Bordeaux, 2003, http://www.parigp-home.de.
- 26.
- J. QUER, Corps quadratiques de
-rang et courbes elliptiques de rang , C. R. Acad. Sci. Paris Sér. I Math. 305 (1987), pp. 215-218. MR 88j:11074
- 27.
- D. P. ROBERTS, Density of cubic field discriminants, Math. Comp. 70 (2001), no. 236, pp. 1699-1705 (electronic). MR 2002e:11142
- 28.
- R. J. SCHOOF, Class groups of complex quadratic fields, Math. Comp. 41 (1983), no. 163, pp. 295-302. MR 84h:12005
- 29.
- T. SHINTANI, On zeta-functions associated with the vector space of quadratic forms, J. Fac. Sci. Univ. Tokyo, Sec. Ia 22 (1975), pp. 25-66. MR 52:5590
- 30.
- J. J. SOLDERITSCH, Quadratic fields with special class groups, Ph.D. thesis, Lehigh University, 1977.
- 31.
- Y. YAMAMOTO, On unramified Galois extensions of quadratic number fields, Osaka J. Math. 7 (1970), pp. 57-76. MR 42:1800
Similar Articles
Retrieve articles in Mathematics of Computation
with MSC (2000):
11R11,
11R16,
11Y40
Retrieve articles in all journals
with MSC (2000):
11R11,
11R16,
11Y40
Additional Information
Karim Belabas
Affiliation:
Université Paris-Sud, Département de Mathématiques (bât. 425), F-91405 Orsay, France
Email:
Karim.Belabas@math.u-psud.fr
DOI:
http://dx.doi.org/10.1090/S0025-5718-04-01632-1
PII:
S 0025-5718(04)01632-1
Keywords:
Cubic fields,
quadratic fields,
3-rank
Received by editor(s):
April 8, 2002
Received by editor(s) in revised form:
May 3, 2003
Posted:
January 30, 2004
Article copyright:
© Copyright 2004 American Mathematical Society
|