Equality of π(b_r G) and e_{c_m X}G for ultrahomogeneous LOTS
Determine whether the equality π(b_r G) = e_{c_m X}G holds for G = Aut(X) with the topology of pointwise convergence Ο_p acting on an ultrahomogeneous linearly ordered topological space X, where b_r G is the Roelcke compactification of G and c_m X is the least linearly ordered compactification of X.
References
Question. Is the equality π (b_r G) = e_{c_m X} G valid?
                — Enveloping semigroups as compactifications of topological groups
                
                (2509.17577 - Kozlov et al., 22 Sep 2025) in Question, Section 6.2 (Ellis compactifications of the automorphism group of ultrahomogeneous LOTS), after Theorem βRoelcke precomp4-3-1β