Dice Question Streamline Icon: https://streamlinehq.com

Open-cover-to-space transfer for Homp(X) being a topological group

Determine whether Homp(X), the group of homeomorphisms of X with the topology of point-wise convergence, is a topological group under the assumption that X has an open cover U such that Homp(U) is a topological group for every U in the cover.

Information Square Streamline Icon: https://streamlinehq.com

Background

The author seeks criteria under which the property that Homp(X) is a topological group can be deduced from local data. This question asks whether verifying the property on each member of an open cover suffices to guarantee it for the entire space.

Such a result would provide a powerful local-to-global principle for the structure of homeomorphism groups with the pointwise convergence topology.

References

Question 3.8. Let X have an open cover U such that Homp(U) is a topological group for every U EU. Is Homp(X) a topological group?

On Topological Groups of Automorphisms (2406.14771 - Buzyakova, 20 Jun 2024) in Question 3.8, Section 3