The equality conjecture for iterated local dimension sets

About 3 years old · traced to

Let XX be a topological space that is almost zero-dimensional, meaning that it has a basis of open sets whose boundaries are zero-dimensional. Define

Λ(X)={x∈X:X is 1-dimensional at x}\Lambda(X)=\{x\in X:X\text{ is 1-dimensional at }x\}

and

Λ2(X)=Λ(Λ(X))={x∈Λ(X):Λ(X) is 1-dimensional at x}.\Lambda^2(X)=\Lambda(\Lambda(X))=\{x\in\Lambda(X):\Lambda(X)\text{ is 1-dimensional at }x\}.

Equality conjecture. If XX is almost zero-dimensional, then

Λ2(X)=Λ(X).\Lambda^2(X)=\Lambda(X).

The preceding result establishes only that Λ2(X)\Lambda^2(X) is dense in Λ(X)\Lambda(X) for almost zero-dimensional spaces; the conjecture asks whether this dense subset must equal all of Λ(X)\Lambda(X).

References

Primary source

David S. Lipham, “A dichotomy for spaces near dimension zero”, arXiv:2304.09380 (2023).

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.