The model-structure conjecture generated by finite topological spaces

About 2 years old · traced to

Let W→V\mathsf{W}\to\mathsf{V} and V→{∙}\mathsf{V}\to\{\bullet\} be the indicated maps of finite topological spaces, and let Top⁡\operatorname{Top} denote the category of topological spaces. The finite-space model-structure conjecture. A cellular map of finite CW complexes is a trivial fibration if and only if it lies in

{W→V, V→{∙}}lr.\{\mathsf{W}\to\mathsf{V},\,\mathsf{V}\to\{\bullet\}\}^{lr}.

Moreover, every locally trivial fibre bundle with contractible fibre over a paracompact space, and more generally every numerable fibre bundle with contractible fibre whose total space is separable metric, lies in this class; and there is a model structure on Top⁡\operatorname{Top} for which this class is the class of trivial fibrations. The source gives evidence and related speculations but no proof of the full assertion.

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.