All Questions
Tagged with spectral-sequences homological-algebra
50 questions with no upvoted or accepted answers
27
votes
0
answers
470
views
Are these comparison morphisms between Čech and Grothendieck cohomology the same?
For better or for worse, there is more than one approach to comparing Čech cohomology $\smash{\check{H}}^\bullet(\mathfrak{U},X;\mathscr{F})$ of a sheaf $\mathscr{F}$ on a space $X$ w.r.t the cover $\...
- 1,020
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.3k
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
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} \...
- 1,325
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 ...
- 353
7
votes
0
answers
374
views
Arbitrarily non-degenerate Hodge to de Rham spectral sequence
It is true that for any $n$ there exists a compact complex manifold which Frolicher spectral sequence does not degenerate at the $n$-th page(https://arxiv.org/pdf/0709.0481.pdf).
Does the analogous ...
- 7,377
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
366
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^...
- 111
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
0
answers
660
views
Hypercohomology spectral sequence from the derived category point of view
Let $F\colon \mathsf{A}\to\mathsf{B}$ be an additive functor between abelian categories and let $M$ be a complex on $\mathsf{A}$. There's a "hypercohomology spectral sequence"
$$E_1^{i,j}=\...
- 773
5
votes
0
answers
170
views
multiplication in spectral sequence
I am trying to understand this paper. Let $M$ be a compact Kaehler manifold of dimension $n$, $X$ is a holomorphic vector field, $i_X$ the contraction operator, i.e. for $\alpha$ a $p$-form, then $i_X(...
- 315
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 ...
- 1,229
5
votes
0
answers
521
views
Spectral sequences coming from filtrations (Postnikov systems) in triangulated categories: references and convergence
Let $c^i: M^{\ge i+1}\to M^{\ge i}$ for $i\in \mathbb{Z}$ be an sequence of morphisms in a triangulated category $C$ and assume that $M^{\ge i}$ are equipped with compatible morphisms into an object $...
- 16.9k
5
votes
0
answers
675
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 ...
- 16.2k
4
votes
0
answers
87
views
Lifting maps on the spectral sequence of a double complex to the derived category
Question
The differentials on the $(r+1)$th page of a spectral sequence are maps on the cohomologies of the complexes on $r$th page. So, between two adjacent complexes $K^\bullet,L^\bullet$ on the $r$...
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 ...
- 901
4
votes
0
answers
207
views
Trivial action in the Hochschild-Serre spectral sequence
I probably don't understand something very basic about Hochschild-Serre spectral sequence.
Let $G$ be a group with normal subgroup $N$ and $M$ a $G$-module with trivial action. Then as far as I ...
4
votes
0
answers
419
views
Cohomology of double complex with exact rows
Let $(C^{p,q},d_h,d_v)$ be an unbounded double complex of modules of some algebra $A$ in an abelien category. Let $d_h,d_v$ be the horizontal and vertical differential respectively. Suppose that
(1) ...
- 205
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 ...
- 301
3
votes
0
answers
170
views
Do we really need degeneracies for spectral sequence of homotopy simplicial chain complex?
Let's consider an homotopy simplicial chain complex, that is a functor of $\infty$-categories $X_{\bullet} = \textrm{N}(\Delta^{op}) \to \mathcal{C}_{\ge 0}$, where $\mathcal{C}_{\ge 0}$ is the $\...
- 2,152
3
votes
0
answers
277
views
Dimension three spectral sequences
If you have two triangulated functors $F,G$, you can compute the cohomology of $FG(-)$ in terms of the cohomology of $G(-)$ and the cohomology of $F(-)$, in terms of a ``Grothendieck spectral sequence'...
- 5,711
3
votes
0
answers
148
views
Group cohomology with coefficients in a graded module
I am working in a problem group cohomology and nailed it down to compute a cohomology using an spectral sequence argument. The situation is as follows:
Let $G = C_4 = \langle \sigma \rangle$ be the ...
- 283
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
71
views
Deformations of nilpotent parts of superalgebras
I have two questions concerning some results in the article "Deformations of nilpotent parts of superalgebras" of N. van den Hijligenberg, J.Math.Phys. 35, 1427 (1994); doi:10.1063/1.530598
After ...
- 95
3
votes
0
answers
174
views
Induced Homomorphism on Cohomology of Symmetric Group 3
For the symmetric group $S_3$, there is an inclusion $i:\mathbb{Z}/3\mathbb{Z}\hookrightarrow S_3$. How can I assert that the induced homomorphism $$i^{\ast}:H^{n}(S_3,\mathbb{Z})\rightarrow H^{n}(\...
- 39
3
votes
0
answers
166
views
Edge map in derived categories
Let $\mathscr{A},\mathscr{B}$ be abelian categories, the first with enough projectives, together with a right-exact functor $F\colon \mathscr{A}\to\mathscr{B}$ (in my example, it is a tensor product, ...
- 5,670
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
0
answers
138
views
Leray spectral sequence for étale homology
Let $X$, $Y$, $Z$ be quasi-projective varieties over an algebraically closed field $k$, $f: X \to Y$ and $g: Z \to X$ proper (even projective) maps with $f$ smooth, and $h: Z \to Y$ their composite. ...
- 658
2
votes
0
answers
147
views
Homotopy equivalence of chain complexes from subcomplexes and quotient complexes
Let $C_1$ be a finite-dimensional chain complex over $\mathbb{C}$ coefficients. Let $S_i$ be a subcomplex of $C_1$ and let $Q_1$ be the quotient complex. Suppose $S_1$ and $Q_1$ are chain homotopy ...
- 673
2
votes
0
answers
193
views
When does Tate spectral sequence degenerate at $E_2$?
For a spectrum $M \in \text{Sp}^{B\mathbb{S}^1}$ with a circle group action, there is Tate spectral sequence
$$
E_2^{ij}=\pi_{-i}(H(\pi_{-j}M))^{t\mathbb{S}^1} \Longrightarrow \pi_{-i-j}(M^{t\mathbb{S}...
- 519
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
2
votes
0
answers
1k
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 ...
- 21
2
votes
0
answers
747
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 ...
- 142
2
votes
0
answers
477
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
87
views
The derived exact couple of an exact couple without chasing elements
$\def\Ker{\operatorname{Ker}}
\def\Im{\operatorname{Im}}$Given an exact couple $(A,E,\alpha,f,g)$ in some abelian category, we define its derived exact couple $(A',E',\alpha',f',g')$ to be $A'=\alpha ...
1
vote
0
answers
86
views
Image of the boundary maps in the homological spectral sequence of a filtration of a chain complex
I'm trying to understand the construction of the homological spectral sequence of a filtration given in C.A.Weibel ''An introduction to homological algebra''. Here, they start with a filtration of a ...
- 911
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
165
views
spectral sequence Ext(R/I,H^g(M)) => Ext^{p+q}(R/I,M)
I am reading papers of Local cohomology and came across some spectral sequences. I then started reading about spectral sequences from Rotman's book. I havent finished reading the chapters on spectrals ...
- 183
1
vote
0
answers
160
views
Diagrams filled by the edge homomorphism of the Grothendieck spectral sequence
Suppose $A,B,C,D,Z$ are abelian categories. Let $G:C\longrightarrow D$, $F:D\longrightarrow Z$, $P:C\longrightarrow A$, $G':A\longrightarrow B$, $P':D\longrightarrow B$ and $F':B\longrightarrow Z$ are ...
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
132
views
On the dual version of an isomorphism of spectral sequence term (from Cartan and Eilenberg)
I'm trying to take spectral sequences as a black box for application in commutative algebra and I admit that I haven't really gone through (or understand) all the proofs of all the isomorphisms ...
- 642
1
vote
0
answers
174
views
Characterization of weakly convergence of spectral sequences
Let $C$ be a chain complex (in any abelian category) and let $\{F_p\}$ be a decreasing filtration of $C$. It induces a filtration on the homologies of $C$, given by $$F_pH=im(H(F_p)\rightarrow H(C)),$$...
- 183
1
vote
0
answers
91
views
non zero differential in a spectral sequence
This is the situation:
Let $A = R_* \otimes C_*$ be an $R$-module where $C_*$ is a finitely generated graded ($*\geq 0$) vector space over a field $F$ which is also bounded above, and $R$ is a ...
- 81
1
vote
0
answers
112
views
Reference request for Leibniz rule and spectral sequences
Suppose $A_*$,$B_*$, and $C_*$ are chain complexes equipped with filtrations and a map $m:A_* \otimes B_* \to C_*$ respecting these filtrations. I am looking for a reference for the fact that the map $...
- 41
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
0
answers
47
views
Generalized edge map in spectral sequence of double complex
suppose we have a cohomologically indexed double complex $C^{\bullet,\bullet}$ with its spectral sequence
$$E_2^{p,q}=H^p_{vert}(H^q_{horiz}(C))\Rightarrow H^{p+q}(C)$$
and suppose that the horizontal ...
- 2,054