Pith. sign in

REVIEW 3 major objections 7 minor 27 references

Algebraic and geometric properties of homeomorphism groups of ordinals

T0 review · 3 major / 7 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A homeomorphism of a degree-one ordinal normally generates the group if and only if it permutes infinitely many maximal-rank points.

desk verdict Genuinely new results on ordinal homeomorphism groups; the one flagged gap in Galvin's lemma is repairable and the paper deserves peer review. read the letter →

arxiv 2412.17103 v2 pith:TACWTXZ5 submitted 2024-12-22 math.GR math.GNmath.GT

Megha Bhat , Rongdao Chen , Adityo Mamun , Ariana Verbanac , Eric Vergo , Nicholas G. Vlamis This is my paper · ORCID
classification math.GRmath.GNmath.GT MSC 22F5020B27
keywords homeomorphismgroupsofordinalsnormalgeneratorsuniformperfectnessstrongdistortiontopologicalmoietiessymmetricgrouponacountablesetsemidirectproductdecomposition
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper studies the homeomorphism groups of compact ordinals—spaces arranged like a well-ordered spine with one or more top accumulation levels. Its central claim is that for the degree-one groups $H_{\alpha,1}=\mathrm{Homeo}(\omega^{\alpha+1}+1)$, the algebraic structure is governed by the action on the maximal-rank points: a homeomorphism normally generates the group if and only if it permutes infinitely many of those points, and when it does, every element of the group is a product of at most twelve conjugates of it and its inverse. From a uniform fragmentation lemma the paper derives uniform perfectness (commutator width at most three) and strong distortion, hence strong boundedness. These results recover the classical facts about the symmetric group on a countable set—that finite permutations form the unique largest proper normal subgroup and that all left-invariant metrics have bounded diameter—as special cases. For higher-degree ordinals the paper proves a topological semidirect product decomposition into a finite part, a free abelian part, and the symmetric group, and computes abelianizations and minimal normal generating sets in the base case.

What carries the argument

The load-bearing mechanism is a uniform fragmentation lemma (Proposition 3.6): for any two disjoint topological moieties $A$ and $B$ whose union is again a topological moiety, every homeomorphism of $\omega^{\alpha+1}$ lies in $F_A F_B F_A \cup F_B F_A F_B$, where $F_A$ denotes the subgroup fixing $A$ pointwise. A topological moiety is a clopen subset containing infinitely many maximal-rank points whose complement also contains infinitely many; Proposition 3.2 shows every such subset is homeomorphic to the whole space, so it can serve as a coordinate patch. This fragmentation converts the local fact that a homeomorphism supported in a moiety is a commutator (Lemma 3.7, via a convergent translation) into global width bounds: three commutators for uniform perfectness and twelve conjugates for normal generation. The same machinery supports the strong-distortion proof, where translations spread a given element into locally finite disjoint pieces.

What would settle it

Test the fragmentation lemma directly in the case $\alpha=1$: identify $\omega^2+1$ with a top point followed by countably many copies of $\omega+1$, let $A$ be the moiety of even-indexed blocks, let $B$ be the odd-indexed blocks, and let $h$ be the homeomorphism shifting every block one position to the right. If $h$ cannot be written as a product of three homeomorphisms alternately supported in $A$ and $B$, then the lemma fails and Theorems 3.8, 3.12, and 3.14 collapse.

Watch

Extended reading notes

Core claim

The paper's core discovery is that the homeomorphism group $H_{\alpha,1}=\mathrm{Homeo}(\omega^{\alpha+1}+1)$ is uniformly perfect and strongly distorted, and that its normal-generating elements are exactly those homeomorphisms inducing an infinite permutation on the set of maximal-rank points. Theorem 3.12 shows that three conditions coincide: normal generation, uniform normal generation with width at most twelve, and inducing an infinite permutation of those top-level points. Theorem 3.8 bounds the commutator width by three, and Theorem 3.14 establishes strong distortion by expressing any sequence of homeomorphisms as short words in a set of four elements. The mechanism behind all three is a fragmentation lemma that decomposes any homeomorphism into three pieces, each supported in a topological moiety, together with a translation argument that turns local support into bounded commutator and conjugate expressions. As a consequence, the homeomorphisms inducing only finite permutations of the maximal-rank points form the unique maximal proper normal subgroup, which in the base case is the classical statement for the countable symmetric group.

Load-bearing premise

Everything in the degree-one case rests on the fragmentation lemma asserting that any homeomorphism of $\omega^{\alpha+1}$ can be factored across two disjoint moieties whose union is a moiety; in turn, that lemma needs every topological moiety to be homeomorphic to the whole space.

Editorial extensions

If this is right

  • The homeomorphisms of $H_{\alpha,1}$ that induce only finite permutations of the maximal-rank points form the unique maximal proper normal subgroup, containing every proper normal subgroup.
  • Every element of $H_{\alpha,1}$ is a product of at most three commutators, so the group is uniformly perfect.
  • $H_{\alpha,1}$ is strongly distorted, hence strongly bounded: every left-invariant metric has bounded diameter and every action on a metric space has bounded orbits; for $\alpha=0$ this reproves the classical bounded-diameter theorem for the countable symmetric group.
  • For $d>1$, the groups $PH_{\alpha,d}$ and $H_{\alpha,d}$ admit topological semidirect product decompositions $PH_{\alpha,d}\cong \overline{F}_{\alpha,d}\rtimes \mathbb{Z}^{d-1}$ and $H_{\alpha,d}\cong PH_{\alpha,d}\rtimes \mathrm{Sym}(d)$, which forces them to be neither perfect nor (coarsely) strongly bounded.
  • In the base case $\alpha=0$, the abelianization of $PH_{0,d}$ is $\mathbb{Z}^{d-1}$, that of $H_{0,d}$ is $(\mathbb{Z}/2\mathbb{Z})^2$, and the minimal cardinalities of normal generating sets are $d-1$ and $2$, respectively.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The uniform width twelve in Theorem 3.12 is likely not optimal: in the base case $\alpha=0$, the known four-conjugate bound for infinite permutations of a countable set suggests the ordinal statement may hold with a smaller constant, and the fragmentation argument leaves the constant visible for improvement.
  • If the closure subgroup $\overline{F}_{\alpha,d}$ were uniformly perfect for every $\alpha$, which the paper leaves open, then Theorem 4.4 would give abelianizations of $PH_{\alpha,d}$ and $H_{\alpha,d}$ identical to the $\alpha=0$ case; this could be tested by pushing Theorem 4.7 through the completion.
  • The same moiety-fragmentation mechanism should apply to homeomorphism groups of other scattered compact zero-dimensional spaces whose topology is built from a well-ordered accumulation-point ladder, yielding uniform perfectness and strong distortion there as well.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 7 minor

Summary. The paper studies the homeomorphism groups H_{\alpha,d} of compact successor ordinals whose limit capacity is also a successor, i.e., ordinals of the form \omega^{\alpha+1}\cdot d+1. It proves several structural results: for d=1, the group Homeo(\omega^{\alpha+1}) is uniformly perfect with commutator width at most three, its normal generators are exactly the homeomorphisms inducing an infinite permutation of the maximal-rank points (with uniform width at most twelve), and it is strongly distorted. These results recover and give new proofs of classical theorems of Schreier–Ulam and Bergman for Sym(N). For d>1, the paper establishes split short exact sequences giving topological semidirect product decompositions of PH_{\alpha,d} and H_{\alpha,d}, computes the abelianizations of PH_{0,d} and H_{0,d}, and determines the minimal cardinalities of normal generating sets for these groups. The paper is self-contained in its ordinal topology background and is motivated by analogies with big mapping class groups.

Significance. If the proofs are completed as indicated below, this is a solid contribution to the algebraic theory of homeomorphism groups of ordinals. The paper gives explicit, uniform bounds for perfectness, normal generation, and distortion, and it recovers the Schreier–Ulam and Bergman theorems as corollaries of the d=1 analysis. The use of Galvin's fragmentation lemma and Anderson's commutator method is well matched to the problem, and the semidirect product decompositions for d>1 provide a clear structural picture not previously available. The main theorems are internally consistent and do not rely on the results they recover; the connections to big mapping class groups are appropriately contextualized rather than overclaimed.

major comments (3)
  1. [Section 3.2, Proposition 3.6] The step asserting the existence of f2 in F_B with f2(f1(h(A))) = A is not justified. This is the heart of the Galvin-type fragmentation argument, and the claim is not automatic from the fact that (f1\circ h)(A) is disjoint from a moiety contained in C. Please expand this step. One working route is to choose M1 = (h(A)\cap C) \cup E, where E is a topological moiety of C\setminus h(A), so that f1(h(A)) is a topological moiety of the clopen subspace A\cup C; then Lemma 3.3 applied inside A\cup C produces f2, which is extended by the identity on B. Since this proposition feeds directly into Theorems 3.8, 3.12, and 3.14, the proof should be written out explicitly.
  2. [Section 3.4, Theorem 3.14] The reduction of an arbitrary sequence {h_n} to factors supported in A is not spelled out and, as written, does not follow immediately from Proposition 3.6. That proposition produces factors in F_A and F_C, i.e., factors supported in the complements of A and C, not in A. The choice of the two moieties used in Proposition 3.6 and the choice of the conjugating homeomorphism theta must be made explicit; otherwise the claimed word length 12n+18 in {sigma, tau, phi, theta} is not established. This is a load-bearing step for the strong distortion theorem and should be clarified.
  3. [Section 4.2, Lemma 4.3] The appeal to Corollary 1.1 to conclude that G_k \cap \overline{F} = G_k is too compressed. What is needed is the additional observation that the finite permutations of the maximal-rank points in Homeo(\omega^{\alpha+1}) are dense in the compact-open topology, so that their closure is the whole group; Corollary 1.1 alone gives maximality of the finite-permutation subgroup, not density. This argument underpins the identification of the kernel of chi with \overline{F} in Theorem 4.4 and should be stated.
minor comments (7)
  1. [Theorem 3.12 and Introduction] The statement 'the h-width of H_{\alpha,d} is at most twelve' should read 'the h-width of H_{\alpha,1}' throughout, since h is an element of H_{\alpha,1}.
  2. [Section 2.1] The sentence 'The strict total order \le gives rise to a non-strict order <' is backwards: \le is the non-strict order and < is the strict order. Please correct this terminology.
  3. [Definition 2.2] The phrase 'an von Neumann ordinal' should be 'a von Neumann ordinal'.
  4. [Section 3.2, Proposition 3.6] In the sentence 'We can then write C = M1 \cup M2, where M1 and M2 are disjoint topological moieties and h(A)\cap C \subset M1', the existence of such M1 and M2 is not immediate and should be justified briefly.
  5. [Section 4.1, after defining chi_k] The assertion 'It is readily verified that chi_k is a homomorphism' should be supported by a one-sentence argument, since this homomorphism is central to the short exact sequence in Theorem 4.4.
  6. [Section 4.2, Lemma 4.6] The conclusion that G is isomorphic to Homeo(\omega^{\alpha+1}) should explicitly note that the element inducing an infinite permutation on N_{\alpha,d} normally generates Homeo(U) by Theorem 3.12, so the image of G in Homeo(U) is all of Homeo(U).
  7. [Section 4.3, Theorem 4.11] In the proof, 'the induced permutation of h on Sym(M)' should be 'the induced permutation of h on M' (or 'the induced permutation in Sym(M)').

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: all load-bearing ingredients are external (Galvin, Anderson, Le Roux–Mann); recovered classical results are corollaries.

full rationale

The paper's central results are derived from stated external anchors rather than from its own conclusions. Proposition 3.6 is explicitly presented as an extension of Galvin's lemma, with a citation to Galvin [12]; Proposition 3.9 adapts Anderson's technique [1]; and the strong-distortion result is a rephrasing of Le Roux–Mann [19, Construction 2.3]. The classical theorems of Schreier–Ulam and Bergman appear as corollaries, not as inputs. The only author-overlapping citation, Lanier–Vlamis [18], appears in the motivational discussion of mapping class groups and does not support any of the paper's ordinal homeomorphism group theorems. The compressed assertion in the proof of Proposition 3.6 concerning the existence of f2 is a proof gap rather than a circular step, and the reader's reconstruction shows it can be filled without importing the theorem being proved. No parameter is fitted to a subset of data and then relabeled as a prediction, no uniqueness theorem is imported from the authors' own prior work, and no ansatz is smuggled in through a self-citation. The derivation chain is therefore self-contained with respect to the paper's claims.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters are fitted to data; the paper is a pure mathematical derivation. It relies on standard set-theoretic and topological background, including transfinite induction, Cantor normal form, Arens' theorem on homeomorphism groups, and its own topological classification of successor ordinals. No new physical or independent mathematical entities are postulated.

assumptions (3)
  • standard math ZFC with transfinite induction and von Neumann ordinals
    Unproved background for Section 2: every well-ordered set is order-isomorphic to a unique ordinal, and ordinal arithmetic is used throughout.
  • standard math Arens' theorem: the homeomorphism group of a compact Hausdorff space with the compact-open topology is a topological group
    Used in Proposition 2.27 and in the continuity statements of Theorem 4.4.
  • standard math Topological classification of successor ordinals by limit capacity and coefficient
    Proved in the paper as Theorem 2.18, but treated as a foundational structural fact organizing all later arguments.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Algebraic and geometric properties of homeomorphism groups of ordinals." pith.science (2026). https://pith.science/paper/TACWTXZ5

@misc{pith2026241217103,
  author       = {Pith},
  title        = {Pith review of: Algebraic and geometric properties of homeomorphism groups of ordinals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TACWTXZ5}},
  note         = {Machine review of arXiv:2412.17103}
}
read the original abstract

We study the homeomorphism groups of ordinals equipped with their order topology, focusing on successor ordinals whose limit capacity is also a successor. This is a rich family of groups that has connections to both permutation groups and homeomorphism groups of manifolds. For ordinals of Cantor--Bendixson degree one, we prove that the homeomorphism group is strongly distorted and uniformly perfect, and we classify its normal generators. As a corollary, we recover and provide a new proof of the classical result that the subgroup of finite permutations in the symmetric group on a countably infinite set is the maximal proper normal subgroup. For ordinals of higher Cantor--Bendixson degree, we establish a semi-direct product decomposition of the (pure) homeomorphism group. When the limit capacity is one, we further compute the abelianizations and determine normal generating sets of minimal cardinality for these groups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    R. D. Anderson, The algebraic simplicity of certain groups of homeomorphisms, Amer. J. Math. 80 (1958), 955–963

    work page 1958

  2. [2]

    Richard Arens, Topologies for homeomorphism groups, Amer. J. Math. 68 (1946), 593–610

    work page 1946

  3. [3]

    Juhun Baik, Topological normal generation of big mapping class groups, Preprint, arXiv:2409.12700 [math.GR] (2024), 2024

    work page arXiv 2024

  4. [4]

    Bergman, Generating infinite symmetric groups, Bull

    George M. Bergman, Generating infinite symmetric groups, Bull. London Math. Soc. 38 (2006), no. 3, 429–440

    work page 2006

  5. [5]

    Bertram, On a theorem of Schreier and Ulam for countable permutations, J

    Edward A. Bertram, On a theorem of Schreier and Ulam for countable permutations, J. Algebra 24 (1973), 316–322 (English)

    work page 1973

  6. [6]

    Classification of Stable Surfaces with respect to Automatic Continuity

    Mladen Bestvina, George Domat, and Kasra Rafi, Classification of Stable Surfaces with respect to Automatic Continuity, Preprint, arXiv:2411.12927 [math.GT] (2024), 2024. Algebraic and geometric properties of homeomorphism groups of ordinals 29

    work page Pith review arXiv 2024

  7. [7]

    Beth Branman, George Domat, Hannah Hoganson, and Robert Alonzo Lyman, Graphical models for topological groups: A case study on countable Stone spaces, Preprint, arXiv:2411.15337 [math.GR] (2024), 2024

    work page Pith review arXiv 2024

  8. [8]

    Freedman, Distortion in transformation groups, Geom

    Danny Calegari and Michael H. Freedman, Distortion in transformation groups, Geom. Topol. 10 (2006), 267–293, With an appendix by Yves de Cornulier

    work page 2006

Show all 27 references
  1. [9]

    39, Cambridge University Press, Cambridge, 1997

    Krzysztof Ciesielski, Set theory for the working mathematician, London Mathematical Society Student Texts, vol. 39, Cambridge University Press, Cambridge, 1997

    1997

  2. [10]

    George Domat and Ryan Dickmann, Big pure mapping class groups are never perfect, Math. Res. Lett. 29 (2022), no. 3, 691–726 (English)

    2022

  3. [11]

    2, 211–226

    Alan Dow and Peter Simon, Thin-tall Boolean algebras and their automorphism groups , Algebra Universalis 29 (1992), no. 2, 211–226

    1992

  4. [12]

    London Math

    Fred Galvin, Generating countable sets of permutations, J. London Math. Soc. (2) 51 (1995), no. 2, 230–242

    1995

  5. [13]

    Maxime Gheysens, Dynamics and structure of groups of homeomorphisms of scattered spaces, Enseign. Math. (2) 67 (2021), no. 1-2, 161–186 (English)

    2021

  6. [14]

    , The homeomorphism group of the first uncountable ordinal, Enseign. Math. (2) 67 (2021), no. 1-2, 145–159 (English)

    2021

  7. [15]

    Jes´us Hern´andez Hern´andez, Michael Hru˘s´ak, Christian Rosendal, and Ferr´an Valdez, Ample generics in homeomorphism groups of countable ordinals, In progress

  8. [16]

    Thomas Jech, Set theory, millennium ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003

    2003

  9. [17]

    12, 2024 at https://eprints.illc.uva.nl/id/ eprint/232/1/PP-2006-57.text.pdf

    Vincent Kieftenbeld and Benedikt L ¨owe, A classification of ordinal topologies, ILLC Publication Series (2006), PP–2006–57, Accessed on Oct. 12, 2024 at https://eprints.illc.uva.nl/id/ eprint/232/1/PP-2006-57.text.pdf

    2006

  10. [18]

    Vlamis, Mapping class groups with the Rokhlin property, Math

    Justin Lanier and Nicholas G. Vlamis, Mapping class groups with the Rokhlin property, Math. Z. 302 (2022), no. 3, 1343–1366

    2022

  11. [19]

    Fr´ed´eric Le Roux and Kathryn Mann, Strong distortion in transformation groups, Bull. Lond. Math. Soc. 50 (2018), no. 1, 46–62

    2018

  12. [20]

    Azriel Levy, Basic set theory, Perspect. Math. Log., Springer, Berlin, 1979 (English)

    1979

  13. [21]

    Justin Malestein and Jing Tao, Self-similar surfaces: involutions and perfection, Mich. Math. J. 74 (2024), no. 3, 485–508 (English)

    2024

  14. [22]

    Kathryn Mann and Kasra Rafi, Large-scale geometry of big mapping class groups, Geom. Topol. 27 (2023), no. 6, 2237–2296

    2023

  15. [23]

    Oystein Ore, Some remarks on commutators, Proc. Amer. Math. Soc. 2 (1951), 307–314

    1951

  16. [24]

    Ian Richards, On the classification of noncompact surfaces , Trans. Am. Math. Soc. 106 (1963), 259–269 (English)

    1963

  17. [25]

    Tracts Math., vol

    Christian Rosendal, Coarse geometry of topological groups, Camb. Tracts Math., vol. 223, Cambridge: Cambridge University Press, 2021 (English)

    2021

  18. [26]

    Schreier, J., ¨Uber die permutationsgruppe der nat¨urlichen zahlenfolge, Studia Mathematica 4 (1933), no

    Ulam S. Schreier, J., ¨Uber die permutationsgruppe der nat¨urlichen zahlenfolge, Studia Mathematica 4 (1933), no. 1, 134–141 (ger)

    1933

  19. [27]

    W. R. Scott, Group theory, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1964. 30 Megha Bhat, Rongdao Chen, Adityo Mamun, Ariana Verbanac, Eric Vergo and Nicholas G. Vlamis Department of Mathematics, CUNY Graduate Center, New York, NY 10016 Department of Mathematics, CUNY Graduat...

    1964

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.