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

learn more… | top users | synonyms

3
votes
1answer
23 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
16 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
112 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
26 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: ...
5
votes
0answers
40 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
33 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
43 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
11 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
38 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
21 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 ...
2
votes
0answers
32 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 ...
0
votes
0answers
45 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
105 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
36 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
29 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 ...
2
votes
1answer
58 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
15 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
19 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
39 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
82 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
101 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
29 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 ...
2
votes
1answer
67 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 ...
0
votes
0answers
40 views

Examples of spectral sequences

Where can I find geometric examples of spectral sequence calculation? For instance, calculation of the spectral sequences of a filtration on torus induces by an enough nice Morse function is quite a ...
2
votes
1answer
57 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
115 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
51 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
44 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
27 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
35 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 ...
6
votes
1answer
166 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 ...
0
votes
0answers
81 views

Exact sequences and spectral sequences

We have the well-known theorem for cohomological spectral sequences as follows: Theorem: Let $(E_r , d_r )$ be a third quadrant spectral sequence and let $E^{p,q}_2‎\Rightarrow‎ H^n(Tot(M)$. a) If ...
1
vote
0answers
68 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 ...
0
votes
0answers
27 views

Example to show that a graded algebra with a stable filtration is not determined by its associated bigraded algebra

I'm reading McCleary's book on spectral sequences, and his Example 1.J (reproduced below) seems to be incorrect. I'm looking for two graded algebras $H_1^*$ and $H_2^*$ with the following properties: ...
5
votes
0answers
74 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
60 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
48 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
72 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
74 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
90 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
159 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
187 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 ...
3
votes
1answer
146 views

“Cut-off” of the Adams exact couple in A. Hatcher's “Spectral Sequences in Algebraic Topology”

I have been reading Chapter 2. of A. Hatcher's "Spectral Sequences in Algebraic Topology", which is freely available at the author's website. I have trouble understanding the Adams exact couple, ...
2
votes
1answer
85 views

filtered modules (LNAT, Davis & Kirk)

In Lecture Notes in Algebraic Topology by Davis & Kirk, on page 240, there is written: Q1: Is convergence of the filtration assumed in the first underline? Otherwise $\forall p: F_p=A$ is a ...
2
votes
0answers
59 views

How to define the natural map on the second page of a spectral sequence?

I'm learning about spectral sequences in Ravi Vakil's notes, and can't quite figure out how to define the map ($d_2$) on the bottom of page 59 (he describes it as a worthwhile exercise). It should be ...
7
votes
1answer
122 views

Is there a nice list of spectral sequences that don't come from particular constructions?

When you first learn about rings, it's important to have examples of, say, a PID which is not a Euclidean domain, a UFD which is not a PID, and so forth, to help build intuition and provide test ...
1
vote
1answer
85 views

filtration on the (co)homology of a space from the filtration of a space

Fix $n\!\in\!\mathbb{N}$. Let $X$ be a topological space and $X_0\subseteq X_1\subseteq X_2\subseteq \ldots$ subspaces of $X$. Let $\iota_k:X_k\rightarrow X$ be the inclusion. Let ...
2
votes
1answer
89 views

Example 1.K in A User's Guide to Spectral Sequences

I'm having trouble with Example 1.K, p.25, of John McCleary's book A User's Guide to Spectral Sequences. Specifically, I don't understand how he defines the "obvious map" in the second ...
3
votes
1answer
96 views

Spectral sequences: equivalence of exact couples and classic (?) method

By the 'classic' method I mean the construction of the spectral sequence associated to a filtration as found in Weibel's book p. 133-134. There is also the method of construction through exact couples ...
2
votes
0answers
84 views

Kernel of Hurewicz map using the spectral sequence of the universal cover

In Davis & Kirk's Lecture Notes in Algebraic Topology, Exercise 159 reads: Use the spectral sequence of the universal cover to show that for a path-connected space $X$ the sequence ...