Higher algebra in $t$-structured tensor triangulated $\infty$-categories

Abstract

We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to presentably symmetric monoidal stable $\infty$-categories equipped with compatible accessible $t$-structures, which we call $ttt$-$\infty$-categories. Under a natural structural condition, which we call ``projective rigidity'', we establish higher categorical analogues of Lazard's theorem and prove the existence and universal property of Cohn localizations. Furthermore, we generalize higher almost ring theory to the $ttt$-$\infty$-categorical setting, showing that $\pi_0$-epimorphic idempotent algebras are in natural bijection with idempotent ideals. Additionally, by exploiting deformation theory, we establish a general \text{\text{\'{e}}}tale rigidity theorem. Finally, we characterize the moduli of such projectively rigid $ttt$-$\infty$-categories and show that the $\infty$-category of $\mathrm{Sp}$-valued presheaves on the $1$-dimensional framed cobordism $\infty$-category is universal among them.