Locally Noetherian quiver representations

Abstract

It is shown that a quiver is left Noetherian if and only if the category of quiver representations in any locally Noetherian abelian category is again locally Noetherian. Here, locally Noetherian means that any object is the directed union of its Noetherian subobjects. For a quiver to be left Noetherian means that the left ideals of paths starting at any fixed vertex satisfy the ascending chain condition. The proof generalizes to representations of any small category that admits a Gröbner enrichment.