Thomason filtration via $T(1)$-local $\mathrm{TC}$

Abstract

We construct a natural filtration on $T(1)$-local $\mathrm{TC}$ for any animated commutative rings using prismatic cohomology and descent theory. In the course of the construction, we also study some general properties of prismatic cohomology complexes over perfect prisms after inverting distinguished generators. The construction is intrinsic to $\mathrm{TC}$ and recovers Thomason's spectral sequence for $T(1)$-local algebraic K-theory via the cyclotomic trace map; as a consequence, we also recover the \'etale comparison for prismatic cohomology.