Nonexistence of mirror-image isotopies for sufficiently large polygon spaces

Let Pol3(n)Pol_3(n) be the space of vectors (e1,,en)(R3)n(\vec{e}_1,\dots,\vec{e}_n)\in(\mathbb{R}^3)^n satisfying

i=1nei=0,i=1nei=2.\sum_{i=1}^n\vec{e}_i=0,\qquad \sum_{i=1}^n\lvert\vec{e}_i\rvert=2.

Thus Pol3(n)Pol_3(n) parametrizes closed nn-gons in R3\mathbb{R}^3 with total length 22. Let the isotopy in Theorem 1 refer to a one-parameter isometric isotopy of Pol3(n)Pol_3(n) to itself joining each closed polygon to its mirror image.

Nonexistence conjecture. For an arbitrary nn with nn0n\geq n_0, where n0n_0 is sufficiently large, the isotopy of Theorem 1 is not valid, even without the additional requirements that it preserve the lengths of projections onto the two coordinate planes and keep the projection onto the xx-axis.

The theorem establishes such an isotopy for n=7n=7, while the conjecture predicts that this phenomenon fails for all sufficiently large numbers of edges. The claim is motivated by partial and weaker results related to the Kervaire Invariant One Problem.

Sources & referencesView supporting material

Primary source

Petr Mikhailovich Akhmet'ev, “A remark on the space of 7-gons with a fixed total length in ^3”, arXiv:1308.2046 (2013).

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.