Long colimits of topological groups. I. Continuous maps and homeomorphisms

From MaRDI portal
Publication:2291587



Abstract: The union of a directed family of topological groups can be equipped with two noteworthy topologies: the finest topology making each injection continuous, and the finest group topology making each injection continuous. This begs the question of whether the two topologies coincide. If the family is countable, the answer is well known in many cases. We study this question in the context of so-called long families, which are as far as possible from countable ones. As a first step, we present answers to the question for families of group-valued continuous maps and homeomorphism groups, and provide additional examples.


Given a directed family \(\{G_\alpha\}_{\alpha \in {\mathbb I}}\) of topological groups with closed embeddings as bonding maps, their union \(G=\bigcup_{\alpha \in {\mathbb I}}G_\alpha\) can be endowed with two topologies, the colimit space topology defined as the finest topology \({\mathcal T}\) making each map \(G_\alpha \rightarrow G\) continuous, and the colimit group topology defined as the finest group topology \({\mathcal A}\) making each map \(G_\alpha\rightarrow G\) continuous. The former topology is always finer than the latter, which raises the question of when the two topologies coincide. The authors say that \(\{G_\alpha\}_{\alpha \in {\mathbb I}}\) satisfies the algebraic colimit property (ACP) if \({\mathcal T}={\mathcal A}.\) The family \(\{G_\alpha\}_{\alpha \in {\mathbb I}}\) satisfies ACP if and only if \((G,{\mathcal T})\) is a topological group (equivalently, the multiplication \(m:(G,{\mathcal T})\times (G,{\mathcal T})\rightarrow (G,{\mathcal T})\) is continuous). Motivated by the fact that ACP is reasonably well understood for countable families of metrizable groups, the goal of the present investigation is to examine the problem in the context of so-called long families, which are (in an appropriate sense) as far as possible from countable ones. The authors give answers to the question for families of group-valued continuous maps and homeomorphism groups. Additional examples illustrate their theory.











This page was built for publication: Long colimits of topological groups. I. Continuous maps and homeomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2291587)