Acyclic direction contractad homotopy-equivalence conjecture

From papers

Let Γ\Gamma be a graph and let ConfΓ(Rd)\operatorname{Conf}_{\Gamma}(\mathbb{R}^d) be its configuration space. Let ADd(Γ)\operatorname{\mathsf{AD}}_d(\Gamma) be the poset of acyclic directions on Γ\Gamma, and let ADd(Γ)|\operatorname{\mathsf{AD}}_d(\Gamma)| denote its geometric realization. Consider the map

ψd ⁣:Conf(Rd)ADd.\psi_d\colon \operatorname{Conf}(\mathbb{R}^d)\to \operatorname{\mathsf{AD}}_d.

Acyclic direction contractad homotopy-equivalence conjecture. The map ψd\psi_d induces a homotopy equivalence of topological graphical collections

ConfΓ(Rd)ADd(Γ).\operatorname{Conf}_{\Gamma}(\mathbb{R}^d)\simeq |\operatorname{\mathsf{AD}}_d(\Gamma)|.

The statement would identify the acyclic direction contractad with a combinatorial model for configuration spaces. The supplied text does not establish the claimed equivalence in this general form, so its resolution remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Anton Khoroshkin and Denis Lyskov, “Graphical configuration spaces, Contractads and Formality”, arXiv:2509.21255 (2026).

Solutions 0

No solutions have been posted yet.