Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
2 answers
290 views

Loop-space functor on cohomology

For a pointed space $X$ and an Abelian group $G$, the loop-space functor induces a homomorphism $\omega:H^n(X,G)\to H^{n-1}(\Omega X,G)$. More concretely, $\omega$ is given by the Puppe sequence $$\...
Leo's user avatar
  • 663
3 votes
0 answers
241 views

Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)

Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to $PH_*(QY)$, and let's say $Y$ itself is a ...
user43326's user avatar
  • 3,051
7 votes
2 answers
1k views

Proof of the ''trangression theorem''

Here is what I would call the transgression theorem. Let $X$ be a pointed space and $\Omega X$ its loop space. There are two maps $H_{p}(\Omega X) \to H_{p+1}(X)$ which should be the same. I am ...
Johannes Ebert's user avatar
20 votes
5 answers
3k views

Does the cohomology ring of a simply-connected space X determine the cohomology groups of ΩX?

One could try to apply the Eilenberg-Moore spectral sequence to the pullback diagram • → X ← •, obtaining a spectral sequence TorH•(X, R)(R, R) => H•(ΩX, R), but ...
Reid Barton's user avatar
  • 25.2k