The simplicial freeness conjecture for the Brunnian planar braid subgroup

Let SPTSPT_* be the simplicial group of simplicial pure twin groups, let c111c_{111} be the 2-simplex with trivial faces, and let KK_* be the smallest simplicial subgroup of SPTSPT_* containing c111c_{111}. Let S2S^2 be the simplicial sphere with non-degenerate 2-simplex σ=(0,1,2)\sigma=(0,1,2), and let F[S2]F[S^2]_* be Milnor's free simplicial group on S2S^2. The simplicial homomorphism

Θ:F[S2]K\Theta:F[S^2]_*\longrightarrow K_*

is induced by the simplicial map sending σ\sigma to c111c_{111}. The simplicial freeness conjecture. The homomorphism

Θ:F[S2]K\Theta:F[S^2]_*\longrightarrow K_*

is an isomorphism. This would identify the simplicial subgroup generated by c111c_{111} with Milnor's free simplicial group on the simplicial 2-sphere, extending the verified injectivity in degrees at most 44 and providing a description of the homotopy groups of S3S^3 through the Moore complex of KK_*.

Sources & referencesView supporting material

Primary source

Valeriy G. Bardakov, Pravin Kumar and Mahender Singh, “Brunnian planar braids and simplicial groups”, arXiv:2312.16567 (2023).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.