On determinant functors and K-theory

DOI10.5565/PUBLMAT_59115_07MaRDI QIDQ2264091zbMATH OpenOpenAlexFDO

Authors Fernando Muro, Andrew Tonks, Malte Witte

Publication date 20 March 2015

Published in Publicacions Matemàtiques (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.5399, https://projecteuclid.org/euclid.pm/1421861996

zbMATH Keywords

\(K\)-theorydeterminant functorexact categoriestriangulated categories

Mathematics Subject Classification ID

Abelian categories, Grothendieck categories (18E10) Grothendieck groups and (K_0) (19A99) Whitehead groups and (K_1) (19B99)

Abstract: In this paper we introduce a new approach to determinant functors which allows us to extend Deligne's determinant functors for exact categories to Waldhausen categories, (strongly) triangulated categories, and derivators. We construct universal determinant functors in all cases by original methods which are interesting even for the known cases. Moreover, we show that the target of each universal determinant functor computes the corresponding $K$-theory in dimensions 0 and 1. As applications, we answer open questions by Maltsiniotis and Neeman on the $K$-theory of (strongly) triangulated categories and a question of Grothendieck to Knudsen on determinant functors. We also prove additivity theorems for low-dimensional $K$-theory and obtain generators and (some) relations for various $K_1$-groups.

Review text

This article gives a systematic and unified approach to \textit{determinant functors}, giving applications to answer to open questions in this area. A determinant functor on an exact category \(\mathcal{E}\) is a functor on the subcategory of isomorphisms of \(\mathcal{E}\) to a Picard groupoid (that is, a groupoid \(\mathcal{P}\) endowed with a symmetric monoidal structure \(\otimes\) such that \(X\otimes - :\mathcal{P}\to\mathcal{P}\) is an equivalence for any object \(X\) of \(\mathcal{P}\)) endowed with the following extra structure: for any short exact sequence \(X\to Y\to Z\) of \(\mathcal{E}\), a natural isomorphism \(\det(Y)\simeq\det(X)\otimes\det(Z)\), supposed to satisfy suitable coherence properties. Several variations of this notion, depending of other assumptions on the source category, are also studied in this article. The main result of the paper (Theorem 1.5.4) gives the construction of universal determinants of various kinds by using the notion of \textit{stable quadratic module} (see \textit{H. J. Baues} [Combinatorial homotopy and 4-dimensional complexes. De Gruyter Expositions in Mathematics, 2. Berlin etc.: Walter de Gruyter (1991; Zbl 0716.55001)]). Connections with low-dimensional \(K\)-theory are investigated. This allows the authors to disprove in a quick way two conjectures of \textit{G. Maltsiniotis} (given at the end of [Categories triangulees superieures, Preprint, \url{http://www.math.jussieu.fr/~maltsin} (2006)]). The article uses various methods: triangulated categories, homotopical algebra, simplicial objects, quadratic algebra, low-degree algebraic \(K\)-theory, monoidal categories\dots. It is probably going to become a reference on the subject, but it is difficult for the non-expert reader.

Recommendations

• Algebraic \(K\)-theory and a semifinite Fuglede-Kadison determinant
• Multiplicative K-theory and K-theory of functors
• On the \(K_{-i}\)-functors
• On the K functor, and topological algebras
• On the K-theory of the norm functor
• Determinant functors on exact categories and their extensions to categories of bounded complexes
• Determinant functors on triangulated categories
• \(K\)-theory and derived equivalences
• On fundamental theorems of algebraic K-theory
• scientific article; zbMATH DE number 3874021

Cited in

(16)

• Determinant functors on exact categories and their extensions to categories of bounded complexes
• Going-down functors, the Künneth formula, and the Baum-Connes conjecture
• Non-commutative \(L\)-functions for \(p\)-adic representations over totally real fields
• On the K-theory of the norm functor
• The determinant maps and \(K_0\)
• Detection theorems for K-theory and L-theory
• Deformation theory of perfect complexes and traces
• scientific article; zbMATH DE number 6382819 (Why is no real title available?)
• Determinant functors on triangulated categories
• D-Sets and BG-Functors in Kazhdan-Lusztig Theory
• scientific article; zbMATH DE number 7323983 (Why is no real title available?)
• Deligne-Riemann-Roch and intersection bundles
• On multi-determinant functors for triangulated categories
• Determinant functors, negative \(K\)-groups and \(K\)-theoretic cycles
• Determinant and rank functions in semisimple pivotal Ab-categories
• On the \(K_{-i}\)-functors

This page was built for publication: On determinant functors and \(K\)-theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264091)