The cohomology approximation conjecture for random cubical covers

About 3 years old · traced to

Let TT be a pure (k+1)(k+1)-dimensional cubical complex. Let Th,d□T^\Box_{h,d} denote the uniform measure on (k+1)(k+1)-dimensional, dd-regular cubical complexes equipped with a cubical map τ\tau to TT that is generically hdhd to 11.

Cohomology approximation conjecture. If d≥4(2k+1)2d \geq 4(2k+1)^2, then, as hh tends to infinity, the induced map τ∗\tau^* on the kkth cohomology groups is an isomorphism to H~k(T)\widetilde{H}^k(T).

This conjecture extends the preceding examples involving maps to a cube or a torus to arbitrary pure cubical complexes. The supplied text gives no resolution or further conditions, so the conjectural asymptotic assertion remains open.

References

Primary source

Eric Babson and Volkmar Welker, “Homological algebra and poset versions of the Garland method”, arXiv:2308.00972 (2026).

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.