Modules in monoidal model categories

Abstract: This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories.

Review text

In a symmetric monoidal category \(\mathcal M\) with product \(\wedge\), consider a monoid \(A\) and a left \(A\)-module \(M\) (with an action map \(A \wedge M \rightarrow M\)). Construct then, for any right \(A\)-module \(N\), the \textit{balanced product} \(M \wedge_A N\) as the coequalizer of \(M \wedge A \wedge N \rightrightarrows M \wedge N\). Dually construct a left \(A\)-module function object \({}^A[L, M]\) for any left \(A\)-module~\(L\). When \(\mathcal M\) is also a Quillen closed model category, compatible with the product in an appropriate sense, \(\mathcal M\) is called a \textit{monoidal model category}. The derived product and the derived function object turn the homotopy category of \(\mathcal M\) into a symmetric monoidal category, as explained by \textit{M. Hovey} [``Model categories. Math. Surv. Monogr. 63, AMS (1999; Zbl 0909.55001)]. The authors consider the situation when the category of left \(A\)-modules \({}_A \mathcal M\) is endowed with a model structure in which a map is a fibration or a weak equivalence if and only if it is one in \(\mathcal M\). They prove then that the derived balanced product and the derived left \(A\)-module function object exist and the relation between the homotopy categories of \(\mathcal M\) and \({}_A \mathcal M\) is studied. Much of the theory is written in general for enriched model categories (over \(\mathcal M\)). Many other variants of function objects and balanced products are considered.

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Modules in monoidal model categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q886224)