CW-complex reconstruction from associative higher groupoids

About 8 years old · traced to

Let XX be a CW-complex with sets IkXI^X_k of cells, and let XX be an ∞\infty-groupoid with kk-cells Xk=IkXX_k=I^X_k. For each cell heIkXh e I^X_k, let M(h)M(h) denote its associated manifold diagram and let ⟦h⟧\llbracket h\rrbracket denote its corresponding framed stratification.

CW reconstruction conjecture. There is a non-unique ∞\infty-groupoid XX such that Xk=IkXX_k=I^X_k and, for each heIkXh e I^X_k, M(h)M(h) is equivalent to ⟦h⟧\llbracket h\rrbracket. Conversely, if XX arises from XX in this way, then XX as a CW-complex can be uniquely recovered from XX by a mapping from groupoids to CW-complexes based on the inverse of the generalised Thom–Pontryagin construction.

This is the proposed upper correspondence in the paper's square relating higher groupoids, CW-complexes, manifold diagrams and framed stratifications. It is stated as a conjecture, with no resolution given.

References

Primary source

Christoph Dorn, “Associative n-categories”, arXiv:1812.10586 (2023).

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.