Model category structures arising from Drinfeld vector bundles (Q456762): Difference between revisions

Quillen model category structures on the category of chain complexes \(\mathbb{C}(\mathcal{A})\) on a Grothendieck category \(\mathcal{A}\) provide insight into the structure of the corresponding homotopy category, i.e. the derived category \(\mathbb{D}(\mathcal{A})\) of \(\mathcal{A}\). In particular, morphism spaces from \(A\) to \(B\) in \(\mathbb{D}(\mathcal{A})\) may be expressed as (homotopy classes of) chain maps between appropriate cofibrant and fibrant replacements of \(A\) and \(B\), respectively. If \(\mathcal{A}\) is equipped with a monoidal structure, it is desirable to construct monoidal models on \(\mathbb{C}(\mathcal{A})\) (i.e. model category structures which are compatible with the monoidal structure, (see e.g. [\textit{M. Hovey}, Model categories. Mathematical Surveys and Monographs. 63. Providence, RI: American Mathematical Society (AMS) (1999; Zbl 0909.55001)]) since this, for example, implies that the derived tensor product is strongly compatible with the triangulated structure on \(\mathbb{D}(\mathcal{A})\) (see [\textit{J. P. May}, Adv. Math. 163, No.1, 34--73 (2001; Zbl 1007.18012)]). The authors construct monoidal model category structures on the category of chain complexes of quasi-coherent sheaves on a semi-separated scheme \(X\), recovering Gillespie's monoidal flat model structure for quasi-compact semi-separated schemes \(X\) [\textit{J. Gillespie}, Math. Z. 257, No. 4, 811--843 (2007; Zbl 1134.55016)] and a monoidal model structure for the projective line \(X=\mathbb{P}^1(k)\), whose construction was based on the Birkhoff--Grothendieck decomposition theorem for vector bundles on \(\mathbb{P}^1(k)\) [\textit{E. E. Enochs}, \textit{S. Estrada} and \textit{J. R. Garcia-Rozas}, J. Lond. Math. Soc., II. Ser. 77, No. 1, 253--269 (2008; Zbl 1137.18009)]. The main ingredients in their general construction are Hovey's reformulation of model structures on abelian categories in terms of complete cotorsion pairs [\textit{M. Hovey}, Math. Z. 241, No. 3, 553--592 (2002; Zbl 1016.55010)], Gillespie's criterion guaranteeing that such pairs define monoidal model structures [\textit{J. Gillespie}, Math. Z. 257, No. 4, 811--843 (2007; Zbl 1134.55016)] and a new approach to handle filtrations of quasi-coherent sheaves, which allows them to drop some completeness assumptions, which were needed in earlier constructions (cf. e.g. Theorem 4.12. by \textit{J. Gillespie} [Math. Z. 257, No. 4, 811--843 (2007; Zbl 1134.55016)]). The construction of the cotorsion pair, which induces the monoidal model structure depends on several choices, e.g., a class of objects \(\mathcal{C} \subseteq \mathcal{A}\), which determines the class of cofibrant objects \(\mathrm{dg} \widetilde{\mathcal{C}}\subseteq \mathbb{C}(\mathcal{A})\). The main result implies that taking \(\mathcal{C}\) to be the class of (not necessarily finite dimensional) vector bundles or a certain generalization of vector bundles defined by \textit{V. Drinfeld} [in: The unity of mathematics. In honor of the ninetieth birthday of I. M. Gelfand. Papers from the conference held in Cambridge, MA, USA, August 31--September 4, 2003. Boston, MA: Birkhäuser. Progress in Mathematics 244, 263--304 (2006; Zbl 1108.14012)] also yields monoidal model structures on \(\mathbb{C}(\mathrm{Qcoh}(X))\), provided \(\mathcal{C}\) contains a generating set of \(\mathrm{Qcoh}(X)\).