The spectral-sequences tag has no usage guidance.

**81**

votes

**11**answers

6k 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.
...

**42**

votes

**5**answers

5k 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 ...

**33**

votes

**5**answers

5k 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 ...

**28**

votes

**16**answers

8k 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 ...

**24**

votes

**1**answer

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

**18**

votes

**5**answers

2k 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 ...

**15**

votes

**2**answers

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

**15**

votes

**1**answer

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

**14**

votes

**1**answer

600 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} ...

**12**

votes

**2**answers

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

**12**

votes

**1**answer

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

**12**

votes

**0**answers

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

**11**

votes

**1**answer

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

**10**

votes

**1**answer

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

**10**

votes

**2**answers

1k 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 ...

**10**

votes

**1**answer

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

**9**

votes

**2**answers

748 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} ...

**9**

votes

**1**answer

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

**8**

votes

**3**answers

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

**8**

votes

**1**answer

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

**8**

votes

**2**answers

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

**8**

votes

**1**answer

226 views

### Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?

Given a fiber square of simplicial sets
$$\begin{array}{cc}
& \hspace{-7mm} E \\
&\hspace{-7mm}\downarrow \\
\ast\longrightarrow &\hspace{-7mm} B
\end{array}$$
...

**8**

votes

**2**answers

467 views

### Khovanov-Rozansky homology and spectral sequences

In arXiv:math/0607544 (following conjectures in arXiv:math/0505662), Rasmussen constructs a family of spectral sequences (the "d_N differentials"), starting at the HOMFLY homology of a knot, and ...

**8**

votes

**1**answer

313 views

### Elementary computation of direct image sheaves.

I am a physicist and would like to understand the section 1 of
this math paper, which explains how the SYZ conjecture implies topological mirror symmetry. I have some technical problem and would ...

**8**

votes

**1**answer

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

**8**

votes

**2**answers

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

**8**

votes

**1**answer

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

**8**

votes

**0**answers

276 views

### Differentials in the Adams-Novikov spectral sequence and the geometric boundary theorem

$\newcommand\Ext{\mathrm{Ext}}
\newcommand\Z{\mathbb{Z}}
\newcommand\G{\mathbb{G}}$
The reference for this question will be the paper by Henn, Karamanov and Mahowald - "The homotopy of the ...

**7**

votes

**2**answers

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

**7**

votes

**5**answers

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

**7**

votes

**1**answer

377 views

### Retrieval of algebra structure from spectral sequence

Suppose we have a spectral sequence of algebras and know that it degenerates at some $E_r$, take for example the cohomology Leray Serre spectral sequence associated to some fibration $F\hookrightarrow ...

**7**

votes

**0**answers

404 views

### Can the Bockstein spectral sequence be used to compute cohomology rings ?

If $G$ is a finite group then there is the so-called Bockstein spectral sequence $$E_2^n = H^n(G,\mathbb{F}_p) \Rightarrow \begin{cases} \mathbb{F}_p & n =0 \newline 0 & n>0\end{cases}$$ ...

**7**

votes

**0**answers

985 views

### An example computation of etale cohomology

(edited for clarity)
In a comment on a response to this question, moonface states the following: "Even if you tried to compute H^2 [etale with Z/5Z-coefficients] of a surface fibered in genus 2 ...

**6**

votes

**2**answers

610 views

### isomorphic spectral sequences => quasi-isomorphic filtered chain complexes?

Let $(C,\partial)$ and $(C',\partial')$ be chain complexes of $R$-modules where $R$ is a (commutative) ring. Let $F$ and $F'$ be finite filtrations of $C$ and $C'$ respectively, i.e., $$\varnothing = ...

**6**

votes

**1**answer

505 views

### What kind of spectral sequences come from double complexes?

Given a double complex in the first quadrant, one can derive from it a (homological or cohomological) spectral sequence converging to the (co)homology of the total complex of the double complex.
My ...

**6**

votes

**2**answers

756 views

### How does one view the De Rham spectral sequence as a Grothendieck spectral sequence?

I was rereading basic results on de Rham cohomology, and this led me inevitably to the fact that $H^q(X,\Omega^p)$ converges to $H^*(X)$ for any smooth proper variety (over any field). How does one ...

**6**

votes

**1**answer

320 views

### Third bordism group of BG, where G is an arbitrary compact Lie group.

Is anything known about $\Omega_3(BG)$, where $G$ is an arbitrary compact Lie group; i.e., is it possible to describe the structure of $\Omega_3(BG)$ for any compact Lie group? I know that $H_3(BG)$ ...

**6**

votes

**1**answer

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

**6**

votes

**1**answer

930 views

### How to Compute Transgressions in a Serre Spectral Sequence?

For a short exact sequence of groups $1\rightarrow A\rightarrow B\rightarrow C\rightarrow 1$ there is an associated fibration $K(A,1)\rightarrow K(B,1)\rightarrow K(C,1)$, which can be constructed by ...

**6**

votes

**1**answer

328 views

### Image of J in the classical Adams Spectral Sequence

Hey all,
I know that in some versions of the Adams Spectral Sequence you can easily identify the image of $J$, and I was wondering if there was a way to identify the image of $J$ in the $E_2$ page of ...

**6**

votes

**1**answer

88 views

### Does the degeneracy of the Frölicher spectral sequence vary in families?

I would like to know if there are any known examples of families of complex manifolds for which the Frölicher spectral sequence of one fibre degenerates on the $E_m$ page and the spectral sequence of ...

**6**

votes

**1**answer

171 views

### Hochschild-Serre spectral sequence and non-trivial action on coefficients

Consider an extension\begin{equation}1\rightarrow N\rightarrow G\xrightarrow{\rho} K\rightarrow 1\end{equation}Let $K$ act on a $K$-module $A$ by $\phi_k: a\mapsto k\cdot a$. Define a $G$-action ...

**6**

votes

**0**answers

340 views

### The Hochschild-Serre spectral sequence relative to an ideal containing the derived subalgebra

Is the Hochschild-Serre spectral sequence $$H_\bullet(\mathfrak g/\mathfrak h,H_\bullet(\mathfrak h,k))\Rightarrow H_\bullet(\mathfrak g,k)$$ for an extension of Lie algebras $$0\to\mathfrak ...

**5**

votes

**1**answer

680 views

### How does one get the short exact sequence in a two-column spectral sequence?

In a two-column double complex, one gets from the associated spectral sequence short exact sequences $0\to E_2^{1,n-1}\to H^n\to E_2^{0,n}\to 0$, where $H^n$ is the cohomology of the total complex, ...

**5**

votes

**1**answer

316 views

### Is the space of real conics with a singular point an orientable manifold?

Consider the space of non zero real homogeneous degree $2$ polynomials in three variables upto scaling. This space is $\mathbb{R} \mathbb{P}^5$. The zero set
of such a polynomial gives a real curve ...

**5**

votes

**2**answers

857 views

### Calculate the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$

I would like to know what are the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$, and/or how to calculate them.
It can be shown that $H^d[U(1), Z]$ is $Z$ for ...

**5**

votes

**2**answers

1k views

### Construction of Serre Spectral Sequence

I'm trying to follow Hopkins' construction of the Serre Spectral Sequence, but some "obvious" things are not that obvious to me.
He starts with considering a double complex $C_{\bullet,\bullet}$ with ...

**5**

votes

**1**answer

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

**5**

votes

**1**answer

387 views

### Transgressions commute with the Steenrod operations on the base and fiber in a central group extension?

The following sentence is quoted from the paper ON THE COHOMOLOGY OF SPLIT EXTENSIONS by D. J. BENSON AND M. FESHBACH:
In general, the differentials in the Lyndon-Hochschild-Serre spectral sequence
...

**5**

votes

**2**answers

666 views

### Proof of the ''trangression theorem''

Here is what I would call the transgression theorem. Let $X$ be a pointed space and $\Omega X$ its loop space. There are two maps $H_{p}(\Omega X) \to H_{p+1}(X)$ which should be the same. I am ...