The Gurarij space's WEMI and transitive-space conjecture
The Gurarij space's WEMI and transitive-space conjecture
The Gurarij space is denoted by , and denotes its isometric automorphism group. A complete -space is a complete metric space equipped with a continuous action of this group; it is transitive if the action has a single orbit. WEMI refers to the property that every weakly eliminating metric imaginary is equivalent to a metric imaginary.
Gurarij space conjecture. The Gurarij space has WEMI, and every transitive complete -space is a singleton.
The Gurarij space is a natural candidate because it is -categorical and eliminates quantifiers, while its automorphism group does not act transitively on each sphere. The source indicates that an explicit analysis of its imaginary sorts is expected to be possible, but does not establish the stated WEMI and transitive-space conclusions.
Sources & referencesView supporting material
Primary source
Itaï Ben Yaacov, “On Roeckle-precompact Polish group which cannot act transitively on a complete metric space”, arXiv:1510.00238 (2016).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.