Cubical and cosimplicial descent

We prove that algebraic K-theory, topological Hochschild homology and topological cyclic homology satisfy cubical and cosimplicial descent at connective structured ring spectra along 1-connected maps of such ring spectra.

[1]  Philip S. Hirschhorn.  Model categories and their localizations , 2003 .

[2]  Bjørn Ian Dundas,et al.  The Local Structure of Algebraic K-Theory , 2012 .

[3]  B. Dundas,et al.  Equivariant Structure on Smash Powers , 2016, 1604.05939.

[4]  J. Milnor.  On the Cobordism Ring Ω ∗ and a Complex Analogue, Part I , 1960 .

[5]  D. Ravenel,et al.  Periodic phenomena in the Adams-Novikov spectral sequence , 1977 .

[6]  I. Madsen,et al.  Topological cyclic homology of the integers , 2019 .

[7]  John Rognes,et al.  Algebraic K-theory of topological K-theory , 2002 .

[8]  Jon P. May,et al.  Generalized Tate Cohomology , 1995 .

[9]  G. Carlsson.  Derived Completions in Stable Homotopy theory , 2007, 0707.2585.

[10]  S. A. Amitsur.  Simple algebras and cohomology groups of arbitrary fields , 1959 .

[11]  A. Borel.  Stable real cohomology of arithmetic groups , 1974 .

[12]  J. Rognes.  Topological cyclic homology of the integers at two , 1999 .

[13]  S. Novikov.  THE METHODS OF ALGEBRAIC TOPOLOGY FROM THE VIEWPOINT OF COBORDISM THEORY , 1967 .

[14]  A. Mathew,et al.  Descent in algebraic $K$-theory and a conjecture of Ausoni–Rognes , 2016, Journal of the European Mathematical Society.

[15]  D. M. Kan,et al.  Homotopy Limits, Completions and Localizations , 1987 .

[16]  J. M. Boardman.  Conditionally Convergent Spectral Sequences , 1999 .

[17]  J. Rognes,et al.  Spaces of PL Manifolds and Categories of Simple Maps , 2013 .

[18]  B. Shipley.  A CONVENIENT MODEL CATEGORY FOR COMMUTATIVE RING SPECTRA , 2003 .

[19]  T. Goodwillie.  Calculus II: Analytic functors , 1991 .

[20]  S. Novikov.  Homotopy properties of Thom complexes , 2007 .

[21]  Ib Madsen,et al.  The cyclotomic trace and algebraic K-theory of spaces , 1993 .

[22]  R. Thomason.  Algebraic $K$-theory and etale cohomology , 1985 .

[23]  W. Dwyer,et al.  A long homology localization tower , 1977 .

[24]  Stavros Tsalidis,et al.  On the topological cyclic homology of the integers , 1997 .

[25]  T. Goodwillie.  Relative algebraic K-theory and cyclic homology , 1986 .

[26]  A. K. Bousfield,et al.  Homotopy theory of Γ-spaces, spectra, and bisimplicial sets , 1978 .

[27]  W. Dwyer.  Twisted homological stability for general linear groups , 1980 .

[28]  D. Ravenel.  Localization with Respect to Certain Periodic Homology Theories , 1984 .

[29]  J. Rognes,et al.  Rational algebraic K-theory of topological K-theory , 2007, 0708.2160.

[30]  J. Rognes,et al.  On cyclic fixed points of spectra , 2007, 0712.3476.

[31]  Bjørn Ian Dundas,et al.  Relative K-theory and topological cyclic homology , 1997 .

[32]  On the multiplicative structure of topological Hochschild homology , 2004, math/0410367.

[33]  Kiyoshi Igusa.  The stability theorem for smooth pseudoisotopies , 1988 .

[34]  D. Ravenel.  Complex Cobordism and Stable Homotopy Groups of Spheres , 1986 .

[35]  S. Tsalidis.  On the Étale Descent Problem for Topological Cyclic Homology and Algebraic K-Theory , 2000 .

[36]  Michael A. Mandell,et al.  Model Categories of Diagram Spectra , 2001, Proceedings of the London Mathematical Society.

[37]  Friedhelm Waldhausen,et al.  ALGEBRAIC K-THEORY OF SPACES I , 1978 .

[38]  J. Rognes.  Two-primary algebraic K-theory of pointed spaces , 2002 .

[39]  M. Hopkins,et al.  Nilpotence and Stable Homotopy Theory II , 1992 .

[40]  J. McClure,et al.  ON THE TOPOLOGICAL HOCHSCHILD HOMOLOGY OF bu, I , 1993 .

[41]  Michael Cole,et al.  Rings, Modules, and Algebras in Stable Homotopy Theory , 2007 .

[42]  J. P. May,et al.  The geometry of iterated loop spaces , 1972 .

[43]  Christopher L. Douglas,et al.  Higher topological cyclic homology and the Segal conjecture for tori , 2008, 0803.2745.

[44]  J. Rognes.  Algebraic K-theory of the two-adic integers , 1999 .

[45]  A. Mathew,et al.  Nilpotence and descent in equivariant stable homotopy theory , 2015, 1507.06869.

[46]  J. Rognes,et al.  The Segal conjecture for topological Hochschild homology of complex cobordism , 2010, 1010.5635.

[47]  S. Tsalidis.  Topological hochschild homology and the homotopy descent problem , 1998 .

[48]  A. Blumberg,et al.  Topological Hochschild homology of Thom spectra and the free loop space , 2008, 0811.0553.

[49]  Michael A. Mandell,et al.  The homotopy groups of the algebraic K–theory of the sphere spectrum , 2014, Geometry & Topology.

[50]  L. Hesselholt.  Periodic topological cyclic homology and the Hasse-Weil zeta function , 2016 .

[51]  J. Rognes.  Galois Extensions of Structured Ring Spectra/Stably Dualizable Groups , 2008 .

[52]  Ib Madsen,et al.  On the K-theory of finite algebras over witt vectors of perfect fields , 1997 .

[53]  J. Adams,et al.  New Developments in Topology: Operations of the nth kind in K-theory, and what we don't know about RP∞ , 1974 .