3
$\begingroup$

Let $X$ be an elliptic simply connected space. Is it rationally homotopy equivalent to the suspension of some connected space $Y$? If not, is it rationally homotopy equivalent to a loop space?

$\endgroup$
4
  • 1
    $\begingroup$ $\mathbb{CP}^2$ is elliptic, it's definitely not a rational suspension, and I think it's not a rational loop space. $\endgroup$ Oct 31, 2017 at 0:11
  • $\begingroup$ Cup products on a suspension vanish. Given that elliptic simply connected spaces satisfy Poincaré duality over $\mathbb Q$, that severely limits your options for being rationally equivalent to a suspension. $\endgroup$ Oct 31, 2017 at 0:12
  • $\begingroup$ that's right but it can exist $\endgroup$
    – tarik
    Oct 31, 2017 at 0:19
  • $\begingroup$ my question about loop space is equivalent to when the rational cohomology algebra of X is a free graded commutative algebra. $\endgroup$
    – tarik
    Oct 31, 2017 at 0:31

1 Answer 1

8
$\begingroup$

As Qiaochu points out, $\mathbb{C}\mathbb{P}^2$ is a simply-connected elliptic space (its only non-zero rational homotopy groups being $\pi_2(\mathbb{C}\mathbb{P}^2)\otimes \mathbb{Q} = \mathbb{Q}$ and $\pi_5(\mathbb{C}\mathbb{P}^2) \otimes \mathbb{Q} = \mathbb{Q}$) that is not homotopy equivalent to a suspension, since it has non-trivial cup product. It is also not rationally homotopy equivalent to a loop space. Indeed, a loop space has the rational homotopy type of a product of Eilenberg-MacLane spaces $K(\mathbb{Q}, k)$. Since $\pi_2(\mathbb{C}\mathbb{P}^2)\otimes \mathbb{Q} = \mathbb{Q}$, there would be a factor of $K(\mathbb{Q}, 2)$ in the rational homotopy type of $\mathbb{C}\mathbb{P}^2$, but $K(\mathbb{Q}, 2)$ has infinite cohomology.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.