The finite-space characterization of Lebesgue covering dimension

Let Δn\partial\Delta^n be a finite topological space weakly homotopy equivalent to the sphere Sn\mathbb S^n, with SnΔn\mathbb S^n\to\partial\Delta^n a trivial Serre fibration, and let Hˇq(X)\check{\mathrm{H}}_q(X) denote the chosen Čech qq-th homology group. Let WV\mathsf{W}\to\mathsf{V} and V{}\mathsf{V}\to\{\bullet\} be the indicated finite-space maps. The Lebesgue-dimension conjecture. For a finite CW complex XX,

Hˇq(X)=0for q>n\check{\mathrm{H}}_q(X)=0\quad\text{for }q>n

if and only if

X{}{Δn{},WV,V{}}lr.X\to\{\bullet\}\in\{\partial\Delta^n\to\{\bullet\},\,\mathsf{W}\to\mathsf{V},\,\mathsf{V}\to\{\bullet\}\}^{lr}.

The source explicitly leaves the homological theory underspecified, so the proposed equivalence is open and tentative.

Sources & referencesView supporting material

Primary source

Misha Gavrilovich, “Finite combinatorics implicit in the basic definitions of topology”, arXiv:2409.20464 (2024).

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.