arxiv: 2605.04214 · v1 · submitted 2026-05-05 · 🧮 math.GT · math.AG

Recognition: 3 theorem links

· Lean Theorem

On the biggest purely non-free conformal actions on compact Riemann surfaces and their asymptotic properties

C. Bagi\'nski , G. Gromadzki , R. A. Hidalgo

Authors on Pith no claims yet

Pith reviewed 2026-05-08 17:51 UTC · model grok-4.3

classification 🧮 math.GT math.AG

keywords gpnf actionsRiemann surfacesconformal actionsfinite group actionsgenus boundsasymptotic accumulation pointsAccola-Maclachlan boundpurely non-free

0 comments

The pith

For even genus g, the maximal order of a gpnf-action on a Riemann surface is at least 8g and equals 8g for infinitely many such g.

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

The paper defines a gpnf-action as a continuous action of a finite group on a closed orientable Riemann surface in which every group element has a fixed point. It proves that when the genus g is even and at least 2, the largest possible order of any such action is bounded below by 8g. This lower bound is attained for infinitely many even genera. The authors also study the asymptotic behavior by examining the ratios μ(g)/(g+1) and show that these ratios accumulate only at the value 8 when g is even. For odd genera they establish the inequalities 4g ≤ μ(g) < 8g and conjecture that the lower bound is achieved for infinitely many odd genera, which would force the full set of accumulation points to be exactly {4, 8}.

Core claim

We prove that the biggest order μ(g), of a gpnf-action on a surface of even genus g ≥ 2, is bounded below by 8g and that this bound is sharp for infinitely many even g as well. This provides, for even genera, a gpnf-action analog of the celebrated Accola-Maclachlan bound 8g+8 for arbitrary finite continuous actions. We also describe the asymptotic behavior of μ. We define M as the set of values of the form ~μ(g)=μ(g)/(g+1), and its subsets M+ and M- corresponding to even and odd genera g. We show that the set M+^d, of accumulation points of M+, consists of a single number 8. If g is odd, then we prove that 4g ≤ μ(g)<8g. We conjecture that this lower bound is sharp for infinitely many odd g.

What carries the argument

The gpnf-action, defined as a finite-group action on the Riemann surface in which every element fixes at least one point; this fixed-point condition is used to derive the order bounds via branched-cover constructions and group-theoretic analysis.

Load-bearing premise

That explicit constructions of gpnf-actions of order exactly 8g exist for infinitely many even genera via suitable finite groups and branched covers satisfying the fixed-point condition for every group element.

What would settle it

An explicit computation or proof that μ(g) < 8g for some even genus g would falsify the claimed lower bound.

read the original abstract

A continuous action of a finite group $G$ on a closed orientable surface $X$ is said to be gpnf (Gilman purely non-free) if every element of $G$ has a fixed point on $X$. We prove that the biggest order {$\mu(g)$}, of a gpnf-action on a surface of even genus $g \geq 2$, is bounded below by $8g$ and that this bound is sharp for infinitely many even $g$ as well. This provides, for even genera, a gpnf-action analog of the celebrated Accola-Maclachlan bound $8g+8$ for arbitrary finite continuous actions. We also describe the asymptotic behavior of $\mu$. We define $\mathcal{M}$ as the set of values of the form $$\widetilde{\mu}(g)=\frac{\mu(g)}{g+1},$$ and its subsets $\mathcal{M}_+$ and $\mathcal{M}_-$ corresponding to even and odd genera $g$. We show that the set $\mathcal{M}_+^d$, of accumulation points of $\mathcal{M}_+$, consists of a single number $8$. If $g$ is odd, then we prove that $4g \leq \mu(g)<8g$. We conjecture that this lower bound is sharp for infinitely many odd $g$. Finally, we prove that this conjecture implies that $4$ is the only element of $\mathcal{M}_-^d$, leading to $\mathcal{M}^d=\{4,8\}.$

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a lower bound of 8g for maximal gpnf actions on even-genus surfaces, shows sharpness for infinitely many such g, and pins down the accumulation points of the normalized orders at 8.

read the letter

The main thing here is that for even genus g the largest gpnf action has order at least 8g and this is attained for infinitely many even g. They also show that the normalized sequence mu(g)/g for even g has only 8 as an accumulation point. For odd g they get 4g as a lower bound and conjecture sharpness, which would make the full accumulation set just {4,8}. This is a direct gpnf version of the Accola-Maclachlan bound. The lower bound follows from a standard Riemann-Hurwitz count once you impose that every group element fixes a point, which removes some of the freedom in the usual estimate and produces the factor of 8 cleanly. The asymptotic claim comes from bounding the possible values of the normalized quantity and showing no other limit points are possible under the gpnf hypothesis. The sharpness for even g rests on explicit constructions of groups of order exactly 8g together with branched covers whose ramification forces the fixed-point condition for every non-identity element. Those constructions are the part that needs the closest look. If the chosen covers allow even one free-acting element for some g in the infinite family, then mu(g) exceeds 8g for large even g and the accumulation statement changes. The abstract asserts the constructions work, but the load-bearing step is whether the ramification data really rules out free elements uniformly. This is specialized work aimed at people who track automorphism orders and Hurwitz-type bounds on Riemann surfaces. A reader already following variants of these problems will find the gpnf restriction and the clean accumulation results useful. The methods are standard and the claims are specific, so the paper deserves a serious referee.

Referee Report

2 major / 2 minor

Summary. The paper defines a finite group action on a compact Riemann surface to be gpnf (Gilman purely non-free) if every non-identity element has at least one fixed point. It proves that for even genus g ≥ 2 the maximal order μ(g) of a gpnf action satisfies μ(g) ≥ 8g and that equality is attained for infinitely many even g. It studies the normalized quantities μ̃(g) = μ(g)/(g+1), shows that the derived set of accumulation points of the even-genus values is the singleton {8}, proves the two-sided bound 4g ≤ μ(g) < 8g for odd g, and conjectures that the lower bound is sharp for infinitely many odd g (which would imply that the full derived set of accumulation points is {4,8}).

Significance. If the explicit constructions hold, the work supplies a gpnf analogue of the Accola–Maclachlan bound and determines the possible accumulation points of the normalized maximal orders. The adaptation of the Riemann–Hurwitz formula under the uniform fixed-point hypothesis and the asymptotic analysis of M+ and M− are the main technical contributions; the paper also supplies concrete group-theoretic constructions that realize the claimed sharpness for even genera.

major comments (2)

[Proof of sharpness for even genera (Theorem 1.2 and the constructions in §4)] The sharpness claim that μ(g) = 8g for infinitely many even g rests on the existence of finite groups G with |G| = 8g together with branched covers X → X/G in which every non-identity element of G fixes at least one point. The manuscript asserts such families exist but does not supply an explicit verification that the chosen ramification data forces the fixed-point condition for all group elements rather than only for a generating set; this verification is load-bearing for both the equality statement and the assertion that 8 is the sole accumulation point of M+.
[§3, the derivation of the lower bound] The lower bound μ(g) ≥ 8g for even g is obtained by an adaptation of the Riemann–Hurwitz formula that uses the gpnf hypothesis. While the derivation is standard, the manuscript should state explicitly which terms in the formula vanish or are bounded below precisely because every element fixes a point; without this bookkeeping the passage from the classical Hurwitz formula to the factor 8g is not fully transparent.

minor comments (2)

[Introduction, definition of M and its subsets] The notation M+^d for the derived set of accumulation points is introduced without a prior definition of the topology on the set of real numbers in which the limit points are taken; a single sentence clarifying that the usual Euclidean topology is intended would remove ambiguity.
[Introduction] Several references to the classical Accola–Maclachlan theorem are given, but the precise statement used (the bound 8g+8 for arbitrary actions) is not restated; adding the citation and the exact bound in the introduction would help readers compare the gpnf result directly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate revisions to improve the exposition and rigor of the arguments.

read point-by-point responses

Referee: [Proof of sharpness for even genera (Theorem 1.2 and the constructions in §4)] The sharpness claim that μ(g) = 8g for infinitely many even g rests on the existence of finite groups G with |G| = 8g together with branched covers X → X/G in which every non-identity element of G fixes at least one point. The manuscript asserts such families exist but does not supply an explicit verification that the chosen ramification data forces the fixed-point condition for all group elements rather than only for a generating set; this verification is load-bearing for both the equality statement and the assertion that 8 is the sole accumulation point of M+.

Authors: We agree that the verification of the gpnf property for every non-identity element (rather than only generators) should be made fully explicit. In the revised version we will add a dedicated subsection in §4 that uses the explicit group presentations and the chosen ramification data to confirm that no non-trivial element acts freely on the surface. This will be done by computing the fixed-point contribution of each conjugacy class via the Riemann–Hurwitz formula and verifying that the branching indices force at least one fixed point per element, thereby supporting both the sharpness claim and the uniqueness of the accumulation point 8. revision: yes
Referee: [§3, the derivation of the lower bound] The lower bound μ(g) ≥ 8g for even g is obtained by an adaptation of the Riemann–Hurwitz formula that uses the gpnf hypothesis. While the derivation is standard, the manuscript should state explicitly which terms in the formula vanish or are bounded below precisely because every element fixes a point; without this bookkeeping the passage from the classical Hurwitz formula to the factor 8g is not fully transparent.

Authors: We accept that the bookkeeping in the adaptation of the Riemann–Hurwitz formula in §3 can be made more transparent. In the revision we will insert an explicit paragraph that isolates the contributions: under the gpnf hypothesis every non-identity element contributes a positive term to the branching index sum, eliminating the possibility of free actions and yielding the precise lower bound 8g for even genus. We will label each vanishing or bounded term and contrast it with the classical formula to clarify the passage to the factor 8g. revision: yes

Circularity Check

0 steps flagged

No circularity: bounds derived from standard Riemann-Hurwitz and explicit group constructions

full rationale

The lower bound μ(g) ≥ 8g for even g follows from an adaptation of the Riemann-Hurwitz formula under the gpnf fixed-point hypothesis, using standard topological and group-theoretic arguments that do not reference the target quantity μ(g) itself. Sharpness for infinitely many even g is established via explicit constructions of finite groups G of order 8g together with branched covers satisfying the uniform fixed-point condition for all non-identity elements; these constructions are independent of the bound being proved and can be verified directly without circular reference to the result. No self-citations are load-bearing for the central claims, no parameters are fitted and renamed as predictions, and no ansatz or uniqueness theorem is smuggled in from prior author work. The asymptotic statements about accumulation points of M+ and M- are logical consequences of the proved inequalities and the conjecture, not definitional reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the Riemann-Hurwitz formula (standard in the field) and on the existence of certain finite-group actions and branched covers that realize the bound; no free parameters or newly invented entities appear in the abstract.

axioms (2)

standard math Riemann-Hurwitz formula relating genus, group order, and ramification data for branched covers
Implicitly used to obtain the numerical bounds on μ(g) from the fixed-point condition.
domain assumption Existence of finite groups and surface actions satisfying the gpnf fixed-point condition for the required orders
Required to achieve sharpness of the 8g bound for infinitely many even g.

pith-pipeline@v0.9.0 · 5597 in / 1470 out tokens · 52972 ms · 2026-05-08T17:51:51.611638+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

40 extracted references · 1 canonical work pages

[1]

Accola, On the number of automorphisms of a closed Riemann surface,Trans

R.D.M. Accola, On the number of automorphisms of a closed Riemann surface,Trans. Amer. Math. Soc.131(1968), 398-408

1968
[2]

Bagi´ nski, G

C. Bagi´ nski, G. Gromadzki, R.A. Hidalgo, On purely non-free finite actions of abelian groups on compact surfaces.Arch. Math.(Basel)109(4) (2017),311–321

2017
[3]

Bagi´ nski, G

C. Bagi´ nski, G. Gromadzki, On the orders of largest groups of automorphisms of compact Riemann surfaces.J. Pure Appl. Algebra225(12) (2021), 106758

2021
[4]

Belyi, On Galois extensions of a maximal cyclotomic field,Math

G. Belyi, On Galois extensions of a maximal cyclotomic field,Math. USSR-Izv.14(1980), 247-256

1980
[5]

Besche, B

H.U. Besche, B. Eick, E. O’Brien, M. Horn. The GAP Small Groups Library SmallGrp 1.5 (06/04/2022)

2022
[6]

Bogopolski, Classifying of the actions of finite groups on orientable surfaces of genus 4, Siberian Advances in Mathematics,7(4) (1997) 9-38

O. Bogopolski, Classifying of the actions of finite groups on orientable surfaces of genus 4, Siberian Advances in Mathematics,7(4) (1997) 9-38. 18 C. BAGI ´NSKI, G. GROMADZKI, R. A. HIDALGO

1997
[7]

Broughton Classifying finite group actions on surfaces of low genus,Journal of Pure and Applied Algebra69(1990) 233-270

A.F. Broughton Classifying finite group actions on surfaces of low genus,Journal of Pure and Applied Algebra69(1990) 233-270

1990
[8]

Bujalance, F.J

E. Bujalance, F.J. Cirre, G. Gromadzki, Groups of automorphisms of cyclic trigonal Riemann surfaces.J. Algebra322(4) (2009), 1086–1103

2009
[9]

Bujalance, J.J

E. Bujalance, J.J. Etayo, J. M. Gamboa, G. Gromadzki,Automorphisms Groups of Compact Bordered Klein Surfaces. A combinatorial approachLecture Notes in Mathematics1439 (Springer-Verlag 1990). (1990), 359-370

1990
[10]

L. F. Fletcher, B. Stellmacher, and W. B. Stewart, Endliche Gruppen, die kein Element der Ordnung 6 enthalten,Quart. J. Math. Oxford Ser.(2) 28 (110), 143-154 (1977)

1977
[11]

(https://www.gap-system.org)

The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.12.0; 2022. (https://www.gap-system.org)

2022
[12]

Gilman, Computing adapted bases for conformal automorphism groups of Riemann sur- faces,Contemp

J. Gilman, Computing adapted bases for conformal automorphism groups of Riemann sur- faces,Contemp. Math.,629(2014), 137-153

2014
[13]

Girondo, G

E. Girondo, G. Gonz´ alez-Diez,Introduction to compact Riemann surfaces and dessins d’enfants.London Mathematical Society Student Texts,79. Cambridge University Press, Cambridge, 2012. xii+298 pp. ISBN: 978-0-521-74022-7

2012
[14]

GorensteinFinite Groups, AMS Chelsea Publishing Co., New York, 1980

D. GorensteinFinite Groups, AMS Chelsea Publishing Co., New York, 1980. xvii+519 pp

1980
[15]

Gromadzki, C

G. Gromadzki, C. Maclachlan,Supersoluble groups of automorphisms of compact Riemann surfaces.Glasgow Math. J.31(3) (1989), 321–327

1989
[16]

Gromadzki, Addendum to ”On the orders of largest groups of automorphisms of compact Riemann surfaces” [J

G. Gromadzki, Addendum to ”On the orders of largest groups of automorphisms of compact Riemann surfaces” [J. Pure Appl. Algebra 225 (12) (2021) 106758].J. Pure Appl. Algebra 227(1) (2023), Paper No. 107160, 6 pp

2021
[17]

Haber, A

S. Haber, A. Rosenfeld, Groups as unions of proper subgroups.Amer. Math. Monthly66 (1959), 491-494

1959
[18]

Huppert,Endliche Gruppen, Grundlehren der mathematischen Wissenschaften 134, Springer-Verlag 1967

B. Huppert,Endliche Gruppen, Grundlehren der mathematischen Wissenschaften 134, Springer-Verlag 1967

1967
[19]

Hurwitz, ¨Uber algebraische Gebilde mit eindeutigen Transformationen in sich.Math

A. Hurwitz, ¨Uber algebraische Gebilde mit eindeutigen Transformationen in sich.Math. Ann. 41(1893), 402-442
[20]

Kimura, Classification of automorphism groups, up to topological equivalence, of compact Riemann surfaces of genus 4,Journal of Algebra264(2003) 26-54

H. Kimura, Classification of automorphism groups, up to topological equivalence, of compact Riemann surfaces of genus 4,Journal of Algebra264(2003) 26-54

2003
[21]

K¨ ock, D

B. K¨ ock, D. Singerman, Real Belyi Theory,Quart. J. Math.(Oxford)58(2007), 463-478

2007
[22]

Kulkarni, A note on Wiman and Accola-Maclachlan surfaces,Ann

R.S. Kulkarni, A note on Wiman and Accola-Maclachlan surfaces,Ann. Acad. Sci. Fenn.16 (1991), 83-94

1991
[23]

Macbeath, On a theorem of Hurwitz,Proc

A.M. Macbeath, On a theorem of Hurwitz,Proc. Glasgow Math. Assoc.5(1961), 90-96

1961
[24]

Maclachlan, A bound for the number of automorphisms of a compact Riemann surface,J

C. Maclachlan, A bound for the number of automorphisms of a compact Riemann surface,J. London Math. Soc.44(1969), 265-272

1969
[25]

C. L. May, Automorphisms of compact Klein surfaces with boundary. Pacific J. Math.59(1) (1975), 199–210

1975
[26]

C. L. May, A bound for the number of automorphisms of a compact Klein surface with boundary.Proc. Amer. Math. Soc.63(2) (1977), 273–280

1977
[27]

Mihailescu, Primary Cyclotomic Units and a Proof of Catalan’s Conjecture,J

P. Mihailescu, Primary Cyclotomic Units and a Proof of Catalan’s Conjecture,J. Reine Angew. Math., 2004 (572) 167-195

2004
[28]

Miller, On the groups generated by two operators of orders two and three respectively whose product is of order six,Quarterly J

G.A. Miller, On the groups generated by two operators of orders two and three respectively whose product is of order six,Quarterly J. Math.,33(1901), 76-79

1901
[29]

Sah, Groups related to compact Riemann surfaces,Acta Math.123(1969), 13-42

C.H. Sah, Groups related to compact Riemann surfaces,Acta Math.123(1969), 13-42

1969
[30]

Singerman, Subgroups of Fuchsian groups and finite permutation groups,Bull London Math

D. Singerman, Subgroups of Fuchsian groups and finite permutation groups,Bull London Math. Soc.2(1970), 319-323

1970
[31]

Singerman, Symmetries of Riemann surfaces with large automorphism group.Math

D. Singerman, Symmetries of Riemann surfaces with large automorphism group.Math. Ann. 210(1974), 17-32

1974
[32]

Thomas G.V

A.D. Thomas G.V. WoodGroup TablesShiva Mathematics Series, 2. Shiva Publishing Ltd., Nantwich; distributed by Birkh¨ user Boston, Inc., Cambridge, Mass., 1980. 174 pp

1980
[33]

Zappa, The papers of Gaetano Scorza on group theory (Italian),AttiAccad

G. Zappa, The papers of Gaetano Scorza on group theory (Italian),AttiAccad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend.(9) Mat. Appl.2(1991), no. 2, 95-101

1991
[34]

Zelmanov, Solution of the Restricted Burnside Problem for Groups of Odd Exponent, Math

E. Zelmanov, Solution of the Restricted Burnside Problem for Groups of Odd Exponent, Math. USSR-Izv. 36 (1): 41-60 (1991)

1991
[35]

Zelmanov, A Solution of the Restricted Burnside Problem for 2-groups,Math

E. Zelmanov, A Solution of the Restricted Burnside Problem for 2-groups,Math. USSR Sbornik.72(2): 543-565 (1992). BIG GROUPS OF AUTOMORPHISMS 19

1992
[36]

Zomorrodian, Nilpotent automorphism groups of Riemann surfaces.Trans

R. Zomorrodian, Nilpotent automorphism groups of Riemann surfaces.Trans. Amer. Math. Soc.288(1) (1985), 241–255

1985
[37]

Zomorrodian, Bounds for the order of supersoluble automorphism groups of Riemann surfaces.Proc

R. Zomorrodian, Bounds for the order of supersoluble automorphism groups of Riemann surfaces.Proc. Amer. Math. Soc.108(3) (1990), 587–600

1990
[38]

Vasiliev, E.P

A.V. Vasiliev, E.P. Vdovin, An Adjacency Criterion for the Prime Graph of a Finite Simple Group,Algebra and Logic44(6) (2005) 381-406

2005
[39]

Vasiliev, E.P

A.V. Vasiliev, E.P. Vdovin, Cocliques of maximal size in the prime graph of a finite simple group, arXiv:0905.1164v2

work page arXiv
[40]

Walter, The characterization of finite simple groups with abelian Sylow 2-subgroups, Annals of Mathematics(2)89(1969), 405-514

J.H. Walter, The characterization of finite simple groups with abelian Sylow 2-subgroups, Annals of Mathematics(2)89(1969), 405-514

1969