Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
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
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
1 answer
437 views

First cohomology of the space of long knots in ℝ⁴

Let's consider the space of long knots in $\mathbb R^n$, $n>3$. I know that there are many results (Vassiliev, Turchin, Sinha, Kontsevich) about different expressions of cohomology of this space. I ...
Nikita Kalinin's user avatar
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
2 votes
0 answers
102 views

Alternative construction for the loop space (?)

There is a way to realize the (infinite) loop space which relies on the (homotopy) totalization of a cosimplicial space. Given a (nice?) topological space $X$, consider the cosimplicial space $X_{\...
Andrea Marino's user avatar