All Questions
40 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
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
11
votes
2
answers
856
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
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
657
views
Cap product on Leray-Serre spectral sequences
Let $\ p:X\to B\ $ be a fibration of spaces with fiber $F$. Then there are homological and cohomological Leray-Serre spectral sequences $E^{r}_{pq}$ and $E_r^{pq}$ that converge to $H_*(X)$ and $H^*(...
- 1,484
10
votes
0
answers
813
views
On functoriality of the Leray spectral sequence
The Leray spectral sequence is functorial in the following sense: given a commutative square of spaces,
$$\begin{matrix} A & \to & B \\ \downarrow & & \downarrow \\ C & \to & D ...
- 40.2k
9
votes
2
answers
1k
views
H^d[U(1)^n,U(1)] of the Borel cohomology and Chern-Simons theory
Firstly I apologize that I am a physicist, with a relatively unrigorous math training. My approach of the problem can be Feynman style. Below $Z$ is the integer $\mathbb{Z}$, and $U(1)$ Abelian group ...
- 10.5k
8
votes
1
answer
1k
views
Convergence of spectral sequences of cohomological type
Following the first chapter of Hatcher's great book "Spectral Sequences in Algebraic Topology", I got into problems with spectral sequences of cohomological type. Fix a ring $R$ once and for all. ...
- 727
8
votes
1
answer
363
views
Adams spectral sequence and short exact sequences. Some clarifications
as the title suggests I'm looking for some clarifications in the computations of the ext charts of some $A(1)$-modules arising as extensions of other modules. In particular, I've the following example ...
- 503
7
votes
0
answers
270
views
Differentials in spectral sequences and Massey products
Consider a multiplicative spectral sequence such as the cohomological Serre spectral. It is known that differentials will satisfy a Leibniz rule. Is there a clean statement involving differentials and ...
- 965
7
votes
0
answers
538
views
Convergence of a spectral sequence of a double complex
In Weibel's book, a spectral sequence $E^r_{p,q}$ is said to weakly converge to a graded object $H_{\ast}$ if for every $n$ there exists a filtration $\dots \subset F_{r}H_{n} \subset F_{r-1}H_{\ast} \...
- 1,325
7
votes
0
answers
434
views
spectral sequence for a complex with two filtrations
Suppose $(C,d)$ is a chain complex: an abelian group with a map $d:C \to C$ such that $d^2 = 0$ (people like to assume $C$ is graded; if that helps - feel free to do so). A filtration is an ascending ...
- 353
6
votes
3
answers
459
views
multiplicative structure of Ext
Basically, I am trying to compute something with the Adams spectral sequence (as a toy example). The $E^2$ page reduced to computing $Ext^{s,t}_{\Gamma} (\mathbb{F}_2, \mathbb{F}_2)$, where $\Gamma = \...
- 225
6
votes
1
answer
890
views
Serre spectral sequence with spectra
A friend recently asked me if i had heard anything about a stable Serre Spectral Sequence or one constructed with spectra, has any one else ever heard of this? is there any reason other than ...
- 3,726
6
votes
1
answer
563
views
a question about Bockstein spectral sequence
I find the following theorem for Bockstein spectral sequence at http://pages.vassar.edu/mccleary/files/2011/04/MC10.fin_.pdf, page 459:
Question. for a fixed $k$, if $\beta$ does not hit $H_k(X;\...
- 1,990
6
votes
1
answer
458
views
Spectral sequence of a bicomplex equipped with a group action
Let $(A_1^\bullet,\partial_1)$ and $(A_2^\bullet,\partial_2)$ be complexes of $\mathbb{C}$-vector spaces.
We suppose that $(A_1^\bullet,\partial_1)$ and $(A_2^\bullet,\partial_2)$ are equipped with ...
- 101
6
votes
1
answer
2k
views
cohomology version of Cartan-Leray spectral sequence that deduces cup product
On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology:
If $X$ is a connected pace on which the group $\...
- 1,990
6
votes
0
answers
237
views
A Poincare dual spectral sequence for equivariant cohomology: extension to generalized cohomology?
This question is a follow-up to my previous question:
"Rotated" version of the Atiyah-Hirzebruch spectral sequence
In that question, I discussed two different spectral sequences for ...
- 863
6
votes
0
answers
723
views
On the multiplicative structure in spectral sequences.
Let $f\colon X \rightarrow Y$ be a continuous map of sufficiently nice
topological spaces (say, smooth manifolds). Let ${\cal F}=(\dots\rightarrow
F_i \rightarrow F_{i+1}\to \dots)$ be a bounded ...
- 21.8k
5
votes
1
answer
471
views
Two spectral sequences arising from a simplicial spectrum
Let $X_\bullet$ be a simplicial spectrum, and let $X = |X_\bullet|$ be the geometric realization.
Let's assume each $X_n$ is connective.
From this situation, we can form two filtrations on $X$: the ...
- 339
5
votes
1
answer
185
views
Decompose $MT(E(d)\times_{\mathbb Z_2} SU(2))$ as the wedge sum or smash product of spectra
Consider the extension
$$1\to SU(2)\to X\to O\to1,$$
there are 4 possibilities for $X$:
$X=O\times SU(2)$ or $E\times_{\mathbb{Z}_2}SU(2)$ or $Pin^+\times_{\mathbb{Z}_2}SU(2)$ or $Pin^-\times_{\...
- 2,147
5
votes
1
answer
425
views
Can we construct a filtered chain complex from a spectral sequence?
Suppose $\{(E_r,d_r)\}$ for $r>0$ forms a spectral sequence over a field $\mathbb{F}$, i.e. for any $r$, $(E_r,d_r)$ is a chain complex over $\mathbb{F}$ and $E_{r+1}=H(E_r,d_r)$. For simplicity, ...
- 673
5
votes
2
answers
651
views
Inflate a finite-group cocycle into coboundary in non-Abelian groups
Edit: In case that there is no solution for the original question, I modify to enrich the question.
We like to ask a possible specific inflation a $H^3(Q, \mathbb{R} /\mathbb{Z})$ cocycle with a ...
- 755
5
votes
0
answers
543
views
Strong Convergence vs Conditional Convergence for Spectral Sequences (Is there a simple explanation?)
I am curious if there is a relatively simple explanation of what is the difference between strong convergence and conditional convergence for Spectral Sequences?
(Hopefully a simpler explanation than ...
- 1,229
4
votes
1
answer
2k
views
Tensor product of spectral sequences?
I'm wondering about a cross product for spectral sequences. I've got an idea, and I wonder if it is written up anywhere, or if it even holds water.
Let's start with three spectral sequences, $E, F$ ...
- 12.5k
4
votes
1
answer
195
views
Can Bockstein Spectral Sequence detect multiple summands of the same power, in homology?
I understand that the differential $d^k$ of the Bockstein S.S. (mod p) is nonzero iff the homology $H_*(X;\mathbb{Z})$ has summand of the form $\mathbb{Z}/p^k$.
How about for multiple summands in the ...
- 1,229
4
votes
0
answers
396
views
Eilenberg-Moore spectral Sequence calculation
I want to use the cohomology Eilenberg-Moore spectral sequence to calculate the cohomology of the fibre of the map
$$
S^{n} \to \Omega S^{n+1}.
$$
Question 1: Is anyone aware of any references for ...
- 901
3
votes
0
answers
248
views
Explicit computation of hyper Ext in terms of the homologies of the input chain complexes
This question was asked on math.stackexchange and didn't receive any traction, so I'm turning to the MO community. Hello!
Let $C_{\bullet}$ and $D_{\bullet}$ be chain complexes of $R$-modules for some ...
- 301
3
votes
0
answers
101
views
Geometric filtration for Eilenberg-Moore spectral sequence
I'm reading the paper by Eilenberg-Moore (https://link.springer.com/content/pdf/10.1007/BF02564371.pdf) about the Eilenberg-Moore spectral sequence.
In section 11, they introduce the notion of ...
- 449
3
votes
0
answers
310
views
Functoriality of Leray homology spectral sequences of fibrations
Let $p\colon E\to B$ and $p'\colon E'\to B'$ be two fibrations. Assume for simplicity that $B,B'$ are simply connected. Let we have morphism of these fibrations, i.e. two continuous maps
$$f\colon E\...
- 21.8k
2
votes
1
answer
264
views
Trivialize a cup-product 3-cocycle of $G$ in a larger group $J$
Inspired by this question, let us take a nontrivial 3-cocycle $\omega_3^G(g_a, g_b, g_c) \in H^3(G,\mathbb{R}/\mathbb{Z})$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. ...
- 755
2
votes
0
answers
269
views
Dress' construction and Serre spectral sequence
Currently, I am reading Serre spectral sequence, given below, using Dress' construction.
Let $f:E\to B$ be a Serre fibration. Then, there is a first quadrant
spectral sequence $\big\{E^r,d^r\}_{...
- 632
2
votes
0
answers
486
views
An alternative proof of Künneth spectral sequence, independent of Künneth formula for homology
I am currently reading Künneth spectral sequence, which is given below.
Let $R$ be a ring and A$=\big\{A_n,d_n:A_n\longrightarrow A_{n-1}\big|d_{n-1}\circ d_n=0\big\}_{n\in \Bbb Z}$ be a chain ...
- 632
2
votes
0
answers
108
views
Relating inflation maps from spectral sequences in lower and higher dimensions
The spectral sequence has some nice property.
Consider $ N \to G \overset{R}{\to} Q $ and $G/N=Q$. There is a spectral sequence $\{E^{p,q}_n, d_n\}$ with: (i) The differential is defined as a map $...
- 10.5k
2
votes
0
answers
216
views
completion and convergence of spectral sequence
I would like to understand the connection between $p$-adic completion and the strong convergence of a spectral sequence. Precisely, suppose $E^2_{s,t}\implies G_{s+t}$ is a first quadrant strongly ...
- 21
1
vote
0
answers
167
views
Spectral sequence for two fibrations
Given maps of fibrations, i.e. commutative diagrams of smooth manifolds
$$\begin{matrix}
\ F & \to & E &\to & B \\\
\downarrow & & \downarrow & & \downarrow \\\
\ F'...
- 103
1
vote
0
answers
93
views
Spectral sequences associated to cohomologies of simplicial type and derived-functor type: Proof of convergence
Assume I have two cohomology theories $\mathrm{\tilde{H}^{*}}$ and $\mathrm{H^{*}}$, the latter being defined over a Grothendieck site $X$ as the derived functor of some left-exact covariant functor $\...
- 1,805
1
vote
0
answers
222
views
Cohomology spectral sequence of a CW complex filtered by its skeletons
Let $X$ be a CW complex. Suppose, $$\emptyset\subset X^0\subset X^1\subset \cdots \subset X^p\subset \cdots \subset X= \bigcup_{i=0}^{\infty} X^i,$$
is a filtration of $X$ by its skeletons $X^i$. Now ...
- 191
1
vote
0
answers
184
views
A naturality question concerning the universal coefficient spectral sequence
I am reading Hillman's book "algebraic invariants of links" and on page 20 he mentions the following universal coefficient spectral sequence.
Let X be a connected finite CW complex.Let $H$ be a ...
- 1,033
0
votes
1
answer
143
views
Trivialize a cup-product 2-cocycle of $G$ in a larger group $J$
I like to ask a simple question: how to trivialize a cup-product 2-cocycle of $G$ into a 2-coboundary of $J$ in a larger group $J$.
Let us take a nontrivial 2-cocycle $\omega_3^G(g_a, g_b) \in H^2(G,\...
- 755