The Hilali conjecture on product of spaces (Q2305584)

A rationally elliptic space is a path-connected space whose fundamental group is an abelian group and such that both \(H_*(X;\mathbb Q)\) and \(\pi_*(X)\otimes \mathbb Q\) are finite dimensional. A long standing conjecture, due to Hilali, claims that \(\dim(\pi_*(X)\otimes \mathbb Q)\leq \dim H_*(X;\mathbb Q)\) for all simply-connected rationally elliptic spaces. Let \(X\) be a rationally elliptic space and \(n\) be any integer \(\geq 1\), then the Cartesian product \(X^n\) is also rationally elliptic and the author proves the following two results. 1) If \(\dim(\pi_*(X)\otimes \mathbb Q)\leq\dim H_*(X;\mathbb Q) < +\infty\), then \(\dim(\pi_*(X^n)\otimes \mathbb Q)\leq\dim H_*(X^n;\mathbb Q)\). 2) There exists some integer \(m\) such that, for all \(n\geq m\), \(\dim(\pi_*(X^n)\otimes \mathbb Q) <\dim H_*(X^n; \mathbb Q)\).