A Homological Bridge Between Finite and Infinite Dimensional Representations of Algebras
Given a finite dimensional algebra $Λ$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(Λ\rm{-mod})$ of all finitely generated (left) $Λ$-modules of finite projective dimension, namely contravariant finiteness of ${\cal P}^{\infty}(Λ\rm{-mod})$ in $Λ\rm{-mod}$, forces arbitrary modules of finite projective dimension to be direct limits of objects in ${\cal P}^{\infty}(Λ\rm{-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 $Λ$ to coincide with the big (this is well-known to fail over finite dimensional algebras in general).