The fundamental theorem via derived Morita invariance, localization, and A^1-homotopy invariance

DOI10.1017/IS011004009JKT155MaRDI QIDQ2905331zbMATH OpenOpenAlexFDO

Authors Gonçalo Tabuada

Publication date 27 August 2012

Published in Journal of \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.5936

zbMATH Keywords

dg categoriesfundamental theoremhomotopy algebraic \(K\)-theoryperiodic cyclic homology

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Computations of higher (K)-theory of rings (19D50) (K)-theory and homology; cyclic homology and cohomology (19D55)

Abstract: We prove that every functor defined on dg categories, which is derived Morita invariant, localizing, and A^1-homotopy invariant, satisfies the fundamental theorem. As an application, we recover in a unified and conceptual way, Weibel and Kassel's fundamental theorems in homotopy algebraic K-theory, and periodic cyclic homology, respectively.

Review text

Let \(E\) be a functor from the category of dg categories to a triangulated category. The author says that \(E\) ``satisfies the fundamental theorem if, for any dg category \(A\), NEWLINE\[NEWLINEE(A[t,t^{-1}]) \cong E(A) \oplus \Sigma (E(A)).NEWLINE\]NEWLINE Here \(A[t,t^{-1}]\) is the tensor product of \(A\) with the algebra of Laurent polynomials.NEWLINENEWLINEThe author shows that if \(E\) is derived Morita invariant, localizing, and \(\mathbb A ^{1}\)-homotopy invariant, \(E\) satisfies the fundamental theorem. This result unifies and simplifies the proof of the fundamental theorem for homotopy algebraic \(K\)-theory in \textit{C. A. Weibel} [Contemp. Math. 83, 461--488 (1989; Zbl 0669.18007)] and the proof of the fundamental theorem for periodic cyclic homology in \textit{C. Kassel} [J. Algebra 107, 195--216 (1987; Zbl 0617.16015)]. The author notes applications to quasi-compact, quasi-separated schemes. The author's proof of the fundamental theorem is based on ideas introduced by him in [Int. Math. Res. Not. 2005, No. 53, 3309--3339 (2005; Zbl 1094.18006)].

Recommendations

• The Gysin triangle via localization and \(A^1\)-homotopy invariance
• \(\mathbb{A}^1\)-homotopy invariants of dg orbit categories
• The homotopy theory of dg-categories and derived Morita theory
• Invariance of the \(K\)-theory for derived equivalences
• Invariance and localization for cyclic homology of DG algebras

Cites work

• Additive K-theory and crystalline cohomology
• Cyclic homology, comodules, and mixed complexes
• DG quotients of DG categories.
• Higher \(K\)-theory via universal invariants
• scientific article; zbMATH DE number 5017503 (Why is no real title available?)
• Invariance and localization for cyclic homology of DG algebras
• Negative \(K\)-theory of derived categories
• Uniqueness of enhancement for triangulated categories

Cited in

(15)

• Hermitian K-theory on a theorem of Giffen
• On the invariance and general cohomology comparison theorems
• Homotopy invariants of singularity categories
• \(\mathbb{A}^1\)-homotopy invariants of dg orbit categories
• Products, multiplicative Chern characters, and finite coefficients via noncommutative motives
• Noncommutative Artin motives
• \(E_n\)-regularity implies \(E_{n-1}\)-regularity
• A^1-homotopy invariance of algebraic K-theory with coefficients and du Val singularities
• Additive invariants of toric and twisted projective homogeneous varieties via noncommutative motives
• The Gysin triangle via localization and \(A^1\)-homotopy invariance
• -homotopy invariants of topological Fukaya categories of surfaces
• Galois descent of additive invariants
• The fundamental theorem of localizing invariants
• Tensor triangular geometry of non-commutative motives
• \(\mathbb{A}^1\)-invariance of localizing invariants

This page was built for publication: The fundamental theorem via derived Morita invariance, localization, and \(\mathbb A^{1}\)-homotopy invariance

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