A Homological Bridge Between Finite and Infinite Dimensional Representations of Algebras

Abstract

Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\mathcal{P}}^{\infty }(\Lambda -\mathrm{mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension, namely contravariant finiteness of ${\mathcal{P}}^{\infty }(\Lambda -\mathrm{mod})$ in $\Lambda -\mathrm{mod}$, forces arbitrary modules of finite projective dimension to be direct limits of objects in ${\mathcal{P}}^{\infty }(\Lambda -\mathrm{mod})$. Among numerous applications, this yields an encompassing sufficient condition for the validity of the first finitistic dimension conjecture, that is, for the little finitistic dimension of $\Lambda$ to coincide with the big (this is well-known to fail over finite dimensional algebras in general).