Holmstrom Spectral sequence

http://mathoverflow.net/questions/8052/why-are-spectral-sequences-so-ubiquitous

http://mathoverflow.net/questions/22188/introductory-book-on-spectral-sequences

Notes by Murfet

Hatcher Spectral Seqs book draft

http://ncatlab.org/nlab/show/spectral+sequence

References:

Probably also other things in the Homological algebra folder, including MacLane: Homology, and Gelfand-Manin: Methods.

Verdier has a notion of “spectral object”. See Deligne: Décompositions dans… (Motives vol) for this. See also Deligne: Theoreme de Lefschetz et criteres de degenerescence de suites spectrales (1968, IHES)

Grayson (page 45 in K-theory handbook) has brief discussion on spectral seqs, for example those omig from a filtration on a spectrum. Read this again.

Gillet in K-theory handbook seems to be a very good starting point for a systematic treatment of spectral sequences

Weibel (p. 19) refers to Grothendieck’s spectral sequence as a special case of the hypercohomology spectral sequence for the composition of two functors.

Some spectral sequences in algebraic geometry: Weight, Leray, local to global, hypercohomology, composition of two functors.

See List of spectral sequences

Deligne, P.: D´eg´en´erescence de suites spectrales et Th´eor`emes de Lefschetz.

Jardine, J.F.:The Leray spectral sequence. J. Pure Appl. Algebra 61, 189–196 (1989)

Segal, G.: Classifying spaces and spectral sequences. Publ. math. IHES 34, 105–112 (1968)

Maunder: The spectral sequence of an extraordinary cohomology theory (1963)

Check MacLane: Homology

Paranjape: Some spectral sequences for filtered complexes and applications (1996)

See also notes under Sheaf cohomology

McCleary book. In homol alg folder

Thomason article

Dwyer: Higher divided squares… “Every cosimplicial space gives rise to a spectral sequence. E.g. the Eilenberg-Moore ss. Study of operations on such spectral seqs.”

Barakat on algorithm for computing with ss of a filtered cplx

LNM0134 treats the Eilenberb-Moore ss and interprets it as a Kunneth ss for a cohomology theory on an overcategory Top/B.

Pirashvili and Redondo: Cohomology of the Grothendieck construction, on arXiv. Treats a very general spectral sequence.

http://mathoverflow.net/questions/76337/exhaustiveness-and-regularness-of-a-filtration-of-a-complex

French on comparison between two ss for unstable homotopy groups (Adams and Goerss-Hopkins)

arXiv:1009.1125 The Goodwillie tower and the EHP sequence from arXiv Front: math.AT by Mark Behrens We study the interaction between the EHP sequence and the Goodwillie tower of the identity evaluated at spheres at the prime 2. Both give rise to spectral sequences (the EHP spectral sequence and the Goodwillie spectral sequence, respectively) which compute the unstable homotopy groups of spheres. We relate the Goodwillie filtration to the P map, and the Goodwillie differentials to the H map. Furthermore, we study an iterated Atiyah-Hirzebruch spectral sequence approach to the homotopy of the layers of the Goodwillie tower of the identity on spheres. We show that differentials in these spectral sequences give rise to differentials in the EHP spectral sequence. We use our theory to re-compute the 2-primary unstable stems through the Toda range (up to the 19-stem). We also study the homological behavior of the interaction between the EHP sequence and the Goodwillie tower of the identity. This homological analysis involves the introduction of Dyer-Lashof-like operations associated to M. Ching’s operad structure on the derivatives of the identity. These operations act on the mod 2 stable homology of the Goodwillie layers of any functor from spaces to spaces.


Notes from Tohoku

Section 2.4

Consider an abelian cat CC. Def of filtered (decreasing) object in CC, and morphism. Filtered objects form an additive cat. Def of associated graded, a covariant functor to graded objects.

Def of spectral sequence in CC, as in Tamme. The cat of spectral sequences in CC form an additive cat. Spectral functor, cohomological spectral sequence.

Example: Let KK be a bicomplex in CC, with “finite diagonals”. Then have two spectral sequences converging to the cohomology of the associated simple complex. For these the E 2 pqE_2^{pq} terms are defined by taking the pp-th cohomology in one direction of the qq-th cohomology in the other direction.

Let FF be a covariant functor from one abelian cat CC to another CC'. Suppose the first cat has enough injectives. Let KK be a complex in CC, bounded on the left. Then by Cartan-Eilenberg (Chap XVII) we can construct two spectral sequences IFIF and IIFIIF, bothe computing (what I think is) the derived functors of FF. This doesn’t make any sense, probably I missed something here. He says that these sequences converge to “the hyperhomology functors of FF”, and they seem to use starting terms involving the derived functors. We recall the construction: Let KK be concentrated in positive degrees. Take a double complex LL which in each degree is a resolution of KK. Also, each node of LL should be FF-acyclic (higher derived functors vanishing). Two ways of constructing such an LL, including an explicit description of injective objects in the cat of complexes in CC. More stuff about this hyperhomology, cannot decode the notation.

Apparently the above machinery generates, as a special case, the usual Grothendieck spectral sequence theorem:

Thm: Let CC, CC', CC'' be three abelian cats, the first two having enough injectives. Let F:CCF:C \to C' and G:CCG: C' \to C'' be covariant functors, such that GG is left exact, and FF sends injectives to GG-acyclics. Then there exists a cohomological spectral functor on CC with values in CC'', with abutment the right derived functor of GFGF (convenablement filtre), with initial term E 2 pq(A)=R pG(R qF(A))E_2^{pq}(A) = R^p G (R^qF(A)).

Several remarks on this thm.

nLab page on Spectral sequence

Created on June 9, 2014 at 21:16:13 by Andreas Holmström