Integral excision for K-theory, by Bjørn Ian Dundas and Harald Øyen Kittang
Given a homotopy cartesian square of ring spectra satisfying
connectivity hypotheses, the cube induced by Goodwillie’s integral
cyclotomic trace is homotopy cartesian. In other words, the homotopy
fiber of the cyclotomic trace satisfies excision under "closed
embeddings" of ring spectra.
This was previously known after p-completion by work of Geisser and
Hesselholt, and the current authors. Earlier Cortinas had proven the
corresponding rational statement connecting algebraic K-theory and
cyclic homology. In this paper we glue these results together to give
an integral statement. This is not straight forward since it involves
a mixture of rationalization and homotopy limits, which are usually
hard to reconcile. The method of proof is to fracture the obstruction
into pieces where the size of the torsion is controlled. This also
has direct applications to similar situations involving periodic
cyclic homology.
Bjørn Ian Dundas <dundas@math.uib.no>
Harald Øyen Kittang <harald.kittang@gmail.com>