arxiv: 2512.10784 · v3 · submitted 2025-12-11 · 🧮 math.GN · math.CT· math.GR

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

Alexandru Chirvasitu This is my paper

Pith reviewed 2026-05-16 23:11 UTC · model grok-4.3

classification 🧮 math.GN math.CTmath.GR

keywords topological groupslocal countable compactnessuniversal bundlesjoinsconesexponentiabilityMilnor construction

0 comments

The pith

Locally countably-compact Hausdorff groups act continuously on their iterated joins and cones.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that a Hausdorff topological group G which is locally countably compact acts continuously on each iterated join E_n G, defined as the total space of the Milnor n-universal G-bundle, and on their colimit E G. The same holds for the cone C G over G and for the coincidence of product and quotient topologies on G times C X for any space X, or even just for countable discrete X. The converse statements, that these properties imply local countable compactness, require the additional assumption that G is first-countable. These conditions are treated as weakened forms of exponentiability, extending the known equivalence of local compactness and exponentiability under separation.

Core claim

A Hausdorff topological group G is locally countably compact precisely when it acts continuously on each E_n G = G^{*(n+1)}, on the colimit E G, on the cone C G, and when the product and quotient topologies agree on G × C X for all spaces X (equivalently, for X the countable discrete space), with the converse direction holding under the extra hypothesis that G is first-countable.

What carries the argument

The iterated joins E_n G and the cone C G, on which continuous actions or topology coincidences serve as the test for local countable compactness.

If this is right

Local countable compactness implies continuous action on every iterated join E_n G and on the colimit E G.
The same local countable compactness is equivalent to continuous action on the cone C G.
It is also equivalent to the product topology equaling the quotient topology on G × C X for every space X, or just for countable discrete X.
These properties characterize local countable compactness as a weakened form of exponentiability.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The equivalences may allow construction of universal bundles for groups that fail to be locally compact but satisfy countable compactness.
Similar characterizations could be sought for other colimits or for actions in categories beyond topological spaces.
Concrete examples such as the additive group of rationals could be checked to locate the boundary between the conditions.

Load-bearing premise

The group must be Hausdorff, and additionally first-countable for the converse directions.

What would settle it

Exhibit a first-countable Hausdorff topological group that is not locally countably compact but still acts continuously on its cone C G.

read the original abstract

We prove that locally countably-compact Hausdorff topological groups $\mathbb{G}$ act continuously on their iterated joins $E_n\mathbb{G}:=\mathbb{G}^{*(n+1)}$ (the total spaces of the Milnor-model $n$-universal $\mathbb{G}$-bundles) as well as the colimit-topologized unions $E\mathbb{G}=\varinjlim_n E_n\mathbb{G}$, and the converse holds under the assumption that $\mathbb{G}$ is first-countable. In the latter case other mutually equivalent conditions provide characterizations of local countable compactness: the fact that $\mathbb{G}$ acts continuously on its first self-join $E_1\mathbb{G}$, or on its cone $\mathcal{C}\mathbb{G}$, or the coincidence of the product and quotient topologies on $\mathbb{G}\times \mathcal{C}X$ for all spaces $X$ or, equivalently, for the discrete countably-infinite $X:=\aleph_0$. These can all be regarded as weakened versions of $\mathbb{G}$'s exponentiability, all to the effect that $\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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives several equivalent conditions for local countable compactness in Hausdorff topological groups via continuous actions on joins, cones, and certain colimit preservations.

read the letter

The main takeaway is that locally countably compact Hausdorff groups act continuously on their iterated self-joins and the colimit of those joins, with the converse true when the group is first-countable. The paper also lists other equivalents, such as continuous action on the cone or the product and quotient topologies agreeing on G times the cone of any space (or just the countable discrete space). These are framed as relaxed versions of exponentiability, extending the known local compactness link under separation assumptions. The assumptions are stated clearly up front, which is helpful. The work connects these ideas to the Milnor model for universal bundles in a straightforward way. The equivalences build on standard constructions in topological groups and colimits in Top, so the conceptual setup holds together without obvious gaps. The paper does a clean job of showing how these conditions are mutually equivalent and how they weaken the usual preservation properties. One soft spot is the first-countability needed for the converse directions; it is necessary for the arguments but does restrict the scope a bit. The proofs are not visible in the abstract, but the overall logic looks consistent and the claims do not overreach. This is a niche result inside general topology. Specialists working on topological groups, actions, or bundle models would get the most from the list of equivalents and the precise conditions. A reader focused on characterizations of local properties or colimit behavior in categories of spaces would find it useful. It is solid enough incremental work to deserve a serious referee rather than a desk reject.

Referee Report

0 major / 3 minor

Summary. The paper establishes that locally countably-compact Hausdorff topological groups G act continuously on their iterated joins E_n G := G^{*(n+1)} (total spaces of Milnor-model n-universal G-bundles) and on the colimit E G = colim_n E_n G. The converse holds when G is first-countable. Equivalent conditions under these hypotheses include continuous action on the first self-join E_1 G or on the cone C G, and coincidence of product and quotient topologies on G × C X for all spaces X (equivalently for discrete countable X). These are presented as weakened forms of exponentiability, extending the known equivalence (under separation) between local compactness and exponentiability.

Significance. If the equivalences hold, the work supplies new topological characterizations of local countable compactness for Hausdorff groups via continuity of actions on joins, cones, and colimit-preserving properties. This is of interest in the study of universal bundles, topological group actions, and exponentiability in the category of spaces, providing concrete weakenings of the local-compactness/exponentiability link that are explicitly tied to first-countability and Hausdorff separation.

minor comments (3)

§1, paragraph after Definition 1.2: the notation E_n G := G^{*(n+1)} is introduced without an explicit inductive definition of the join operation *; adding a one-line recursive formula would improve readability for readers outside the immediate subfield.
Theorem 3.4 (converse direction): the proof invokes first-countability to ensure continuity of the induced map on the quotient; a brief remark on why countable compactness alone is insufficient (e.g., a counterexample sketch) would strengthen the necessity claim.
Figure 2 (colimit diagram for E G): the arrow labels for the bonding maps are too small to read in the printed version; increasing font size or adding a textual description of the direct-limit topology would aid clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and the recommendation for minor revision. We address the provided summary below.

read point-by-point responses

Referee: The paper establishes that locally countably-compact Hausdorff topological groups G act continuously on their iterated joins E_n G := G^{*(n+1)} (total spaces of Milnor-model n-universal G-bundles) and on the colimit E G = colim_n E_n G. The converse holds when G is first-countable. Equivalent conditions under these hypotheses include continuous action on the first self-join E_1 G or on the cone C G, and coincidence of product and quotient topologies on G × C X for all spaces X (equivalently for discrete countable X). These are presented as weakened forms of exponentiability, extending the known equivalence (under separation) between local compactness and exponentiability.

Authors: We confirm that the referee's summary accurately reflects the main theorems and equivalences established in the paper. The presentation of these results requires no alteration. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proves equivalences between local countable compactness for Hausdorff groups and continuous actions on iterated joins, cones, and colimit spaces, with first-countability explicitly required only for the converse directions. These characterizations rely on standard quotient topologies and colimit preservations in the category of spaces, without any reduction of the central claims to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The separation and countability assumptions are stated upfront in the abstract and used to secure continuity of the relevant maps, extending known local compactness-exponentiability links independently of the present derivations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard axioms of general topology and the definition of Milnor joins; no free parameters or invented entities are introduced beyond the group G and its constructions.

axioms (2)

domain assumption Hausdorff separation axiom for topological groups
Invoked explicitly for the forward direction and noted as needed for the extension of the local compactness-exponentiability equivalence.
domain assumption First-countability for the converse equivalences
Required for the converse statements involving actions on E_1 G and the cone.

pith-pipeline@v0.9.0 · 5521 in / 1284 out tokens · 57282 ms · 2026-05-16T23:11:11.961073+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 0.1: (a) G locally countably-compact ⇔ (b) continuous action on EG=lim EnG ⇔ ... ⇔ (l) continuous action on quotient cone CG (first-countable case)
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_strictMono_of_one_lt unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Prop 1.1: identity Z e× CιX ≅ product topology when Z compact<κ and χ(A,J)<κ

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

Atlantis Press, Paris; World Scientific Publishing Co

Alexander Arhangelskii and Mikhail Tkachenko.Topological groups and related structures, volume 1 ofAtlantis Studies in Mathematics. Atlantis Press, Paris; World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2008. 4

work page 2008
[2]

Atiyah and G

M. Atiyah and G. Segal. EquivariantK-theory and completion.J. Differential Geometry, 3:1–18, 1969. 2

work page 1969
[3]

Ultraproducts in topology.General Topology and Appl., 7(3):283–308, 1977

Paul Bankston. Ultraproducts in topology.General Topology and Appl., 7(3):283–308, 1977. 12

work page 1977
[4]

2: Categories and structures, volume 51 of Encycl

Francis Borceux.Handbook of categorical algebra. 2: Categories and structures, volume 51 of Encycl. Math. Appl.Cambridge: Univ. Press, 1994. 2

work page 1994
[5]

Volume 1: Basic category theory, volume 50 ofEncycl

Francis Borceux.Handbook of categorical algebra. Volume 1: Basic category theory, volume 50 ofEncycl. Math. Appl.Cambridge: Cambridge Univ. Press, 1994. 2

work page 1994
[6]

EquivariantBanach-bundlegerms, 2025.http://arxiv.org/abs/2511

AlexandruChirvasitu. EquivariantBanach-bundlegerms, 2025.http://arxiv.org/abs/2511. 13511v1. 2, 3

work page 2025
[7]

W. W. Comfort and F. Javier Trigos-Arrieta. Locally pseudocompact topological groups. Topology Appl., 62(3):263–280, 1995. 4

work page 1995
[8]

Garth Dales and W

H. Garth Dales and W. Hugh Woodin.Super-real fields, volume 14 ofLondon Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, New York,

work page
[9]

Totally ordered fields with additional structure, Oxford Science Publications. 11, 12

work page
[10]

de Vries.Topological transformation groups

J. de Vries.Topological transformation groups. 1. Mathematical Centre Tracts, No. 65. Math- ematisch Centrum, Amsterdam, 1975. A categorical approach. 6

work page 1975
[11]

C. H. Dowker. On countably paracompact spaces.Can. J. Math., 3:219–224, 1951. 13

work page 1951
[12]

Pure Math.Berlin: Heldermann Verlag, rev

Ryszard Engelking.General topology., volume 6 ofSigma Ser. Pure Math.Berlin: Heldermann Verlag, rev. and compl. ed. edition, 1989. 8, 12 13

work page 1989
[13]

Fuchs.Partially ordered algebraic systems

L. Fuchs.Partially ordered algebraic systems. Pergamon Press, Oxford; Addison-Wesley Pub- lishing Co., Inc., Reading, Mass.-Palo Alto, Calif.-London, 1963. 11

work page 1963
[14]

American Mathematical Society, Providence, RI, [2022]©2022

Isaac Goldbring.Ultrafilters throughout mathematics, volume 220 ofGraduate Studies in Math- ematics. American Mathematical Society, Providence, RI, [2022]©2022. 11

work page 2022
[15]

Cambridge: Cambridge University Press, 2002

Allen Hatcher.Algebraic topology. Cambridge: Cambridge University Press, 2002. 1

work page 2002
[16]

Husemöller, M

D. Husemöller, M. Joachim, B. Jurčo, and M. Schottenloher.Basic bundle theory andK- cohomology invariants, volume 726 ofLecture Notes in Physics. Springer, Berlin, 2008. With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz. 2

work page 2008
[17]

Springer-Verlag, New York, third edition, 1994

Dale Husemoller.Fibre bundles, volume 20 ofGraduate Texts in Mathematics. Springer-Verlag, New York, third edition, 1994. 2

work page 1994
[18]

The class ofk-compact spaces is simple.Math

Miroslav Huˇ sek. The class ofk-compact spaces is simple.Math. Z., 110:123–126, 1969. 6

work page 1969
[19]

Cardinal functions in topology - ten years later

István Juhász. Cardinal functions in topology - ten years later. Mathematical Centre Tracts

work page
[20]

IV, 160 p

Amsterdam: Mathematisch Centrum. IV, 160 p. Dfl. 20.00 (1980)., 1980. 4, 6

work page 1980
[21]

Thehyperrealline

H.JeromeKeisler. Thehyperrealline. InReal numbers, generalizations of the reals, and theories of continua, volume 242 ofSynthese Lib., pages 207–237. Kluwer Acad. Publ., Dordrecht, 1994. 11

work page 1994
[22]

An introduction to independence proofs

Kenneth Kunen.Set theory. An introduction to independence proofs. 2nd print, volume 102 of Stud. Logic Found. Math.Elsevier, Amsterdam, 1983. 4

work page 1983
[23]

David J. Lutzer. Ordered topological spaces. InSurveys in general topology, pages 247–295. Academic Press, New York-London-Toronto, Ont., 1980. 12

work page 1980
[24]

J. P. May.A concise course in algebraic topology. Chicago, IL: University of Chicago Press,

work page
[25]

Peter May

J. Peter May. Classifying spaces and fibrations.Mem. Amer. Math. Soc., 1(1, 155):xiii+98,

work page
[26]

John W. Milnor. Construction of universal bundles. II.Ann. Math. (2), 63:430–436, 1956. 1, 2

work page 1956
[27]

Munkres.Topology

James R. Munkres.Topology. Prentice Hall, Inc., Upper Saddle River, NJ, 2000. Second edition of [ MR0464128]. 4, 8

work page 2000
[28]

Categories and cohomology theories.Topology, 13:293–312, 1974

Graeme Segal. Categories and cohomology theories.Topology, 13:293–312, 1974. 2

work page 1974
[29]

DoverPublications, Inc., Mineola, NY, 1995

LynnArthurSteenandJ.ArthurSeebach, Jr.Counterexamples in topology. DoverPublications, Inc., Mineola, NY, 1995. Reprint of the second (1978) edition. 4, 8

work page 1995
[30]

EMS Textb

Tammo tom Dieck.Algebraic topology. EMS Textb. Math. Zürich: European Mathematical Society (EMS), 2008. 1, 2

work page 2008
[31]

Dover Publications, Inc., Mineola, NY, 2004

Stephen Willard.General topology. Dover Publications, Inc., Mineola, NY, 2004. Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]. 1, 2, 3, 4, 5, 11 Department of Mathematics, University at Buff alo Buff alo, NY 14260-2900, USA E-mail address:achirvas@buffalo.edu 14

work page 2004