All Questions
Tagged with spectral-sequences homological-algebra
114 questions
4
votes
1
answer
332
views
Kernels and cokernels of multicomplex homomorphisms
Let $\mathcal A$ be a (complete and cocomplete) Abelian category.
A multicomplex in $\mathcal A$ is a bigraded object $X^{(\bullet,\bullet)}$ with differentials
$$
d^{(i,j)}_r\colon X^{(i,j)}\to X^{(...
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 ...
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}(\...
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, ...
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 $...
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 ...
2
votes
1
answer
275
views
Why only consider decreasing filtrations on cochain complexes?
When reading various literature on spectral sequences one always comes across two setups:
A chain complex with an increasing filtration
A cochain complex with a decreasing filtration
My question is ...
3
votes
1
answer
465
views
What bigrading is used in this spectral sequence?
I am reading this paper of Positselski and Vishik, in particular the main theorem: the cohomology algebra of a conilpotent algebra (i.e. the cohomology of its cobar construction) is Koszul if it ...
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 ...
3
votes
1
answer
260
views
Strong convergence of whole-plane spectral sequences
I am trying to understand strong convergence for whole-plane spectral sequences in the paper by J.Boardman:
https://www.uio.no/studier/emner/matnat/math/MAT9580/v12/undervisningsmateriale/boardman-...
7
votes
1
answer
331
views
Does a filtered A_N algebra give rise to a multiplicative spectral sequence?
The question is pretty much in the title. It is a classical fact that a filtered dga gives rise to a multiplicative spectral sequence. It is claimed in Remark 4.1 of https://arxiv.org/pdf/1410.6728....
6
votes
2
answers
503
views
Interpretations of differentials in hypercohomology spectral sequences as Yoneda products
I would like to know whether the differentials in a particular hypercohomology spectral sequence can each be interpreted, in some natural way, as Yoneda products between extension groups.
More ...
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) ...
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 ...
8
votes
1
answer
615
views
Functorial construction of ("pre"-)spectral sequences? (Or - what is the "higher structure" underlying spectral sequences?)
Let $\mathcal{C}$ be a stable $\infty$-category. Let $Fun(\mathbb{Z},\mathcal{C})$ be the category of sequences of objects in $\mathcal{C}$. Where the category $\mathbb{Z}$ stands for the nerve of 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.
...
6
votes
1
answer
242
views
For which exact couples do associated spectral sequences degenerate at $E_1$?
It is well known that a bigraded exact couple of objects of an abelian category yields a spectral sequence (cf. https://ncatlab.org/nlab/show/exact+couple#SpectralSequencesFromExactCouples). My ...
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 ...
7
votes
2
answers
2k
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 = ...
7
votes
2
answers
4k
views
Conditions for the restriction $H^i(G,A)\to H^i(H,A)$ being surjective
I was wondering what the condition is for the restriction map (in group cohomology) $H^i(G,A)\to H^i(H,A)$ to be surjective.
I am a little confused about when maps between cohomology groups are ...
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 $...
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 $...
9
votes
1
answer
455
views
Is this sequence of Lie algebra cohomology a part of spectral sequence?
There is an exact sequence
$$0 \to H^2(\mathfrak{g}, k) \to H^1(\mathfrak{g}, \mathfrak{g}^*) \to H^0(\mathfrak{g}, S^2\mathfrak{g}) \xrightarrow{d} H^3(\mathfrak{g}, k) \to H^2(\mathfrak{g}, \...
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 ...
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^*(...
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^...
17
votes
2
answers
1k
views
Grothendieck spectral sequence when one of the functors is contravariant
Let $f \colon X \rightarrow S$ be a morphism of schemes. I am interested in computing the cohomology groups of
$$
\mathbf{R}\mathscr{H}om(\mathbf{R}f_* \mathcal{O}_X, \mathcal{O}_S)
$$
in terms of $\...
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 ...
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 ...
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 $\...
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 ...
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. ...
12
votes
2
answers
523
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 ...
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 ...
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 ...
0
votes
1
answer
800
views
Spectral sequence for composition of global sections and tensor product of sheaves
Hi all,
on the forum page http://www.groupsrv.com/science/about506648.html one can read the following (i cut out nonimportant parts):
Question: Does anyone know any condition (non trivial) that ...
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 $...
2
votes
1
answer
186
views
Can I bound the degree of a contracting homotopy in an exact filtered complex?
Suppose that I have given you a bigraded vector space $V = \bigoplus_{i,j} V_{i,j}$. The first grading is a "homological" $\mathbb Z$-grading, and the second is an independent $\mathbb Z$-grading. ...