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

TL;DR

This paper extends higher algebra concepts from spectra to $t$-structured tensor triangulated $ abla$-categories, establishing foundational theorems, generalizing almost ring theory, and characterizing moduli of such categories.

Contribution

It introduces the notion of projective rigidity, proves higher Lazard and Cohn localization theorems, and generalizes higher almost ring theory within $ttt$-$ abla$-categories.

Findings

Establishes higher Lazard's theorem in the $ttt$-$ abla$-category setting.

Proves the existence and universal property of Cohn localizations.

Shows that $ ext{pi}_0$-epimorphic idempotent algebras correspond to idempotent ideals.

Abstract

We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($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. By exploiting deformation theory, we establish a general \'etale rigidity theorem, proving that the $\infty$-category of \'etale algebras over a fixed connective base is completely determined by its discrete counterpart. Finally, we characterize the moduli of such projectively rigid $ttt$-$\infty$-categories, demonstrating that the presheaf $\infty$-category on the 1-dimensional framed cobordism $\infty$-category serves as the universal projectively rigid $ttt$-$\infty$-category.