The finite-space characterization of Lebesgue covering dimension

About 2 years old · traced to

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 W→V\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→{∙}, W→V, 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.

References

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.