The naive combinatorial model-structure conjecture

About 5 years old · traced to

Let MM be the five-point space with two open and three closed points, let Λ\Lambda be the three-point space with one open and two closed points, and let {M→Λ}l\left\{M\to\Lambda\right\}^{l} and {M→Λ}lr\left\{M\to\Lambda\right\}^{lr} denote the corresponding orthogonality classes. For a finite-space map p:Y→Bp:Y\to B, write Yp ⁣ ⁣↘BY_{{}_p\!\!\searrow}\underset{B}{} for its non-Hausdorff mapping-cone object. Naive combinatorial model-structure conjecture. A closed model structure on the category of topological spaces is defined by taking {M→Λ}l\left\{M\to\Lambda\right\}^{l} as the cofibrations, {M→Λ}lr\left\{M\to\Lambda\right\}^{lr} as the trivial fibrations,

{Y→pB: ∣Y∣<∞, ∣B∣<∞, and Yp ⁣ ⁣↘B∈{M→Λ}lr}l\left\{Y\xrightarrow p B:\ |Y|<\infty,\ |B|<\infty,\text{ and }Y_{{}_p\!\!\searrow}\underset{B}{}\in\left\{M\to\Lambda\right\}^{lr}\right\}^{l}

as the trivial cofibrations,

{Y→pB: ∣Y∣<∞, ∣B∣<∞, and Yp ⁣ ⁣↘B∈{M→Λ}lr}lr\left\{Y\xrightarrow p B:\ |Y|<\infty,\ |B|<\infty,\text{ and }Y_{{}_p\!\!\searrow}\underset{B}{}\in\left\{M\to\Lambda\right\}^{lr}\right\}^{lr}

as the fibrations, and the compositions of a trivial cofibration with a trivial fibration as the weak equivalences. The conjecture proposes a purely combinatorial model structure on topological spaces, but the supplied text gives no proof or resolution.

References

Primary source

M. Gavrilovich and K. Pimenov, “A suggestion towards a finitist's realisation of topology”, arXiv:2112.14751 (2021).

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.