Questions tagged [spectral-sequences]

Spectral sequences compute homology groups by taking a sequence of approximations, and generalise exact sequences. They find application in algebraic topology.

138 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
13
votes
0answers
468 views

Bousfield–Kan spectral sequence for homotopy colimits

Let $\mathcal{J}$ be a small category and let $X : \mathcal{J} \to \mathbf{sSet}$ be a diagram. We define its homotopy colimit $\newcommand{\hocolim}{\mathop{\mathrm{ho}{\varinjlim}}}\hocolim X$ ...
10
votes
0answers
312 views

Maps between spectral sequences

I am trying to understand a subtle point about how Theorem 2.2.5 is used in Kedlaya, Abbott, and Roe's "Bounding Picard numbers of surfaces using p-adic cohomology". Below I've tried to pose the ...
7
votes
0answers
59 views

induced map in homology on a fiber bundle

Let $F \rightarrow E \rightarrow B$ be a fiber bundle of compact connected smooth manifolds and $B$ simply connected. Suppose that there is a map $f: E \rightarrow E$ that covers a map $g: B \...
7
votes
0answers
146 views

Is a principal $\mathbb{Z}_2\ltimes PSU(4)$-bundle over a 3-manifold $M$ equivalent to an element in $H^1(M,\mathbb{Z}_2)\times H^2(M,\mathbb{Z}_4)$?

Given a 3-manifold $M$ and a principal $\mathbb{Z}_2\ltimes PSU(4)$-bundle $P$ over $M$ whose isomorphism class is represented by the homotopy class of a map $f:M\to B(\mathbb{Z}_2\ltimes PSU(4))$ ...
7
votes
0answers
104 views

Cohomology of $K(\mathbb{Z}_2, n)$

Is it true, for example, that $H^5(K(\mathbb{Z}_2,2),\mathbb{Z})=\mathbb{Z}_4$, so these groups have not only 2-torsion? Has question about integral cohomology ring of $K(\mathbb{Z}_2, n)$ easy answer,...
7
votes
0answers
253 views

Eilenberg-Moore Spectral Sequence for Homology with Coefficients in the Integers

I am trying to learn about the Eilenberg-Moore spectral sequence to compute homology and cohomology. I have been using Hatcher's book on spectral sequences and also McCleary's "A User's Guide to ...
6
votes
0answers
623 views

Leray's theorem for cech and derived sheaf cohomology.

My question is about the hypothesis of Leray's theorem. This theorem says that if $\mathcal{U}$ is an open cover of a topological space $X$, and $\mathcal{F}$ is a sheaf over $X$ and if $\check{H}^q(...
6
votes
0answers
396 views

Cartan-Eilenberg resolutions, adapted classes and acyclic resolutions

I may get grilled for this but here I go: Let $\mathcal{A}$ be an abelian category with enough injectives. What I want to know is VERY VERY specific. Let's say I have a complex in $\mathcal{A}$ $0 \...
5
votes
0answers
92 views

Exact sequence in example in Grothendieck's Tohoku paper resulting from the Cech-to-derived-functor spectral sequence

Grothendieck gives in his Tohoku paper in example 3.8.3 an example for that $\check{\mathrm{H}}^{2}(X,\mathcal{F}) \neq \mathrm{H}^{2}(X,\mathcal{F})$. In the beginning he states that there exisits ...
5
votes
0answers
36 views

Can there be nonisomorphic functorial Serre spectral sequences?

The Serre spectral sequence is a very useful tool in algebraic topology, but as often with these beasts, the differentials can be hard to compute. Of course, the proof that this sequence exists is ...
5
votes
0answers
112 views

Why does spectral sequence $E^\infty$ need AB4*

So in Weibel, he states Warning: In an unbounded spectral sequence, we will tacitly assume that $B^{\infty}$, $Z^{\infty}$, and $E^{\infty}$ exist! The reader who is willing to only work in the ...
5
votes
0answers
69 views

Cohomology groups $H^*(B(\mathbb{Z}_2\ltimes PSU(4)),\mathbb{Z}_2)$ for $*\le3$

I'm trying to compute $H^*(B(\mathbb{Z}_2\ltimes PSU(4)),\mathbb{Z}_2)$ for $*\le3$. Here the semi-direct product is given by the outer automorphism of $PSU(4)$. By Serre spectral sequence, we have $...
5
votes
0answers
106 views

A problem with a definition of homology of a spectrum

I'm currently reading some notes about the James spectral sequence (here) and there is a passage which is bothering me (page 749 bottom): $$ colim_n h_{p+q}(T(\xi_n))\cong h_{p+q}(M\xi)$$ where $M\...
5
votes
0answers
153 views

Spectral sequence $\bigoplus_{k-j=q}\mathrm{Ext}^p(\mathcal{H}^j,\mathcal{H}^k)\Rightarrow \mathrm{Hom}^{p+q}(P,P)$

Reading the proof in Bondal-Orlov reconstruction theorem (http://arxiv.org/pdf/alg-geom/9712029v1.pdf), I found the spectral sequence in the title $E_2^{p,q}=\bigoplus_{k-j=q}\mathrm{Ext}^p(\mathcal{...
5
votes
1answer
209 views

Module structure in the Serre spectral sequence of the Borel construction

Let $G$ be a finite group, $M$ a reasonable (e.g. a closed manifold) $G$-space. Then there is a fibration $X \to EG \times_G X \to BG$, where $BG$ is the classifying space of $G$ and $EG$ is its ...
4
votes
0answers
41 views

Isomorphism between Dolbeault Cohomology groups

Let $M^n$ be a compact Kahler manifold and consider the product complex manifold $M \times \mathbb{C}^m$. By the Leray spectral sequence associated to the projection $\pi_{\mathbb{C}^m} : \mathbb{C}^m ...
4
votes
0answers
58 views

Serre Spectral sequence [Hatcher]

I'm having trouble understanding Serre Spectral sequence given in Hatcher. https://pi.math.cornell.edu/~hatcher/AT/ATch5.pdf In the beginning of the section, (Page 526 of the book, or rather, Pg 9 of ...
4
votes
0answers
48 views

Differentials on the second page of the spectral sequence of a first quadrant double complex

Suppose we have some (homological) double complex $\{E_{pq}\}$ with $p$ labelling the row and $q$ the column (is this standard or not?). Taking the homology of the vertical maps, it's easy enough to ...
4
votes
0answers
33 views

Showing when the spectral sequence associated to a filtered complex $C$ collapses using a similar complex $C\otimes\mathbb{F}[t]$

Let $\mathbb{F}$ be a field, and let $C=\bigoplus_{i,j\in\mathbb{Z}} C^{i,j}$ be a bigraded $\mathbb{F}$-vector space of finite total dimension. Suppose there are two differentials $d$ and $\widetilde{...
4
votes
0answers
149 views

What can we say about the category of spectral sequences?

For simplify, let's just consider the following category first: object: "spectral sequences", that is a sequence of pages $(E_r)_{r\ge0}$, where each page $E_r$ is a differential object in an abelian ...
4
votes
0answers
114 views

Edge homomorphisms for Atiyah-Hirzebruch spectral sequence for a spectrum $X$

I'm interested in some nice identifications (together with explanations) about the edge homomorphisms in the AHSS for a spectrum $X$. $$\times \times \times $$ Let $X$ be a connective spectrum, as ...
4
votes
1answer
191 views

Why all differentials are $0$ for Serre Spectral Sequence of trivial fibration?

Consider the fibration $F \hookrightarrow F \times B \to B$. I understand that if I take kunneth's theorem for granted that the group extensions $F_{n-i,i} \to F_{n-i+1,i-1} \to F_{n-i+1,i-1}/F_{n-i,...
4
votes
0answers
94 views

When does the cohomological Atiyah–Hirzebruch–Leray–Serre spectral sequence converge?

Given a Serre fibration $F \to E \to B$ of spaces homotopy equivalent to CW complexes, with $B$ simply-connected, and a generalized homology theory $h_*$ with respect to which the fibration is ...
4
votes
0answers
358 views

Proving that Tor is a balanced functor using the derived category

At this end of this expository article on derived categories, R.P. Thomas says the following. There are two main advantages of this approach. Firstly that we have managed to make the complex $RF(...
4
votes
0answers
143 views

$h^{0, 1}$ of K3 surface (a priori non-Kahler)

I am trying to understand paper by Siu "Every K3 surface is Kahler". Let $M$ be a K3 surface. Siu wrote $H^1 ( M , \mathscr{O}_M ) =0$ without any references. It is written on fifth page. Maybe I ...
4
votes
0answers
233 views

Multiplicative structure in the cohomological Leray-Serre spectral sequence — please elucidate a proof

Let $\pi \colon X \to B$ be a fibration with $B$ a path-connected CW complex. Write $B^p$ for the $p$-th skeleton of $B$ and set: $X_p = \pi^{-1}(B^p)$, $F_p^m = \ker [H^m(X) \to H^m(X_{p-1})]$, ...
4
votes
0answers
185 views

A form of Künneth formula?

Problem (Exercise 15.12 in Bott & Tu's Differential Forms in Algebraic Topology) If $X$ is a space having a good cover, e.g., a triangularizable space, and $Y$ is any topological space, prove ...
4
votes
0answers
309 views

Cohomology of the pullback of a fiber bundle over the torus (generalised Eilenberg-Moore spectral sequence?)

I've found myself in the following situation and the tools that have been suggested to me to calculate the necessary invariants don't quite seem up to the job (I may be wrong in this as I have very ...
4
votes
0answers
107 views

Examples of exact couples of abelian groups

Exact couples are really important when defining spectral sequences. However, I have never really seen a simple non-trivial example of two exact couples of abelian group with a morphism between them. ...
3
votes
0answers
43 views

Different definitions of the $E^{\infty}$ page of a spectral sequence.

In Lecture Notes in Algebraic Topology by Davis and Kirk it seems that given a (convergent, bigraded) spectral sequence $(E^r, d^r)$ one defines the $E^{\infty}$-page as $$E^r_{p, q} = \operatorname{...
3
votes
0answers
173 views

Spectral sequence $B^1_{p,q}= B^\infty_{p,q}$ definition, nlab

In an introductory notes to spectral sequences, nlab, Definition 1.26 we define $$B^r_{p,q} = \partial(F_{p+r-1} C_{p+q+1})$$ and $$B^\infty_{p,q}= \partial(F_{p}C_{p+q+1})$$ So what is the ...
3
votes
0answers
89 views

Structure of module over Eilenberg MacLane spectrum

Let $HR$ be the Eilenberg-Maclane spectrum for a commutative ring $R$ and $M$ be a module over $HR.$ Then I want to prove that $M$ is a product of Eilenberg-Mac Lane spectra. Construction: Let $\...
3
votes
0answers
73 views

A question related to group cohomology and spectral sequences

It is actually a follow-up question of a mathoverflow question. I don't quite understand the answer there. I tried to compute the group cohomology of $H^n(\mathbb{Z}_4,\mathbb{Z})$ via the Lyndon-...
3
votes
0answers
172 views

Cohomology of double complex with exact rows

Let $(C^{p,q},d_h,d_v)$ be a double complex of modules and let $d_h,d_v$ be the horizontal and vertical differential respectively. Suppose that (1) the horizontal rows are exact, (2) the columns ...
3
votes
0answers
154 views

Local-to-Global Spectral Sequence for locally free resolution

Consider two coherent sheaves $\mathcal{E},\mathcal{F}$, with locally free resolutions \begin{align} &0 \longrightarrow \mathcal{E}_1 \longrightarrow \cdots \longrightarrow \mathcal{E}_n \...
3
votes
0answers
56 views

Spectral sequence of non-cohomologically trivial fibration.

It is a well known that in case when we have $\xi: E\to B$ - a Serre fibration, with the trivial action of $\pi_1(B)$ on a fiber $F$, we have standart Atiyah - Hirzebruch spectral sequence. What we ...
3
votes
0answers
172 views

Equivariant cohomology with respect to Lie group and its maximal torus

Let $G$ be a compact connected Lie group, $T \subset G$ its maximal torus and $W=N(T)/T$ its Weyl group. The formula 2.11 of Atiyah, Bott The Moment Map and Equivariant Cohomology states that for any ...
3
votes
0answers
83 views

Calculating torsion in $\pi_i(S^{2n})$

Let $p$ be an odd prime and $n>1$. I want to prove that $\pi_i(S^n)$ has no $p$-torsion for $i<n+2p-3$. For odd $n$ this is Proposition 6.26 in McCleary's book (p.206). He mentions afterward ...
3
votes
0answers
64 views

computing $\pi_1 S^1$ from a spectral sequence

In most of my calculations that I have done based off of mosher and tangora, calculations have proceeded by knowing for example that the fiber of some fibration is say a $1-sphere$. From this we are ...
3
votes
0answers
75 views

Comparison Criterion for Atiyah - Hirzebruch Spectral Sequence

Let us denote with $E(X)$ the A-H spectral sequence associated to a CW complex $X$ and homology theory $h_*$: $$ E(X)_{pq}^2 = H_p(X, h_q(\ast))\Longrightarrow h_{p+q}(X)$$ and with $E(Y)$ the one ...
3
votes
0answers
130 views

Reference on Weibel's Homological Algebra: “$G/H$ acts by conjugation in LHS-spectral sequence”

I'm studying the Lyndon-Hochschild-Serre spectral sequence for $H\triangleleft G$: $$ H_p(G/H;H_q(H;A))\Rightarrow H_{p+q}(G;A) $$ where $A$ is a $G$-module. I was told (w/o giving a proof) that ...
3
votes
0answers
149 views

Mapping Lemma for Spectral Sequences in Weibel's book - Help with the proof

We start by recalling the definition of a morphism in the category of Spectral Sequences: a morphism $f \colon A \to E$ is a family of maps $f^r_{pq}\colon A^r_{pq}\to E^r_{pq}$ in the abelian ...
3
votes
0answers
206 views

Basic questions about convergence of spectral sequences.

I have a fairly rudimentary understanding of spectral sequences. I have a couple questions though. In Algebra, Lang states what seems to me, to be two slightly different notion of convergence of a ...
3
votes
0answers
35 views

How networks with high largest eigenvalues are more robust?

In the literature, it sometimes indicates that network with high value of largest eigenvalue (either adjacency matrix or its Laplacian counterpart) are more robust. Robustness here is relevant to link/...
3
votes
0answers
372 views

Gysin sequence and Serre spectral sequence

Given an oriented $S^k$ bundle $E$ over a compact manifold $M$ we get the Gysin Sequence (I am interested in the DeRham cohomology). We can obtain this sequence from the Serre Spectral Sequence if the ...
3
votes
0answers
76 views

Generalisation of Adams spectral sequence to triangulated categories

We have the Adams SS with $$ E_2^{p,q} = Ext^{p,q} _{E^*(E)}([S,E],[S,E]) $$ where $E$ is the Eilenberg-Maclane Spectrum yielding $\mathbb{Z}/p$ coefficients. I was wondering if there is a SS for ...
3
votes
0answers
77 views

Reference request: where can I find illustrative, concrete examples of the use of the Eilenberg–Moore spectral sequence?

Pursuant to advice at When does cohomology take pullbacks to pushouts?, I tried to use the Eilenberg–Moore spectral sequence in the simplest conceivable example, for the Hopf bundle $S^3 \to S^2$...
3
votes
0answers
117 views

Serre spectral sequence and locally constant coefficients

I have a brief question - In the Serre Spectral sequence for a fibration $$F \rightarrow E \rightarrow B$$ one can require, to avoid using local system of coefficients, that the action $\pi_1(B)$ on $...
3
votes
0answers
187 views

Spectral Sequence and Stiefel Manifold

Let $Spin(3)$ be embedded in $Spin(5)$ by the spin embedding then we have a fibration: $$Spin(3) \rightarrow Spin(5) \rightarrow Spin(5)/Spin(3)$$ Where $Spin(5)/Spin(3)$ is $V_{5,2}$, the Stiefel ...
2
votes
0answers
35 views

What's wrong with this argument that the Atiyah-Hirzebruch spectral sequence always degenerates?

Let $E$ be a spectrum and let $X$ be a space or connective spectrum. Then the cohomological Atiyah-Hirzebruch spectral sequence is of the form: $H^s(X,E^t) \Rightarrow E^{s+t}(X)$ This is a half-...