Questions tagged [spectral-sequences]
Spectral sequences compute homology groups by taking a sequence of approximations, and generalise exact sequences. They find application in algebraic topology.
5
votes
0answers
33 views
Can there be nonisomorphic functorial Serre spectral sequences?
The Serre spectral sequence is a very useful tool in algebraic topology, but as often with these beasts, the differentials can be hard to compute.
Of course, the proof that this sequence exists is ...
0
votes
0answers
31 views
Chapter 1 in A User's Guide to Spectral Sequences, reconstruction
In Chapter 1 of John McCleary's book A User's Guide to Spectral Sequences the condition assumed for the filtrations is that they are bounded below. In pg. 4 it is said that $H^*$ (if good enough) can ...
5
votes
1answer
62 views
Serre classes and the Serre spectral sequence
Let $C$ be a Serre class which satisfies the additional axioms about $\otimes, \mathrm{Tor}, K(A,1)$'s.
It is then easy to check that if $F\to X\to B$ is a Serre fibration with $\pi_1(B)$ acting ...
0
votes
0answers
4 views
Convention for the grading in spectral sequences
Usually spectral sequences are defined together with a grading on it, the differential $d_r$ on the page $r$ taking $E_r^{p,q}$ to $E_r^{p-r, q+r-1}$.
This convention on the grading on the ...
2
votes
0answers
35 views
What's wrong with this argument that the Atiyah-Hirzebruch spectral sequence always degenerates?
Let $E$ be a spectrum and let $X$ be a space or connective spectrum. Then the cohomological Atiyah-Hirzebruch spectral sequence is of the form:
$H^s(X,E^t) \Rightarrow E^{s+t}(X)$
This is a half-...
0
votes
0answers
60 views
Proof of existence of spectral sequence.
I'm trying to understand the proof of existence of spectral sequence from Ch5 of Allen Hatcher's Spectral Sequence notes. While constructing the iso $\tilde{\Phi_*}$ in the diagram it's written that:
...
4
votes
0answers
52 views
Serre Spectral sequence [Hatcher]
I'm having trouble understanding Serre Spectral sequence given in Hatcher.
https://pi.math.cornell.edu/~hatcher/AT/ATch5.pdf
In the beginning of the section, (Page 526 of the book, or rather, Pg 9 of ...
3
votes
1answer
94 views
Serre Spectral Sequence I
I am trying to follow the proof in Kochman's Introduction to Stable Homotopy Theory, page 59. This will be first part of a series of post.
(Serre Spectral Sequence) Let $R$ be a commutative ring ...
0
votes
1answer
42 views
Prerequisite of understanding a topological construction in Spectral Sequences
This is a post on the construction of a spectral sequence. I am in fact lost in the first paragraph.
Let $B$ be a CW complex and $\pi\colon X\to B$ a Serre fibration. Put $X^k=\pi^{-1}(B^k)$. A ...
1
vote
0answers
30 views
Spectral sequence of filtered complex.
I am trying to understand the construction of a spectral sequence of a filtered complex. After reading through the entry in the nLab I came up with an example, that I don't understand:
Consider the ...
7
votes
0answers
57 views
induced map in homology on a fiber bundle
Let $F \rightarrow E \rightarrow B$ be a fiber bundle of compact connected smooth manifolds and $B$ simply connected. Suppose that there is a map
$f: E \rightarrow E$ that covers a map $g: B \...
3
votes
0answers
171 views
Spectral sequence $B^1_{p,q}= B^\infty_{p,q}$ definition, nlab
In an introductory notes to spectral sequences, nlab, Definition 1.26 we define
$$B^r_{p,q} = \partial(F_{p+r-1} C_{p+q+1})$$
and
$$B^\infty_{p,q}= \partial(F_{p}C_{p+q+1})$$
So what is the ...
0
votes
0answers
15 views
Restrict differential forms that vanish along fibres to the base
I am reading Jean-Luc Brylinski's book on loop space. At the end of section 1.6 Leray Spectral Sequence, he claims without proof that
Let $f: Y\to X$ be a smooth bundle of paracompact manifolds. A $...
2
votes
0answers
62 views
Cohomology of spectra as free modules over Steenrod Algebra
I'm studying the construction of Adams spectral sequence in Hatcher's "Algebraic Topology" chapter five; I'm in trouble with an "algebraic statement".
Let $X$ be a connective CW-spectrum of finite ...
0
votes
3answers
69 views
First and third homology of $S^5/Z_q$ and Leray spectral sequence
I read from an article that the space $X=S^5/Z_q$ is not a Lens space because the orbifold action is not compatible with the action of the Hopf fibration $S^1\longrightarrow S^5\longrightarrow CP^2$. ...
1
vote
0answers
32 views
Tate construction of the Anderson dual of the sphere spectrum
I am trying to understand example I.2.3 of the article "On Topological Cyclic Homology", i.e. im trying to see the necesity of the bounded below assumption in the Tate Orbit Lemma (Lemma I.2.1) by ...
2
votes
0answers
48 views
Group cohomology and singular cohomology of classifying space
Let $G$ be a finite group, and denote by $BG = K(G,1)$ the classifying space. For any fibration $X \rightarrow E \xrightarrow{\pi} BG$, the Serre spectral sequence $E_2^{p,q} = H^p(BG;H^q(X))$ ...
2
votes
1answer
62 views
A spectral sequence with only one index in Atiyah's paper?
I would like to read Atiyah's paper Characters and cohomology of finite groups; but when I started reading the introduction, Atiyah mentions that he will prove that there is a "spectral sequence $\{E^...
2
votes
0answers
27 views
Why does spectral sequence $E^\infty$ need AB4*
So in Weibel, he states
Warning: In an unbounded spectral sequence, we will tacitly assume that $B^{\infty}$,
$Z^{\infty}$, and $E^{\infty}$ exist! The reader who is willing to only work in the ...
0
votes
0answers
10 views
Bartels Test for Cycle Significance for uneven samples
The Cycles Institute has published an article on Bartels Test for cycle significance. The article refers to data from an even sample space (12 segments of 41 months each). Bartels Test of Cycle ...
0
votes
0answers
55 views
Cohomology Leray-Serre spectral sequence in case fiber is not connected?
Consider a fibration $F \to E \to B $, where $B $ is path connected. My question is can we use the cohomology Leray-Serre spectral sequence in case fiber is not connected? For example, when fiber is ...
2
votes
0answers
35 views
Computing maps in Leray spectral sequence
Let $f:X_{s1} \to X_{s2}$ be morphism of sites ( Here $X$ is some scheme $X_{s1}$ refers to the site on $X$).
Now using the Leray spectral sequence one gets the following exact sequence
$0 \to H^1(...
0
votes
0answers
18 views
Question on a proof about spectral sequences from exact couples
I am going through Proposition 2.9 in User's guide in spectral sequences (2nd edition) by McCleary. This is a proof on defining spectral sequences using the language of exact couples. Towards the end ...
0
votes
0answers
44 views
Ring isomorphism in Leray-Serre spectral sequence
The Leray-Hirsch theorem: let $k$ be a field. Given a fibration $F \to E \to B $ with $F, B$ path connected and suppose system of local coefficient is zero and the following condition satisfied (a) $...
3
votes
1answer
66 views
Homology of $K(\mathbb{Z}/n,1)$ via Fibrations.
I would like to calculate the $\mathbb{Z}$-Homology of $K(\mathbb{Z}/n,1)$ via the Fibration
$$K(\mathbb{Z},1)\hookrightarrow K(\mathbb{Z},1)\twoheadrightarrow K(\mathbb{Z}/n,1)$$
and the Serre-...
0
votes
1answer
28 views
spectral sequence example diagonal map confusion
I'm attempting to wrap my head around spectral sequences, so constructed a really basic example to apply the definitions and go through the motions. My filtered chain complexes are:
$F_2C_*: 0 \...
2
votes
1answer
24 views
A different approach towards spectral sequences.
I am somewhat acquainted with spectral sequences as in Weibel's book(the usual definition with many indices and pages), but I have found a different approach in the Stacks project.Link
Although I can ...
0
votes
0answers
23 views
Wang exact sequence with base space homology sphere
Let $F\rightarrow E\rightarrow S^n$, $n\geq 2$, be a fibration. Then we have the Wang exact sequence,
$$
\cdots\rightarrow H_q(F)\rightarrow H_q(E)\rightarrow H_{q-n}(F)\rightarrow H_{q-1}(F)\...
7
votes
0answers
145 views
Is a principal $\mathbb{Z}_2\ltimes PSU(4)$-bundle over a 3-manifold $M$ equivalent to an element in $H^1(M,\mathbb{Z}_2)\times H^2(M,\mathbb{Z}_4)$?
Given a 3-manifold $M$ and a principal $\mathbb{Z}_2\ltimes PSU(4)$-bundle $P$ over $M$ whose isomorphism class is represented by the homotopy class of a map $f:M\to B(\mathbb{Z}_2\ltimes PSU(4))$ ...
1
vote
0answers
47 views
Understanding why the Adams Spectral Sequence works
I am trying to learn about the Adams Spectral Sequence and my question is basically summed up in the title.
More precisely, let $X$, $Y$, and $E$ be spectra. We have a homomorphism $[X,Y] \to Hom_{E^...
1
vote
1answer
143 views
Homotopy groups $\pi_{n+1}(S^{n})$
In section $5.1$ of Hatcher's note about spectral sequences, he starts to compute stable homotopy group $\pi_{n+k}(S^{n}),k \leq 3$. Particularly for $\pi_{n+1}(S^{n})$, by Freudenthal suspension ...
2
votes
1answer
188 views
Wang Sequence for the circle $S^1$
Let $F\stackrel i \to E\stackrel \pi\to S^1$ a fiber bundle over the circle $S^1$. There is a long exact sequence sequence in cohomology, called Wang:
$$\dots\to H^k(E)\stackrel {i^*}\to H^k(F)\...
5
votes
0answers
67 views
Cohomology groups $H^*(B(\mathbb{Z}_2\ltimes PSU(4)),\mathbb{Z}_2)$ for $*\le3$
I'm trying to compute $H^*(B(\mathbb{Z}_2\ltimes PSU(4)),\mathbb{Z}_2)$ for $*\le3$.
Here the semi-direct product is given by the outer automorphism of $PSU(4)$.
By Serre spectral sequence, we have
$...
3
votes
0answers
83 views
Structure of module over Eilenberg MacLane spectrum
Let $HR$ be the Eilenberg-Maclane spectrum for a commutative ring $R$ and $M$ be a module over $HR.$ Then I want to prove that $M$ is a product of Eilenberg-Mac Lane spectra.
Construction: Let $\...
1
vote
0answers
53 views
degeneracy of the Serre spectral sequence
The following are well-known facts on the Serre spectral sequence
For a fibration $F \rightarrow E \rightarrow B$ we have the Serre
spectral sequence (in cohomology with a coefficients in a field ...
3
votes
1answer
105 views
Cohomology of Symmetric Group 3 using Lyndon-Hochschild-Serre spectral sequence
For the symmetric group $S_{3}$ we have the short exact sequence $$0\rightarrow C_{3}\rightarrow S_{3}\rightarrow C_{2}\rightarrow 0,$$ where $C_{n}$ is the cyclic group of order $n$. Using the Lyndon-...
3
votes
2answers
85 views
Spectral sequences on their own right
I have begun to read a bit about Spectral Sequences. I have been studying some topics of algebraic topology and this "tool" came up from time to time. I didn't need to go deep, but I felt I had to ...
0
votes
0answers
59 views
spectral sequence and a comparison theorem
I am wondering how the comparison theorem can be useful for resolving extension problem. Here is a quote from the book An Introduction to Homological Algebra by Weibel.
(Weibel) Comparison Theorem ...
2
votes
0answers
90 views
Serre spectral sequence of $\mathbb{Z}_2\rightarrow E\mathbb{Z}_2\rightarrow B\mathbb{Z}_2=\mathbb{R}P^\infty$
As the title shows, we have a fibration of $\mathbb{Z}_2\rightarrow E\mathbb{Z}_2\rightarrow B\mathbb{Z}_2\sim\mathbb{R}P^\infty$. I am trying to check my understanding of Serre spectral sequence with ...
2
votes
0answers
55 views
Why intermediate map in Gysin sequence is multiplication by Euler class
I am reading Bott and Tu, Differential Form in Algebraic Topology. At page 178, they constructed Gysin sequence of Sphere Bundle. I am having trouble understanding the argument, $d_{k+1}$ is ...
1
vote
0answers
27 views
Functoriality of Lyndon-Hochschild-Serre spectral sequences in coefficients.
It is a question about group cohomology. Supposing that I have a short exact sequence of $G$-modules $1\rightarrow A_1 \rightarrow A_2\rightarrow A_3\rightarrow 1$, I know that there will be a long ...
2
votes
0answers
35 views
Thom spectrum $MSpin$ and $E_2$-page for a large degree $i\geq 8$
Let the $MTH$ is Madsen-Tillman spectrum (which is a close cousin of the more usual Thom spectrum $MH$) associated to tangential structure $H$.
For a computation involving no odd torsion, the Adams ...
0
votes
0answers
53 views
functoriality of Grothendieck spectral sequence
I am looking for a reference which treats the functoriality of the Grothendieck spectral sequence for elements of the derived category of an abelian category.
1
vote
1answer
45 views
What's the meaning of “decreasing filtration”?
Page 152-153, "Algebraic Geometry" by Lei Fu.
The condition (e) of the definition of spectral sequence is listed as follows:
(e) A family of objects $H^n(n\in \Bbb Z)$ in $\mathcal C$ and each $H^...
1
vote
0answers
47 views
Group actions on spectral sequences of group cohomology
Suppose I have a group extension $1 \rightarrow N \rightarrow H\rightarrow K\rightarrow 1$, and we have a group $G$ which acts on $H$, and $K$ by automorphisms and it does not have action on $N$. ...
3
votes
1answer
94 views
Product structure in Cohomology Spectral sequence
In the Serre Spectral sequence, we know, the cup product structure induces a canonical product in all $E_{r}$ pages which is compatible with respect to the differential. I am trying to understand ...
2
votes
0answers
35 views
What is the filtration in Leray's spectral sequence?
Leray's theory of spectral sequences considers a continuous map $f : X \to Y$ between topological spaces. The statement is that there exists a filtration
$$H^n(X,k) = F^0H^n(X,k) \supseteq ... \...
0
votes
0answers
71 views
What does it mean that if the cover of $k$-fold intersections is not contractible it takes the form of a spectral sequence of cohomology?
I asked the following question in a previous post: Suppose a CW complex $M$ is given by the union of $n$-spheres, namely $M=\bigcup_{\alpha\in A}S^n$, without knowledge of intersections. The only ...
1
vote
0answers
129 views
Deligne's theorem on the Leray spectral sequence and weights
Motivation : If $f : X \to Y$ is a smooth projective map between algebraic varieties, then there is a theorem by Deligne which says that the Leray spectral sequence degenerates at $E_2$.
The proof I ...
1
vote
0answers
57 views
Reference for the construction of the Leray spectral sequence from filtration
So far I have found only two possible constructions of the Leray spectral sequence for a continuous map $f : X \to Y$ between topological spaces with CW-complex structures: one through Cech complexes, ...
