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, ...