The non-equivalence conjecture for spaces of locally convex curves

From papers

Let n>3n>3 and let qotinZ(Quatn+1)q otin Z(\operatorname{Quat}_{n+1}). Consider the space Ln(1;q){\cal L}_n(1;q) of locally convex curves with endpoint data (1,q)(1,q). If it contains convex curves, let Ln,non-convex(1;q)Ln(1;q){\cal L}_{n,\operatorname{non-convex}}(1;q)\subset {\cal L}_n(1;q) denote the connected component of non-convex curves. Non-equivalence conjecture. The space Ln(1;q){\cal L}_n(1;q) is not homotopically equivalent to ΩSpinn+1\Omega\operatorname{Spin}_{n+1}. Moreover, if there are convex curves in Ln(1;q){\cal L}_n(1;q), then Ln,non-convex(1;q){\cal L}_{n,\operatorname{non-convex}}(1;q) is also not homotopically equivalent to ΩSpinn+1\Omega\operatorname{Spin}_{n+1}. This is proposed as a claim for dimensions greater than three, contrasting with the preceding results and with the stated corollary; the source does not establish it.

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

Victor Goulart and Nicolau C. Saldanha, “A CW complex homotopy equivalent to spaces of locally convex curves”, arXiv:2112.14539 (2026).

Solutions 0

No solutions have been posted yet.