Localization theorems in topological Hochschild homology and topological cyclic homology (Q441110): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The algebraic \(K\)-theory of a scheme is a fundamental and much studied invariant. One of the most important foundational results in the subject, established by \textit{R. W. Thomason} and \textit{T. Trobaugh} [The Grothendieck Festschrift, Collect. Artic. in Honor of the 60th Birthday of A. Grothendieck. Vol. III, Prog. Math. 88 (1990; Zbl 0731.14001)] is the localization cofiber sequence \[ K(\text{\(X\) on \((X-U)\)}) \to K(X) \to K(U) \] where \(X\) is quasi-separated and quasi-compact and \(U\) a quasi-compact open subscheme. Topological Hochschild homology \(THH\) and topological cyclic homology \(TC\) are among the most powerful computational tools for accessing algebraic \(K\)-theory. The main result of this paper establishes these fundamental localization cofiber sequences for \(THH\) and \(TC\) (as well as for the intermediate theory \(TR\)) of schemes. This result is a specialization of the authors' more general localization cofiber sequence for \(THH\) (resp.~\(TC\), \(TR\)) of spectral categories (i.e.~catgeories enriched over symmetric spectra). Their general localization theorem says (roughly) that if \(\mathcal{A}\to \mathcal{B}\to \mathcal{C}\) is a sequence of pretriangulated spectral categories such that the sequence of triangulated categories \(\pi_{0}\mathcal{A}\to \pi_{0}\mathcal{B}\to \pi_{0}\mathcal{C}\) is exact, then the sequence \[ THH(\mathcal{A})\to THH(\mathcal{B})\to THH(\mathcal{C}) \] is a homotopy cofiber sequence of spectra. This generalizes Keller's construction of a localization cofiber sequence for Hochschild and cyclic homology of \(dg\)-categories [\textit{B. Keller}, J.~Pure Appl.~Algebra 136, No. 1, 1--56 (1999; Zbl 0923.19004)]. In order to deduce their localization theorem for schemes from the general result, the authors need to reformulate the definition of the topological Hochschild and cyclic homologies of schemes. The authors verify that their new definition yields a theory equivalant to Geisser-Hesselholt's original definition. Several important consequences of the localization theorem are deduced: a Mayer-Vietoris homotopy pushout square for open covers, a similar one for blow-ups along regularly embedded centers, and a projective bundle theorem. The Mayer-Vietoris homotopy pushout square was previously established by Geisser-Hesselholt; the other two consequences are new. | |||
Property / review text: The algebraic \(K\)-theory of a scheme is a fundamental and much studied invariant. One of the most important foundational results in the subject, established by \textit{R. W. Thomason} and \textit{T. Trobaugh} [The Grothendieck Festschrift, Collect. Artic. in Honor of the 60th Birthday of A. Grothendieck. Vol. III, Prog. Math. 88 (1990; Zbl 0731.14001)] is the localization cofiber sequence \[ K(\text{\(X\) on \((X-U)\)}) \to K(X) \to K(U) \] where \(X\) is quasi-separated and quasi-compact and \(U\) a quasi-compact open subscheme. Topological Hochschild homology \(THH\) and topological cyclic homology \(TC\) are among the most powerful computational tools for accessing algebraic \(K\)-theory. The main result of this paper establishes these fundamental localization cofiber sequences for \(THH\) and \(TC\) (as well as for the intermediate theory \(TR\)) of schemes. This result is a specialization of the authors' more general localization cofiber sequence for \(THH\) (resp.~\(TC\), \(TR\)) of spectral categories (i.e.~catgeories enriched over symmetric spectra). Their general localization theorem says (roughly) that if \(\mathcal{A}\to \mathcal{B}\to \mathcal{C}\) is a sequence of pretriangulated spectral categories such that the sequence of triangulated categories \(\pi_{0}\mathcal{A}\to \pi_{0}\mathcal{B}\to \pi_{0}\mathcal{C}\) is exact, then the sequence \[ THH(\mathcal{A})\to THH(\mathcal{B})\to THH(\mathcal{C}) \] is a homotopy cofiber sequence of spectra. This generalizes Keller's construction of a localization cofiber sequence for Hochschild and cyclic homology of \(dg\)-categories [\textit{B. Keller}, J.~Pure Appl.~Algebra 136, No. 1, 1--56 (1999; Zbl 0923.19004)]. In order to deduce their localization theorem for schemes from the general result, the authors need to reformulate the definition of the topological Hochschild and cyclic homologies of schemes. The authors verify that their new definition yields a theory equivalant to Geisser-Hesselholt's original definition. Several important consequences of the localization theorem are deduced: a Mayer-Vietoris homotopy pushout square for open covers, a similar one for blow-ups along regularly embedded centers, and a projective bundle theorem. The Mayer-Vietoris homotopy pushout square was previously established by Geisser-Hesselholt; the other two consequences are new. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19D55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F43 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6068621 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topological Hochschild homology | |||
Property / zbMATH Keywords: topological Hochschild homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topological cyclic homology | |||
Property / zbMATH Keywords: topological cyclic homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
localization sequence | |||
Property / zbMATH Keywords: localization sequence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mayer-Vietoris sequence | |||
Property / zbMATH Keywords: Mayer-Vietoris sequence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projective bundle theorem | |||
Property / zbMATH Keywords: projective bundle theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
blow-up formula | |||
Property / zbMATH Keywords: blow-up formula / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2026913180 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0802.3938 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic \(K\)-theory and abstract homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cyclotomic trace and algebraic K-theory of spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5693333 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The localization of spaces with respect to homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinitesimal K-theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cyclic homology, cdh-cohomology and negative \(K\)-theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $K$-regularity, $cdh$-fibrant Hochschild homology, and a conjecture of Vorst / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DG quotients of DG categories. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral enrichments of model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5423979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological Hochschild homology of ring functors and exact categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4716283 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The spectral sequence relating algebraic K-theory to motivic cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4946327 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the vanishing of negative \(K\)-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative algebraic K-theory and cyclic homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cyclic polytopes and the \(K\)-theory of truncated polynomial algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the \(K\)-theory of finite algebras over Witt vectors of perfect fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the \(K\)-theory of local fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4790109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatic stable homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symmetric spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the cyclic homology of exact categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model structure on operads in orthogonal spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homotopy coniveau tower / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Is there a convenient category of spectra? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant stable homotopy theory. With contributions by J. E. McClure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant orthogonal spectra and 𝑆-modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model Categories of Diagram Spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of iterated loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5687557 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative algebraic \(K\)-theory and topological cyclic homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The connection between the $K$-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalences of monoidal model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable model categories are categories of modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symmetric spectra and topological Hochschild homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: HZ -algebra spectra are differential graded algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic $K$-theory and etale cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(K\)-groups of a blow-up scheme and an excess intersection formula / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3356420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A remark on \(K\)-theory and \(S\)-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3868473 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3701607 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:35, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Localization theorems in topological Hochschild homology and topological cyclic homology |
scientific article |
Statements
Localization theorems in topological Hochschild homology and topological cyclic homology (English)
0 references
20 August 2012
0 references
The algebraic \(K\)-theory of a scheme is a fundamental and much studied invariant. One of the most important foundational results in the subject, established by \textit{R. W. Thomason} and \textit{T. Trobaugh} [The Grothendieck Festschrift, Collect. Artic. in Honor of the 60th Birthday of A. Grothendieck. Vol. III, Prog. Math. 88 (1990; Zbl 0731.14001)] is the localization cofiber sequence \[ K(\text{\(X\) on \((X-U)\)}) \to K(X) \to K(U) \] where \(X\) is quasi-separated and quasi-compact and \(U\) a quasi-compact open subscheme. Topological Hochschild homology \(THH\) and topological cyclic homology \(TC\) are among the most powerful computational tools for accessing algebraic \(K\)-theory. The main result of this paper establishes these fundamental localization cofiber sequences for \(THH\) and \(TC\) (as well as for the intermediate theory \(TR\)) of schemes. This result is a specialization of the authors' more general localization cofiber sequence for \(THH\) (resp.~\(TC\), \(TR\)) of spectral categories (i.e.~catgeories enriched over symmetric spectra). Their general localization theorem says (roughly) that if \(\mathcal{A}\to \mathcal{B}\to \mathcal{C}\) is a sequence of pretriangulated spectral categories such that the sequence of triangulated categories \(\pi_{0}\mathcal{A}\to \pi_{0}\mathcal{B}\to \pi_{0}\mathcal{C}\) is exact, then the sequence \[ THH(\mathcal{A})\to THH(\mathcal{B})\to THH(\mathcal{C}) \] is a homotopy cofiber sequence of spectra. This generalizes Keller's construction of a localization cofiber sequence for Hochschild and cyclic homology of \(dg\)-categories [\textit{B. Keller}, J.~Pure Appl.~Algebra 136, No. 1, 1--56 (1999; Zbl 0923.19004)]. In order to deduce their localization theorem for schemes from the general result, the authors need to reformulate the definition of the topological Hochschild and cyclic homologies of schemes. The authors verify that their new definition yields a theory equivalant to Geisser-Hesselholt's original definition. Several important consequences of the localization theorem are deduced: a Mayer-Vietoris homotopy pushout square for open covers, a similar one for blow-ups along regularly embedded centers, and a projective bundle theorem. The Mayer-Vietoris homotopy pushout square was previously established by Geisser-Hesselholt; the other two consequences are new.
0 references
topological Hochschild homology
0 references
topological cyclic homology
0 references
localization sequence
0 references
Mayer-Vietoris sequence
0 references
projective bundle theorem
0 references
blow-up formula
0 references