Topological Vaught conjecture for Polish group actions

At least 24 years old · documented by

Let GG be a Polish group and let XX be a Polish GG-space, meaning that GG acts continuously on XX. An orbit is a set of the form G⋅xG\cdot x for some x∈Xx\in X; two points are equivalent when they lie in the same orbit. Topological Vaught conjecture. If XX has uncountably many orbits, then XX contains an uncountable closed set CC with no equivalent points: whenever x,y∈Cx,y\in C and y=g⋅xy=g\cdot x for some g∈Gg\in G, one has x=yx=y. This is a topological analogue of Vaught's conjecture concerning the number of models of a theory. The source provides references but no resolution, so the conjecture is treated as open here.

References

Primary source

Boris Tsirelson, “Filtrations of random processes in the light of classification theory. I. A topological zero-one law”, arXiv:math/0107121 (2001).

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.