Fix a ground field $k$. By a linear category I will mean an Abelian category which is compatibly enriched over $k$-vector spaces. A linear category is called finite if it satisfies the following four conditions:
- Every hom vector space is finite dimensional;
- There are finitely many simple objects, up to isomorphism;
- There are enough projective objects (i.e. for every object $x$ there is a projective object $p$ and a surjection $p \to x$; and
- Every object has finite length, i.e. for each object $x$, any descending chain of proper subobjects $$ x \supsetneq x_0 \supsetneq x_1 \supsetneq x_2 \supseteq \cdots $$ is necessarily finite.
It is well known that a linear category is finite if and only if it is equivalent to $Rep(A)$ the category of finite dimensional modules of a finite dimensional $k$-algebra $A$. See for example Prop. 1.4 of arXiv:1406.4204 for a proof of this fact.
The proof given in this reference uses all four of these properties. But one can still wonder if each of these assumptions is absolutely necessary? Perhaps some of these conditions imply the others? The following examples show that this is not the case for the first three properties:
Example 1: Let $K$ be an infinite field extension of $k$. Then the category $Vect_K$ of finite dimensional $K$-vector spaces (finite $K$-dimension, that is) is a $k$-linear category which satisfies (2), (3), and (4), but not (1).
For the next examples if $A$ is a $k$-algebra, not necessarily finite, we will let $Rep(A)$ denote the category of finite dimensional $A$-modules, i.e. finite dimensional vector spaces equipped with an action of $A$.
Example 2: Let $A = \oplus_\infty k$, the countable direct sum of copies of the algebra $k$. Then $Rep(A)$ satisfies (1), (3), and (4), but not (2).
Example 3: Let $A = k[[x]]$ be the formal power series algebra on one generator. Then $Rep(A)$ satisfies (1), (2), and (4), but not (3).
So that leaves the finial property. My question is:
Question: Is there an example of a linear category which satisfies the above properties (1), (2), and (3), but which fails to satisfy property (4)?
It is easy to construct examples which fail to satisfy property (4), but everything I have come up with so far also fails to satisfy one of the other properties as well.