Questions tagged [spectral-sequences]
The spectral-sequences tag has no usage guidance.
388 questions
128
votes
12
answers
12k
views
Spectral sequences: opening the black box slowly with an example
My friend and I are attempting to learn about spectral sequences at the moment, and we've noticed a common theme in books about spectral sequences: no one seems to like talking about differentials.
...
- 13.5k
56
votes
5
answers
9k
views
Why are spectral sequences so ubiquitous?
I sort of understand the definition of a spectral sequence and am aware that it is an indispensable tool in modern algebraic geometry and topology. But why is this the case, and what can one do with ...
- 25.6k
44
votes
19
answers
16k
views
introductory book on spectral sequences
I have studied some basic homological algebra. But I can't send to get started on spectral sequences. I find Weibel and McCleary hard to understand.
Are there books or web resources that serve as ...
44
votes
6
answers
9k
views
Simple examples for the use of spectral sequences
I'm looking for basic examples that show the usefulness of spectral sequences even in the simplest case of spectral sequence of a filtered complex.
All I know are certain "extreme cases", where the ...
- 2,756
32
votes
2
answers
2k
views
Persistence barcodes and spectral sequences
Persistent homology is a well-developed tool which allows topological analysis of large data sets. From a topological perspective, the input is a filtered complex, and the output is a sequence of ...
- 35.9k
31
votes
1
answer
2k
views
K(r)-localization and monochromatic layers in the chromatic spectral sequence
While preparing some lecture notes, I had a basic point of confusion come up that I haven't been able to settle.
The $BP$-Adams spectral sequence (or $p$-local Adams-Novikov spectral sequence) for ...
- 6,308
27
votes
0
answers
470
views
Are these comparison morphisms between Čech and Grothendieck cohomology the same?
For better or for worse, there is more than one approach to comparing Čech cohomology $\smash{\check{H}}^\bullet(\mathfrak{U},X;\mathscr{F})$ of a sheaf $\mathscr{F}$ on a space $X$ w.r.t the cover $\...
- 1,020
27
votes
0
answers
1k
views
Spectral sequences as deformation theory
I believe that running the spectral sequence of a filtered complex / spectrum $ \cdots \to F_n \to F_{n+1} \to \cdots$ can be viewed as doing deformation theory in some very primitive "derived ...
- 64k
20
votes
5
answers
3k
views
Does the cohomology ring of a simply-connected space X determine the cohomology groups of ΩX?
One could try to apply the Eilenberg-Moore spectral sequence to the pullback diagram • → X ← •, obtaining a spectral sequence TorH•(X, R)(R, R) => H•(ΩX, R), but ...
- 25.2k
20
votes
1
answer
1k
views
Torsion in the Atiyah–Hirzebruch spectral sequence of a classifying space
Let $G$ be a compact, connected Lie group. There is an Atiyah–Hirzebruch spectral sequence
$$H^*(BG;K^*) \implies K^*(BG)$$
connecting $H^*BG$, which generally contains torsion, with $K^*BG \cong \...
- 2,995
20
votes
3
answers
3k
views
Multiplicative structure on spectral sequence
Let $E$ be a spectral sequence and assume that there is a product
$E^{r}_{p_1,q_1} \times E^r_{p_2,q_2} \to E^r_{p_1+p_2,q_1+q_2}$
which satisfies the Leibniz rule (for all $p_i,q_i$, but $r$ fixed)....
- 63.1k
20
votes
1
answer
2k
views
Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?
Both the Atiyah-Hirzebruch and the Serre spectral sequence can be constructed from a skeletal filtration of a CW-complex:
We can construct the Atiyah-Hirzebruch spectral sequence by filtering $X$ by ...
- 10.8k
19
votes
2
answers
827
views
Is the 4-line of the E_2 term of the classical Adams spectral sequence known?
In other words:
What is $\mathrm{Ext}_{\mathcal{A}}^{4,t}(\mathbb{Z}/2,\mathbb{Z}/2)$?
If the 4-line is not known, how much is known about it?
Here, $\mathcal{A}$ is the 2-primary Steenrod ...
- 3,103
19
votes
1
answer
2k
views
Slick Proof of Kudo Transgression Theorem
The Kudo Trangression Theorem has to do with the transgression in the Leray-Serre spectral sequence for cohomology in $\mathbb{Z}/p$ ($p$ odd). It can be proved by the method of the universal example,...
- 12.5k
17
votes
2
answers
2k
views
Are the homology and cohomology Serre spectral sequences dual to each other?
If we use homology and cohomology over a field $k$, if a space has homology and cohomology groups of finite type in each degree, then $H_\ast(X;k)$ is dual to $H^\ast(X;k)$ using the universal ...
- 8,167
17
votes
2
answers
1k
views
Grothendieck spectral sequence when one of the functors is contravariant
Let $f \colon X \rightarrow S$ be a morphism of schemes. I am interested in computing the cohomology groups of
$$
\mathbf{R}\mathscr{H}om(\mathbf{R}f_* \mathcal{O}_X, \mathcal{O}_S)
$$
in terms of $\...
- 2,663
17
votes
1
answer
1k
views
Multiplicativity in the descent spectral sequence
For a homotopy sheaf $\mathcal{F}$ of ring spectra over some space (/ site / whatever) $X$ with a cover $U_i$, we can build a "descent spectral sequence" with signature $$E^1_{p, q} = \pi_{p+q} \...
- 6,308
17
votes
0
answers
757
views
The spectral sequence of a tower of principal fibrations
Assume we have a tower of fibrations (of simplicial sets, let's say):
$$\cdots\rightarrow X_{n+1}\rightarrow X_n\rightarrow\cdots\rightarrow X_0.$$
Let $X=\lim_nX_n$ be the (homotopy) inverse limit. ...
- 15.2k
16
votes
2
answers
2k
views
Torsion in K-theory versus torsion in cohomology
Inspired by this question, I wonder if anyone can provide an example of a finite CW complex X for which the order of the torsion subgroup of $H^{even} (X; \mathbb{Z}) = \bigoplus_{k=0}^\infty H^{2k} ...
- 8,803
16
votes
1
answer
808
views
"Rotated" version of the Atiyah-Hirzebruch spectral sequence
Let $G$ be a group, $X$ a topological space with $G$-action. For an Abelian group $A$, let $\mathcal{C}^n(X,A)$ be the group of $n$-cochains on $X$ with $A$ coefficients. We can treat this as a $G$-...
- 863
16
votes
1
answer
776
views
The second stable homotopy group
I am interested in the low-degree stable homotopy group $\pi_2^{s}(X)$ of a path-connected space $X$. Using the Atiyah-Hirzebruch spectral sequence, we have the short exact sequence $0\to H_1(X,\...
- 663
15
votes
2
answers
1k
views
Pullback and homology
Suppose I have two maps of topological spaces, $f:X\rightarrow B$ and $g:Y\rightarrow B$, such that $f$ induces a homology isomorphism and $g$ is a fibration and $B$ is connected. Is it true that the ...
- 1,629
15
votes
1
answer
730
views
Calculation of $H^{10}(K(\mathbb{Z}, 3); \mathbb{Z})$
I was trying to calculate $H^q(K(\mathbb{Z}, 3); \mathbb{Z})$ for some $q$ with the Serre spectral sequence associated to the fibration $K(\mathbb{Z}, 2) \to PK(\mathbb{Z}, 3) \simeq * \to K(\mathbb{Z}...
- 1,263
15
votes
2
answers
1k
views
Where does the primary obstruction of a fibration show up in its spectral sequence?
Let $f\colon\thinspace E\to B$ be a Serre fibration whose fibre $F$ is $k-1$-connected, $k\geq 1$. Assume $B$ is a connected CW complex. Then the primary obstruction to the existence of a cross ...
- 35.9k
15
votes
1
answer
988
views
Why is it difficult to obtain the next differential in a spectral sequence?
I am following Hatcher's notes on spectral sequences. On page 522 an exact couple $(A, E, i, j, k)$ is defined. You can construct a derived exact couple easily from this to get your desired $E'$ ...
- 151
15
votes
1
answer
2k
views
Has anyone seen this generalization of the snake lemma? Is it useful?
I originally posted this question on MSE (link), but was suggested to post here instead.
While learning about spectral sequences a friend of mine found a proof of the snake lemma using spectral ...
- 497
15
votes
1
answer
1k
views
Multiplicative Structure of the Atiyah-Hirzebruch/Leray-Serre spectral sequence
This is related to this question (edit: now answered, see below). Is there a nice explanation of the multiplicative structure on the higher pages of that spectral sequence? I want to assume that $h$ ...
- 6,813
14
votes
2
answers
4k
views
How to compute the cohomology of the general linear group with integral entries
Q: So how does one compute the cohomology groups $H^*(GL_n(\mathbf{Z}),\mathbf{Z})$?
First note that $H^*(GL_n(\mathbf{Z}),\mathbf{Z})$ is isomorphic to $H_B^*(Y/GL_n(\mathbf{Z}),\mathbf{Z})$ (Betti ...
- 7,609
14
votes
0
answers
404
views
Computations using "Stover's spectral sequence"
In this article from 1990, Stover describes a specral sequence which converges to the higher homotopy groups of the homotopy colimit of a diagram $\underline{X}$ of topological spaces.
The second ...
- 208
14
votes
0
answers
830
views
What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of the totalization?
Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and ...
- 10.5k
13
votes
5
answers
2k
views
What are some good examples of spectral sequences which degenerate after the first nontrivial differential?
The difference between algebraic geometry and algebraic topology is that in AG, you usually hope that your spectral sequences degenerate immediately at the $E_2$ page. In AT, you often have to live ...
13
votes
1
answer
957
views
Relating two different approaches to the Atiyah-Hirzebruch Spectral Sequence
Given a (for simplicity connective) spectrum $E$ and a pointed CW-space $X$ there is "the" (homological) Atiyah-Hirzebruch spectral sequence
$$E_{pq}^2 = \tilde{H}_p( X, \pi_q(E)) \Rightarrow \pi_{p+...
- 2,303
13
votes
2
answers
713
views
How do you compute the space of lifts of an E-infinity map?
Let X, Y and B be $E_\infty$ spaces, and let $p: X \rightarrow Y$ and $f: B \rightarrow Y$ be $E_\infty$ maps. We can ask for the space of lifts of f across p, that is the space of $E_\infty$ maps $g:...
- 3,103
12
votes
2
answers
1k
views
Differentials in the Adams Spectral Sequence for spheres at the prime p=2
How does one compute the differentials in the Adams Spectral Sequence for spheres at the prime 2 in the range $13\le t-s\le 20$? There seem to be 6 nonzero differentials, and at this point I only ...
- 1,147
12
votes
4
answers
1k
views
Triply graded spectral sequence?
As we know, most of the spectral sequences are doubly graded. However, this "doubly graded" condition is not a part of the formal definition of spectral sequence. Is there any useful triply (quadruply,...
- 1,108
12
votes
1
answer
961
views
What is the first interesting matric Toda bracket in the stable homotopy of the sphere?
Feel free to gloss ‘interesting’ as you see fit. One way:
1. What is the lowest degree matric Toda bracket in $\pi_\ast(S)$ that doesn't contain zero?
By ‘degree’ I mean total homotopical degree, ...
- 3,103
12
votes
1
answer
2k
views
Some calculations with the Adams spectral sequence and the cobar complex
I am trying to 'get my hands dirty', so to speak, with some of the calculations with the Adams spectral sequence in Ravenel's Complex Cobordism book, and I have a few questions (I hope it is OK to ask ...
- 3,784
12
votes
3
answers
1k
views
Lyndon–Hochschild–Serre spectral sequence for a non-normal subgroup
Is there an analogue of the Lyndon–Hochschild–Serre spectral sequence for a non-normal subgroup?
What can you say about it? Can you describe $E^{p, q}_1$ ? What is about $E^{p, q}_2$?
What is the best ...
- 385
12
votes
2
answers
523
views
A question on some computation of group cohomologies
Let $G=H\times J$, where $H\cong J\cong C_2$ (cyclic group of order 2). Let $M \cong \mathbb{Z}$ be a $G$-module via "trivial $H$-action and negation $J$-action". My question is "What are the group ...
- 123
11
votes
3
answers
846
views
Multiplicativity of the homology Atiyah-Hirzebruch spectral sequence for a ring spectrum
Let $E$ be a ring spectrum and $F$ a connective spectrum. Then we have a convergent Atiyah-Hirzebruch spectral sequence $H_s(F,E_t) \Rightarrow E_{s+t}(F)$. Suppose now that $F$ is also a ring ...
- 64k
11
votes
2
answers
858
views
Spectral sequences and short exact sequences
Suppose I take a short exact sequence of filtered chain complexes:
$$0\to A\xrightarrow{p} B\xrightarrow{q} C\to 0$$
We assume that $p$ and $q$ are filtration-preserving, so that $p(F_rA)\subseteq ...
- 721
11
votes
1
answer
862
views
What is the relationship between spectral sequences and obstruction theory?
Let $X,Y$ be objects of some category $\mathcal C$, and suppose I want to study homotopy classes of maps from $X$ to $Y$ (almost everything one does in algebraic topology can be viewed this way). It ...
- 64k
11
votes
2
answers
656
views
$G$ cocycle split and trivialized to a coboundary in $J$, given a group homomorphism $J \overset{r}{\rightarrow} G$
Consider a generic nontrivial 3-cocycle $\omega_3^G(g_1,g_2,g_3) \in H^3(G,U(1))$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. In otherwords, here the 3-cocycle $\...
- 10.5k
11
votes
1
answer
496
views
Identification of a Serre Spectral Seq. via Thom Isomorphism with the Atiyah-Hirzebruch Spectral Seq
Let $\xi_n$ be an orientable $n$-dimensional vector bundle over a pointed space $B_n$. We can consider the relative Serre Spectral Sequence $$ H_p(B_n; h_q(D(\xi_n|\ast),S(\xi_n|\ast))\Rightarrow h_{p+...
- 2,018
11
votes
1
answer
957
views
Technology for various models of spectra
There are a couple different models for spectra, or constructions of the categories of spectra that have the desired properties (homotopically and otherwise). The construction of the Categories of $S$-...
- 3,726
11
votes
0
answers
266
views
Madsen-Tillmann spectrum $MTE$ of the group $E$ which is defined in Freed-Hopkins's paper
In Freed-Hopkins's paper, the group $E(d)$ is defined to be the subgroup of $O(d)\times\mathbb{Z}_4$ consisting of the pairs $(A,j)$ such that $\det A=j^2$, where $\mathbb{Z}_4=\{\pm1,\pm\sqrt{-1}\}$ ...
- 1,329
10
votes
2
answers
1k
views
cup product and Steenrod operations in Serre spectral sequence
Let $F\to E\to B$ be a fibration with $B$ simply-connected. Suppose all differentials in the cohomology Serre spectral sequence (corresponding to the above fibration) are zero maps. Then as a graded ...
- 2,223
10
votes
2
answers
2k
views
Sphere spectrum, Character dual and Anderson dual
The homotopy groups of the sphere spectrum are the stable homotopy groups of spheres.
However, could you help me to appreciate the mathematical meanings of the following:
What is the significance of ...
- 10.5k
10
votes
3
answers
2k
views
Serre Spectral Sequence of Representations
Suppose that $G$ is a group acting on a fibre bundle $(F,E,B)$ by bundle automorphisms. In this case, the action automorphisms $E\to E$ give the integral homology $H_\ast(E;\mathbb{Z})$ the structure ...
- 4,920
10
votes
1
answer
560
views
Fibrations with isomorphic Leray-Serre spectral sequences and non-isomorphic cohomology ?
Are there fibrations $F_i \to X_i \to B_i$ $(i=1,2)$ with path-connected bases $B_i$ and connected fibres $F_i$ such that their corresponding Leray-Serre spectral sequences (integral coefficients) are ...
- 16.2k