A condition of this sort does not seem to hold in my setting, so perhaps there is no spectral sequence of the type i want. It is constructed from the following filtration of the total space e. The language of derived categories provides a very elegant albeit quite abstract way of formulating the existence and convergence of grothendiecks spectral sequence among other things. The grothendieck spectral sequence is a special case of this, arising as the spectral sequence of a double complex. That is, suppose c bt as are additive functors between abelian categories with enough projectives, and tp is sacyclic for projective. Remark note on terminology often the terminology atiyahhirzebruch spectral sequence is taken to refer to only this case with f f \ast, while the general case is then referred to as serre spectral sequence for generalized cohomology or similar. However, there were certain difficulties in making the presentation of the fields medal since the 1966 international congress of mathematicians at which the presentation was to. Its about abelian categories, sheaves of modules, resolutions, derived functors, and the grothendieck spectral sequence. We construct a generalized grothendieck spectral sequence for com puting the derived functors of a composite functor t. You can also prove these facts directly without using the spectral sequence which is a good exercise in cohomology of sheaves. Comparison of spectral sequences involving bifunctors. Grothendieck is also well known for his \tohoko paper in which he talks about numerous mathematical concepts including abelian categories, sheaves of modules, resolutions, derived functors, and the grothendieck spectral sequence. The grothendieck spectral sequence minicourse on spectral. The classical grothendieck spectral sequence gr, thm 2.
An essay on spectral sequences university of washington. I give a construction which makes no such assumption on x. These notes will attempt to demonstrate that spectral sequences are not so scary, and also very powerful. Let a be a chain complex of objects in an abelian category c. The tohoko paper referred to in this citation is about abelian categories, sheaves of modules, resolutions, derived functors, and the grothendieck spectral sequence.
Given a topological space x with known homology groups, we can consider the eilenbergmoore spectral sequence to compute h x. K cat, we construct a spectral sequence abutting to the cohomology of the grothendieck construction of l in terms of the cohomology of k and of lk, for k. If you dont mind violating grothendiecks stated wishes, you can now read this translation. The key to proving the existence of the leray spectral sequence is the following lemma. Homology of small categories, spectral sequences 327 x. We consider cohomology of small categories with coefficients in a natural system in the sense of baues and wirsching. Let g0 be a connected real semisimple lie group with.
Lecture notes in mathematics a collection of informal reports and seminars edited by a. With this background we can study the grothendieck spectral sequence in section 4. It is a bit more purely categorical than what weve. The grothendieck spectral sequence compares the composition of the derived functors with the derived functors of the composition. Using this we construct coboundary morphisms between grothendieck spectral sequences associated to objects in a short exact sequence. This is just the grothendieck spectral sequence derived categories, lemma. But we view the serre spectral sequence as a special case of the spectral sequence of a ltered space or ltered chain complex, which has many other important cases. The spectral sequence whose existence is asserted in the above theorem is an example of a. We begin by recalling that a functor between abelian categories f. Vakils spectral sequence proofs of the snake lemma despite the typo, fixed in the version of this article that appears as 1. K cat, we construct a spectral sequence abutting to the cohomology of the grothendieck construction of l in terms of the cohomology of k and of lk, for k an object in k.
Mar 21, 2006 we consider cohomology of small categories with coefficients in a natural system in the sense of baues and wirsching. Using this we construct coboundary morphisms between grothendieck spectral sequences associated to objects. Jun 14, 2005 pdf file 640 kb article info and citation. The second page of of the corresponding atiyahhirzebruch spectral sequence see above for f f \ast hence expresses ordinary cohomology in all even or all odd degrees, and being in the kernel of all the differentials is hence the constraint on such ordinary cohomology data to lift to genuine ktheory classes, hence to genuine dbrane. The grothendieck spectral sequence minicourse on spectral sequences, ut austin, may 2017 richard hughes may 12, 2017 1 preliminaries on derived functors. I realized that i forgot that the usual grothendieck spectral sequence has a condition that the first functor maps injectives to acyclics for the second functor. We will see why grothendieck wrote to serre on february 18, 1955. C 00 be left exact additive functors of abelian categories, and let c. We usually draw the rth stage of a spectral sequence in a tabular format with p increasing. Then for any object a 2athere is a spectral sequence starting on. The double complex we will use in question is called a cartaneilenberg resolution. The purpose of this paper is to prove the existence of the grothendieck spectral sequence gss, which is the chain rule for derived functors. The lerayserre spectral sequence is a spectral sequence with.
Cbe additive functors between abelian categories where a,bhave enough injectives and cis complete. When one applies spectral sequences successively it fairly often happens that there are several ways to do this. The respective e 2terms are a priori seen to be isomorphic. Introduction to spectral sequences michael hutchings april 28, 2011 abstract the words \ spectral sequence strike fear into the hearts of many hardened mathematicians. Let a,b and c be abelian categories, such that a and b have enough injectives and c is cocomplete i. Clarificatons and corrections for grothendieck duality and base change 3 local isomorphism d which is a variant of 2. A short exact sequence of chain complexes gives rise to a long exact sequence in homology, which is a fundamental tool for computing homology in a number of situations. Depending upon the spectral sequence, the boundary map on the first sheet can have a degree which corresponds to r 0, r 1, or r 2.
Alexandre grothendieck, on certain aspects of homological algebra, trans. Thus, analogous to, there is a weak ghomotopy equivalence 16 x hocolimpx. Serre spectral sequences, the adamsnovikov spectral sequence following the chromatic spectral sequence, successive grothendieck spectral sequences, and successive eilenbergmoore spectral sequences. Some aspects of homological algebra alexandre grothendieck1 november 11, 2011 1the essential content of chapters 1, 2, and 4, and part of chapter 3 was developed in the spring of 1955 during a seminar in homological algebra at the university of kansas. In mathematics, in the field of homological algebra, the grothendieck spectral sequence.
In fact he was even rewarded the fields medal for the advances in algebraic topology he showed in that paper. The grothendieck spectral sequence is a tool for actually computing some thing for the composition of true derived functors, where we have r g f. A grothendieck spectral sequence is a spectral sequence that computes the cochain cohomology of the composite of two derived functors on categories of chain complexes. Jinhyun park, personal notes on grothendieck spectral sequence pdf. On the way, we will develop some necessary tools in the homological algebra of bicomplexes in abelian categories. Introduction to spectral sequences ucb mathematics. An essay on spectral sequences may 15, 2016 this is primarily an essay on the serre spectral sequence for the homologycohomology of a bration. For a comprehensive introduction to spectral sequences, see 3. The conley index and spectral sequences bartlomiejczyk, piotr, topological methods in nonlinear analysis, 2005. The equivariant serre spectral sequence 267 the category agx is in some sense the equivariant analogue of the category at associated to a topological space t.
Given the above setup, suppose further that for any injective object i of a, rrfgi 0 for all r0. A coboundary morphism for the grothendieck spectral sequence. This has been done in the past i, when x is a gwcomplex, by considering the filtration ofx by its skeletons. On the yoga of motives and the degeneration of leray spectral sequence. For more nice explanations of spectral sequences, see 1 and 2. Nov, 2014 the tohoko paper referred to in this citation is about abelian categories, sheaves of modules, resolutions, derived functors, and the grothendieck spectral sequence. In mathematics, in the field of homological algebra, the grothendieck spectral sequence, introduced by alexander grothendieck in his tohoku paper, is a spectral sequence that computes the derived functors of the composition of two functors. For this lecture, were going to discuss the grothendieck spectral sequence for composition of derived functors. Bis called left exact if it takes short exact sequences ses in a. K cat, we construct a spectral sequence abutting to the cohomology of the grothendieck construction of l in terms of the cohomology of k.
The grothendieck spectral sequence in algebraic geometry george torres abstract. This spectral sequence specializes to the ordinary leray spectral sequence in sheaf cohomology theory, but may also be used for generalized ale cohomology theories such as ale ktheory. We shall not be able to avoid using spectral sequences see pp 307309 of my book on etale cohomology for a brief summary of spectral sequences and chapter 5 of weibels book for a complete treatment. Cohomology of the grothendieck construction springerlink. A b is called left exact if it takes short exact sequences ses in a. Constructing generalised leray spectral sequences imma g alvez preliminary report, with f neumann and a tonks motivation construction of the first spectral sequence this project arose as a spino of an earlier one with the same collaborators to extend to some categories of stacks several classical results from geometry and topology. For example, for the spectral sequence of a filtered complex, described below, r 0 0, but for the grothendieck spectral sequence, r 0 2. But we view the serre spectral sequence as a special case of the spectral sequence of a ltered space or ltered chain. Furthermore, this spectral sequence is functorial in a. A grothendieck spectral sequence is a spectral sequence that. The latter approach is the best choice when trying to prove general statements, but. Grothendieck let x be a topological space, withfx asheafofabeliangroups. These are two simple conditions that force the leray spectral sequence to converge.