Spectral sequences are powerful tools for computing groups of complex algebraic structures. They work by filtering a complex and analyzing the resulting graded objects, providing a systematic approach to unraveling complicated homological information.
This section focuses on the of a , introducing key concepts like filtrations, graded objects, and spectral sequence pages. We'll explore how these ideas come together to create a powerful computational framework for homological algebra.
Filtered Complexes and Graded Objects
Filtered Complexes
Top images from around the web for Filtered Complexes
Frontiers | Mammalian SWI/SNF Chromatin Remodeling Complexes in Embryonic Stem Cells: Regulating ... View original
Is this image relevant?
Category:Homological algebra - Wikimedia Commons View original
Is this image relevant?
5.6: Coordination Numbers and Structures - Chemistry LibreTexts View original
Is this image relevant?
Frontiers | Mammalian SWI/SNF Chromatin Remodeling Complexes in Embryonic Stem Cells: Regulating ... View original
Is this image relevant?
Category:Homological algebra - Wikimedia Commons View original
Is this image relevant?
1 of 3
Top images from around the web for Filtered Complexes
Frontiers | Mammalian SWI/SNF Chromatin Remodeling Complexes in Embryonic Stem Cells: Regulating ... View original
Is this image relevant?
Category:Homological algebra - Wikimedia Commons View original
Is this image relevant?
5.6: Coordination Numbers and Structures - Chemistry LibreTexts View original
Is this image relevant?
Frontiers | Mammalian SWI/SNF Chromatin Remodeling Complexes in Embryonic Stem Cells: Regulating ... View original
Is this image relevant?
Category:Homological algebra - Wikimedia Commons View original
Is this image relevant?
1 of 3
Filtered complex consists of a chain complex C and a family of subcomplexes FpC indexed by integers p
Subcomplexes satisfy FpC⊆Fp+1C for all p
Entire complex is the union of all subcomplexes C=⋃pFpC
gives a notion of "size" or "degree" to elements of the complex
Elements in FpC are considered to have at least p
Morphisms between filtered complexes f:(C,F)→(D,G) preserve the filtration
Require f(FpC)⊆GpD for all p
Graded Modules and Associated Graded Objects
Graded module M is a direct sum of submodules M=⨁n∈ZMn
Elements in Mn are homogeneous of degree n
Homomorphisms between graded modules preserve the grading
gr(C,F) of a filtered complex (C,F) is a graded module
Defined as gr(C,F)p=FpC/Fp−1C
Measures the "jump" in filtration degree from p−1 to p
Associated captures the structure of the filtration
Loses some information about the complex C itself
Useful for studying properties that depend on the filtration (gr functor)
Spectral Sequence Pages
The E0 and E1 Pages
E0 page of a spectral sequence is the associated graded object of the filtered complex
E0p,q=gr(C,F)pq=FpCq/Fp−1Cq
d0:E0p,q→E0p,q−1 induced by the differential of C
E1 page is the homology of the E0 page with respect to d0
Differential dr:Erp,q→Erp−r,q+r−1 has bidegree (−r,r−1)
Spectral sequence pages form a sequence of successive approximations to the homology of the original complex C
Each page Er is a bigraded module with a differential dr
Homology of (Er,dr) gives the next page Er+1
Convergence and Degeneration
Convergence of Spectral Sequences
Spectral sequence {Erp,q,dr} of a filtered complex (C,F) is said to converge to H∗(C) if there exists an r0 such that for all r≥r0:
Erp,q≅Er0p,q (isomorphic as bigraded modules)
dr=0 (differentials vanish)
theorem states that under certain conditions (bounded or exhaustive filtration), the spectral sequence converges to the associated graded object of H∗(C) with respect to the induced filtration
E∞p,q≅gr(H∗(C),F)pq=FpHp+q(C)/Fp−1Hp+q(C)
Convergence allows us to compute the homology of the original complex C from the limit term E∞ of the spectral sequence
Requires knowledge of the induced filtration on H∗(C)
Degeneration and Collapsing
Spectral sequence is said to degenerate at the Er page if dr=0 and all subsequent differentials also vanish
Implies Erp,q≅Er+1p,q≅⋯≅E∞p,q for all p,q
Spectral sequence collapses at the Er page if it degenerates at Er and Er=E∞
Stronger condition than
at E1 or E2 is particularly useful for computations
Degeneration and collapsing simplify the calculation of the limit term E∞
Avoid the need to compute higher differentials
Provide a direct relationship between the pages and the homology of the original complex