The conjecture on the vanishing of the third James–Hopf obstruction

From papers

Let f:XYf:X\to Y be a map with X=ΣXX=\Sigma X' and Y=ΣYY=\Sigma Y'. Write MfM_f for the mapping cone of ff, and let J2(Mf,A)J_2(M_f,A) and J2(Mf,X)J_2(M_f,X) denote the corresponding second James constructions. Suppose that [idY,f]=0[\operatorname{id}_Y,f]=0, so that

J2(Mf,A)YYX.J_2(M_f,A)\simeq Y\vee Y\wedge X.

Let jYj_Y and jYXj_{Y\wedge X} be the canonical inclusions of the corresponding wedge summands of

J2(Mf,X)XXA.J_2(M_f,X)\simeq X\vee X\wedge A.

The conjecture. Under these hypotheses, the map

γ3=[jYf,jYX]:YXXYYX\gamma_3=[j_Yf,j_{Y\wedge X}]:Y'\wedge X\wedge X\longrightarrow Y\vee Y\wedge X

is null-homotopic.

The conjecture is motivated by the fact that it holds in all special cases encountered by the authors, including attaching maps of the top cell in even-dimensional mod 2r2^r Moore spaces, suspended complex projective planes, and suspended quaternionic projective planes. Its general status is not resolved by the supplied source context.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Zhongjian Zhu, “The unstable homotopy groups of 2-cell complexes”, arXiv:2410.20416 (2024).

Solutions 0

No solutions have been posted yet.