REVIEW 6 minor 40 references
Finite abelian group actions on weakly Lefschetz cohomologically symplectic manifolds
T0 review · 0 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves that on weakly Lefschetz cohomologically symplectic manifolds, actions of sufficiently large prime-power abelian groups with small isotropy force a continuous cohomologically injective map to a torus, giving a total…
desk verdict A dense but serious paper that proves new weak Carlsson-type and discrete symmetry bounds for a class containing all compact Kähler manifolds; worth sending to a good referee despite the heavy technical machinery. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the rotation morphism from an acting finite group $G$ to the torus $T_{H^1(X)} = \operatorname{Hom}(H^1(X), S^1)$, which records the monodromy of the action on first cohomology. From it the paper constructs abelian covers $X_K$ of $X$, one for each subgroup $K \leq H^1(X)$, and studies the fibration $X_K \times_{K_0^*} V_K \to V_K/K_0^*$. The crucial mechanism is a rational degeneration theorem for the Serre spectral sequence of this fibration, obtained by comparing it with homotopy quotient constructions of a sequence of $p$-group actions with growing torsion subgroups; integrality forces all differentials to be torsion, so the sequence degenerates over $\mathbb{Q}$. That degeneration, together with finite generation of $H^*(X_K)$, upgrades bounded isotropy data into the injective map $X \to T^k$. A separate algebraic result, Theorem 3.9, shows that a self-map of a finitely generated abelian group admitting roots of arbitrarily high order must have finite order; this controls the covering subgroups and is proved via an integral-matrix argument.
What would settle it
Find a WLS manifold $X$ with arbitrarily large prime powers $p^e$ and actions of $(\mathbb{Z}/p^e)^k$ whose isotropy groups are uniformly bounded, yet no continuous map $X \to T^k$ is injective on cohomology; equivalently, find a free $(\mathbb{Z}/m)^k$ action with unbounded $m$ on a WLS manifold whose total rational Betti number is less than $2^k$.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 1.2: for each WLS manifold $X$ and each constant $C$, there is a constant $C'$ such that whenever a prime power $p^e \geq C'$ acts as $(\mathbb{Z}/p^e)^k$ on $X$ with every isotropy group of size at most $C$, there is a continuous map $X \to T^k$ that is injective on integral cohomology. Corollary 1.3 then follows: for $m \geq C$, any free action of $(\mathbb{Z}/m)^k$ forces $\sum_j b_j(X;\mathbb{Q}) \geq 2^k$. The same machinery gives Theorem 1.5, an analogue for $(\mathbb{Z}/p)^r$ actions with $p$ large of the known torus splitting theorem for cohomologically symplectic Lefschetz manifolds: the acting group splits as $G_0 \times G_1$, the $G_1$ factor embeds in a torus and acts freely with an equivariant map $X \to T^k$, and the $G_0$ factor has nonempty fixed-point set whose components are $\mathbb{Z}/p$-cohomology manifolds. Theorem 1.6 bounds the discrete degree of symmetry by $(n+\tau(X))/2$ and shows that equality forces the integral cohomology of a torus, with a homeomorphism to a torus under a solvability condition on $\pi_1(X)$.
Load-bearing premise
The load-bearing premise is that a certain spectral sequence attached to an abelian covering of $X$ degenerates after tensoring with the rational numbers; if that degeneration step fails, the proof cannot produce the cohomologically injective map $X \to T^k$ and the $2^k$ Betti bound collapses.
Editorial extensions
If this is right
- If Theorem 1.2 is correct, every WLS manifold satisfies the rational toral rank conjecture: an effective $T^k$ action with finite stabilizers gives $\sum_j b_j(X;\mathbb{Q}) \geq 2^k$, by restricting it to its $p$-torsion for large $p$.
- The bound is geometric, not just numerical: a free $(\mathbb{Z}/m)^k$ action with $m$ large gives a cohomologically injective map $X \to T^k$, and hence $b_j(X;\mathbb{Q}) \geq \binom{k}{j}$ for every $0 \leq j \leq k$.
- For large primes, an effective $(\mathbb{Z}/p)^r$ action on a WLS manifold splits into a free part of rank at most $\tau(X)$ and a fixed-point part, giving a cohomological splitting analogous to the torus case.
- The discrete degree of symmetry of an $n$-dimensional WLS manifold is at most $(n+\tau(X))/2$; equality forces torus integral cohomology, and a homeomorphism to a torus when $\pi_1(X)$ is virtually solvable.
- For compact connected Kähler manifolds, equality in the discrete-degree bound forces the manifold to be biholomorphic to a complex torus.
Reading between the lines
- The proof suggests a testable strengthening: if the rational degeneration result (Theorem 3.28) is the only place where the WLS condition is essential, then spaces satisfying a weaker cup-product nondegeneracy may also satisfy the $2^k$ Betti bound, with the threshold $C'$ measuring how far they are from torus-like cohomology.
- The geometric conclusion cannot hold for every manifold, since simply connected products of odd-dimensional spheres admit free actions of every prime order yet have no cohomologically injective map to a torus; one could test whether non-WLS manifolds with large free abelian actions always fail to admit such maps, which would mark the WLS class as nearly optimal.
- A reader could try to extract an explicit threshold $C'$ from the proof, since it packages finite bounds on Betti numbers, torsion exponents, group cohomology exponents, and the possible ranks of effective $p$-group actions on a fixed manifold.
- The free-rank bound in Theorem 1.5 suggests a discrete analogue of torus rank: for large primes, the maximal free rank of an elementary abelian action is controlled by the cup length of $H^1$, which could be checked on explicit Kähler or toric examples.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies finite abelian group actions on weakly Lefschetz cohomologically symplectic (WLS) manifolds, a class that contains all compact connected Kähler manifolds. The main results are: (1) Theorem 1.2 and Corollary 1.3 give a weak form of Carlsson's toral rank conjecture, asserting that for p^e sufficiently large, any (Z/p^e)^k action with small isotropy yields a continuous map X -> T^k inducing an injection on cohomology, and hence a Betti number bound; (2) Theorem 1.5 describes effective (Z/p)^r actions for large p in terms of a splitting of the group, a free part acting via translations on a torus, and a fixed-point component; (3) Theorem 1.6 bounds the discrete degree of symmetry by (n+τ(X))/2 and characterizes the extremal case. The technical core is Theorem 1.9, which shows that if a p-group action has rotation morphism with kernel bounded by C_1, then there is a subgroup K of H^1(X) such that the associated abelian cover X_K has finitely generated cohomology, a finite-index subgroup K_0^* acts trivially on its cohomology, and the Serre spectral sequence of the fibration X_K ×_{K_0^*} V_K -> T_{K_0} degenerates over Q (Theorem 3.28). The proof is long and involves detailed torsion-exponent estimates.
Significance. If correct, the results settle the Halperin/Carlsson toral rank conjecture in a strong geometric form for WLS manifolds, generalizing the Lupton–Oprea theory from toral actions to finite p-group actions with large primes. The paper also resolves [30, Question 1.1] for this class and gives a new tool—abelian covers associated to rotation morphisms—that is likely to be applicable elsewhere. The proofs are detailed, with explicit constants and careful tracking of torsion exponents; the main theorems are specific and falsifiable. The central degeneration argument (Theorem 3.28) is intricate, but I have checked the key estimates (Lemma 3.22 and the bound (33)) and found no error.
minor comments (6)
- [§1.1] In Conjecture 1.1 and the surrounding paragraph, 'G. Carlson' should be 'G. Carlsson'; the same misspelling appears again in the same section.
- [§1.1] Immediately after Corollary 1.3, 'Halperin's toral tank conjecture' should read 'toral rank conjecture'.
- [§1.3] In the sentence 'This extends [30, Theorem 1.3], which answers the question for rationally hypertoral manifods', 'manifods' should be 'manifolds'.
- [§5.1] In the definition of c_{ω,A,d}, the domain is written as V_{ω,A,d} but should be V_{A,d}; the subscript ω is not defined.
- [§6.3] The definition c := ⌈log_p(C')^{2/n}⌉ is ambiguous; it should be ⌈(2/n) log_p C'⌉.
- [§3.10] In the proof of Theorem 3.28, expressions such as 'np_i' and 'n^{p+k}_i' are typeset ambiguously; they denote n_i^p and n_i^{p+k}.
Circularity Check
No circularity found: the WLS results are derived from internal spectral-sequence arguments and prior published lemmas, not from their own conclusions.
full rationale
The paper's derivation chain is self-contained at the level of its central claims. Theorem 1.2 and Corollary 1.3 are obtained by combining Theorem 1.9 (an existence result for a subgroup K with finite-generation, spectral-sequence degeneration, and injectivity properties) with Theorem 1.10 (a stabilizer bound for cyclic p-actions with trivial rotation morphism) and Lemma 1.11 (a Minkowski-type bound). Theorem 1.9 is proved by contradiction: assuming C(G_i,X)->infinity, a minimal cofree subgroup K is chosen and shown to satisfy properties (P1)-(P4) of K(X). The key algebraic step, Theorem 3.28, proves degeneration of the Serre spectral sequence by an induction on spectral-sequence pages, using divisibility estimates (Lemmas 3.22, 3.23, 3.27) derived from diagram (16). These estimates are internal to the paper and do not presuppose the desired injectivity or degeneration. The only imported results are prior published theorems by the same author: [30, Lemma 9.2, Corollary 6.3, Lemma 4.4, Theorem 1.3] and [31, Theorem 1.6, Theorem 3.2]. These are used as lemmas about finite generation, top-degree divisibility, and fixed-point properties; none restates Theorem 1.2, 1.9, or 1.10, and none is fitted to the present data. There are no fitted parameters renamed as predictions, no definitional identification of input with output, and no ansatz smuggled in via citation. The self-citations are load-bearing in the sense of being useful prior results, but they are not circular: they are independent published statements with stated assumptions that do not include the present conclusions.
Assumptions & free parameters
assumptions (8)
- standard math Poincaré duality for closed connected orientable manifolds.
- standard math Serre spectral sequence, its naturality, and the universal coefficient theorem.
- standard math Smith theory for p-group actions on mod-p cohomology manifolds.
- standard math Mann-Su finiteness theorem [25, Theorem 2.5].
- standard math Minkowski-type bound on H^*-trivial subgroups (Lemma 1.11).
- standard math Author's prior results accepted as external theorems: [30, Cor 6.3; Lemma 4.4; Lemma 2.3; Thm 1.3] and [31, Thm 1.6].
- standard math Birkhoff normal form for subgroups of (Z/p^d)^m [6, Theorem 13.1].
- standard math Catanese's theorem that compact Kähler manifolds with integral cohomology of a torus are biholomorphic to complex tori [14, Theorem 77].
Cite this review
Pith. "Pith review of Finite abelian group actions on weakly Lefschetz cohomologically symplectic manifolds." pith.science (2026). https://pith.science/paper/T77SAJ46
@misc{pith2026250722525,
author = {Pith},
title = {Pith review of: Finite abelian group actions on weakly Lefschetz cohomologically symplectic manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/T77SAJ46}},
note = {Machine review of arXiv:2507.22525}
}
abstract
We study finite abelian group actions on weakly Lefschetz cohomologically symplectic (WLS) manifolds, a collection of manifolds that includes all compact connected Kaehler manifolds. We prove that for any WLS manifold $X$ there exists a number $C$ such that, for any integer $m\geq C$, if $({\mathbf Z}/m)^k$ acts freely on $X$, then $\sum_j b_j(X;{\mathbf Q})\geq 2^k$. We also prove a structure theorem for effective actions on WLS manifolds of $({\mathbf Z}/p)^r$, where $p$ is a big enough prime, analogous to some results for tori of Lupton and Oprea, and we find bounds on the discrete degree of symmetry of WLS manifolds. Our technique, which may be of independent interest, is based on studying the cohomology of abelian covers of WLS manifolds $X$ associated to certain maps $\pi:X\to T^k$. We prove that, in the presence of actions of arbitrarily big finite abelian groups, some of these abelian covers have finitely generated cohomology, and the spectral sequence associated to $\pi$ degenerates at the second page over the rationals.
Reference graph
Works this paper leans on
-
[30]
Discrete degree of symmetry of manifolds
I. Mundet i Riera, Discrete degree of symmetry of manifolds,Transformation Groups https://doi.org/10.1007/s00031-024-09858-z,preprintarXiv:2112.05599v2
-
[31]
Mundet i Riera, Jordan property for homeomorphism groups and almost fixed point property, Publ
I. Mundet i Riera, Jordan property for homeomorphism groups and almost fixed point property, Publ. Mat.68(2024), 545–557
work page 2024
-
[1]
A. Adem, W. Browder, The free rank of symmetry of (Sn)k,Invent. Math.92(1988), no.2, 431–440
work page 1988
- [2]
- [3]
-
[4]
J. Amor´ os, M. Manjar ´ ın, M. Nicolau, Deformations of K¨ ahler manifolds with nonvanishing holo- morphic vector fields,J. Eur. Math. Soc. (JEMS)14(2012), no.4, 997–1040
work page 2012
-
[5]
G. Bazzoni, G. Lupton, J. Oprea, Hereditary properties of co-K¨ ahler manifolds,Differential Geom. Appl.50(2017), 126–139
work page 2017
-
[6]
Birkhoff, Subgroups of Abelian Groups, Proc
G. Birkhoff, Subgroups of Abelian Groups, Proc. London Math. Soc. (2)38(1935), 385–401
work page 1935
Show all 40 references
-
[7]
Borel,Seminar on transformation groups, Ann
A. Borel,Seminar on transformation groups, Ann. of Math. Studies46, Princeton University Press, N.J., 1960
1960
-
[8]
Bredon,Introduction to compact transformation groups, Pure and Applied Mathematics, Vol
G.E. Bredon,Introduction to compact transformation groups, Pure and Applied Mathematics, Vol. 46, Academic Press, New York-London (1972)
1972
-
[9]
Brown,Cohomology of groups, Grad
K.S. Brown,Cohomology of groups, Grad. Texts in Math.,87, Springer-Verlag, New York, 1994,
1994
-
[10]
Carlsson, On the nonexistence of free actions of elementary abelian groups on products of spheres,Amer
G. Carlsson, On the nonexistence of free actions of elementary abelian groups on products of spheres,Amer. J. Math.102(1980), no. 6, 1147–1157
1980
-
[11]
Carlsson, On the rank of abelian groups acting freely on (S n)k,Invent
G. Carlsson, On the rank of abelian groups acting freely on (S n)k,Invent. Math.69(1982), no.3, 393–400
1982
-
[12]
Carlsson, Free (Z/2) k-actions and a problem in commutative algebra
G. Carlsson, Free (Z/2) k-actions and a problem in commutative algebra. Transformation groups, Pozna´ n 1985, 79–83. Lecture Notes in Math., 1217, Springer-Verlag, Berlin, 1986
1985
-
[13]
Carlsson, Free (Z/2) 3-actions on finite complexes, Algebraic topology and algebraic K-theory (Princeton, N.J., 1983), 332–344
G. Carlsson, Free (Z/2) 3-actions on finite complexes, Algebraic topology and algebraic K-theory (Princeton, N.J., 1983), 332–344. Ann. of Math. Stud.,113Princeton University Press, Princeton, NJ, 1987
1983
-
[14]
Catanese, Topological methods in moduli theory,Bull
F. Catanese, Topological methods in moduli theory,Bull. Math. Sci.5(2015), no.3, 287–449
2015
-
[15]
Conner, F
P. Conner, F. Raymond, Injective operations of the toral groups,Topology10(1971), 283–296
1971
-
[16]
Dey, Free rank of symmetry of products of Dold manifolds,Proc
P. Dey, Free rank of symmetry of products of Dold manifolds,Proc. Edinb. Math. Soc.(2)66 (2023), no.1, 117–132
2023
-
[17]
Ginzburg, Some remarks on symplectic actions of compact groups,Math
V.L. Ginzburg, Some remarks on symplectic actions of compact groups,Math. Z.210(1992), no.4, 625–640
1992
-
[18]
Golota, Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps, preprintarXiv:2205.00607
A. Golota, Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps, preprintarXiv:2205.00607
-
[19]
Gottlieb, The trace of an action and the degree of a map,Trans
D.H. Gottlieb, The trace of an action and the degree of a map,Trans. Amer. Math. Soc.293 (1986), no.1, 381–410
1986
-
[20]
Halperin, Rational homotopy and torus actions
S. Halperin, Rational homotopy and torus actions. Aspects of topology, 293–306. London Math. Soc. Lecture Note Ser.,93, Cambridge University Press, Cambridge, 1985
1985
-
[21]
Halperin, Le complexe de Koszul en alg` ebre et topologie, Ann
S. Halperin, Le complexe de Koszul en alg` ebre et topologie, Ann. Inst. Fourier (Grenoble)37 (1987), no.4, 77–97. FINITE ABELIAN GROUP ACTIONS ON WLS MANIFOLDS 45
1987
-
[22]
Hanke, The stable free rank of symmetry of products of spheres,Invent
B. Hanke, The stable free rank of symmetry of products of spheres,Invent. Math.178(2009), no. 2, 265–298. Erratum to: The stable free rank of symmetry of products of spheres,Invent. Math. 182(2010), no. 1, 229
2009
-
[23]
Hilton, J
P. Hilton, J. Roitberg, On the Zeeman comparison theorem for the homology of quasi-nilpotent fibrations.Quart. J. Math. Oxford Ser.(2)27(1976), no. 108, 433–444
1976
-
[24]
Lupton, J
G. Lupton, J. Oprea, Cohomologically symplectic spaces: toral actions and the Gottlieb group, Trans. Amer. Math. Soc.347(1995), no. 1, 261–288
1995
-
[25]
L. N. Mann, J. C. Su, Actions of elementary p-groups on manifolds,Trans. Amer. Math. Soc.106 (1963), 115–126
1963
-
[26]
McCleary, A user’s guide to spectral sequences, Second edition, Cambridge Stud
J. McCleary, A user’s guide to spectral sequences, Second edition, Cambridge Stud. Adv. Math., 58 Cambridge University Press, Cambridge, 2001
2001
-
[27]
Mundet i Riera, Jordan’s theorem for the diffeomorphism group of some manifoldsProc
I. Mundet i Riera, Jordan’s theorem for the diffeomorphism group of some manifoldsProc. Amer. Math. Soc.138(2010), 2253-2262
2010
-
[28]
Mundet i Riera, Finite group actions on 4-manifolds with nonzero Euler characteristic,Math
I. Mundet i Riera, Finite group actions on 4-manifolds with nonzero Euler characteristic,Math. Z. 282(2016), no. 1–2, 25–42
2016
-
[29]
Mundet i Riera, Finite subgroups of Ham and Symp.,Math
I. Mundet i Riera, Finite subgroups of Ham and Symp.,Math. Ann.370(2018), no. 1–2, 331–380
2018
-
[32]
Mundet i Riera, Actions of large finite groups on manifolds,International Journal of Mathematics 35(2024) no
I. Mundet i Riera, Actions of large finite groups on manifolds,International Journal of Mathematics 35(2024) no. 9, Paper No. 2441012
2024
-
[33]
Mundet i Riera, C
I. Mundet i Riera, C. S´ aez-Calvo, Which finite groups act smoothly on a given 4-manifold?Trans. Amer. Math. Soc.375(2022), no. 2, 1207–1260
2022
-
[34]
Okutan, E
O.B. Okutan, E. Yal¸ cın, Free actions on products of spheres at high dimensions,Algebr. Geom. Topol.13(2013), no.4, 2087–2099
2013
-
[35]
Wells, Differential analysis on complex manifolds
R.O. Wells, Differential analysis on complex manifolds. Third edition. With a new appendix by Oscar Garcia-Prada. Graduate Texts in Mathematics65. Springer, New York, 2008
2008
-
[36]
Yal¸ cın, Free actions ofp-groups on products of lens spaces,Proc
E. Yal¸ cın, Free actions ofp-groups on products of lens spaces,Proc. Amer. Math. Soc.129(2001), no.3, 887–898
2001
-
[37]
Yal¸ cın, Free actions on products of real projective spaces,preprintarXiv:2506.04067
E. Yal¸ cın, Free actions on products of real projective spaces,preprintarXiv:2506.04067
-
[38]
Yu, Small covers and the Halperin-Carlsson conjecture,Pacific J
L. Yu, Small covers and the Halperin-Carlsson conjecture,Pacific J. Math.256(2012), no. 2, 489–507
2012
-
[39]
Yu, On freeZ p-torus actions in dimensions two and three, Sci
L. Yu, On freeZ p-torus actions in dimensions two and three, Sci. China Math.62(2019), no. 2, 391–410
2019
-
[40]
Zoller, The Toral Rank Conjecture, https://www.math.ku.dk/english/calendar/events/rank-conjectures/TRC script.pdf
L. Zoller, The Toral Rank Conjecture, https://www.math.ku.dk/english/calendar/events/rank-conjectures/TRC script.pdf. F acultat de Matem`atiques i Inform `atica, Universitat de Barcelona, Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain Centre de Recerca Matem `atic...
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.