scholarly journals Model category structures and spectral sequences

2019 ◽  
Vol 150 (6) ◽  
pp. 2815-2848
Author(s):  
Joana Cirici ◽  
Daniela Egas Santander ◽  
Muriel Livernet ◽  
Sarah Whitehouse

AbstractLet R be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of R-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a quasi-isomorphism at a certain fixed stage of the associated spectral sequence. For filtered complexes, we relate the different model structures obtained, when we vary the stage of the spectral sequence, using the functors shift and décalage.

2021 ◽  
Vol 9 ◽  
Author(s):  
Benjamin Antieau ◽  
Bhargav Bhatt ◽  
Akhil Mathew

Abstract We give counterexamples to the degeneration of the Hochschild-Kostant-Rosenberg spectral sequence in characteristic p, both in the untwisted and twisted settings. We also prove that the de Rham-HP and crystalline-TP spectral sequences need not degenerate.


2016 ◽  
Vol 9 (2) ◽  
pp. 607-686
Author(s):  
Robert Lipshitz ◽  
Peter S. Ozsváth ◽  
Dylan P. Thurston

Author(s):  
Nobuaki Yagita

AbstractWe study the coniveau spectral sequence for quadrics defined by Pfister forms. In particular, we explicitly compute the motivic cohomology of anisotropic quadrics over ℝ, by showing that their coniveau spectral sequences collapse from the -term


Author(s):  
Loring W. Tu

This chapter focuses on spectral sequences. The spectral sequence is a powerful computational tool in the theory of fiber bundles. First introduced by Jean Leray in the 1940s, it was further refined by Jean-Louis Koszul, Henri Cartan, Jean-Pierre Serre, and many others. The chapter provides a short introduction, without proofs, to spectral sequences. As an example, it computes the cohomology of the complex projective plane. The chapter then details Leray's theorem. A spectral sequence is like a book with many pages. Each time one turns a page, one obtains a new page that is the cohomology of the previous page.


2002 ◽  
Vol 133 (2) ◽  
pp. 261-293 ◽  
Author(s):  
J. DANIEL CHRISTENSEN ◽  
MARK HOVEY

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, a projective class on a complete and cocomplete abelian category [Ascr ] is exactly the information needed to do homological algebra in [Ascr ]. The main result is that, under weak hypotheses, the category of chain complexes of objects of [Ascr ] has a model category structure that reflects the homological algebra of the projective class in the sense that it encodes the Ext groups and more general derived functors. Examples include the ‘pure derived category’ of a ring R, and derived categories capturing relative situations, including the projective class for Hochschild homology and co-homology. We characterize the model structures that are cofibrantly generated, and show that this fails for many interesting examples. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories.


2017 ◽  
Vol 28 (10) ◽  
pp. 1695-1722 ◽  
Author(s):  
VALERY ISAEV

Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory T has enough structure, then the category T-Mod of its models carries the structure of a model category. We also show that if T has Σ-types, then weak equivalences can be characterized in terms of homotopy categories of models.


1999 ◽  
Vol 126 (2) ◽  
pp. 329-356 ◽  
Author(s):  
STEFAN SCHWEDE

In this paper we advertise the category of Γ-spaces as a convenient framework for doing ‘algebra’ over ‘rings’ in stable homotopy theory. Γ-spaces were introduced by Segal [Se] who showed that they give rise to a homotopy category equivalent to the usual homotopy category of connective (i.e. (−1)-connected) spectra. Bousfield and Friedlander [BF] later provided model category structures for Γ-spaces. The study of ‘rings, modules and algebras’ based on Γ-spaces became possible when Lydakis [Ly] introduced a symmetric monoidal smash product with good homotopical properties. Here we develop model category structures for modules and algebras, set up (derived) smash products and associated spectral sequences and compare simplicial modules and algebras to their Eilenberg–MacLane spectra counterparts.


Author(s):  
Ugo Bruzzo ◽  
Vladimir N. Rubtsov

AbstractWe study some spectral sequences associated with a locally free $${{\mathscr {O}}}_X$$ O X -module $${{\mathscr {A}}}$$ A which has a Lie algebroid structure. Here X is either a complex manifold or a regular scheme over an algebraically closed field k. One spectral sequence can be associated with $${{\mathscr {A}}}$$ A by choosing a global section V of $${{\mathscr {A}}}$$ A , and considering a Koszul complex with a differential given by inner product by V. This spectral sequence is shown to degenerate at the second page by using Deligne’s degeneracy criterion. Another spectral sequence we study arises when considering the Atiyah algebroid $${{{\mathscr {D}}}_{{{\mathscr {E}}}}}$$ D E of a holomolorphic vector bundle $${{\mathscr {E}}}$$ E on a complex manifold. If V is a differential operator on $${{\mathscr {E}}}$$ E with scalar symbol, i.e, a global section of $${{{\mathscr {D}}}_{{{\mathscr {E}}}}}$$ D E , we associate with the pair $$({{\mathscr {E}}},V)$$ ( E , V ) a twisted Koszul complex. The first spectral sequence associated with this complex is known to degenerate at the first page in the untwisted ($${{\mathscr {E}}}=0$$ E = 0 ) case.


2021 ◽  
Vol 157 (6) ◽  
pp. 1211-1264
Author(s):  
David Gepner ◽  
Tyler Lawson

In this paper we develop methods for classifying Baker, Richter, and Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss–Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$ -categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $E$ , we find that the ‘algebraic’ Azumaya algebras whose coefficient ring is projective are governed by the Brauer–Wall group of $\pi _0(E)$ , recovering a result of Baker, Richter, and Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin–Tate spectra have either four or two Morita equivalence classes, depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $\mathbb {Z}/8\times \mathbb {Z}/2$ . Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$ -algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an ‘exotic’ $KO$ -algebra with the same coefficient ring as $\mathrm {End}_{KO}(KU)$ . This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$ , previously studied by Mathew and Stojanoska.


2020 ◽  
Vol 28 (2) ◽  
pp. 123-137
Author(s):  
Friedrich Wagemann

AbstractWe construct some spectral sequences as tools for computing commutative cohomology of commutative Lie algebras in characteristic 2. In a first part, we focus on a Hochschild-Serre-type spectral sequence, while in a second part we obtain spectral sequences which compare Chevalley--Eilenberg-, commutative- and Leibniz cohomology. These methods are illustrated by a few computations.


Sign in / Sign up

Export Citation Format

Share Document