Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Classification of Stable Surfaces with respect to Automatic Continuity

T0 review · 3 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read For stable surfaces, automatic continuity of the homeomorphism and mapping class groups holds exactly when every end is telescoping.

desk verdict The positive direction is solid and the framework is reusable; the negative direction hinges on a sketched import from Domat [10] that needs checking before I'd call the classification fully verified. read the letter →

arxiv 2411.12927 v1 pith:CEE4HH7C submitted 2024-11-19 math.GT math.GR

Mladen Bestvina , George Domat , Kasra Rafi This is my paper · ORCID
classification math.GTmath.GR MSC 57K2057S05
keywords automaticcontinuitymappingclassgroupsinfinite-typesurfaceshomeomorphismstabletelescopingendsSteinhauspropertyStonespaces
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

The paper gives a complete classification of automatic continuity for homeomorphism and mapping class groups of stable surfaces: the group has the automatic continuity property precisely when every end of the surface is telescoping. Telescoping means each end is an isolated puncture, of Cantor type, or accumulates genus and is a successor whose predecessors are all of Cantor type. The positive direction is proved through a general five-step framework for the Steinhaus property, which fragments homeomorphisms into brick-supported pieces, writes pieces as commutators, and then reassembles them. The negative direction builds discontinuous homomorphisms to Q from sequences of non-displaceable finite-type subsurfaces. The same framework also establishes automatic continuity for homeomorphism groups of stable second countable Stone spaces, giving the first complete answers, under stability, to two open questions in the area.

What carries the argument

The central machinery is the five-step Steinhaus framework built around the notion of a brick: a countably infinite union of pairwise disjoint big annuli (in the surface case) or clopen pieces (in the Stone-space case) whose complement contains all relevant types of ends and whose homeomorphism type is independent of which infinite subcollection is chosen. The five steps are fragmentation of a supported map into brick-supported maps, realization of brick-supported maps as finite products of commutators via an infinite-product swindle, diagonal selection of a good sub-brick, a pigeonhole argument moving any brick into that good brick, and a final wrapping-up argument using Baire category and compactness. On the negative side, the load-bearing mechanism is a G-nondisplaceable sequence: pairwise disjoint finite-type subsurfaces, each homeomorphic to a fixed surface that supports a pseudo-Anosov map, each intersecting every image of itself under a closed subgroup G of the mapping class group. Projection-complex techniques turn such a sequence into a quasimorphism coarsely counting powers, yielding an element whose homology class generates a copy of Q and therefore a discontinuous homomorphism to Q.

What would settle it

Test the stabilizer built in case (iii) of Lemma 4.32: compute whether the sequence of pairs of pants satisfies the overlap assumptions of Theorem 4.31, and check whether the infinite product of a pseudo-Anosov map with exponents (i!) lies in the commutator subgroup of the stabilizer. If either fails, the discontinuous homomorphism to Q is not produced and the only-if direction collapses. Equally decisive would be finding one stable surface with a non-telescoping end whose mapping class group nevertheless has automatic continuity.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: if Σ is a connected, stable, orientable surface without boundary, then Homeo(Σ) and Map(Σ) have automatic continuity if and only if every end of Σ is telescoping, meaning each end is an isolated puncture, is of Cantor type, or is not isolated in the space of ends accumulated by genus and is a successor with all predecessors of Cantor type. The paper also claims Theorem B: if X is a stable second countable Stone space, then Homeo(X) has automatic continuity. Instead of checking homomorphisms directly, the proofs verify the Steinhaus property and invoke the standard consequence that Steinhaus implies automatic continuity. In the positive direction, a telescoping end admits a decomposition of a neighborhood into homeomorphic big annuli, called bricks, and a shift-and-swindle mechanism writes any supported homeomorphism as a bounded product of elements from a prescribed dense set. In the negative direction, a non-telescoping end produces a stabilizer containing a non-displaceable sequence, and an imported theorem from the literature turns such a sequence into a discontinuous homomorphism to Q, which then extends to discontinuous homomorphisms from Map(Σ) and Homeo(Σ).

Load-bearing premise

The whole negative half rests on an imported theorem stating that a closed subgroup of the mapping class group containing a sequence of disjoint finite-type surface pieces, each forced to overlap every image of itself under the subgroup, must admit a discontinuous homomorphism to Q; only a sketch of that theorem is given here, so if its geometric overlap assumptions fail for the particular stabilizers built from a non-telescoping end, only the positive half of the classification stands.

Editorial extensions

If this is right

  • Automatic continuity for stable surfaces is now completely decided: all telescoping ends give Steinhaus, and every non-telescoping end gives a discontinuous homomorphism to Q.
  • The groups Homeo(Σ) and Map(Σ) admit unique Polish group topologies whenever Σ is stable and all its ends telescope.
  • The same framework proves automatic continuity for homeomorphism groups of all stable second countable Stone spaces, including all countable ordinal spaces.
  • The discontinuous homomorphisms in the negative direction factor through the mapping class group, so the failure of automatic continuity is visible at the level of mapping classes rather than only through homeomorphism dynamics.

Reading between the lines

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

  • A natural extension the authors leave implicit is to test the five-step recipe on other Polish groups of homeomorphisms admitting locally homogeneous telescoping neighborhoods and enough shift maps; the recipe predicts Steinhaus for any such group.
  • All known obstructions in this paper have Q inside the target group. If the literature conjecture that torsion-free separable groups without Q are always safe codomains is correct, non-displaceable sequences would be the only possible source of discontinuity, strengthening the classification philosophy.
  • The unstable surface constructed in Section 4.10, whose ends are all of Cantor type but whose maximal end types form countably many incomparable Cantor sets, is a sharp test case: deciding automatic continuity there would show whether stability can be relaxed to a weaker local condition.
  • For colored Stone spaces with infinitely many colors, stability fails and automatic continuity is unknown; a classification of color-preserving homeomorphism groups would be a natural Stone-space analogue of Theorem A.
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 / 6 minor

Summary. The paper gives a complete classification, for stable orientable surfaces without boundary, of when Homeo(Σ) and Map(Σ) have automatic continuity: they do exactly when every end is telescoping (isolated puncture, Cantor type, or a non-isolated genus-accumulating successor with Cantor-type predecessors). The positive direction is proved through a five-step fragmentation/commutator/pigeonhole argument with explicit Steinhaus constants (96 for Stone spaces, 288 for surface neighborhoods, 4896 for the final surface theorem), using an Eilenberg–Mazur swindle for surface bricks. The negative direction constructs discontinuous homomorphisms to Q by importing a theorem of Domat on nondisplaceable sequences in mapping class groups, after showing that a non-telescoping end leads to a stabilizer subgroup with such a sequence. The paper also proves automatic continuity for homeomorphism groups of stable second-countable Stone spaces and discusses an unstable example where the question remains open.

Significance. If Theorem A is correct, it resolves two questions of Mann in the stable case and provides the first complete classification for a large class of infinite-type surfaces. The framework developed in Sections 3 and 4 is modular and likely reusable: the fragmentation, commutator, and pigeonhole steps are organized as a general five-step program, and the Stone-space theorem (Theorem B) is a standalone result with the corollary on countable ordinals. The positive direction is a genuine technical advance, and the paper is explicitly honest about which parts are imported: the negative direction relies on a theorem of Domat [10] whose proof is only sketched. The explicit Steinhaus constants are a useful feature. The main risk is the extension of Domat's theorem from the closure of compactly supported mapping classes to arbitrary closed subgroups, which is load-bearing for the 'only if' direction.

major comments (3)
  1. [Section 4.8, Theorem 4.31] The proof asserts that [10, Theorem 7.1], stated for the closure of compactly supported mapping classes, holds for any closed subgroup G with a G-nondisplaceable sequence. The provided justification is a sketch: it says the projection axioms are verified in [10, Lemma 3.8] for 'pairwise overlapping finite-type subsurfaces', but the subsurfaces Ki in Definition 4.30 are pairwise disjoint. The relevant overlaps are between G-translates of the Ki, and one must show that the resulting Bestvina–Bromberg–Fujiwara projection complexes are hyperbolic and that the quasimorphism coarsely counting the exponents ai is well-defined on all of G, not just on the closure of compactly supported classes. The same gap affects the later claims that fK,A generates a copy of Q in H1(G;Z) and that finite subproducts are trivial in homology. Since this theorem is the mechanism producing the discontinuous homomorphism to Q, the 'only if' direction of Theorem A is not fully established without a complete proof or a precise citation covering arbitrary closed subgroups.
  2. [Section 4.9, Case (iii)] After proving that the pairs of pants Pn are Stab(γ)-nondisplaceable, the proof says that one can 'expand these pairs of pants to subsurfaces of sufficiently high complexity and pass to a disjoint subsequence to obtain a Stab(γ)-nondisplaceable sequence.' No construction or proof is given that the expanded subsurfaces remain Stab(γ)-nondisplaceable, are pairwise disjoint, and are all homeomorphic to a fixed finite-type surface K of sufficient complexity. The argument for Pn uses the fact that a translate cannot cross certain boundary curves; enlarging Pn can create room for a translate to intersect the enlarged part while avoiding the original pair of pants. This step is load-bearing for the failure direction whenever Lemma 4.32 Case (iii) occurs.
  3. [Lemma 4.32, Case 1] The conclusion that x 'has finitely many predecessors and hence is a successor' is asserted without proof. The finiteness of the union of maximal equivalence classes in the annuli does not immediately imply that every predecessor of x is comparable to one of finitely many incomparable predecessors, as required by Definition 4.5. The comparability and maximality of the classes appearing in the annuli need to be argued explicitly, because this dichotomy is what routes the proof into Case (ii) of Theorem A.
minor comments (6)
  1. [Theorem 4.29, Step 1] There is a typo: 'Fruedenthal compactification' should be 'Freudenthal compactification'.
  2. [Section 4.6, Lemma 4.24] The word 'uncontable' should be 'uncountable'.
  3. [Lemma 4.15, proof] There are several typos: 'f E(yi)' should likely be 'If E(yi)', and 'E(y0)' should be 'E(yi)' in the sentence about accumulation points.
  4. [Section 4.8, Theorem 4.31] The phrase '2 2ℵ0 many discontinuous homomorphisms' is missing formatting; it should read '2^{2^{ℵ0}}'.
  5. [Proposition 3.17 and Proposition 4.28] The multi-brick/multi-neighborhood extensions are stated with only 'mutatis mutandis' or by reference to the single-brick proofs. This is acceptable, but the surface version in Proposition 4.28 involves boundaries and marked annuli, so a sentence indicating which steps change would improve readability.
  6. [Introduction, Example 1.3] In item 2, the phrase 'the surface with a infinite genus' should be 'the surface with infinite genus'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the positive direction is proved in-paper via a Steinhaus framework, and the negative direction rests on a published theorem in Domat [10] whose hypotheses are checked, not assumed.

full rationale

The paper's derivation chain is not circular. Theorem A's positive direction (Theorem 4.29) is proved by an explicit five-step Steinhaus argument—fragmentation into bricks, commutator realization via an Eilenberg–Mazur swindle, diagonalization, pigeonhole, and wrapping up—using the stability hypothesis and the telescoping decomposition of Lemma 4.15. Lemma 4.15 is itself proved from the definition of telescoping and the stability framework; it is not assumed as the theorem's conclusion. The negative direction relies on Theorem 4.31, imported from Domat [10], a published and parameter-free result about closed subgroups of Map(Σ) admitting a nondisplaceable sequence. The paper checks the required hypotheses in Lemma 4.32 and Section 4.9 by constructing Stab(γ)-nondisplaceable sequences in the three cases. The authors explicitly note that [10, Theorem 7.1] is stated for closures of compactly supported mapping classes and give a proof sketch extending it to arbitrary closed subgroups; this is a completeness or rigor concern, not circularity, because the cited theorem's assumptions do not include the target classification. The only overlap with the present authors is that [10] and [16] are prior works by Domat and Rafi, respectively, but they are independent publications with stated assumptions and are not derived from this paper's conclusions. No fitted parameter is relabeled as a prediction, and the definition of telescoping is a definition, not a self-referential input. Accordingly, no circular step can be exhibited, and the appropriate finding is no significant circularity.

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

No free parameters or empirically invented entities. The new definitions (bricks, big annuli, multibricks, telescoping ends) are explicit mathematical constructs with stated properties. The axioms are standard theorems or published results from the authors' prior work; the main reliance is on Domat [10] for the negative direction and Mann-Rafi [16] for the stability framework.

assumptions (7)
  • standard math Baire Category Theorem for Polish spaces
    Used in Lemma 2.3 to obtain an open neighborhood where W^2 is dense from countable coverage of G by translates of W.
  • standard math Classification of noncompact orientable surfaces (Richards, Kerekjarto)
    Theorem 4.1 and its use in Lemma 4.2, Lemma 4.17, and throughout: surfaces are determined by genus, boundary, and end space pair; homeomorphisms of end spaces lift to surface homeomorphisms.
  • standard math Rosendal-Solecki theorem: Steinhaus property implies automatic continuity
    Proposition 1.9 converts all Steinhaus proofs into automatic continuity.
  • standard math Edwards-Kirby fragmentation theorem for homeomorphisms of manifolds
    Used in Theorem 4.29, Step 1, to fragment a homeomorphism close to the identity into disk-supported pieces.
  • standard math Mazurkiewicz-Sierpinski classification of countable Stone spaces as countable ordinals
    Used for Example 3.4 and Corollary 1.4.
  • domain assumption Stability framework and end-space results of Mann-Rafi [16]
    Definitions of stability (3.3), the partial order on ends (4.4-4.6), local closedness of end-classes (Lemma 4.7), finiteness of maximal classes (Prop 4.8), and the gluing/homeomorphism lemma (Lemma 4.10) are imported from [16], co-authored by the third author. The present paper relies on these for both directions.
  • domain assumption Domat's theorem on non-displaceable sequences and discontinuous homomorphisms [10]
    Theorem 4.31, the engine of the negative direction, is imported from [10] (second author); the paper gives a sketch and points to sections 7, 8, and 10 of [10] for details.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Classification of Stable Surfaces with respect to Automatic Continuity." pith.science (2026). https://pith.science/paper/CEE4HH7C

@misc{pith2026241112927,
  author       = {Pith},
  title        = {Pith review of: Classification of Stable Surfaces with respect to Automatic Continuity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CEE4HH7C}},
  note         = {Machine review of arXiv:2411.12927}
}
abstract

We provide a complete classification of when the homeomorphism group of a stable surface, $\Sigma$, has the automatic continuity property: Any homomorphism from Homeo$(\Sigma)$ to a separable group is necessarily continuous. This result descends to a classification of when the mapping class group of $\Sigma$ has the automatic continuity property. Towards this classification, we provide a general framework for proving automatic continuity for groups of homeomorphisms. Applying this framework, we also show that the homeomorphism group of any stable second countable Stone space has the automatic continuity property. Under the presence of stability this answers two questions of Mann.

Figures

Figures reproduced from arXiv: 2411.12927 by the authors.

Figure 1
Figure 1. Every end of this surface is telescoping and so Homeo(M) and Map(M) have the automatic continuity property. The end space C1 ∩ C2 is the prototypical example of a telescoping end. 2. Let L be the Loch Ness monster surface, i.e. the surface with a infinite genus and a single end. If N is the connect sum of L with any orientable, boundaryless surface, then Homeo(N) and Map(N) fail to have the automatic continuity prop… view at source ↗
Figure 2
Figure 2. An example of a brick (in green) comprised of big annuli in a surface. [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. A schematic of the pigeonhole argument. The annuli in purple represent the finitely [PITH_FULL_IMAGE:figures/full_fig_p028_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: An example of how to disjointly extend stable neighborhoods in Step 3. [PITH_FULL_IMAGE:figures/full_fig_p031_4.png]
Figure 5
Figure 5. Figure 5: Building a nondisplaceable pair of pants, [PITH_FULL_IMAGE:figures/full_fig_p034_5.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Algebraic and geometric properties of homeomorphism groups of ordinals

    math.GR 2024-12 accept novelty 6.0 of 10

    Homeomorphism groups of degree-one compact ordinals are uniformly perfect and strongly distorted with classified normal generators, while higher-degree cases split as semidirect products with computed abelianizations.

Reference graph

Works this paper leans on

28 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [10]

    Big pure mapping class groups are never perfect

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

    work page 2022

  2. [16]

    Large-scale geometry of big mapping class groups

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

    work page 2023

  3. [1]

    http://aimpl.org/genusinfinity

    AimPL: Surfaces of infinite type. http://aimpl.org/genusinfinity

    work page

  4. [2]

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

    work page 1958

  5. [3]

    Big projective modules are free

    Hyman Bass. Big projective modules are free. Illinois J. Math. , 7:24–31, 1963

    work page 1963

  6. [4]

    Constructing group actions on quasi-trees and applications to mapping class groups

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara. Constructing group actions on quasi-trees and applications to mapping class groups. Publ. Math. Inst. Hautes ´Etudes Sci., 122:1–64, 2015

    work page 2015

  7. [5]

    Stable commutator length on mapping class groups

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara. Stable commutator length on mapping class groups. Ann. Inst. Fourier (Grenoble) , 66(3):871–898, 2016

    work page 2016

  8. [6]

    Bounded cohomology of subgroups of mapping class groups

    Mladen Bestvina and Koji Fujiwara. Bounded cohomology of subgroups of mapping class groups. Geom. Topol., 6:69–89, 2002

    work page 2002

Show all 28 references
  1. [7]

    Yassin Chandran, Priyam Patel, and Nicholas G. Vlamis. Infinite-type sur- faces and mapping class groups: Open problems, 2021. Available at http://qcpages.qc.cuny.edu/ nvlamis/Papers/InfTypeProblems.pdf

    2021

  2. [8]

    Conner and Samuel M

    Gregory R. Conner and Samuel M. Corson. A note on automatic continuity. Proc. Amer. Math. Soc., 147(3):1255–1268, 2019

    2019

  3. [9]

    Automatic continuity of pure mapping class groups

    Ryan Dickmann. Automatic continuity of pure mapping class groups. arXiv preprint arXiv:2306.02599, 2023

    2023 arXiv

  4. [11]

    Edwards and Robion C

    Robert D. Edwards and Robion C. Kirby. Deformations of spaces of imbeddings. Ann. of Math. (2) , 93:63–88, 1971

    1971

  5. [12]

    Ample generics in homeomorphism groups of countable ordinals

    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

  6. [13]

    B´ ela Ker´ ekj´ art´ o.Vorlesungen uber Topologie. J. Springer, 1923

    1923

  7. [14]

    Automatic continuity for homeomorphism groups and applications

    Kathryn Mann. Automatic continuity for homeomorphism groups and applications. Geom. Topol., 20(5):3033–3056, 2016. With an appendix by Fr´ ed´ eric Le Roux and Mann

    2016

  8. [15]

    Automatic continuity for homeomorphism Groups and big mapping class groups

    Kathryn Mann. Automatic continuity for homeomorphism Groups and big mapping class groups. Michigan Mathematical Journal , 74(1):215 – 224, 2024

    2024

  9. [17]

    Two Results on End Spaces of Infinite Type Surfaces

    Kathryn Mann and Kasra Rafi. Two Results on End Spaces of Infinite Type Surfaces. Michigan Mathematical Journal , 74(5):1109 – 1116, 2024. 36

    2024

  10. [18]

    Masur and Yair N

    Howard A. Masur and Yair N. Minsky. Geometry of the complex of curves. I. Hyperbol- icity. Invent. Math. , 138(1):103–149, 1999

    1999

  11. [19]

    On the structure of certain semi-groups of spherical knot classes

    Barry Mazur. On the structure of certain semi-groups of spherical knot classes. Inst. Hautes ´Etudes Sci. Publ. Math. , 1959:111–119, 1959

    1959

  12. [20]

    Contribution ` a la topologie des ensembles d´ enombrables.Fundamenta Mathematicae, 1(1):17–27, 1920

    Stefan Mazurkiewicz and Wac law Sierpi´ nski. Contribution ` a la topologie des ensembles d´ enombrables.Fundamenta Mathematicae, 1(1):17–27, 1920

    1920

  13. [21]

    On the classification of noncompact surfaces

    Ian Richards. On the classification of noncompact surfaces. Transactions of the American Mathematical Society, 106(2):259–269, 1963

    1963

  14. [22]

    Automatic continuity in homeomorphism groups of compact 2- manifolds

    Christian Rosendal. Automatic continuity in homeomorphism groups of compact 2- manifolds. Israel J. Math. , 166:349–367, 2008

    2008

  15. [23]

    Automatic continuity of group homomorphisms

    Christian Rosendal. Automatic continuity of group homomorphisms. Bull. Symbolic Logic, 15(2):184–214, 2009

    2009

  16. [24]

    Automatic continuity of homomorphisms and fixed points on metric compacta

    Christian Rosendal and S lawomir Solecki. Automatic continuity of homomorphisms and fixed points on metric compacta. Israel J. Math. , 162:349–371, 2007

    2007

  17. [25]

    Aspects of automatic continuity

    Christian Rosendal and Luis Carlos Suarez. Aspects of automatic continuity. arXiv preprint arXiv:2406.12143, 2024

    2024 arXiv

  18. [26]

    M. H. Stone. The theory of representations for Boolean algebras. Trans. Amer. Math. Soc., 40(1):37–111, 1936

    1936

  19. [27]

    Nicholas G. Vlamis. Homeomorphism Groups of Self-Similar 2-Manifolds , pages 105–

  20. [167]

    Springer International Publishing, Cham, 2024. 37

    2024

Pith tools

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