CW-complex reconstruction from associative higher groupoids

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.

Sources & referencesView supporting material

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.