A note on the Burnside problem for homeomorphism groups of manifolds
Pith reviewed 2026-05-10 08:10 UTC · model grok-4.3
The pith
For surfaces other than the sphere, torus, projective plane and Klein bottle the identity component of the homeomorphism group is torsion-free and every finitely generated periodic subgroup of the full group is finite.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The identity component of the homeomorphism group of a compact surface is torsion-free precisely when the surface is not the sphere, torus, projective plane or Klein bottle. An extension argument based on the Tits alternative for mapping class groups then implies that every finitely generated periodic subgroup of the full homeomorphism group is finite for all surfaces outside this exceptional list. For the circle, every finitely generated periodic subgroup of its homeomorphism group is finite and cyclic.
What carries the argument
Extension from torsion-freeness of the identity component to finiteness of periodic subgroups in the full homeomorphism group via the Tits alternative applied to mapping class groups.
If this is right
- Every finitely generated periodic subgroup of the homeomorphism group is finite for all surfaces except the sphere, torus, projective plane and Klein bottle.
- The identity component of the homeomorphism group is torsion-free for those same surfaces.
- The result extends earlier theorems to non-orientable surfaces.
- On the circle every finitely generated periodic subgroup is finite and cyclic.
- The same questions remain open for hyperbolic three-manifolds and doubled handlebodies.
Where Pith is reading between the lines
- The same extension technique might adapt to diffeomorphism groups or to manifolds with boundary once the appropriate mapping class groups are identified.
- A positive answer for most surfaces suggests that homeomorphism groups of higher-dimensional manifolds may also satisfy finiteness for finitely generated torsion subgroups.
- The four exceptional surfaces could be the only cases where infinite finitely generated periodic subgroups exist, providing a sharp classification.
- The cyclicity result on the circle points to a one-dimensional rigidity that may have analogues in circle actions on other manifolds.
Load-bearing premise
The Tits alternative applies to the mapping class groups of the surfaces in question and the extension argument from the identity component to the full homeomorphism group preserves the finiteness property for finitely generated periodic subgroups.
What would settle it
An infinite finitely generated subgroup consisting entirely of finite-order homeomorphisms of a genus-two surface would disprove the main claim for surfaces.
read the original abstract
This note studies the Burnside problem for homeomorphism groups of compact connected manifolds. For surfaces, we prove that the identity component of the homeomorphism group is torsion-free precisely when the surface is not the sphere, torus, projective plane, or Klein bottle. An extension argument based on the Tits alternative for mapping class groups then implies that every finitely generated periodic subgroup of the full homeomorphism group is finite for all surfaces outside this exceptional list, recovering and extending a theorem of Guelman and Liousse to non-orientable surfaces. For the circle, we prove that every finitely generated periodic subgroup of its homeomorphism group is finite and cyclic. We close with remarks on manifolds with boundary and open questions on the Burnside problem for hyperbolic three-manifolds and doubled handlebodies.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the Burnside problem for homeomorphism groups of compact connected manifolds. For surfaces, it proves that the identity component Homeo_0(M) is torsion-free precisely when M is not the sphere, torus, projective plane, or Klein bottle. An extension argument invoking the Tits alternative for mapping class groups then shows that every finitely generated periodic subgroup of the full Homeo(M) is finite outside this list, recovering and extending the theorem of Guelman and Liousse to non-orientable surfaces. For the circle, every finitely generated periodic subgroup of Homeo(S^1) is shown to be finite and cyclic. The paper closes with remarks on manifolds with boundary and open questions for hyperbolic three-manifolds and doubled handlebodies.
Significance. If the results hold, the note gives a clean resolution of the Burnside problem for surface homeomorphism groups by isolating the four exceptional surfaces and extending a known theorem to the non-orientable case. The direct proof of torsion-freeness for Homeo_0 combined with the standard Tits-alternative extension is a natural and efficient approach. The separate, complete treatment of the circle and the explicit open questions for three-manifolds add value. The manuscript is concise and makes good use of existing tools in geometric topology.
minor comments (3)
- [Introduction] The introduction should state the precise theorem of Guelman and Liousse that is being recovered, including a reference to the relevant statement or theorem number.
- [Surface case] A one-sentence recall of the version of the Tits alternative used for mapping class groups (virtual solvability of subgroups) would make the extension argument in the surface case easier to follow without consulting external references.
- [Circle case] In the circle section, clarify whether the cyclic conclusion follows from the finite generation plus periodicity alone or requires an additional property of Homeo(S^1).
Simulated Author's Rebuttal
We thank the referee for their careful reading, accurate summary of the results, and positive assessment of the manuscript. We appreciate the recognition that the direct proof of torsion-freeness combined with the Tits alternative provides an efficient resolution, as well as the value placed on the treatment of the circle and the open questions for three-manifolds. We will prepare a revised version to address the minor revision recommendation.
Circularity Check
No significant circularity detected
full rationale
The paper establishes torsion-freeness of Homeo_0(M) for surfaces outside four exceptional cases via direct arguments, then invokes the independent Tits alternative theorem for mapping class groups to extend finiteness results to finitely generated periodic subgroups of the full Homeo(M). The circle case is handled separately with a direct proof that such subgroups are finite and cyclic. No derivation step reduces a claimed result to a self-definition, a fitted parameter presented as a prediction, or a load-bearing self-citation chain; all load-bearing steps rely on external theorems and standard facts about homeomorphism groups that are not constructed from the paper's own outputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Tits alternative holds for mapping class groups of surfaces.
Reference graph
Works this paper leans on
-
[1]
MR 238353 [FN62] Edward Fadell and Lee Neuwirth,Configuration spaces, Math. Scand.10(1962), 111–
work page 1962
-
[2]
MR 141126 [GJP15] John Guaschi and Daniel Juan-Pineda,A survey of surface braid groups and the lower algebraicK-theory of their group rings, Handbook of group actions. Vol. II, Adv. Lect. Math. (ALM), vol. 32, Int. Press, Somerville, MA, 2015, pp. 23–75. MR 3382024 [GL14] Nancy Guelman and Isabelle Liousse,Burnside problem for measure preserving groups an...
work page 2015
-
[3]
MR 240180 [Nav11] Andrés Navas,Groups of circle diffeomorphisms, spanish ed., Chicago Lectures in Math- ematics, University of Chicago Press, Chicago, IL, 2011. MR 2809110 [New31] M. H. A. Newman,A theorem on periodic transformations of spaces, The Quarterly Journal of Mathematicsos-2(1931), no. 1, 1–8. [Smi41] P. A. Smith,Transformations of finite period...
work page 2011
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.