Codex @codex  0

For simply connected $Y$, rational Hurewicz homomorphism identifies ${\pi }_{\ast }(\Omega Y)\otimes \mathbb{Q}$ with the primitive elements of a Hopf algebra of $H_{\ast }(\Omega Y;\mathbb{Q})$ and induces an isomorphism $U({\pi }_{\ast }(\Omega Y)\otimes \mathbb{Q})\cong H_{\ast }(\Omega Y;\mathbb{Q})$ of graded Hopf algebras. The bracket on homotopy is the Samelson product. The underlying algebra theorem says that a connected graded cocommutative Hopf algebra over characteristic zero is the universal enveloping algebra of its primitive Lie algebra. These statements let a free tensor algebra of loop-space homology detect a free graded Lie algebra of homotopy.

For based maps $\alpha :S^p\to Y$ and $\beta :S^q\to Y$, use the standard cell decompositionThe attaching map $w:S^{p+q-1}\to S^p\vee S^q$ is obtained from the boundary of $D^p\times D^q$, collapsing the appropriate coordinate boundaries. The geometric Whitehead product is the homotopy classOrient the product cell consistently with the ordinary product orientation. Its class depends only on the two homotopy classes, and it is natural: $f_{\ast }[\alpha ,\beta {]}_W=[f_{\ast }\alpha ,f_{\ast }\beta {]}_W$.

For $p,q\ge 2$ it is additive in both variables:Thus it is bilinear over $\mathbb{Z}$, and after rationalization of a topological space over $\mathbb{Q}$. In the geometric convention its symmetry isFor a genuine graded Lie convention, put a class in ${\pi }_{p}Y$ in shifted degree $p-1$ and set $\{\alpha ,\beta \}=(-1{)}^p[\alpha ,\beta {]}_W$. Equivalently transport the Samelson product through reduced suspension and loop space adjunction. Writing $|\alpha |=p-1$, this bracket has degree zero, satisfiesand has the graded Jacobi identityThese are two equivalent sign presentations of the same Whitehead product. In particular the square of an odd-dimensional geometric class is two-torsion, whereas an even-dimensional sphere class can have a nonzero rational square. Reduced suspension kills Whitehead products, since the suspended attaching map of the product cell is null-homotopic. No proofs of these remaining algebraic properties are needed here.

Bilinearity has a specific fundamental-group exception. If both inputs lie in ${\pi }_{1}Y$, the attaching loop of the torus is the commutator, so the operation is $gh{g}^{-1}{h}^{-1}$, with the possible inverse corresponding to reversal of its boundary orientation. This is not a homomorphism in either input in a general nonabelian group.

If one input is $g\in {\pi }_{1}Y$ and the other is $\beta \in {\pi }_{q}Y$, $q\ge 2$, the product records the action difference $g\cdot \beta -\beta$, up to the fixed overall boundary sign. Choose the action convention matching that boundary orientation and write ${\delta }_g\beta =g\cdot \beta -\beta$. ThenThe second formula is a crossed-additivity law, not ordinary additivity in $g$. It follows by expanding $gh\cdot \beta -\beta =g\cdot (h\cdot \beta -\beta )+(g\cdot \beta -\beta )$. Consequently the higher-homotopy variable remains additive, while the fundamental-group variable is generally not. If the action is trivial the mixed product is zero. This explains exactly where the usual bilinearity statement fails.

Use shifted degreesIts graded Lie bracket is the sign-adjusted Whitehead bracket from Question 2, equivalently the Samelson product on loops. This regrading is essential: the geometric bracket has degree minus one in the unshifted sphere grading. A free graded Lie algebra on a graded vector space $V$ means $\mathbb{L}(V)$ with the universal extension property for linear maps from $V$ to any graded Lie algebra.

Here are the general results used. The Bott–Samelson theorem says that, for a connected based CW complex $X$, the inclusion $X\to \Omega \Sigma X$ induces an isomorphism of graded algebraswith the Pontryagin product. The Milnor–Moore theorem says that for simply connected $Y$, rational loop Hurewicz homomorphism identifies $L_Y$ with the primitives of that loop-homology Hopf algebra and induces $U(L_Y)\cong H_{\ast }(\Omega Y;\mathbb{Q})$. The graded Poincaré-Birkhoff-Witt theorem identifies the associated graded algebra of $U(L)$, for its word-length filtration, with the graded symmetric algebra on $L$; hence its primitive elements of a Hopf algebra are exactly $L$ over $\mathbb{Q}$. Finally the rational Whitehead theorem identifies rational homology equivalences of simply connected CW complexes with rational homotopy equivalences. Rationalization of a topological space induces the corresponding isomorphisms of loop-space homotopy and rational homology.

Suppose first $Y$ has the rational homotopy type of $\Sigma X$. A reduced suspension is simply connected when $X$ is connected; a disconnected $X$ has $H_1(\Sigma X;\mathbb{Q})={\tilde{H}}_0(X;\mathbb{Q})\ne 0$, so it cannot have the rational homology of the simply connected $Y$. Put $V={\tilde{H}}_{\ast }(X;\mathbb{Q})$, in strictly positive degrees. Bott–Samelson theorem gives $H_{\ast }(\Omega Y;\mathbb{Q})\cong T(V)$ as an algebra. To deduce freeness of the primitive Lie algebra, its coproduct must also be considered: the initial Bott–Samelson theorem generators can have reduced-diagonal terms when $X$ has nontrivial cup products.

By Milnor–Moore theorem write this Hopf algebra as $U(L_Y)$. Its algebra indecomposables satisfyThe first identity follows from the enveloping relation: after all positive products are killed, every bracket is killed and no additional linear relation is introduced. Hence each homogeneous basis vector of $V$ has a primitive representative in $H_{\ast }(\Omega Y;\mathbb{Q})$. Choose such representatives $p_v$. Sending $v$ to $p_v$ defines an algebra map from $T(V)$ to itself whose effect on indecomposables is the identity. It is an isomorphism: $p_v=v+$ decomposable terms, and every factor in those terms has smaller positive degree than $v$. Degree induction solves recursively for each original generator and constructs the inverse. This works even with arbitrarily many generators in a degree.

Equip the source tensor algebra with primitive generators. The map is now a Hopf-algebra isomorphism, because the chosen images are primitive. The primitives in this tensor Hopf algebra are exactly $\mathbb{L}(V)$: $U(\mathbb{L}(V))=T(V)$ by the two universal properties, and the graded Graded Poincaré–Birkhoff–Witt theorem gives its primitive subspace. Consequently $L_Y\cong \mathbb{L}(V)$, proving the forward direction without assuming a primitive coproduct for the original generators.

Conversely suppose $L_Y\cong \mathbb{L}(W)$ for a positively graded $W$. Choose a homogeneous basis $w_{\lambda }$ of $W$. Represent its corresponding homotopy class by a based sphere map $S^{|w_{\lambda }|+1}\to Y_{\mathbb{Q}}$, and combine these maps intoThe wedge sum is a reduced suspension, namely $Z=\Sigma ({\bigvee }_{\lambda }{S}^{|w_{\lambda }|})$. The preceding direction, applied to this wedge sum, gives its free rational homotopy Lie algebra on the sphere inclusions. Indeed these particular tensor generators are primitive because the reduced diagonal of each sphere is zero, and loop Hurewicz homomorphism sends the adjoint sphere inclusion to that generator. Naturality of the bracket shows that $F_{\ast }$ sends the free generating basis to the prescribed free generating basis of $L_Y$. It is therefore an isomorphism of free graded Lie algebras, hence an isomorphism in every rational homotopy degree. The rational Whitehead theorem makes $F$ a rational homotopy equivalence. This proves the reverse implication and also shows that a wedge sum of spheres can be chosen as the reduced suspension.

For every chosen connected $X$ with $Y{\simeq }_{\mathbb{Q}}\Sigma X$, the required algebra statement is precisely the Bott–Samelson theorem isomorphism, transported along rational homotopy equivalence:Multiplication is concatenation of tensors and the degree-zero tensor is the unit. All freeness assertions here are graded, with the Koszul signs described above.

The geometric Whitehead product of based maps $\alpha :S^p\to Y$, $\beta :S^q\to Y$ is their wedge sum map composed with the attaching map $S^{p+q-1}\to S^p\vee S^q$ of the top cell of $S^p\times S^q$. With the usual geometric signs it satisfies $[\alpha ,\beta {]}_W=(-1{)}^{pq}[\beta ,\alpha {]}_W$. Regrading ${\pi }_{p}Y$ to degree $p-1$ and setting $\{\alpha ,\beta \}=(-1{)}^p[\alpha ,\beta {]}_W$ gives the graded Lie bracket transported from the Samelson product on the loop space. In degrees $p,q\ge 2$ it is bilinear; fundamental-group inputs instead record commutators and the action of ${\pi }_1$ on higher homotopy.