A note on the Quillen-Lichtenbaum conjecture and the arithmetic of square rings, by Grzegorz Banaszak, Wojciech Gajda, Piotr Krason, and Piotr Zelewski

We define a wild kernel for K-groups of number fields for all indices. This wild kernel is always finite. We conjecture that the wild kernel in K_n(F) should be equal to divisible elements in K_n(F), up to 2-torsion. We can verify this conjecture for n = 0, 1, 2, 3 and for any number field F, and also for n = 4 and F = Q, hence in the cases where K-groups are better understood. We give a condition when our conjecture and the conjecture of Quillen-Lichtenbaum are equivalent. One of our results shows that these conjectures are equivalent - unconditionally - for F = Q and n > 1. In the last two sections of our paper we work with SK_1 description of K-theory. We reformulate our conjecture in terms of linear algebra over square rings, and investigate further the wild kernel.

• 0283.bib (321 bytes)
• gppw.dvi (63088 bytes) [June 8, 1998]
• gppw.dvi.gz (23829 bytes)
• gppw.pdf (158662 bytes)
• gppw.ps.gz (182126 bytes)