2021/09/09 by Oliver Braunling, Braunling, Oliver, Ruben Henrard +3
Mathematics · #18E35 #19F05 #19F15 #22B05 #FOS: Mathematics #K-Theory and Homology (math.KT) #Number Theory (math.NT) #math.KT #math.NT #msc:18E35 #msc:19F05 #msc:19F15 #msc:22B05
paper · pdf · doi:10.48550/arxiv.2109.04331
36 pages. Comments welcome
arxiv created 2021/09/09 · arxiv updated 2021/09/10
Clausen predicted that Chevalley's idèle class group of a number field F appears as the first K-group of the category of locally compact F-vector spaces. This has turned out to be true, and even generalizes to the higher K-groups in a suitable sense. We replace F by a semisimple ℚ-algebra, and obtain Fröhlich's non-commutative idèle class group in an analogous fashion, modulo the reduced norm one elements. Even in the number field case our proof is simpler than the existing one, and based on the localization theorem for percolating subcategories. Finally, using class field theory as input, we interpret Hilbert's reciprocity law (as well as a noncommutative variant) in terms of our results.