Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
1 answer
472 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 ...
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 ...
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'...
3 votes
0 answers
249 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 ...
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 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 ...
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, ...
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 ...
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 ...
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\}_{...
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 ...
7 votes
0 answers
541 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} \...
6 votes
3 answers
463 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 = \...
5 votes
1 answer
186 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_{\...
4 votes
0 answers
397 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 ...
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 ...
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$-...
7 votes
0 answers
436 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 ...
5 votes
0 answers
544 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 ...
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 ...
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. ...
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 ...
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\...
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 $...
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 ...
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,\...
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. ...
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$ ...
6 votes
1 answer
564 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;\...
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 ...
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^*(...
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 ...
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 ...
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 $\...
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 ...
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. ...
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 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 ...
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 ...
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 ...