Cartesian modules over representations of small categories (Q520370)

Let \(\mathcal{C}\) be a small category, let \(\mathrm{Add}\) be the category of small preadditive categories and let \(\mathrm{Ring}\) be the category of rings. The first relevant definition of this paper is the notion of representation. A representation is a pseudofunctor \(R:\mathcal{C}\rightarrow \mathcal{T}\) (see Definition 3.1) where \(\mathcal{T}=\mathrm{Add}\) or \(\mathcal{T}=\mathrm{Ring}\). A representation is said to be strict if it is a functor. Given a representation \(R\) the authors define the category \(\mathrm{Mod-}R\) of right modules over R (see Definition 3.6), and they prove in Theorem 3.18 that \(\mathrm{Mod-}R\) is a (Ab. 4\(^{\ast}\)) Grothendieck category. If furthermore \(\mathcal{C}\) is a poset, then \(\mathrm{Mod-}R\) has a projective generator. On the other hand, in Subsection 3.3, we can find the definition of tensor product in \(\mathrm{Mod-}R\) (taking values in the category of Abelian groups) and hence it is possible to introduce a natural notion of flatness in the category \(\mathrm{Mod-}R\). The new concept of Cartesian module over \(R\) is introduced in Definition 3.22. Under flat conditions the category of Cartesian right \(R\)-modules, denoted by \(\mathrm{Mod}_{\mathrm{cart}}(R)\) is a Grothendieck category (see Theorem 3.23) and as a full subcategory of Mod-\(R\) has some nice consequences that are studied by the authors of this paper. For instance it enables to define a theory of contravariant additive at functors in a rather general context that encompasses categories of quasi-coherent sheaves of modules. In Section 4 the authors introduce a local version of the Yoneda extension functor that allows to embed \(\mathrm{Mod}_{\mathrm{cart}}(R)\) (for \(R:\mathcal{C}\rightarrow \mathrm{Ring}\) strict) into the category of Cartesian modules over a new representation \(R_{fp}:\mathcal{C}\rightarrow \mathrm{Add}\) defined in Definition 4.6. The representation \(R\) is a right flat representation if and only if \(R_{fp}\) is right flat. Therefore, \(\mathrm{Mod}_{\mathrm{cart}}(R)\) and \(\mathrm{Mod}_{\mathrm{cart}}(R_{fp})\) are Grothendieck categories (see Lemma 4.7). Moreover, under strictness conditions for \(R:\mathcal{C}\rightarrow \mathrm{Ring}\), the Yoneda functor \(Y : \mathrm{Mod-}R \rightarrow \mathrm{Mod-}R_{fp}\) induces two interesting categorical equivalences (see Theorem 4.13) between the categories \(\mathrm{Mod-}R\) and \(\mathrm{L.Flat}(\mathrm{Mod-}R_{fp})\) and \(\mathrm{Mod}_{\mathrm{cart}}(R)\) and \(\mathrm{L.Flat}(\mathrm{Mod}_{\mathrm{cart}}(R_{fp}))\). As applications of the previous equivalences, the authors prove that every \(M\in \mathrm{Mod}_{\mathrm{cart}}(R)\) has a pure injective envelope (see Theorem 5.5) and, on the other hand, they obtain that there exists an exact Quillen model category structure in the category of unbounded complexes of objects in \(\mathrm{Mod}_{\mathrm{cart}}(R)\) where the weak equivalences are the pure quasi-isomorphisms. Its corresponding homotopy category is the pure derived category of Cartesian \(R\)-modules (see Theorem 5.8).