The cohomology approximation conjecture for random cubical covers

Let TT be a pure (k+1)(k+1)-dimensional cubical complex. Let Th,dT^\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 d4(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.

Sources & referencesView supporting material

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.