Invariant-metric conjecture for metrizable proper group actions
Let be a locally compact group and a metrizable proper -space, where a proper -space is a completely regular Hausdorff space with a continuous -action satisfying Palais's small-neighborhood condition. A metric on is -invariant if for all and .
Invariant-metric conjecture. The topology of is metrizable by a -invariant metric.
The source says that this conjecture is open and that, for metrizable , it is equivalent to the paracompactness conjecture for orbit spaces of proper actions. It is an old problem attributed to R. Palais.
References
Primary source
Sergey A. Antonyan, “Proper actions on topological groups: Applications to quotient spaces”, arXiv:0905.2616 (2012).
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
No solutions have been posted yet.