The spectral-sequences tag has no usage guidance.

**13**

votes

**0**answers

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

**9**

votes

**0**answers

283 views

### What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of the totalization?

Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and ...

**9**

votes

**0**answers

344 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 $K(2)$-...

**7**

votes

**0**answers

462 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

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

**0**answers

275 views

### Transgression map spectral sequence of Ext

Let $X$ be a scheme over $k$ and $p:\ X \to Spec(k)$ the structure morphism. If $M$ is an étale sheaf of abelian groups over $Spec(k)$ I have a Grothendieck spectral sequence $$E^{p,q}_2=Ext^p_k(M,R^...

**6**

votes

**0**answers

555 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

**0**answers

356 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 h\to\...

**5**

votes

**0**answers

59 views

### Reference request: a Künneth spectral sequence map from equivariant K-theory to cohomology

The analogue of the Künneth formula for Borel $G$-equivariant cohomology can be obtained as the Eilenberg–Moore spectral sequence of a pullback
$\require{AMScd}$
\begin{CD}
(X \times Y)_G @...

**5**

votes

**0**answers

125 views

### Two natural maps asssociated with the nerve of a cover

Let $X$ be a nice (e.g. paracompact, locally contractible) topological space, and let $\mathcal{U}=\{U_i\}_{i\in I}$ be an open cover of $X$. Also denote by $N$ the (topological realization of) the ...

**5**

votes

**0**answers

281 views

### Motivic homotopy spectral sequence

I would like to have a question about the re-index convention. Let us consider a spectrum $E$ (I am mainly interested in motivic setting, however let's consider the simplicial case firstly, i.e. $E$ ...

**4**

votes

**0**answers

117 views

### Bockstein morphism of spectral sequences

Given an omega spectrum $E$, there is a type of chern character map given by its rationalization
$$r:E\to E\wedge M\mathbb{R}\;,$$
where $M\mathbb{R}$ denotes a Moore spectrum. The cofiber of the map
$...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

137 views

### spectral sequence differential for cobordism

From page 6 of these solutions:
the differential\begin{equation}d_2: H_p(X,\Omega_1^{Spin})\rightarrow H_{p-2}(X,\Omega_2^{Spin})\end{equation}connecting the 1-st and the 2-nd row is the $\textbf{...

**3**

votes

**0**answers

84 views

### Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)

Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to
$PH_*(QY)$, and let's say $Y$ itself is a ...

**3**

votes

**0**answers

147 views

### Spectral sequences and hypercohomology for projective space

Suppose we are given a complex of sheaves on $\mathbb P^N$ in which every term is direct sum of invertible sheaves:
$$
\mathcal F^\bullet = \dots \to \oplus_{j=1}^{n_{p-1}} \mathcal O (k_j^{p-1}) \...

**3**

votes

**0**answers

210 views

### extension problem for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}...

**3**

votes

**0**answers

139 views

### “Cut-off” of the Adams exact couple

(This question has been asked on Math.StackExchange where it attracted a few upvotes, but - unfortunately - no answer.)
I have been reading Chapter 2. of A. Hatcher's draft of "Spectral Sequences in ...

**3**

votes

**0**answers

402 views

### Do exact functors commute with spectral sequences ?

Let $F: \mathcal{A} \to \mathcal{B}$ be an exact covariant functor of abelian categories and let
$$\mathscr{C}: A \to A \to B \to A$$ be an exact couple in $\mathcal{A}$ with corresponding spectral ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

58 views

### cohomology ring of cross-section space of one-point compactification of tangent bundle

Let $M$ be an $m$-manifold whose cohomology is known. Let $TM$ be the tangent bundle of $M$ and $\xi$ be the fibre-wise one-point compactification of $TM$. Then $\xi$ is a $m$-sphere bundle over $M$. ...

**2**

votes

**0**answers

181 views

### Cohomology spectral sequence over $k[t]$

I am trying to compute $H^*(X)$ for a (potentially large, finite, finitely filtered) simplicial complex $X$ using a cover $U_i$ of $X$.
I am building chain complexes for $X$ with a simplex that ...

**2**

votes

**0**answers

204 views

### generalized Atiyah-Hirzebruch spectral sequence from Postnikov truncation

The Atiyah-Hirzebruch spectral sequence
\begin{equation*}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}(E),\end{equation*}
computes the generalized homology $h$ of a total space $E$ of a Serre fibration ...

**2**

votes

**0**answers

288 views

### Morphisms of Spectral Sequences and alternating products

Let $E_{a,b}^{r}, F_{a,b}^{r}$ be two (co)homologica first quadrant spectral sequences of vector spaces over a field $K$, and $f : E \to F$ be a morphism of spectral sequences.
Assume that morphisms $...

**1**

vote

**0**answers

61 views

### Picard sequence for sujective morphisms

Given $\phi:X\rightarrow Y$ a surjective morphism of $k$-algebraic varieties ($k$ separably closed), I wanted to find how the write an exact sequence involving Pic(X) and Pic(Y). We can use the long ...

**1**

vote

**0**answers

252 views

### Serre Spectral Sequence and Cohomology Ring of Circle Bundles

I have the following (maybe simple) question about the cup product structure in the Serre spectral sequence.
Consider a fiber bundle $S^1 \rightarrow E \rightarrow B$ with euler class $e \in H^2(B)$. ...

**1**

vote

**0**answers

138 views

### Spectral sequences and Batalin-Vilkovisky formalism

I have been studying the BRST quantization in quantum field theory recently and noticed that the subject is very much related to algebraic topology and cohomology. A quick google search led me to the ...

**1**

vote

**0**answers

112 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**

vote

**0**answers

85 views

### Spectral sequence and HOM functor

I work with the category $A-{\rm Mod}$ of left modules over a unital ring $A$, but I could ask the same question for any abelian category with enough projectives. Let $M$ and $N$ be two $A$-modules ...

**1**

vote

**0**answers

322 views

### What is the abutment filtration of the second spectral sequence of hypercohomology?

I have been recently learning about spectral sequences, following mainly Illusie's notes and EGA, and I am about to write some expository notes, but there are still some points that I was not able to ...

**1**

vote

**0**answers

403 views

### Profiniteness Condition for Hochschild-Serre Spectral Sequence?

This question may seem elementary to experts but I am quite confused about it:
According to the entry of Lyndon–Hochschild–Serre spectral sequence on wikipedia, for a group extension $1\to N\to G\to ...

**1**

vote

**0**answers

468 views

### Spectral sequence for reduced homology

In the Serre spectral sequence, is it true that we can replace homology by reduced homology? That is:
If $f:X\rightarrow B$ is a Serre fibration,with $F$ the fiber, then if
$\tilde E^2_{pq}=\tilde H_p(...

**0**

votes

**0**answers

178 views

### Hochschild-Serre spectral sequence

The Hochschild-Serre spectral sequence says that for a short exact sequence $$1 \to G \to H \to K \to 1 \quad (1)$$ of (discrete) groups, we have a first quadrant spectral sequence with $E_2$ page
$$...

**0**

votes

**0**answers

305 views

### What is a Beilinson spectral sequence?

I'm writing to ask just a question. I would like to understand better what is the Beilinson's spectral sequence and how it can be used. Is there any useful and clear reference you advice to someone ...

**0**

votes

**0**answers

302 views

### spectral sequence of cohomology with compact support

Let k be a field, and A, B is subscheme of C over k, F is a sheaf over C.
Question 1. what is the relation between $H_c(A\cap B,k)$, $H_c(B,F)$, and $H_c(A\cap B,F)$ ?
Question 2. Let A be a strata ...

**0**

votes

**0**answers

510 views

### Leray-Hirsch for HOMOLOGY?

Let $E\to B$ be a fibre bundle. The Leray-Hirsch theorem states under suitable assumptions, the cohomology of $E$ is an $H^*(B)$-module generated by suitable cohomology classes in $E$.
Is there any ...