pith. machine review for the scientific record. sign in

arxiv: 2604.24097 · v1 · submitted 2026-04-27 · 🧮 math.GR

Recognition: unknown

The Number of Isomorphism Classes of Beauville Surfaces with Beauville p-Group

\c{S}\"ukran G\"ul

Pith reviewed 2026-05-07 17:34 UTC · model grok-4.3

classification 🧮 math.GR
keywords Beauville surfacesp-groupsisomorphism classesmetacyclic p-groupsnilpotency class 2Beauville groupcomplex surfaces
0
0 comments X

The pith

The number of isomorphism classes of Beauville surfaces is determined for non-abelian metacyclic p-groups and p-groups of nilpotency class 2.

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

This paper extends the known counts of isomorphism classes of Beauville surfaces to cases where the finite group G is a non-abelian metacyclic p-group or a p-group of nilpotency class 2. This builds on earlier formulas that applied only to abelian p-groups by showing that the same counting method works for these additional families. A reader would care because Beauville surfaces represent a specific type of algebraic surface whose classification helps connect group theory with geometry. The extension means more groups can be used to construct such surfaces with known counts.

Core claim

The explicit number of isomorphism classes of Beauville surfaces for which the Beauville group is a non-abelian metacyclic p-group or a p-group of nilpotency class 2 is obtained by applying the combinatorial classification previously used for abelian p-groups.

What carries the argument

The combinatorial classification of Beauville structures based on generating pairs of elements in the group that satisfy the conditions for a free action yielding a rigid surface.

Load-bearing premise

The combinatorial classification of Beauville structures developed for abelian p-groups carries over without new obstructions or additional cases to the non-abelian metacyclic and class-2 families.

What would settle it

An explicit calculation for a concrete example group, such as the smallest non-abelian metacyclic p-group, showing a different count than the extended formula would disprove the claim.

read the original abstract

A Beauville surface is a rigid complex surface of general type, isogenous to a higher product by the free action of a finite group $G$, called a Beauville group. In \cite{GT}, Gonz\'alez-Diez and Torres-Teigell find the number of isomorphism classes of Beauville surfaces for which the group $G$ is $\PSL(2,p)$ with particular types of `Beauville structures'. On the other hand, in \cite{GJT}, Gonz\'alez-Diez, Jones and Torres-Teigell give an explicit formula for this number when the group $G$ is abelian. To the best of the author's knowledge, in the literature, the exact number of isomorphism classes of Beauville surfaces is given only for $\PSL(2,p)$ and for abelian groups. In this paper, we extend the result for Beauville surfaces with abelian $p$-group to Beauville surfaces for which the Beauville group is either a non-abelian metacyclic $p$-group or a $p$-group of nilpotency class $2$.

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.

Referee Report

3 major / 2 minor

Summary. The manuscript extends the enumeration of isomorphism classes of Beauville surfaces from the abelian p-group case (as in GJT) to the cases where the Beauville group G is a non-abelian metacyclic p-group or a p-group of nilpotency class 2. It claims to adapt the combinatorial classification of Beauville structures (pairs of generators satisfying coprimality and intersection conditions) to these families and supplies explicit counts or formulas for the number of isomorphism classes.

Significance. If the adaptation is rigorously justified, the result would provide the first explicit counts for these non-abelian p-group families, filling a documented gap in the literature beyond the abelian and PSL(2,p) cases. The work would be strengthened by machine-checkable enumerations or explicit small-order examples that confirm the adjusted orbit counts under Aut(G).

major comments (3)
  1. [§3] §3 (non-abelian metacyclic case): The text re-uses the abelian counting formula without deriving how the non-trivial commutator relation [a,b]=a^{p^k} modifies the coprimality and free-action conditions on the generating pairs. No explicit adjustment to the intersection conditions in the quotients G/Φ(G) or G/G' is supplied, so it is unclear whether the stated numbers correctly account for the additional constraints.
  2. [§4] §4 (nilpotency class 2 case): The bilinear commutator map is non-zero, yet the manuscript does not verify that the orbit sizes under Aut(G) remain unchanged from the abelian derivation. A concrete check for a small class-2 group (e.g., the Heisenberg group mod p^3) is missing; without it the claim that the abelian formula extends verbatim is unsupported.
  3. [Table 1 / main theorem] Table 1 or the main theorem statement: The reported counts for metacyclic groups are presented as closed formulas, but no derivation or reference to a modified version of the GJT combinatorial lemma is given. This makes the central numerical claims load-bearing yet unverifiable from the supplied arguments.
minor comments (2)
  1. [§2] Notation for the Frattini subgroup and derived subgroup is introduced inconsistently between the metacyclic and class-2 sections; a single unified definition would improve readability.
  2. [Introduction] The abstract states an 'extension' but the introduction does not cite the precise theorem from GJT that is being generalized; adding this reference would clarify the scope.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying points where additional justification and explicit derivations would strengthen the presentation. We address each major comment below and will revise the paper accordingly to make the arguments fully rigorous and verifiable.

read point-by-point responses

  1. Referee: [§3] §3 (non-abelian metacyclic case): The text re-uses the abelian counting formula without deriving how the non-trivial commutator relation [a,b]=a^{p^k} modifies the coprimality and free-action conditions on the generating pairs. No explicit adjustment to the intersection conditions in the quotients G/Φ(G) or G/G' is supplied, so it is unclear whether the stated numbers correctly account for the additional constraints.

    Authors: We agree that §3 would benefit from a more explicit derivation of how the commutator relation affects the conditions. For non-abelian metacyclic p-groups of the form presented, the coprimality and intersection conditions on generating pairs reduce to equivalent conditions on their images in the abelianization G/G' (which is itself metacyclic abelian), because the commutator lies in the Frattini subgroup and the free-action requirement is preserved under the quotient by the center. We will revise §3 to include a modified version of the GJT combinatorial lemma that explicitly tracks the effect of [a,b]=a^{p^k} on the orders and intersections in G/Φ(G) and G/G', together with the resulting adjustment (if any) to the counting formula. This will make the derivation self-contained. revision: yes

  2. Referee: [§4] §4 (nilpotency class 2 case): The bilinear commutator map is non-zero, yet the manuscript does not verify that the orbit sizes under Aut(G) remain unchanged from the abelian derivation. A concrete check for a small class-2 group (e.g., the Heisenberg group mod p^3) is missing; without it the claim that the abelian formula extends verbatim is unsupported.

    Authors: We acknowledge that an explicit verification of orbit sizes is desirable. In the class-2 case the action of Aut(G) on the set of Beauville structures factors through the action on the abelianization and the commutator bilinear form; for the Heisenberg group modulo p^3 the orbit sizes coincide with those in the corresponding abelian quotient because the extra central elements do not create additional stabilizers for the generating pairs satisfying the coprimality condition. We will add a short subsection in §4 containing this concrete computation for the Heisenberg group over small primes p, confirming that the orbit counts match the abelian formula. This will also serve as a template for readers to check other small class-2 groups. revision: yes

  3. Referee: [Table 1 / main theorem] Table 1 or the main theorem statement: The reported counts for metacyclic groups are presented as closed formulas, but no derivation or reference to a modified version of the GJT combinatorial lemma is given. This makes the central numerical claims load-bearing yet unverifiable from the supplied arguments.

    Authors: We will revise the statement of the main theorem and the caption of Table 1 to include an explicit reference to the adapted combinatorial lemma (whose full proof will appear in the expanded §3). The closed formulas arise by substituting the parameters of the metacyclic presentation into the adjusted counting expression; we will display the intermediate steps that connect the lemma to the final formulas so that the numerical claims become directly verifiable from the text. revision: yes

Circularity Check

0 steps flagged

No significant circularity; extension relies on independent prior enumerations.

full rationale

The paper cites external results from [GT] for PSL(2,p) and [GJT] for abelian groups, then extends the combinatorial count of isomorphism classes to non-abelian metacyclic p-groups and nilpotency-class-2 p-groups. No equations or definitions in the provided abstract reduce a derived count to a fitted parameter or self-referential input by construction. The central step assumes the abelian classification framework carries over with possible adjustments for commutators, but this is presented as an extension rather than a renaming or self-definition. No load-bearing self-citations from overlapping authors are used to justify uniqueness or ansatzes. The derivation chain is therefore self-contained against external benchmarks and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the work rests on standard definitions of Beauville structures and p-groups from the cited literature.

pith-pipeline@v0.9.0 · 5493 in / 1017 out tokens · 67143 ms · 2026-05-07T17:34:13.969716+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references

  1. [1]

    Ahmad, A

    A. Ahmad, A. Magidin, and R. F. Morse, Two generatorp-groups of nilpotency class 2 and their conjugacy classes,Publ. Math. Debrecen81(2012), 145–166

    2012

  2. [2]

    Barker, N

    N. Barker, N. Boston, and B. Fairbairn, A note on Beauvillep-groups,Experiment. Math.21(2012), 298–306

    2012

  3. [3]

    Bauer, F

    I. Bauer, F. Catanese, and F. Grunewald, Beauville surfaces without real structures I, in Geometric methods in algebra and number theory,Prog. Math., Volume 235, Birkh¨ auser, Basel, 2005, pp. 1–42

    2005

  4. [4]

    Bauer, F

    I. Bauer, F. Catanese, and F. Grunewald, Chebycheff and Belyi polynomials, dessins d’enfants, Beauville surfaces and group theory,Mediterr. J. Math.3(2) (2006), 121– 146

    2006

  5. [5]

    Bauer, F

    I. Bauer, F. Catanese, and F. Grunewald, The classification of surfaces withp g = q= 0 isogenous to a product of curves,Pure Appl. Math. Q.,4(2008), 547–586

    2008

  6. [6]

    Beauville, Surfaces alg´ ebriques complexes,Ast´ erisque54, Soc

    A. Beauville, Surfaces alg´ ebriques complexes,Ast´ erisque54, Soc. Math. France, Paris, 1978

    1978

  7. [7]

    Boston, A survey of Beauvillep-groups, in Beauville Surfaces and Groups, editors I

    N. Boston, A survey of Beauvillep-groups, in Beauville Surfaces and Groups, editors I. Bauer, S. Garion, A. Vdovina,Springer Proceedings in Mathematics & Statistics, Volume 123, Springer, 2015, pp. 35–40

    2015

  8. [8]

    Catanese, Fibred surfaces, varieties isogenous to a product and related moduli spaces,Amer

    F. Catanese, Fibred surfaces, varieties isogenous to a product and related moduli spaces,Amer. J. Math.122(2000), 1–44

    2000

  9. [9]

    Di Domenico, S ¸

    E. Di Domenico, S ¸. G¨ ul, and A. Thillaisundaram, Beauville structures for quotients of generalised GGS-groups,Adv. Group Theory Appl.18(2024), 3–40

    2024

  10. [10]

    Fairbairn, Recent work on Beauville surfaces, structures and groups, in Groups St Andrews 2013, editors C

    B. Fairbairn, Recent work on Beauville surfaces, structures and groups, in Groups St Andrews 2013, editors C. M. Campbell, M. R. Quick, E. F. Robertson, C. M. Roney-Dougal,London Mathematical Society Lecture Note Series, vol. 422, 2015, pp. 225–241

    2013

  11. [11]

    Fairbairn, Beauvillep-groups: A Survey, in Groups St Andrews 2017 in Birming- ham, editors C

    B. Fairbairn, Beauvillep-groups: A Survey, in Groups St Andrews 2017 in Birming- ham, editors C. M. Campbell, C. W. Parker, M. R. Quick, E. F. Robertson, C. M. Roney-Dougal,London Mathematical Society Lecture Notes Series, vol. 455, 2019, pp. 271-288

    2017

  12. [12]

    Fairbairn, K

    B. Fairbairn, K. Magaard, and C. Parker, Generation of finite quasisimple groups with an application to groups acting on Beauville surfaces,P. Lond. Math. Soc.107(4) (2013), 744–798

    2013

  13. [13]

    G. A. Fern´ andez-Alcober, Omega subgroups of powerful p-groups,Israel J. Math. 162(2007), 75–79

    2007

  14. [14]

    G. A. Fern´ andez-Alcober, N. Gavioli, S ¸. G¨ ul, and C. M. Scoppola, Beauvillep-groups of wild type and groups of maximal class,Monatsh. Math,205(2024), 725–734

    2024

  15. [15]

    G. A. Fern´ andez-Alcober and S ¸. G¨ ul, Beauville structures in finitep-groups,J. Algebra 474(2017), 1–23

    2017

  16. [16]

    G. A. Fern´ andez-Alcober, S ¸. G¨ ul, and M. Vannacci, On the asymptotic behaviour of the number of Beauville and non-Beauvillep-groups,Proc. Lond. Math. Soc.120(2) (2020), 220–241

    2020

  17. [17]

    Fuertes, G

    Y. Fuertes, G. Gonz´ alez-Diez, and A. Jaikin, On Beauville surfaces,Groups Geom. Dyn.,5(2011), 107–119

    2011

  18. [18]

    Garion, M

    S. Garion, M. Larsen, and A. Lubotzky, Beauville surfaces and finite simple groups, J. Reine Angew. Math.,666(2012), 225–243

    2012

  19. [19]

    Garion and M

    S. Garion and M. Penegini, Beauville surfaces, moduli spaces and finite groups,Com- mun. Algebra42(5) (2014), 2126–2155

    2014

  20. [20]

    Gonz´ alez-Diez, G

    G. Gonz´ alez-Diez, G. A. Jones, and D. Torres-Teigell, Beauville surfaces with abelian Beauville group,Math. Scand.114(2014), 191–204. 28 S ¸. G ¨UL

    2014

  21. [21]

    Gonz´ alez-Diez and D

    G. Gonz´ alez-Diez and D. Torres-Teigell, An introduction to Beauville surfaces via uni- formization, in Quasiconformal mappings, Riemann surfaces, and Teichm¨ uller spaces, Contemp. Math., Volume 575, Amer. Math. Soc. Providence, RI, 2012, pp. 123—151

    2012

  22. [22]

    Guralnick and G

    R. Guralnick and G. Malle, Simple groups admit Beauville structures,J. London Math. Soc.85(2012), 694–721

    2012

  23. [23]

    G¨ ul and J

    S ¸. G¨ ul and J. Uria-Albizuri, Grigorchuk-Gupta-Sidki groups as a source for Beauville surfaces,Groups Geom. Dyn.14 (2)(2020), 689–704

    2020

  24. [24]

    G¨ ul, Purely (non-)strongly real Beauvillep-groups,Arc

    S ¸. G¨ ul, Purely (non-)strongly real Beauvillep-groups,Arc. Math.115(2020), 1–11

    2020

  25. [25]

    G¨ ul, Beauville structure inp-groups,Ph.D

    S ¸. G¨ ul, Beauville structure inp-groups,Ph.D. thesis, METU, 2016

    2016

  26. [26]

    G. A. Jones, Automorphism groups of Beuaville surfaces,J. Group Theory16(2013), 353–381

    2013

  27. [27]

    G. A. Jones, Beauville surfaces and groups: a survey, inRigidity and Symmetry, Fields Institute Communications70, Springer, New York, 2014, pp. 205–225

    2014

  28. [28]

    G. A. Jones, R. Nedela, and M. ˘Skoviera, Regular embeddings ofK n,n wherenis an odd prime power,Eur. J. Comb.,28(2007), 1863–1875

    2007

  29. [29]

    Menegazzo, Automorphisms ofp-groups with cyclic commutator subgroup,Rend

    F. Menegazzo, Automorphisms ofp-groups with cyclic commutator subgroup,Rend. Sem. Mat. Univ. Padova90(1993), 81–101

    1993

  30. [30]

    Stix and A

    J. Stix and A. Vdovina, Series ofp-groups with Beauville structure,Monatsh. Math. 181(2016), 177–186

    2016

  31. [31]

    Suzuki,Group Theory II, Springer, 1986

    M. Suzuki,Group Theory II, Springer, 1986. Department of Mathematics, Middle East Technical University, 06800 Ankara, Turkey. Email address:gsukran@metu.edu.tr

    1986