Actions of $2$-groups of bounded exponent on manifolds

Lei Chen

REVIEW 4 major objections 6 minor 14 references

Actions of $2$-groups of bounded exponent on manifolds

T0 review · 4 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper proves that no infinite 2-group of bounded exponent can act faithfully and smoothly on any compact manifold.

desk verdict A new and likely correct theorem; the proof needs three small but real repairs before it is publishable. read the letter →

arxiv 1909.00272 v1 pith:6EYWDQMH submitted 2019-08-31 math.GT math.DS

Lei Chen This is my paper · ORCID

classification math.GTmath.DS MSC 57S0557S1720F50

keywords 2-groupsboundedexponentsmoothgroupactionscompactmanifoldsBurnsideproblemgermgroupsReebstabilityfree

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 proves that infinite 2-groups of bounded exponent cannot act faithfully and smoothly on compact manifolds: if every element has order a power of 2 and those orders are uniformly bounded, then any smooth faithful action on a compact manifold has finite image. This addresses a restricted version of the Burnside problem for diffeomorphism groups, the question of whether the group of diffeomorphisms of a manifold can contain a finitely generated infinite torsion subgroup. The proof is a two-part reduction: first it shows that the smooth germ group of diffeomorphisms fixing a point contains no infinite bounded-exponent torsion subgroup, then it uses a structural property of 2-groups to build a free action of an infinite such group, which is independently ruled out. The result matters because it sharply limits which of the many known abstract infinite torsion groups can appear as symmetry groups of compact smooth manifolds.

What carries the argument

The central object is the smooth germ group $G^r(d)$: equivalence classes of $r$-times differentiable diffeomorphisms of $\mathbb{R}^d$ fixing the origin, where two are equivalent if they agree on some neighborhood of the origin. Theorem 1.3 — no infinite torsion group of bounded exponent embeds in $G^r(d)$ — is load-bearing; it converts local fixed-point behavior into a contradiction with Burnside's theorem, since the kernel of the derivative projection $p: G^r(d) \to GL(d)$ is torsion-free by Reeb stability. Around that core, the proof uses three supporting mechanisms: the existence, in any infinite 2-group, of an involution with infinite centralizer; the induction on dimension that forces such an involution to act freely; and Weinberger's theorem that $(\mathbb{F}_p)^k$ cannot act freely on a compact manifold, which is proved in the appendix by a spectral-sequence dimension count.

What would settle it

Check whether Claim 2.4's missing hypothesis can be violated: build a compact manifold $M$, an element $g$ in an infinite 2-group action, and an element in $C(g)$ whose restriction to the fixed-point set $F$ is identity on one component and nontrivial on another. Such an element would make the kernel of the germ projection contain torsion, contradicting the step that drives the induction; if it occurs inside a genuine smooth 2-group action, Theorem 1.1's proof collapses, while an explicit smooth faithful action of an infinite bounded-exponent 2-group on a compact manifold would refute the theorem itself.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.1: a 2-group of bounded exponent that acts faithfully and smoothly on a compact manifold is necessarily finite. The engine is Theorem 1.3, that the smooth germ group $G^r(d)$ — germs at the origin of $C^r$ diffeomorphisms of $\mathbb{R}^d$, identified when they agree on a neighborhood — contains no infinite torsion group of bounded exponent. This follows because the kernel of the derivative projection $p: G^r(d) \to GL(d)$ is torsion-free by Reeb stability, so any such subgroup of $G^r(d)$ would force an infinite bounded-exponent torsion subgroup of $GL(d)$, contradicting Burnside's theorem. The global argument then uses the 2-group fact that some involution has infinite centralizer, reduces the action to the free case by quotienting by free involutions, and eliminates free actions via Weinberger's obstruction to free $(\mathbb{F}_p)^k$-actions on compact manifolds.

Load-bearing premise

The argument assumes that a nontrivial finite-order diffeomorphism of a connected manifold cannot equal the identity on any open set; the paper uses this in Claim 2.4 without stating the connectedness hypothesis or citing the theorem.

Editorial extensions

If this is right

Every smooth action of an infinite 2-group of bounded exponent on a compact manifold has infinite kernel; equivalently, no such group embeds in $\mathrm{Diff}(M)$.
The bounded-exponent assumption is essential: without it, the circle admits an infinite 2-group action by rotations of order $2^k$ for all $k$.
The smoothness assumption is also doing real work: the proof's local step uses Reeb stability, and the paper explicitly leaves the topological case open.
The result extends earlier work on homeomorphisms of the 2-sphere to smooth actions on all compact manifolds.

Reading between the lines

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

The same proof would likely rule out smooth faithful actions of infinite $p$-groups of bounded exponent on compact manifolds if a $p$-group analogue of the involution-with-infinite-centralizer step exists; the free-action obstruction and the spectral sequence argument already work for all primes.
A topological version would follow if the topological germ group $G^0(d)$ also contains no infinite bounded-exponent torsion subgroup; the paper poses exactly this as an open problem, and finding a topological counterexample would sharply separate the smooth and continuous categories.
A concrete test of the proof's weakest joint is to search for finite-order diffeomorphisms of compact manifolds that fix an open set on one component while moving another; if such maps can be assembled into an infinite bounded-exponent 2-group action, the step that forces freeness of the chosen involution would fail exactly where the proof needs it.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Lei Chen's paper claims that no infinite 2-group of bounded exponent acts faithfully and smoothly on a compact manifold. That is a genuine advance: Conejeros had the 2-sphere homeomorphism case, and the surface/circle cases were known, but the smooth result for all compact manifolds is new. The germ group observation (Theorem 1.3), that Gr(d) contains no infinite bounded-exponent torsion group for r > 0, is clean and follows directly from Reeb stability plus Burnside. That alone is worth noting.

The overall strategy is sound. Free actions are handled by descending through the square filtration and using Weinberger's bound on free (F_p)^k actions; non-free actions are reduced by induction on dimension, using the existence of an involution with infinite centralizer in any infinite 2-group. There is no circularity, no parameter fitting; the paper leans on standard external results.

The written proof, however, has three soft spots, all of which look easily repairable but need to be fixed before publication.

First, the off-by-one in the free-action induction: if the exponent is 2^N, then the subgroup generated by 2^N-th powers is trivial, so G_{N+1}=1, not G_N. As written, the induction step uses G_N=1 and then treats G_{N-1} as abelian; with N+1 the same line goes through but the indices have to shift. This is a genuine error, not just a typo, because the claim 'the highest order is 2^N implies G_N={1}' is false for an element of order 2^N.

Second, Claim 2.4 silently relies on a theorem that is not cited and is false without a connectedness hypothesis. The kernel of the germ projection L is asserted to be torsion-free because an element in the kernel fixes an open set and 'the fixed point set of a nontrivial finite action has no interior.' That is essentially Newman's theorem, and it requires M to be connected (or applying the argument componentwise). For a disconnected M, a finite-order diffeomorphism can be the identity on the component containing x and nontrivial on another component, putting it in ker L with finite order. The paper can be patched by adding connectedness or by passing to the component of M containing x, and then deriving the disconnected case from the connected one. But as written the non-free case is not justified.

Third, the appendix states H^*(F_p; F_p) = F_p[x] with deg x=2. That is correct only for odd p; for p=2 the degree is 1. The dimension counts in the spectral sequence argument are therefore wrong for p=2, though the same polynomial-growth argument works with the correct degrees, so the theorem survives.

These are all 'fix the write-up' level issues, not 'rethink the approach' issues. The main theorem is new and almost certainly true. The paper deserves a serious referee and probably conditional acceptance once the author addresses the indexing, the connectedness hypothesis in Claim 2.4, and the cohomology ring.

For a reader in geometric group theory or smooth dynamics, this is worth citing and worth discussing in a reading group.

Referee Report

4 major / 6 minor

Summary. The manuscript proves that no infinite 2-group of bounded exponent can act faithfully and smoothly on a compact manifold. The strategy is to show that the smooth germ group contains no infinite torsion group of bounded exponent (Theorem 1.3), use a structural fact about infinite 2-groups to find involutions with infinite centralizers, and then reduce to the free-action case, which is handled by an induction using Weinberger's theorem that (F_2)^k cannot act freely on a compact manifold. An appendix gives a spectral-sequence proof of Weinberger's theorem.

Significance. If the proof is completed, the result is a significant contribution to the Burnside problem for diffeomorphism groups, extending the 2-dimensional result of Conejeros to all dimensions for smooth actions. The reduction to the germ group is elegant, and the paper makes good use of standard external results such as Reeb stability, Burnside's theorem, and Weinberger's theorem; the main theorem also has a crisp falsifiable statement. The proof is not circular and does not rely on free parameters, which the earlier versions of this type of argument sometimes did.

major comments (4)

[§2.3, Case 1] The free-action induction contains an off-by-one error. The text states that if the highest order of G is 2^N then G_N={1}; this is false, since an element of order 2^N has its square in G_2, so G_N is generally nontrivial. The correct statement is G_{N+1}=1, which makes G_N an elementary abelian 2-group; that group should be shown finite by Weinberger's theorem before passing to the quotient. The induction base is also misstated: 'exponent of G is less than 2^N' with N=1 is the trivial exponent, not the case covered by Theorem 2.3; the base should be 'exponent at most 2^N' or equivalent.
[§2.3, Claim 2.4] The final step of Claim 2.4 relies on the assertion that the fixed point set of a nontrivial finite-order action has no interior. This is Newman's theorem, and it requires the manifold to be connected, or one must argue componentwise. Without connectedness the assertion is false: for M=S^1⊔S^1, g=(antipodal on the first component, identity on the second), and x in the second component, a nontrivial finite-order element lies in the kernel of L. Since this is exactly the step that makes ker L torsion-free and hence finite, the non-free case is not justified as written. The fix is to add the connectedness hypothesis, or to apply the argument componentwise, and to cite Newman's theorem.
[§2.3, construction of K] The sentence 'At each stage, the action of ρ_n(g_n) on M_n is free. Therefore the action ρ(K) on M is also free' is not a valid consequence as written. Freeness of the induced map on a quotient does not automatically imply freeness of an arbitrary lift on the covering, and a product of free elements need not be free. The proof needs an explicit induction showing that the groups K_n=⟨~g_1,...,~g_n⟩ act freely on M and that M_n=M/K_n, so that K=∪K_n acts freely; this is the step that produces the contradiction with Case 1.
[Appendix, proof of Theorem 2.3] The cohomology computation in the appendix is incorrect. The paper writes that the cohomology of (F_p)^k is a polynomial ring F_p[x_1,...,x_k] with deg x_i=2, but in fact H^*(C_p;F_p) is F_p[x] with deg x=1 for p=2, and Λ(y)⊗F_p[x] with deg y=1, deg x=2 for odd p. Consequently the displayed dimension d_{k,i}=binom(k+i-1,i-1) is wrong; the true dimension of H^{2i}((F_p)^k) grows as k^{2i}, not k^i. The spectral-sequence dimension comparison may be salvageable with the correct growth rates, but as written the proof of Theorem 2.3 is invalid, and Theorem 2.3 is used in the main proof.

minor comments (6)

[Introduction] There is a typo: 'Our future goal if to generalize' should read 'Our future goal is to generalize'.
[§2.3, Case 2] The induction hypothesis says 'the group Diff(M) contains no finite 2-groups of bounded exponent'; the context requires 'no infinite 2-groups of bounded exponent'.
[§2.2, Proposition 2.2] The proof contains the sentence 'we obtain an element g = x_1 satisfying C(g) is finite becuase it contains infinitely many different elements'; 'finite' should be 'infinite', and 'becuase' should be 'because'.
[§2.3, Claim 2.4] The notation G∞(n) is not defined; it presumably denotes the smooth germ group G^∞(n) of Theorem 1.3, but this should be stated explicitly.
[Appendix] The phrase 'the cohomology ring of F_p' should read 'the cohomology ring of the additive group C_p' (or of F_p as an abelian group), and the exterior generators for odd p should not be omitted.
[§2.3, Claim 2.4] The statement that the fixed point set F is a finite union of submanifolds is standard for smooth finite-order diffeomorphisms, but it should be stated with a reference and should acknowledge that the components may have different dimensions.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is self-contained and relies on external theorems only; the Claim 2.4 gap is a correctness issue, not circularity.

full rationale

The paper's derivation is self-contained against standard external results. Theorem 1.3 follows directly from Reeb stability and Burnside's theorem: the kernel of the germ projection is torsion-free, so any infinite bounded-exponent torsion subgroup would project to an infinite bounded-exponent linear torsion group, contradicting Burnside. Proposition 2.2 is proved inside the paper following Conejeros, not merely cited as an unverified black box. The free-action case uses Weinberger's theorem, which is reproved in the appendix with a spectral sequence argument, and the non-free case uses induction on dimension plus Theorem 1.3. No parameter is fitted to the conclusion, no quantity is defined in terms of the target theorem, and no load-bearing step reduces to the author's own prior results. The only notable weakness is in Claim 2.4, where the assertion that the kernel of the germ projection is torsion-free silently invokes Newman's theorem and appears to require connectedness of the manifold; as written, disconnected examples can violate the claim. That is a potential gap in the proof, not a circularity, because the missing ingredient is an external theorem and the argument does not presuppose the theorem being proved. Therefore the appropriate circularity score is 0.

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

No free parameters or invented entities appear; the paper is a pure proof built on standard theorems. The main burden is the collection of external theorems, several used implicitly, and the indexing error in the free-action induction.

assumptions (6)

standard math The kernel of the derivative projection p: G^r(d) → GL(d) is torsion-free (Reeb stability).
Used in the proof of Theorem 1.3 to force p(G) to be infinite if G is an infinite torsion subgroup of the germ group; cited to [Ree52] and [Thu74].
standard math A subgroup of GL(n) over characteristic 0 with bounded exponent is finite (Burnside's theorem).
Used in Theorem 1.3 to contradict p(G) being an infinite bounded-exponent torsion group, and cited to [Bur02].
standard math For a compact manifold M, there exists k such that (F_p)^k cannot act freely on M (Weinberger's theorem).
Used in the free-action case (Case 1) and the base of the dimension induction; the appendix gives a proof via the Serre spectral sequence and the cohomology of (F_p)^k.
standard math The group of homeomorphisms of the circle has no infinite torsion subgroup (Hölder's theorem).
Used as the base case of the dimension induction in Case 2; cited to [Nav11, Theorem 2.2.32].
standard math The fixed point set of a nonidentity finite-order homeomorphism of a connected manifold has empty interior (Newman's theorem).
Used implicitly in Claim 2.4 to conclude the kernel of L is torsion-free; not cited in the paper.
standard math The short exact sequence 1 → H^2 → H → H_1(H; Z/2) → 1 holds for any group H, where H^2 is the subgroup generated by squares.
Used in Case 1 to reduce iterated squares of G to a filtration with elementary abelian quotients.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Actions of $2$-groups of bounded exponent on manifolds." pith.science (2026). https://pith.science/paper/6EYWDQMH

@misc{pith2026190900272,
  author       = {Pith},
  title        = {Pith review of: Actions of $2$-groups of bounded exponent on manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6EYWDQMH}},
  note         = {Machine review of arXiv:1909.00272}
}

read the original abstract

In this paper, we show that an infinite 2-group of bounded exponent cannot act faithfully and smoothly on compact manifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

K. Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York-Berlin, 1982

work page 1982
[2]

Burnside

W. Burnside. On an unsettled question in the theory of discontinuous groups. Quart. J. Pure and Appl. Math. , 33:230--238, 1902

work page 1902
[3]

Conejeros

J. Conejeros. On periodic groups of homeomorphisms of the 2-dimensional sphere. Algebr. Geom. Topol. , 18(7):4093--4107, 2018

work page 2018
[4]

Guelman and I

N. Guelman and I. Liousse. Burnside problem for groups of homeomorphisms of compact surfaces. Bull. Braz. Math. Soc. (N.S.) , 48(3):389--397, 2017

work page 2017
[5]

E. S. Golod. On nil-algebras and finitely approximable p -groups. Izv. Akad. Nauk SSSR Ser. Mat. , 28:273--276, 1964

work page 1964
[6]

E. S. Golod and I. R. S afarevi c . On the class field tower. Izv. Akad. Nauk SSSR Ser. Mat. , 28:261--272, 1964

work page 1964
[7]

The Burnside problem for $\text{Diff}_{\text{Vol}}(\mathbb{S}^2)$

A. Hurtado, S. Kocsard and F. Rodriguez-Hertz. The B urnside problem for Diff _ ( S ^2) . preprint arXiv:1607.04603 , 2016

work page Pith review arXiv 2016
[8]

P. S. Novikov and S. I. Adjan. Infinite periodic groups. I . Izv. Akad. Nauk SSSR Ser. Mat. , 32:212--244, 1968

work page 1968

Show all 14 references

[9]

A. Navas. Groups of circle diffeomorphisms . Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, spanish edition, 2011

2011
[10]

G. Reeb. Sur certaines propri \'e t \'e s topologiques des vari \'e t \'e s feuillet \'e es. Act. Sc. et Ind. , 1952

1952
[11]

Rebelo and A

J. Rebelo and A. Silva. On the B urnside problem in Diff (M) . Discrete Contin. Dyn. Syst. , 17(2):423--439, 2007

2007
[12]

U ber G ruppen linearer S ubstitutionen mit K oeffizienten aus einem algebraischen Z ahlk \

I. Schur. \"U ber G ruppen linearer S ubstitutionen mit K oeffizienten aus einem algebraischen Z ahlk \"o rper. Mathematische Annalen , 71(3):355--367, 1911

1911
[13]

Thurston

W. Thurston. A generalization of the R eeb stability theorem. Topology , 13:347--352, 1974

1974
[14]

Weinberger

S. Weinberger. Some remarks inspired by the C ^0 Z immer program. In Geometry, rigidity, and group actions , Chicago Lectures in Math., pages 262--282. Univ. Chicago Press, Chicago, IL, 2011

2011

Pith tools

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

[1] [1]

K. Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York-Berlin, 1982

work page 1982

[2] [2]

Burnside

W. Burnside. On an unsettled question in the theory of discontinuous groups. Quart. J. Pure and Appl. Math. , 33:230--238, 1902

work page 1902

[3] [3]

Conejeros

J. Conejeros. On periodic groups of homeomorphisms of the 2-dimensional sphere. Algebr. Geom. Topol. , 18(7):4093--4107, 2018

work page 2018

[4] [4]

Guelman and I

N. Guelman and I. Liousse. Burnside problem for groups of homeomorphisms of compact surfaces. Bull. Braz. Math. Soc. (N.S.) , 48(3):389--397, 2017

work page 2017

[5] [5]

E. S. Golod. On nil-algebras and finitely approximable p -groups. Izv. Akad. Nauk SSSR Ser. Mat. , 28:273--276, 1964

work page 1964

[6] [6]

E. S. Golod and I. R. S afarevi c . On the class field tower. Izv. Akad. Nauk SSSR Ser. Mat. , 28:261--272, 1964

work page 1964

[7] [7]

The Burnside problem for $\text{Diff}_{\text{Vol}}(\mathbb{S}^2)$

A. Hurtado, S. Kocsard and F. Rodriguez-Hertz. The B urnside problem for Diff _ ( S ^2) . preprint arXiv:1607.04603 , 2016

work page Pith review arXiv 2016

[8] [8]

P. S. Novikov and S. I. Adjan. Infinite periodic groups. I . Izv. Akad. Nauk SSSR Ser. Mat. , 32:212--244, 1968

work page 1968