K-theory of the norm functor

Max Karoubi; Thierry Lambre

Home/Archive/arXiv

arXiv · math/0701628

K-theory of the norm functor

Max Karoubi·Thierry Lambre

View original source ↗Read source document ↗Export metadata ↓

Abstract

The K-theory of a functor may be viewed as a relative version of the K-theory of a ring. In the case of a Galois extension of a number field F/L with rings of integers A/B respectively, this K-theory of the "norm functor" is an extension of a subgroup of the ideal class group Cl(A) by the 0-Tate cohomology group with coefficients in A*. The Mayer-Vietoris exact sequence enables us to describe quite explicitly this extension which is related to the coinvariants of Cl(A) under the action of the Galois group. We apply these ideas to find results in Number Theory, which are known for some of them with different methods.

Explore related subjects

math.KT math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Max Karoubi, Thierry Lambre. 2008-05-18. K-theory of the norm functor. https://arxiv.org/abs/math/0701628

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A secondary index map on relative K-homology

We introduce a secondary index map from relative K-homology to the K-theory of a relative structure algebra. We prove an algebraic Mayer-Vietoris sequence for the relative structure algebra, and prove compatibility of the secondary index map with the Mayer-Vietoris boundary map. As an application, we compute the secondary index of the Dirac operator on an even-dimensional spin manifold with collared metric having uniformly positive scalar curvature on the boundary. This computation leads to a refinement of the delocalized APS-index theorem.

math.KT↗

arXiv2026

Higher Noncommutative Motives and Higher K-theory

We construct higher additive noncommutative motives of stable $(\infty,n)$-categories, extending the additive motives of Blumberg, Gepner, and Tabuada and the secondary theory of Mazel-Gee and Stern. We formulate a notion of exact sequences and establish the universal property of the resulting additive motives. We give two equivalent constructions: a localization of enriched presheaves and a weighted Waldhausen $S$-construction on complete exact flags. We then compute their Hom objects, obtaining ordinary K-theory at the first level and lower additive motives recursively at higher levels. Our results recover the classical and secondary theories, provide coherent multiplicative structures, and yield an endofunctor on the category of Stefanich rings. In short, higher motives are higher K-theory.

math.KT↗

arXiv2026

Perfect Forms and Torsion Bounds in Algebraic $K$-Theory over Totally Real and CM Fields

We extend the method of Van Woerden \cite{woerden} to totally real and CM number fields to obtain an upper bound for the number of $\GLo-$equivalence classes of perfect forms. Moreover, by considering appropriate barycentric subdivisions of the Voronoi tessellation, we extend these estimates to the number of $\GLo$-orbits of $k$-dimensional faces of the Voronoi tessellation. As a consequence, we improve the asymptotic order of the bounds for the torsion part of $K_m(\rint)$ obtained by Soulé \cite{soule_hermitian_bounds} and Houriet \cite{Juliet_PHD}. We emphasise the improvement of the general bound for $F=\mathbb Q$, unchanged since Soulé's work, and the independence of the discriminant exponent from the field degree for totally real and CM fields.

math.KT↗