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’