Bounds for computing the tame kernel
HTML articles powered by AMS MathViewer
- by Richard P. Groenewegen PDF
- Math. Comp. 73 (2004), 1443-1458 Request permission
Abstract:
The tame kernel of the $K_2$ of a number field $F$ is the kernel of some explicit map $K_2F\to \bigoplus k_v^*$, where the product runs over all finite primes $v$ of $F$ and $k_v$ is the residue class field at $v$. When $S$ is a set of primes of $F$, containing the infinite ones, we can consider the $S$-unit group $U_S$ of $F$. Then $U_S\otimes U_S$ has a natural image in $K_2F$. The tame kernel is contained in this image if $S$ contains all finite primes of $F$ up to some bound. This is a theorem due to Bass and Tate. An explicit bound for imaginary quadratic fields was given by Browkin. In this article we give a bound, valid for any number field, that is smaller than Browkin’s bound in the imaginary quadratic case and has better asymptotics. A simplified version of this bound says that we only have to include in $S$ all primes with norm up to $4|\Delta |^{3/2}$, where $\Delta$ is the discriminant of $F$. Using this bound, one can find explicit generators for the tame kernel, and a “long enough” search would also yield all relations. Unfortunately, we have no explicit formula to describe what “long enough” means. However, using theorems from Keune, we can show that the tame kernel is computable.References
- H. Bass and J. Tate, The Milnor ring of a global field, Algebraic $K$-theory, II: “Classical” algebraic $K$-theory and connections with arithmetic (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) Lecture Notes in Math., Vol. 342, Springer, Berlin, 1973, pp. 349–446. MR 0442061, DOI 10.1007/BFb0073733
- Jerzy Browkin, Computing the tame kernel of quadratic imaginary fields, Math. Comp. 69 (2000), no. 232, 1667–1683. With an appendix by Karim Belabas and Herbert Gangl. MR 1681124, DOI 10.1090/S0025-5718-00-01182-0
- Yann Bugeaud and Kálmán Győry, Bounds for the solutions of unit equations, Acta Arith. 74 (1996), no. 1, 67–80. MR 1367579, DOI 10.4064/aa-74-1-67-80
- Joe Harris, Algebraic geometry, Graduate Texts in Mathematics, vol. 133, Springer-Verlag, New York, 1995. A first course; Corrected reprint of the 1992 original. MR 1416564
- J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, 2nd ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 290, Springer-Verlag, New York, 1993. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. MR 1194619, DOI 10.1007/978-1-4757-2249-9
- Howard Garland, A finiteness theorem for $K_{2}$ of a number field, Ann. of Math. (2) 94 (1971), 534–548. MR 297733, DOI 10.2307/1970769
- Morgan Ward and R. P. Dilworth, The lattice theory of ova, Ann. of Math. (2) 40 (1939), 600–608. MR 11, DOI 10.2307/1968944
- Frans Keune, On the structure of the $K_2$ of the ring of integers in a number field, Proceedings of Research Symposium on $K$-Theory and its Applications (Ibadan, 1987), 1989, pp. 625–645. MR 999397, DOI 10.1007/BF00535049
- Morgan Ward, Ring homomorphisms which are also lattice homomorphisms, Amer. J. Math. 61 (1939), 783–787. MR 10, DOI 10.2307/2371336
- Serge Lang, Algebraic number theory, 2nd ed., Graduate Texts in Mathematics, vol. 110, Springer-Verlag, New York, 1994. MR 1282723, DOI 10.1007/978-1-4612-0853-2
- H. W. Lenstra Jr., Algorithms in algebraic number theory, Bull. Amer. Math. Soc. (N.S.) 26 (1992), no. 2, 211–244. MR 1129315, DOI 10.1090/S0273-0979-1992-00284-7
- John Milnor, Introduction to algebraic $K$-theory, Annals of Mathematics Studies, No. 72, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1971. MR 0349811
- Daniel Quillen, Higher algebraic $K$-theory. I, Algebraic $K$-theory, I: Higher $K$-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) Lecture Notes in Math., Vol. 341, Springer, Berlin, 1973, pp. 85–147. MR 0338129
- C. A. Rogers, Packing and covering, Cambridge Tracts in Mathematics and Mathematical Physics, No. 54, Cambridge University Press, New York, 1964. MR 0172183
- J. T. Tate, Fourier analysis in number fields, and Hecke’s zeta-functions, Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965), Thompson, Washington, D.C., 1967, pp. 305–347. MR 0217026
Additional Information
- Richard P. Groenewegen
- Affiliation: Mathematisch Instituut, Universiteit Leiden, Postbus 9512, 2300 RA Leiden, The Netherlands
- Address at time of publication: ABN AMRO, Gustav Mahlerlaan 10, HQ 1056, 1082 PP Amsterdam, The Netherlands
- Email: groen@math.leidenuniv.nl, Richard.Groenewegen@nl.abnamro.com
- Received by editor(s): April 18, 2002
- Received by editor(s) in revised form: December 6, 2002
- Published electronically: July 29, 2003
- © Copyright 2003 American Mathematical Society
- Journal: Math. Comp. 73 (2004), 1443-1458
- MSC (2000): Primary 11R70; Secondary 11Y40, 19C20
- DOI: https://doi.org/10.1090/S0025-5718-03-01592-8
- MathSciNet review: 2047095