Spectral Algebras and Non-commutative Hodge-to-de Rham Degeneration

We revisit the non-commutative Hodge-to-de Rham degeneration theorem of the first author and present its proof in a somewhat streamlined and improved form that explicitly uses spectral algebraic geometry. We also try to explain why topology is essential to the proof.