Inheritance of non-topological-group property under h-embeddings into superspaces
Determine whether the failure of Homp(X) to be a topological group is preserved when passing to a superspace Y in which X h-embeds as an open subset. Specifically, assume X h-embeds in Y as an open subset and Homp(X), the group of homeomorphisms of X endowed with the topology of point-wise convergence, is not a topological group. Ascertain whether Homp(Y) must also fail to be a topological group, and analyze the case when X is a dense (or open and dense) subset of Y.
References
Question 2.4. Suppose that X is h-embedded in Y as an open subset. Suppose that Homp(X) is not a topological group. Can one conclude that Homp(Y) is not a topological group? What if X is a dense (or open and dense) subset of X ?
— On Topological Groups of Automorphisms
(2406.14771 - Buzyakova, 20 Jun 2024) in Question 2.4, Section 2