The sparse simplicial-complex index conjecture

Let H2[n]\mathcal H\subset 2^{[n]} be a simplicial complex, and let HΔ2\mathcal H^{*2}_{\Delta} be its deleted join. Its Z2\mathbb Z_2-index, denoted indZ2(HΔ2)\mathrm{ind}_{\mathbb Z_2}(\mathcal H^{*2}_{\Delta}), is the least dd for which there is a Z2\mathbb Z_2-equivariant map from its polyhedron to SdS^d. Sparse simplicial-complex index conjecture. There exists a constant c>1c>1 such that, whenever H\mathcal H has fewer than ckc^k kk-element sets,

indZ2(HΔ2)2k3.\mathrm{ind}_{\mathbb Z_2}(\mathcal H^{*2}_{\Delta})\leqslant 2k-3.

Moreover, the stronger assertion that H\mathcal H is embeddable into R2k3\mathbb R^{2k-3} may hold. The conjecture is presented as implying the preceding exponential-deficit conjecture; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Sergei Kiselev and Andrey Kupavskii, “Sharp bounds for the chromatic number of random Kneser graphs”, arXiv:1810.01161 (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.