Auslander-Reiten (n+2)-angles and local finiteness

Abstract: Let $\mathcal C$ be an $(n+2)$-angulated category. Zhou proved that, when $n$ is odd, if the Auslander-Reiten $(n+2)$-angles generate the relations for the Grothendieck group of $\mathcal C$, then $\mathcal C$ is locally finite. Whether the corresponding statement remains valid for even $n$ is still open. In this paper, we give a partial affirmative answer to this problem by establishing a sufficient condition under which the same implication holds for even $n$. We further show that our sufficient condition is satisfied by a broad class of examples, thereby demonstrating that the result extends well beyond isolated cases.