Closure equivalence conjecture for metric thickenings

About 5 years old · traced to

Let M=(X,K,ϕ)M=(X,K,\phi) be a simplicial metric thickening, with metric thickening M⊆P(X)\mathcal{M}\subseteq\mathcal{P}(X). Let M^\hat{M} be the closure of M\mathcal{M} in P(X)\mathcal{P}(X), and let Mˉ\bar{M} be its closure in the finitely-supported metric thickening FX\mathcal{FX}. In the notation used for the associated simplicial complex, these spaces are denoted K^\hat{K} and Kˉ\bar{K}, respectively. Closure equivalence conjecture. The metric thickening and its closure in the finitely-supported space are homotopy equivalent:

K≃Kˉ.\mathcal{K}\simeq\bar{K}.

The surrounding text presents this as an unresolved conjecture intended to connect the infinitely-supported space with the theorem that Mˉ\bar{M} and M^\hat{M} are homotopy equivalent. It is meant to show that the infinitely-supported space has the same homotopy type independently of the closure properties of the original space.

References

Primary source

Henry Adams, Johnathan Bush and Joshua Mirth, “Operations on Metric Thickenings”, arXiv:2101.10489 (2021).

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.