The 3-dimensional shadow inclusion connectivity conjecture

Let XR3X\subseteq\mathbb{R}^3 be finite and let vXv\in X. Write XvX_v for the subset associated with the vertex vv, XvX^v for the corresponding closed neighborhood, and XvX-v for X{v}X\setminus\{v\}. Let S\mathcal{S} denote the shadow complex, and let a map be 11-connected when it induces an isomorphism on π0\pi_0 and a surjection on π1\pi_1. The 3-dimensional shadow inclusion connectivity conjecture. The inclusion map

S(Xv)S(Xv)S(Xv)\mathcal{S}(X_v)\hookrightarrow\mathcal{S}(X^v)\cap\mathcal{S}(X-v)

is 11-connected. This is presented as a strengthening of an earlier proposition; the paper notes that it would imply that the projection from the Rips complex to the shadow complex is 22-connected for finite subsets of R3\mathbb{R}^3, and hence induces a π1\pi_1-isomorphism. Its resolution is not specified in the source.

Sources & referencesView supporting material

Primary source

Michal Adamaszek, Florian Frick and Adrien Vakili, “On homotopy types of Euclidean Rips complexes”, arXiv:1602.04131 (2016).

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.