×

Model category structures and spectral sequences. (English) Zbl 1458.18013

The chain complex of the total space of a fibration can be enriched with filtration by the basic degree which gives rise to the Serre spectral sequence. This is a wonderful tool for the knowledge of the fibration and perturbations of the \(E_{r}\)-stage is a process widely used. For instance, with it, S. Halperin and the reviewer creates various models of the total space of a fibration [S. Halperin and D. Tanré, Ill. J. Math. 34, No. 2, 284–324 (1990; Zbl 0679.55011)] and G. Laumon studies modules over the ring of differential operators on complex algebraic varieties [G. Laumon, Lect. Notes Math. 1016, 151–237 (1983; Zbl 0551.14006)]. In the paper under review, the authors raise this approach to a systematic study of Quillen closed model structures. They consider categories of filtered and bigraded chain complexes of modules over a commutative ring with unit and define cofibrantly generated closed model structures on them, by varying the notions of fibrations and weak-equivalences. Mostly, the weak-equivalences are the \(E_{r}\)-quasi-isomorphisms of bigraded complexes at the \(r\)-stage of the associated spectral sequence.
In the filtered case, the authors show that the Deligne functors, shift and décalage, connect by Quillen equivalences the model categories corresponding to \(E_{r}\)-quasi-isomorphisms and fibrations defined by the surjectivity on the \(r\)-cycles, when varying \(r\geq 0\). The bicomplex situation is more rigid and the shift-décalage adjunction cannot be directly transferred. Two different cofibrantly generated model structures are presented, with weak-equivalences the \(E_{r}\)-quasi-isomorphisms. This part extends previous works of F. Muro and C. Roitzheim [J. Pure Appl. Algebra 223, No. 5, 1913–1939 (2019; Zbl 1409.18020)]
Despite the technical nature of the subject, this paper is pleasant to read. Several remarks help to understand the choices made in the definition of the closed model structures.

MSC:

18N40 Homotopical algebra, Quillen model categories, derivators
18G40 Spectral sequences, hypercohomology

References:

[1] Cartan, H. and Eilenberg, S.. Homological Algebra (Princeton, N. J.: Princeton University Press, 1956). · Zbl 0075.24305
[2] Cirici, J., Egas Santander, D., Livernet, M. and Whitehouse, S.. Derived A-infinity algebras and their homotopies. Topol. Appl.235 (2018), 214-268. · Zbl 1439.16009
[3] Cirici, J. and Guillén, F.. E_1-formality of complex algebraic varieties. Algebr. Geom. Topol.14 (2014), 3049-3079. · Zbl 1301.32019
[4] Cirici, J. and Guillén, F.. Homotopy theory of mixed Hodge complexes. Tohoku Math. J.68 (2016), 349-375. · Zbl 1359.55013
[5] Cordero, L. A., Fernández, M., Ugarte, L. and Gray, A.. A general description of the terms in the Frölicher spectral sequence. Differ. Geom. Appl.7 (1997), 75-84. · Zbl 0880.53055
[6] Deligne, P.. Théorie de Hodge. II. Inst. Hautes Études Sci. Publ. Math.40 (1971), 5-57. · Zbl 0219.14007
[7] Di Natale, C.. Derived moduli of complexes and derived Grassmannians. Appl. Categ. Struct.25 (2017), 809-861. · Zbl 1399.14005
[8] Fausk, H.. t-model structures on chain complexes of presheaves. arXiv:math/0612414. · Zbl 1143.19001
[9] Félix, Y., Oprea, J. and Tanré, D.. Algebraic models in geometry, volume 17 of Oxford Graduate Texts in Mathematics (Oxford: Oxford University Press, 2008). · Zbl 1149.53002
[10] Halperin, S. and Tanré, D.. Homotopie filtrée et fibrés C^∞. Illinois J. Math.34 (1990), 284-324. · Zbl 0679.55011
[11] Hirschhorn, P. S.. Model categories and their localizations, volume 99 of Mathematical Surveys and Monographs (Providence, RI: American Mathematical Society, 2003). · Zbl 1017.55001
[12] Hovey, M.. Model categories, volume 63 of Mathematical Surveys and Monographs (Providence, RI: American Mathematical Society, 1999). · Zbl 0909.55001
[13] Illusie, L.. Complexe cotangent et déformations. I, volume 239 of Lecture Notes in Mathematics (Berlin: Springer-Verlag, 1971). · Zbl 0224.13014
[14] Laumon, G.. Sur la catégorie dérivée des 𝒟-modules filtrés. In Raynaud, Michel and Shioda, Tetsuji (eds.) Algebraic geometry (Tokyo/Kyoto, 1982), volume 1016 of Lecture Notes in Math., pp. 151-237 (Berlin: Springer, 1983). · Zbl 0551.14006
[15] Mccleary, J.. A user’s guide to spectral sequences, volume 58 of Cambridge Studies in Advanced Mathematics, 2nd edn (Cambridge: Cambridge University Press, 2001). · Zbl 0959.55001
[16] Morgan, J. W.. The algebraic topology of smooth algebraic varieties. Inst. Hautes Études Sci. Publ. Math.48 (1978), 137-204. · Zbl 0401.14003
[17] Muro, F. and Roitzheim, C.. Homotopy theory of bicomplexes. J. Pure Appl. Algebra223 (2019), 1913-1939. · Zbl 1409.18020
[18] Paranjape, K. H.. Some spectral sequences for filtered complexes and applications. J. Algebra186 (1996), 793-806. · Zbl 0876.18007
[19] Riehl, E.. Category theory in context (Mineola, NY: Dover Publications, 2016). · Zbl 1348.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.