Whitehead product 2026-10-14
The geometric Whitehead product of based maps , is their wedge sum map composed with the attaching map of the top cell of . With the usual geometric signs it satisfies . Regrading to degree and setting gives the graded Lie bracket transported from the Samelson product on the loop space. In degrees it is bilinear; fundamental-group inputs instead record commutators and the action of on higher homotopy.