(Semi)topological $K$-theory via solidification

Ko Aoki

Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known c…