Iyama's finiteness theorem via strongly quasi-hereditary algebras

Abstract

Let $Λ$ be an artin algebra and $X$ a finitely generated $Λ$-module. Iyama has shown that there exists a module $Y$ such that the endomorphism ring $Γ$ of $X\oplus Y$ is quasi-hereditary, with a heredity chain of length $n$, and that the global dimension of $Γ$ is bounded by this $n$. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length $n$ must have global dimension at most $2n-2$. We want to show that Iyama's better bound is related to the fact that the ring $Γ$ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary: By definition, the left strongly quasi-hereditary algebras are the quasi-hereditary algebras with all standard left modules of projective dimension at most~1.