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

From MaRDI portal
scientific article
Language Label Description Also known as
English
A counter-example to a conjecture of Félix
scientific article

    Statements

    A counter-example to a conjecture of Félix (English)
    0 references
    0 references
    29 April 2011
    0 references
    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\).
    0 references
    rational homotopy Lie algebra
    0 references
    rational hyperbolic space
    0 references
    rational homotopy theory
    0 references

    Identifiers