Positivstellensatz for C*-tensor categories
arXiv:2410.12141
Abstract
We explore semi-pre-C*-algebras in the context of rigid semisimple C*-tensor categories and using techniques from annular representations, we extend Ozawa's criterion for property (T) in groups to this context
10 pages, many tikZ figures, comments are welcome