The pro-fundamental-group Borel conjecture for matchbox manifolds

Let AB{\mathcal A}_B be a Borel collection of compact manifolds. An AB{\mathcal A}_B-like matchbox manifold is a matchbox manifold modeled on the collection AB{\mathcal A}_B. For a matchbox manifold M{\mathfrak{M}}, let pro-π1(M)\operatorname{pro}\text{-}\pi_1({\mathfrak{M}}) denote its pro-fundamental-group pro-group. Let M1{\mathfrak{M}}_1 and M2{\mathfrak{M}}_2 be equicontinuous AB{\mathcal A}_B-like matchbox manifolds with isomorphic pro-fundamental-group pro-groups.

Pro-fundamental-group Borel conjecture. If M1{\mathfrak{M}}_1 and M2{\mathfrak{M}}_2 are equicontinuous, AB{\mathcal A}_B-like matchbox manifolds that have isomorphic pro-π1\operatorname{pro}\text{-}\pi_1 pro-groups, then M1{\mathfrak{M}}_1 and M2{\mathfrak{M}}_2 are homeomorphic.

This is proposed as a stronger version of the preceding shape-based conjecture: an analogue of the implication from isomorphic fundamental groups to homotopy equivalence for aspherical manifolds would reduce it to that conjecture. Its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Alex Clark, Steven Hurder and Olga Lukina, “Classifying matchbox manifolds”, arXiv:1311.0226 (2017).

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.