Higher algebra in $t$-structured tensor triangulated $\infty$-categories
Abstract
We generalize fundamental notions of higher algebra, traditionally developed within the -category of spectra, to the broader setting of -structured tensor triangulated -categories (--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 --categorical setting, showing that -epimorphic idempotent algebras are in natural bijection with idempotent ideals. By exploiting deformation theory, we establish a general \'etale rigidity theorem, proving that the -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 --categories, demonstrating that the presheaf -category on the 1-dimensional framed cobordism -category serves as the universal projectively rigid --category.
Cite
@article{arxiv.2603.27786,
title = {Higher algebra in $t$-structured tensor triangulated $\infty$-categories},
author = {Jiacheng Liang},
journal= {arXiv preprint arXiv:2603.27786},
year = {2026}
}
Comments
86 pages, comments welcome! v2: Added Proposition 1.16, Warning 4.16, Remark 6.36, Corollary 6.43 and Remark 6.44; corrected a motivic example (replaced Artin-Tate spectra with Artin spectra); fixed minor typos