The non-T0T_0 geometric-realisation conjecture for finite spaces

About 2 years old · traced to

Let YY be a finite topological space, and let ∣Y∣ω|Y|_\omega denote its non-T0T_0 geometric realisation. Let W→V\mathsf{W}\to\mathsf{V} and V→{∙}\mathsf{V}\to\{\bullet\} be the finite-space maps used above. The geometric-realisation conjecture. The canonical map

∣Y∣ω⟶Y|Y|_\omega\longrightarrow Y

lies in

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

This is proposed as an analogue of a theorem for perfectly normal spaces, after dropping perfect normality; the paper gives evidence but leaves the assertion conjectural.

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.