English

Discontinuous actions on cones, joins, and $n$-universal bundles

General Topology 2026-04-07 v3 Category Theory Group Theory

Abstract

We prove that locally countably-compact Hausdorff topological groups G\mathbb{G} act continuously on their iterated joins EnG:=G(n+1)E_n\mathbb{G}:=\mathbb{G}^{*(n+1)} (the total spaces of the Milnor-model nn-universal G\mathbb{G}-bundles) as well as the colimit-topologized unions EG=limnEnGE\mathbb{G}=\varinjlim_n E_n\mathbb{G}, and the converse holds under the assumption that G\mathbb{G} is first-countable. In the latter case other mutually equivalent conditions provide characterizations of local countable compactness: the fact that G\mathbb{G} acts continuously on its first self-join E1GE_1\mathbb{G}, or on its cone CG\mathcal{C}\mathbb{G}, or the coincidence of the product and quotient topologies on G×CX\mathbb{G}\times \mathcal{C}X for all spaces XX or, equivalently, for the discrete countably-infinite X:=0X:=\aleph_0. These can all be regarded as weakened versions of G\mathbb{G}'s exponentiability, all to the effect that G×\mathbb{G}\times - preserves certain colimit shapes in the category of topological spaces; the results thus extend the equivalence (under the separation assumption) between local compactness and exponentiability.

Keywords

Cite

@article{arxiv.2512.10784,
  title  = {Discontinuous actions on cones, joins, and $n$-universal bundles},
  author = {Alexandru Chirvasitu},
  journal= {arXiv preprint arXiv:2512.10784},
  year   = {2026}
}

Comments

v3 updates acknowledgments; 13 pages + references