On equivariant triangulated categories (1403.7027v2)

Abstract: Consider a finite group $G$ acting on a triangulated category $\mathcal T$. In this paper we investigate triangulated structure on the category $\mathcal T^G$ of $G$-equivariant objects in $\mathcal T$. We prove (under some technical conditions) that such structure exists. Supposed that an action on $\mathcal T$ is induced by a DG-action on some DG-enhancement of $\mathcal T$, we construct a DG-enhancement of $\mathcal T^G$. Also, we show that the relation "to be an equivariant category with respect to a finite abelian group action" is symmetric on idempotent complete additive categories.