Closure equivalence conjecture for metric thickenings

Let M=(X,K,ϕ)M=(X,K,\phi) be a simplicial metric thickening, with metric thickening MP(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:

KKˉ.\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.

Sources & referencesView supporting material

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.