The extended conjecture on spheres attached to constrained immersed-curve spaces

Let S2\mathbb{S}^2 be the unit sphere, let ρ0\rho_0 be the prescribed curvature parameter, and let I\pmb{I} and Q\pmb{Q} denote the endpoint data defining the space Lκ0+κ0(I,Q)\mathcal{L}^{+\kappa_0}_{-\kappa_0}(\pmb{I},\pmb{Q}). For each nNn\in\mathbb{N}, define

D1,n=d(p1,q2)+2nπ,D2,n=d(p2,q1)+2nπ,D_{1,n}=d(p_1,q_2)+2n\pi,\qquad D_{2,n}=d(p_2,q_1)+2n\pi, L1,n=d(p1,q1)+2nπ,L2,n=d(p2,q2)+2nπ.L_{1,n}=d(p_1,q_1)+2n\pi,\qquad L_{2,n}=d(p_2,q_2)+2n\pi.

Set

Lˉi,n=2Li,n4ρ01,Dˉi,n=2Di,n4ρ012.\bar{L}_{i,n}=2\left\lfloor\frac{L_{i,n}}{4\rho_0}\right\rfloor-1,\qquad \bar{D}_{i,n}=2\left\lfloor\frac{D_{i,n}}{4\rho_0}-\frac{1}{2}\right\rfloor.

Extended conjecture. If Lˉi,n>Dˉi,n\bar{L}_{i,n}>\bar{D}_{i,n} for i=1,2i=1,2, then a sphere Sk\mathbb{S}^k is attached to Lκ0+κ0(I,Q)\mathcal{L}^{+\kappa_0}_{-\kappa_0}(\pmb{I},\pmb{Q}), where k=Lˉ1,n=Lˉ2,nk=\bar{L}_{1,n}=\bar{L}_{2,n}. If Dˉi,n>Lˉi,n\bar{D}_{i,n}>\bar{L}_{i,n} for i=1,2i=1,2, then a sphere Sk\mathbb{S}^k is attached to the same space, where k=Dˉ1,n=Dˉ2,nk=\bar{D}_{1,n}=\bar{D}_{2,n}. This extends the comparison between the truncated lengths associated with the endpoint pairs and predicts additional spherical attachments in the homotopy type of the constrained immersed-curve space; the source provides no resolution of the conjecture.

Sources & referencesView supporting material

Primary source

Cong Zhou, “On the Homology of the Space of Curves Immersed in The Sphere with Curvature Constrained to a Prescribed Interval”, arXiv:1809.05612 (2018).

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.