Cylinder conjecture for connected choice in dimension two

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×fsWf\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.

Sources & referencesView supporting material

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.