(STUB) A method of computing homology groups by taking a sequence of approximations. Particularly useful in algebraic topology.

learn more… | top users | synonyms

6
votes
1answer
42 views

Group cohomology of dihedral groups

If $m$ is odd, the group cohomology of the dihedral group $D_m$ of order $2m$ is given by $$H^n(D_m;\mathbb{Z}) = \begin{cases} \mathbb{Z} & n = 0 \\ \mathbb{Z}/(2m) & n \equiv 0 \bmod 4, ~ n ...
3
votes
0answers
22 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
75 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 ...
2
votes
1answer
42 views

The spectral sequence of the path fibration of $S^2$

Bott and Tu use the fibration $\Omega S^2 \to PS^2 \to S^2$ to compute the cohomology of $\Omega S^2$. They do this by looking at the (Serre?) spectral sequence. Then $E_2^{p,q} = H^p(S^2,H^q(\Omega ...
1
vote
1answer
69 views

What is spectral sequence?

Can anyone explain me what is spectral sequence? What is the motivation behind this? Is it a natural tool? Why should we study spectral sequences? Pardon me for asking too many question.Actually I ...
0
votes
1answer
104 views

Long exact sequence for a triple follows from long exact sequence for a pair?

In homology theory, the long exact sequence for a pair $(X,Y)$ is just $H(Y)\to H(X)\xrightarrow{\partial(X,Y)}H(X,Y)\to H(Y)[-1]$. The long exact sequence for a triple $(X,Y,Z)$ is $H(Y,Z)\to ...
10
votes
1answer
148 views

Vector space identity from Chow's “You Could Have Invented Spectral Sequences”

In Chow's You Could Have Invented Spectral Sequences (3rd page, left column) appears the following isomorphism of vector spaces: $$\frac{Z_d}{B_d}\cong \frac{Z_d+C_{d,1}}{B_d+C_{d,1}}\oplus ...
1
vote
1answer
47 views

Spectral sequence page isomorphism

Suppose we have a map of spectral sequences $\{E_{p,q}^r,d^r\}\to \{{E'}_{p,q}^r,d'^r\}$, both generated from total chain complexes, $C$ and $C'$ respectively, such that for some $r$ the map between ...
2
votes
0answers
38 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
1answer
76 views

A seemingly wrong definition of convergence of spectral sequences in Bott & Tu?

After introducing exact couples, Bott & Tu defines spectral sequences as follows: A sequence of differential groups $\{E_r,d_r\}$ in which each $E_r$ is the homology of its predecessor ...
2
votes
0answers
41 views

cohomology of orbit space by a free group action

Let $G$ be a group. Let a principal $G$-bundle $G\to E\to B$. Then we have a fiber sequence $G\to E\to B\to BG$. Let $k$ be a field. Suppose $H^*(BG;k)$ and $H^*(E,k)$ are known. How to get ...
3
votes
1answer
69 views

Does every elliptic cohomology theory represent a complex-orientable $E_\infty$-ring spectra and vice-versa?

The last paragraph in Two-Vector Bundles and Forms of Elliptic Cohomology remarks that neither the spectrum $K(ku)$ nor tmf is complex orientable. In the case of $K(ku)$: "...the unit map for $K(ku)$ ...
0
votes
0answers
22 views

Configuration space of product spaces

Let $M,N$ be manifolds. Let $F(M,n)$, $F(N,n)$ be ordered configuration spaces of order $n$. Let $F(M,n)/\Sigma_n$, $F(N,n)/\Sigma_n$ be the unordered configuration spaces of order $n$, for ...
6
votes
1answer
128 views

Homotopy of double chain complexes

Consider complexes $(A,d_1), (A',d_1)$, $(C,d_2), (C',d_2)$ and morphisms $f_1,f_2: (A,d_1)\to (A',d_1)$ and $g_1,g_2: (C,d_2)\to (C',d_2)$ of degrees $0$. Consider the functor $(-\otimes-)$, then ...
3
votes
1answer
45 views

Examples spectral sequence

I have to make a talk about spectral sequences, so I'd like to present some concrete examples of computation, after the general definition. I'd like to present three examples of spectral sequences: ...
7
votes
0answers
83 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$ ...
0
votes
1answer
60 views

turning a map into a fibration

In Allen Hatcher's book Spectral Sequence page 29 Example 1.18, What means "turning the map into a fibration" and convert a map into a fibration"? Given a map $f:X\to Y$, $f$ is not necessarily a ...
3
votes
1answer
58 views

Spectral sequence of a filtered complex: convergence conditions and abelian categories

There is a theorem that if given a filtered complex and the filtration is bounded then there is a spectral sequence whose 0th and 1st page have specific forms and the sequence converges to ...
0
votes
0answers
16 views

Constructing an odd map on homologies from a double-inclusion of chain complexes

Given a chain of two inclusions of chain complexes $A_* \subset B_* \subset E_*$, all of which are 0 in negative degree with differentials of degree -1, the short exact sequence $0 \rightarrow B_* ...
1
vote
0answers
59 views

Total complex homology exact sequence

I'm been trying to do this problem (Problem 5.1.1) from Weibel's Introduction to Homological Algebra but I can't really see how to finish it. The statement of the problem is summarized as follows: ...
0
votes
1answer
28 views

Question about spectrum versus spectral sequences

What is the difference between spectrum sequences and spectral sequences? Are they considered to be the same? I know that the spectrum sequence of a real number $\alpha$ is the sequence that has ...
5
votes
1answer
50 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 ...
1
vote
0answers
102 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 ...
5
votes
0answers
171 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 ...
2
votes
0answers
41 views

Exact sequence from Serre spectral sequence

let me say first that I don't know homological algebra very well, so I apologize in advance if my question is stupid.. It regards the Serre spectral sequence associated to a fibration $0\rightarrow F ...
3
votes
0answers
31 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
1answer
83 views

extension problem of a spectral sequence

From Hatcher's SSAT, If the coefficient group $G$ is a field, then $H_n(X;G)$ is the direct sum $\oplus_p E^\infty_{p,n-p}$ of the terms along the $n^\text{th}$ diagonal of the $E^\infty$ page. ...
1
vote
0answers
21 views

The product of $E_2$-degenerate spectral sequences also $E_2$-degenerates?

Assume the Leray spectral sequence of a map $f_i:X_i\rightarrow B_i$ $E_2$-degenerates for $i=1,2$. Is it true that the Leray spectral sequence of the map $f_1\times f_2:X_1 \times X_2 \rightarrow B_1 ...
2
votes
0answers
21 views

what is the natural map from BP to $HF_p$?

what is the natural map from BP to $HF_p$? BP is the Brown-Peterson spectrum and $HF_p$ is Eilenberg Maclane spectrum. I am trying to learn the connections between ASS and ANSS. This map should ...
1
vote
0answers
41 views

differential in AHSS for spin cobordism

According to these solutions, the differential $d_2: H_p(X,\Omega_1^{Spin})\rightarrow H_{p-2}(X,\Omega_2^{Spin})$ is the dual of $Sq^2$. Why? This MO post asks a similar question (but about $d_3$ in ...
3
votes
1answer
90 views

Derived functor vs. spectral sequence

I heard many times that because of introducing derived category, we can avoid cumbersome spectral sequence. However, I don't quite understand its meaning. Here is a precise example people talking ...
5
votes
0answers
117 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 ...
1
vote
1answer
33 views

What is the topology of $E^*(E)$ where $E$ is a ring spectrum?

In Adams' lectures on generalised cohomology Page 51, it states $E^*(E)$ is a topology ring. I do not know the topology on it. the reference that Adams offered there is by Novikov in Russian. Can ...
3
votes
1answer
88 views

why $HF_p$(Eilenberg Mac Lane spectrum) smash X (connective spectrum with finite type cohomology groups) is a wedge of suspensions of $HF_p$?

why $HF_p$(Eilenberg Mac Lane spectrum) smash $X$ (connective spectrum with finite type cohomology groups) is a wedge of suspensions of $HF_p$? This is Prop 2.1.2 (g) in Ravenel's green book. Can ...
2
votes
1answer
61 views

Example leading to spectral sequence

I am reading A User's Guide To Spectral Sequences and I don't understand the example in the informal introduction chapter: We want to compute $H^*$, where $H^*$ is a graded $R$-module or a graded ...
1
vote
2answers
123 views

What is the difference between multiplication and direct sum on homotopy groups of spheres?

In Allen Hatcher's book Algebraic topology he states that factoring out 2-torsion $\pi_{i}(S^{2n})\cong\pi_{i-1}(S^{2n-1})\times\pi_{i}(S^{4n-1})\:\forall n$ but in his book Spectral Sequences in ...
2
votes
0answers
58 views

The differentials of a spectral sequence

Suppose we are on the $E_r$ page and the lattice either consists of 0 or $\mathbb{Q}[x,y]$ in each entry. Suppose in particular that the points $(p,q)$ and $(r, s)$ (and "their codomains") are equal ...
3
votes
0answers
49 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 ...
1
vote
0answers
31 views

The Poincare series for a bigraded vector space

I don't understand this computation (this is from McCleary's book on spectral sequences, p.15): The Poincare series of a (locally finite) bigraded vector space $E^{\ast,\ast}$ is defined as ...
2
votes
1answer
38 views

What does the $\Omega$ represent in $\Omega S^{n}$?

To put my question in context, I'm reading Hatcher's book on Spectral sequences is which is say " The suspension homomorphism $E$ is the map on $pi_{i}$ induced by the natural inclusion map ...
7
votes
1answer
233 views

Are there spectral sequences for calculating homology or cohomology of homotopy (co)limits?

Suppose my nice topological space $X$ is the homotopy colimit $$\operatorname{hocolim}D\cong X$$ of a diagram $D\colon I\to \mathbf{Top}$ and the homotopy limit $$\operatorname{holim}E\cong X$$ of a ...
1
vote
0answers
70 views

Spectral sequences to involve together two ideals of a ring

I'm looking for spectral sequences to involve together two ideals of a ring. For instance, let $I,J$ be two ideals of Noetherian ring $R$ and $M$ be a finite $R$-module then we have the following ...
5
votes
0answers
83 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 ...
1
vote
1answer
71 views

An exact homology sequence associated with a principal SO(n) bundle

Suppose $P$ is a principal $SO(n)$ bundle, X is its base space. Why is there an exact sequence in homology groups $$ 0 \to H^1(X;\mathbb{Z}_2) \to H^1(P;\mathbb{Z}_2) \to H^1(SO(n);\mathbb{Z}_2)\to ...
3
votes
0answers
53 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 ...
1
vote
0answers
92 views

Question About Transgression

I have been working on this question here. Here is the setup: First, all cohomology groups are assume to be with $\mathbb{Q}$ coefficients. We assume that $H^*(K(\mathbb{Q},n))=\mathbb{Q}[x]$, with ...
2
votes
0answers
90 views

Spectral sequences from Cartan-Eilenberg systems

This is an exercise from Mcleary's book on Spectral sequence which I have been stuck with for some time. Let us recall what a Cartan-Eilenberg system is: IT consists of a module $H(p,q)$ for each pair ...
2
votes
0answers
111 views

filtration on the cohomology of a complex

Let $K^\bullet$ be a complex and let $F_I$ and $F_{II}$ be two filtrations on it. suppose $F_I^i K^n$ intersects $F_{II}^i K^n$ trivially. It then follows that in the induced filtration on the ...
4
votes
0answers
169 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
2answers
212 views

definition of convergence of a spectral sequence

In Lecture Notes in Algebraic Topology by Davis & Kirk, on page 241, there is written: What do $E^\infty$ and $\lim_{r\to\infty}E^r_{p,q}$ mean? If a spectral sequence is not first-quadrant and ...