Phantom stable category of $n$-Frobenius categories

Abstract

Let $n$ be a non-negative integer. An exact category $\C$ is said to be an $n$-Frobenius category, provided that it has enough $n$-projectives and $n$-injectives and the $n$-projectives coincide with the $n$-injectives. It is proved that any abelian category with non-zero $n$-projective objects, admits a non-trivial $n$-Frobenius subcategory. In particular, we explore several examples of $n$-Frobenius categories. Also, as a far reaching generalization of the stabilization of a Frobenius category, we define and study phantom stable category of an $n$-Frobenius category $\C$. Precisely, assume that $\p\subseteq\Ext^n_{\C}$ is the subfunctor consisting of all conflations of length $n$ factoring through $n$-projective objects. A couple $(\C_{\p}, T)$, where $\C_{\p}$ is an additive category and $T$ is a covariant additive functor from $\C$ to $\C_{\p}$, is a phantom stable category of $\C$, provided that for any morphism $f$ in $\C$, $T(f)=0$, whenever $f$ is an $n$-$\Ext$-phantom morphism and $T(f)$ is an isomorphism in $\C_{\p}$, if $f$ acts as invertible on $\Ext^n/{\p}$, and $T$ has the universal property with respect to these conditions. The main focus of this paper is to show that the phantom stable category of an $n$-Frobenius category always exists. Some properties of phantom stable categories that reveal the efficiency of these categories are studied.

arXiv commentTo appear in Kyoto J. Math