Localization theorems in topological Hochschild homology and topological cyclic homology (Q441110): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 02:04, 30 June 2023
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