Skip to main content
2 of 4
added 46 characters in body
Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66

Let us first consider the homotopy fiber of the map $\mathbb CP^n\vee S^d \to \mathbb CP^\infty$. The homotopy fiber of the map $\mathbb CP^n\to \mathbb CP^\infty$ is $S^{2n+1}$. The homotopy fiber of the map $*\to \mathbb CP^\infty$ is $S^1$, and the homotopy fiber of the trivial map $S^d\to \mathbb CP^\infty$ is $S^1\times S^d$.

It is well-known that taking homotopy pushout commutes with homotopy fibers, therefore the homotopy fiber is equivalent to the homotopy pushout of the following diagram. $$ S^{2n+1}\leftarrow S^1 \to S^1\times S^d. $$ I will assume that $n>0$. In this case the map $S^1\to S^{2n+1}$ can only be null homotopic. It follows that the homotopy fiber is equivalent to $$S^{2n+1}\vee S^1_+ \wedge S^d\simeq S^{2n+1}\vee S^d \vee S^{d+1}$$ (for the second equivalence, assume $d\ge 1$).

Applying $\Omega^2$ we get a homotopy fibration sequence $$\Omega^2(S^{2n+1}\vee S^d\vee S^{d+1})\to \Omega^2 (\mathbb CP^n \vee S^d)\to \Omega^2 \mathbb CP^\infty\simeq \mathbb Z.$$ This is a fibration sequence over a homotopically discrete space $\mathbb Z$. Moreover, it is a fibration of (double) loop spaces, so all the homotopy fibers are homotopy equivalent to each other. It follows that there is a homotopy equivalence of spaces $$ \Omega^2 (\mathbb CP^n \vee S^d)\simeq \mathbb Z \times \Omega^2(S^{2n+1}\vee S^d\vee S^{d+1}). $$ So in order to calculate the homology of $\Omega^2 (\mathbb CP^n \vee S^d)$ (with any coefficients), it is enough to calculate the homology of $\Omega^2(S^{2n+1}\vee S^d\vee S^{d+1})$ (with same coefficients).

Let me assume for simplicity that $n\ge 1$ and $d\ge 2$. In this case we can write $$\Omega^2(S^{2n+1}\vee S^d\vee S^{d+1})\simeq \Omega^2\Sigma^2(S^{2n-1}\vee S^{d-2}\vee S^{d-1}).$$

It is well-known that the rational homology of $\Omega^2\Sigma^2 X$ is isomorphic to the free Gerstenhaber algebra on the rational homology of $X$. I believe this is due to Fred Cohen ("The homology of $C_{n+1}$-Spaces", LNM 533). You can find a perhaps somewhat more modern explanation and proof in this paper of Alexander Berglund (Corollary 8 in particular).

Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66