The non-equivalence conjecture for spaces of locally convex curves

At least 4 years old · documented by

Let n>3n>3 and let qotinZ(Quat⁡n+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 ΩSpin⁡n+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 ΩSpin⁡n+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.

References

Primary source

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

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.