Cylinder conjecture for connected choice in dimension two

About 14 years old · traced to

Let \rm\sffamily CC2_2 denote connected choice for non-empty connected closed subsets of [0,1]2[0,1]^2. For a multi-valued operation ff, write id⁡×f\operatorname{id}\times f for the product with the identity operation, and write ≤sW\leq_{\mathrm{sW}} for strong Weihrauch reducibility. An operation is a cylinder when id⁡×f≤sWf\operatorname{id}\times f\leq_{\mathrm{sW}}f. Cylinder conjecture. Connected choice in dimension two is not a cylinder:

id⁡×\sffamilyCC2̸≤sW\sffamilyCC2.\operatorname{id}\times\text{\rm\sffamily CC}_2\not\leq_{\mathrm{sW}}\text{\rm\sffamily CC}_2.

The paper proves that connected choice in dimension one is not a cylinder and notes that dimensions at least three are cylinders via their equivalence with closed choice on the unit interval. Thus dimension two is the only unresolved case.

References

Primary source

Vasco Brattka, Stéphane Le Roux, Joseph S. Miller and Arno Pauly, “Connected Choice and the Brouwer Fixed Point Theorem”, arXiv:1206.4809 (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.