The previous lecture in this series is here. The next lecture in this series is here.
Correction: In the definition of stable ∞-categories at the very beginning, we forgot the condition that C has a zero object, i.e. the initial and terminal objects agree via the canonical morphism between them. Sorry for the confusion!
In this video we define negative topological cyclic homology and compute it in the case of the ring 𝔽p. Along the way we also give a more conceptual description of negative cyclic homology and study the homotopy fixed points spectral sequence.
This video was produced by the University of Münster, in particular the homotopy theory group there.