A counter-example to a conjecture of Félix (Q531344)

Let \(X\) be a simply connected CW-complex of finite type and let \(L_X\) be its rational homotopy Lie algebra. The radical of \(L_X\), denoted by \(\text{Rad}(L_X)\), is the union of all solvable ideals. It is well known (due to Y. Félix, S. Halperin, C. Jacobsson, C. Löfwal and J.~C. Thomas) that \(\text{Rad}(L_X)\) is of finite dimension whenever \(X\) is of finite Lusternik-Schnirelmann category. In this case, it was conjectured by Y. Félix that the dimension of the oddly graded part of the radical is less than or equal to the dimension of the evenly graded part of the radical: \(\dim\text{Rad}(L_X)_{\text{odd}}\leq \dim\text{Rad}(L_X)_{\text{even}}\) (note that this is true whenever \(X\) is elliptic as \(\text{Rad}(L_X)=L_X\)). The author finds a counter-example to this conjecture by proving the following: Let \(X\) be the rational hyperbolic space obtained as the homotopy fiber of the map \( f: (S^3\wedge S^4)\times K({\mathbb Z},2 )\to K({\mathbb Z},4 ) \) representing the cohomology class \(y^2-x\in H^4\bigl((S^3\wedge S^4)\times K({\mathbb Z},2 )\bigr)\) in which \(x\) and \(y\) are generators of \(H^4(S^4)\) and \(H^2\bigl(K({\mathbb Z},2 )\bigr)\) respectively. Then, it is shown that \(\text{Rad}(L_X)_{\text{even}}=0\) while \(\dim\text{Rad}(L_X)_{\text{odd}}=1\).