The sparse simplicial-complex index conjecture

About 8 years old · traced to

Let H⊂2[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)⩽2k−3.\mathrm{ind}_{\mathbb Z_2}(\mathcal H^{*2}_{\Delta})\leqslant 2k-3.

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

References

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.