The pro-fundamental-group Borel conjecture for matchbox manifolds

About 13 years old · traced to

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.

References

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.