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
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