27
votes

Accepted

### Torsion in the Atiyah–Hirzebruch spectral sequence of a classifying space

Of course, in any spectral sequence $E_{r+1}$ is a subquotient of $E_r$ (the kernel of $d_r$ divided by the image of $d_r$). And in general new torsion can appear in the sense of torsion elements in $...

20
votes

Accepted

### Pullback and homology

This is not necessarily true. For example, there is a space $X$ constructed by attaching a 3-dimensional cell to $S^1 \vee S^2$, which serves as a standard counterexample to several questions. The map ...

20
votes

Accepted

### Calculation of $H^{10}(K(\mathbb{Z}, 3); \mathbb{Z})$

I do not like naming a cohomology class $n$ because that deserves to be the name of an integer. I will use the name Hatcher does and call the generator of $H^2(K(\Bbb Z, 2); \Bbb Z)$ by the name "$a$"....

19
votes

Accepted

### Relating two different approaches to the Atiyah-Hirzebruch Spectral Sequence

For cohomology, this is theorem 3.3 in
Maunder, C.R.F., The spectral sequence of an extraordinary cohomology theory, Proc. Camb. Philos. Soc. 59, 567-574 (1963). ZBL0116.14603.
Theorem 3.3 If $...

17
votes

### Differentials in the Adams Spectral Sequence for spheres at the prime p=2

With the aid of machine computations, you can readily determine the Adams differentials up to $t-s=30$ using the multiplicative structure, the relation between Steenrod operations in $\text{Ext}_A$ ...

17
votes

Accepted

### Persistence barcodes and spectral sequences

The answer to your question is no, nobody has used persistence to improve the algorithmic efficiency of computing differentials, although of course the relationship between persistence intervals of a ...

16
votes

Accepted

### Sphere spectrum, Character dual and Anderson dual

The Anderson dualizing spectrum $I_\mathbf{Z}$ can be defined as follows. Consider the functor $X\mapsto \mathrm{Hom}(\pi_{-\ast} X,\mathbf{Q/Z})$ from the homotopy category of spectra to graded ...

14
votes

### cup product and Steenrod operations in Serre spectral sequence

The behavior of the Steenrod squaring operations in the Serre spectral sequence was determined by Araki and independently by Vázquez (whose article I cannot locate online). However, it's a little work ...

14
votes

Accepted

### "Rotated" version of the Atiyah-Hirzebruch spectral sequence

Good question. I think the answer is yes.
The unnamed spectral sequence is usually referred to as the isotropy spectral sequence. For a group $G$ acting on $X$ and an abelian group $A$ of ...

14
votes

### To compare the total, base and fiber spaces of two fiber bundles

No. Consider the map from the fibre bundle
$$B\mathbb{Z} \to BD_\infty \to B\mathbb{Z}/2$$
to $* \to * \to *$. Here $D_\infty = \mathbb{Z} \rtimes \mathbb{Z}/2$ is the infinite dihedral group.
You ...

14
votes

Accepted

### What is the relationship between spectral sequences and obstruction theory?

This is a partial answer, but every obstruction theory (in some precise sense) provides you with a spectral sequence (in fact several). Let me clarify what do I mean with obstruction theory. All this ...

13
votes

Accepted

### cup product and Steenrod operations in Serre spectral sequence

1) No in general. A counterexample is the projective space bundle associated to a vector bundle. For a rank $n$ vector bundle, the fiber, $\mathbb C \mathbb P^{n-1}$, has cohomology ring $\mathbb Z[x]/...

13
votes

### Multiplicative structure on spectral sequence

This is an expansion of John Rognes' answer. I have filled in a few details in Douady's seminare notes and noticed that one gets away with slightly weaker axioms. If there is already a reliable ...

13
votes

Accepted

### Multiplicativity of the homology Atiyah-Hirzebruch spectral sequence for a ring spectrum

You can give a proof of multiplicativity by using that the smash product preserves connectivity. Here is a sketch proof.
(EDIT: Denis Nardin pointed me towards this reference by Dugger. This ...

13
votes

Accepted

### Zero differential in Serre spectral sequence for configuration spaces

I'll write $C_n$ for the configuration space, and $X_n$ for $\mathbb{R}^2$ with $n$ points removed. You are presumably thinking about the spectral sequence
$$ E_2^{pq} = H^p(C_{n-1};H^q(X_{n-1})) \...

12
votes

Accepted

### Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?

A very nice generalized AHSS calculation that deserves to be better known is in
Vershinin, V. V. and Gorbunov, V. G.
Multiplicative spectra that do not have torsion in homology. (Russian)
Mat. ...

12
votes

### Grothendieck spectral sequence when one of the functors is contravariant

I think this case is actually not so obvious. The issue is that to derive $R\mathscr Hom$ in the first variable you would need to use a locally free resolution while $Rf_*$ being a covariant right ...

12
votes

### Why is it difficult to obtain the next differential in a spectral sequence?

Expanding on Tyler Lawson's comment, the point of a spectral sequence is often that we know what $E$ is concretely, and we want to use this to compute $A$. The issue is that if we want to explicitly ...

12
votes

Accepted

### Hodge Numbers and Leray Spectral Sequence

I don't think I defined the Hodge numbers in this way. Rather, the argument in Section 1 shows that the Hodge numbers agree with the dimensions of
the terms in the $E_2$ page of the Leray spectral ...

11
votes

Accepted

### Cohomology ring of a fiberwise join

What you wish to prove is not true. Namely, if $I=\operatorname{ker} f^*$ then $I^2\subseteq \operatorname{ker}(f\ast f)^*$ but the inclusion may be strict.
The fibred join construction comes up in ...

11
votes

Accepted

### Oriented Bordism Group and Un-Oriented Bordism Group of points $pt$

Unoriented cobordism: can be read off from the structure of the unoriented cobordism ring (calculated in Thom's thesis): $\Omega_6^O = (\mathbb Z/2)^3$, $\Omega_7^O = \mathbb Z/2$, $\Omega_8^O = (\...

11
votes

### Pullback and homology

Here is a positive answer to a slightly different question.
Call a map $X\to B$ "acyclic" if it induces an isomorphism in homology for every coefficient system on $B$. (If $B$ is simply connected ...

11
votes

### to compare cohomologies of fibers of two fiber bundles

No. Let $B'$ be any space, and take $E'=PB'$ and $F'=\Omega B$. The Kan-Thurston theorem gives a map $f\colon B\to B'$ such that $H^*(f;\mathbb{Q})$ is an isomorphism but $\Omega B$ is discrete, so $...

10
votes

Accepted

### Is the space of real conics with a singular point an orientable manifold?

Yes, it is a smooth manifold. No, it is not orientable.
For the first, just think geometrically, i.e., without bases: Fix a $3$-dimensional vector space $V$ and consider the homogeneous quadratic ...

10
votes

### Multiplicative structure on spectral sequence

As far as I know that 1954 paper of Massey is faulty, and you cannot get multiplicative spectral sequences just from such stucture on an exact couple. The best I know that you can do is to use Cartan-...

10
votes

### Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?

I'm going to avoid the question and answer the edit.
Hopkins has some results on this in his Oxford thesis which were announced without proof in his Asterisque paper of 1984.
For a quite thorough ...

10
votes

Accepted

### Torsion in the integral cohomology of $BPU_{n}$

You may want to have a look at this paper:
X. Gu. On the cohomology of classifying spaces of projective unitary groups. arXiv:1612.00506, (link to arXiv)
The spectral sequence involving $BSU_n$ ...

10
votes

### In the not necessarily abelian cat setting, is there a Grothendieck spectral sequence for computing the homotopy of a composition of derived functors?

Not in general, no. The problem is that animated functors play well with colimits, and homotopy groups play better with limits. However, if your functors $\mathcal{A}\xrightarrow{F}\mathcal{B}\...

9
votes

### Where does the primary obstruction of a fibration show up in its spectral sequence?

In the general case of integral coefficients and possibly non-trivial local coefficient system, let $\pi=\pi_1(B)$.
A cocycle for the obstruction class is an element $o\in Hom_{\mathbb Z\pi}(C_{k+1}\...

9
votes

Accepted

### Reference request: cohomology of Eilenberg Maclane spaces with $p$-local groups

Here is a sketch proof.
Step 1: For sensible spaces or spectra (connected, finite type) $X$, $H^*(X;\tau) $ will have exponent $p$ for all the coefficient groups $\tau$ you list exactly when the ...

Only top scored, non community-wiki answers of a minimum length are eligible

#### Related Tags

spectral-sequences × 340at.algebraic-topology × 194

homological-algebra × 98

homotopy-theory × 44

group-cohomology × 44

cohomology × 42

ag.algebraic-geometry × 37

reference-request × 29

cobordism × 24

stable-homotopy × 21

kt.k-theory-and-homology × 19

gr.group-theory × 15

fibration × 15

sheaf-cohomology × 14

gt.geometric-topology × 13

homology × 13

sheaf-theory × 12

etale-cohomology × 9

fibre-bundles × 8

ct.category-theory × 7

lie-groups × 7

differential-topology × 7

classifying-spaces × 7

ac.commutative-algebra × 6

complex-geometry × 5