$\mathbb Z/2$-Godeaux surfaces

Carlos Rito; Eduardo Dias

REVIEW 1 major objections 1 minor 1 cited by

$\mathbb Z/2$-Godeaux surfaces

T0 review · 1 major / 1 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read The moduli space of numerical Godeaux surfaces with torsion group Z/2 is irreducible and unirational of dimension 8, with fundamental group also Z/2.

desk verdict The paper gives explicit equations for all universal covers of numerical Godeaux surfaces with Z/2 torsion and uses them to prove the moduli space is irreducible, unirational, and 8-dimensional with fundamental group also Z/2. read the letter →

arxiv 2009.12645 v3 submitted 2020-09-26 math.AG

Eduardo Dias , Carlos Rito This is my paper

classification math.AG

keywords Godeauxsurfacesmodulispacetorsiongroupfundamentaluniversalcoversnumericalalgebraic

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 establishes that numerical Godeaux surfaces with Z/2 torsion form an irreducible unirational moduli space of dimension 8. It further shows that the topological fundamental group of these surfaces is Z/2. The proof relies on constructing explicit equations that describe all possible universal covers of such surfaces. A sympathetic reader would care because this gives a complete parametrization and classification tool for this class of surfaces of general type. This settles questions about the structure of their moduli and topological invariants.

What carries the argument

The explicit construction of equations for all universal covers of numerical Godeaux surfaces with torsion group Z/2.

What would settle it

A numerical Godeaux surface with Z/2 torsion whose universal cover fails to match any of the constructed equations would show the construction does not cover all cases.

Watch

Extended reading notes

Core claim

We prove that the moduli space of numerical Godeaux surfaces with torsion group Z/2 is irreducible and unirational of dimension 8. Moreover, we show that the topological fundamental group of these surfaces is also Z/2. Our approach is based on the explicit construction of equations for all universal covers of numerical Godeaux surfaces with torsion group Z/2.

Load-bearing premise

The explicit construction of equations for the universal covers encompasses every numerical Godeaux surface with torsion group Z/2, with no additional cases or omissions outside this construction.

Editorial extensions

If this is right

The moduli space of these surfaces is irreducible.
The moduli space is unirational and has dimension 8.
The topological fundamental group of every such surface is Z/2.
Every numerical Godeaux surface with Z/2 torsion arises from the constructed equations on its universal cover.

Reading between the lines

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

The explicit equations supply a concrete parametrization that could be used to produce families of examples or to compute further invariants directly.
Unirationality of the moduli space implies the surfaces can be parametrized rationally, which may simplify questions about their deformations or specializations.
The result on the fundamental group fixes the homotopy type of these surfaces, which could affect calculations of their topological invariants or coverings.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main takeaway is that the authors construct explicit equations for the universal covers of every numerical Godeaux surface with Z/2 torsion. From this family they deduce that the moduli space is irreducible and unirational of dimension 8, and that the topological fundamental group is Z/2. This is the concrete advance the abstract advertises. The construction itself is the new element; prior work on Godeaux surfaces has often relied on more abstract deformation or existence arguments, so having equations that are claimed to cover the entire set is a step forward. If the parametrization really is complete and the dimension count follows from free parameters without hidden relations, the conclusions are direct. The paper does well by staying explicit, which makes the claims in principle checkable rather than purely existential. The fundamental group statement also comes out of the same equations, which keeps the argument unified. The soft spot is the completeness claim. The abstract asserts that the equations capture all such surfaces, but the strength of the result rests on showing there are no additional cases outside this family and that the map from the parameter space is dominant onto the moduli space. Without seeing the verification that every possible cover arises this way, it is hard to gauge how much room there is for missed surfaces or overcounting. The dimension 8 and unirationality are only as good as the parameter count and the absence of relations among them. This paper is aimed at people working on the classification of minimal surfaces of general type and the structure of their moduli spaces, especially those tracking torsion in the fundamental group. A reader already following Godeaux surfaces or numerical Godeaux cases will get a specific, usable result. It deserves peer review because the explicit construction gives referees something concrete to examine rather than an abstract existence claim, even if the completeness argument needs close checking.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that the moduli space of numerical Godeaux surfaces with torsion group ℤ/2 is irreducible and unirational of dimension 8, and that the topological fundamental group of these surfaces is also ℤ/2. The proof proceeds via an explicit construction of equations for all universal covers of such surfaces.

Significance. If the explicit construction is shown to be exhaustive, the result would be significant: it supplies a concrete parametrization that directly implies unirationality and irreducibility of the moduli space, together with a determination of the fundamental group. Such an explicit, equation-based approach to the moduli problem for surfaces of general type with p_g = q = 0 and K² = 1 is a concrete advance.

major comments (1)

[construction section / abstract] The central claim rests on the assertion that the given equations parametrize every numerical Godeaux surface with ℤ/2 torsion (see the abstract and the construction section). The manuscript must contain an explicit argument showing that no additional families exist outside this parametrization; without it the completeness of the moduli-space description remains unverified.

minor comments (1)

Notation for the torsion subgroup and for the universal cover should be introduced once and used consistently; cross-references to the defining equations would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the positive assessment of the significance of the result. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [construction section / abstract] The central claim rests on the assertion that the given equations parametrize every numerical Godeaux surface with ℤ/2 torsion (see the abstract and the construction section). The manuscript must contain an explicit argument showing that no additional families exist outside this parametrization; without it the completeness of the moduli-space description remains unverified.

Authors: We agree that an explicit statement of exhaustiveness is required for clarity. The construction proceeds by first determining the possible ℤ/2-actions on the canonical ring of the universal cover (a simply-connected surface of general type with K²=2), using the fact that the torsion in Pic is generated by the canonical class and the explicit form of the invariants under the group action. All possible generators and relations in degrees 1–4 are enumerated via a case analysis on the linear systems, showing that any numerical Godeaux surface with ℤ/2 torsion arises this way; the resulting 8-dimensional parameter space then implies the stated properties of the moduli space. To make this argument fully explicit, we will add a dedicated paragraph in the construction section that lists the classification steps and references the lemmas establishing that no other actions or relations are possible. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper derives its main results (irreducibility and unirationality of the moduli space, plus fundamental group) from an explicit construction of equations for all universal covers of the surfaces in question. No load-bearing self-citations, self-definitional steps, fitted parameters renamed as predictions, or ansatz smuggling appear in the provided abstract or described approach. The construction is presented as a direct parametrization from which the moduli properties follow, making the derivation self-contained against external benchmarks.

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

Abstract provides no information on free parameters, axioms, or invented entities; the proof is described only at the level of explicit construction of equations.

how reviews work

0 comments

Cite this review

Pith. "Pith review of $\mathbb Z/2$-Godeaux surfaces." pith.science (2026). https://pith.science/paper/2009.12645

@misc{pith2026200912645,
  author       = {Pith},
  title        = {Pith review of: $\mathbb Z/2$-Godeaux surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2009.12645}},
  note         = {Machine review of arXiv:2009.12645}
}

abstract

We prove that the moduli space of numerical Godeaux surfaces with torsion group $\mathbb{Z}/2$ is irreducible and unirational of dimension 8. Moreover, we show that the topological fundamental group of these surfaces is also $\mathbb{Z}/2$. Our approach is based on the explicit construction of equations for all universal covers of numerical Godeaux surfaces with torsion group $\mathbb{Z}/2$.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Computation of Singular Godeaux Surfaces and a New Explicit Fake Quadric (With an Appendix by Christian Gleissner and Noah Ruhland)
math.AG 2025-09 conditional novelty 8.0 of 10

A new explicit fake quadric is constructed from a Z/2-Godeaux surface with two A1 and two A3 singularities, and shown to be the first example not arising as a quotient of a product of curves.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · cited by 1 Pith paper

[1]

R. Barlow. Some new surfaces with p_g=0 . Duke Math. J. , 51(4):889--904, 1984

work page 1984
[2]

R. Barlow. A simply connected surface of general type with p_g=0 . Invent. Math. , 79(2):293--301, 1985

work page 1985
[3]

Bosma, J

W. Bosma, J. Cannon, and C. Playoust. The M agma algebra system. I . T he user language. J. Symbolic Comput. , 24(3-4):235--265, 1997

work page 1997
[4]

Borisov and E

L. Borisov and E. Fatighenti. New explicit constructions of surfaces of general type, 2020. arXiv:2004.02637

work page arXiv 2020
[5]

Borisov and S.-K

L. Borisov and S.-K. Yeung. Explicit equations of the C artwright- S teger surface. \'Epijournal de G\'eom\'etrie Alg\'ebrique , 4, 2020

work page 2020
[6]

Catanese

F. Catanese. Moduli of surfaces of general type. In Algebraic geometry---open problems ( R avello, 1982) , volume 997 of Lecture Notes in Math. , pages 90--112. Springer, Berlin-New York, 1983

work page 1982
[7]

Catanese

F. Catanese. Commutative algebra methods and equations of regular surfaces. In Algebraic geometry, B ucharest 1982 , volume 1056 of Lecture Notes in Math. , pages 68--111. Springer, Berlin, 1984

work page 1982
[8]

Catanese, P

F. Catanese, P. Cragnolini, and P. Oliverio. Surfaces with K^2= =2 and special nets of quadrics in 3 -space. In Classification of algebraic varieties ( L ' A quila, 1992) , volume 162 of Contemp. Math. , pages 77--128. Amer. Math. Soc., Providence, RI, 1994

work page 1992

Show all 25 references

[9]

Catanese and O

F. Catanese and O. Debarre. Surfaces with K^2=2,\; p_g=1,\; q=0 . J. Reine Angew. Math. , 395:1--55, 1989

1989
[10]

P. C. Craighero and R. Gattazzo. Quintic surfaces of P ^3 having a nonsingular model with q=p_g=0 , P_2 =0 . Rend. Sem. Mat. Univ. Padova , 91:187--198, 1994

1994
[11]

Catanese and C

F. Catanese and C. LeBrun. On the scalar curvature of E instein manifolds. Math. Res. Lett. , 4(6):843--854, 1997

1997
[12]

Coughlan

S. Coughlan. Extending hyperelliptic K 3 surfaces, and G odeaux surfaces with _1= Z/2 . J. Korean Math. Soc. , 53(4):869--893, 2016

2016
[13]

Catanese and R

F. Catanese and R. Pignatelli. On simply connected G odeaux surfaces. In Complex analysis and algebraic geometry , pages 117--153. de Gruyter, Berlin, 2000

2000
[14]

Coughlan and G

S. Coughlan and G. Urz\' u a. On Z/3 - G odeaux surfaces. Int. Math. Res. Not. IMRN , (18):5609--5637, 2018

2018
[15]

E. Dias, C. Rito, and G. Urz\'ua. On degenerations of Z/2 -- G odeaux surfaces, 2020. arXiv:2002.08836

2020
[16]

Gieseker

D. Gieseker. Global moduli for surfaces of general type. Invent. Math. , 43(3):233--282, 1977

1977
[17]

L. Godeaux. Sur une surface alg\'ebrique de genre zero et de bigenre deux. Atti Accad. Naz. Lincei , 14:479--481, 1931

1931
[18]

Kuranishi

M. Kuranishi. New proof for the existence of locally complete families of complex structures. In Proc. C onf. C omplex A nalysis ( M inneapolis, 1964) , pages 142--154. Springer, Berlin, 1965

1964
[19]

Lee and J

Y. Lee and J. Park. A simply connected surface of general type with p_g=0 and K^2=2 . Invent. Math. , 170(3):483--505, 2007

2007
[20]

Y. Miyaoka. Tricanonical maps of numerical G odeaux surfaces. Invent. Math. , 34(2):99--111, 1976

1976
[21]

M. Reid. Surfaces with p_ g =0 , K^ 2 =1 . J. Fac. Sci. Univ. Tokyo Sect. IA Math. , 25(1):75--92, 1978

1978
[22]

M. Reid. Infinitesimal view of extending a hyperplane section---deformation theory and computer algebra. In Algebraic geometry ( L ' A quila, 1988) , volume 1417 of Lecture Notes in Math. , pages 214--286. Springer, Berlin, 1990

1988
[23]

J. Rana, J. Tevelev, and G. Urz\' u a. The C raighero- G attazzo surface is simply connected. Compos. Math. , 153(3):557--585, 2017

2017
[24]

Schreyer and I

F.-O. Schreyer and I. Stenger. Godeaux surfaces I , 2020. arXiv:2009.05357

2020
[25]

J. Wavrik. Obstructions to the existence of a space of moduli. In Global A nalysis ( P apers in H onor of K . K odaira) , pages 403--414. Univ. Tokyo Press, Tokyo, 1969

1969

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.

[1] [1]

R. Barlow. Some new surfaces with p_g=0 . Duke Math. J. , 51(4):889--904, 1984

work page 1984

[2] [2]

R. Barlow. A simply connected surface of general type with p_g=0 . Invent. Math. , 79(2):293--301, 1985

work page 1985

[3] [3]

Bosma, J

W. Bosma, J. Cannon, and C. Playoust. The M agma algebra system. I . T he user language. J. Symbolic Comput. , 24(3-4):235--265, 1997

work page 1997

[4] [4]

Borisov and E

L. Borisov and E. Fatighenti. New explicit constructions of surfaces of general type, 2020. arXiv:2004.02637

work page arXiv 2020

[5] [5]

Borisov and S.-K

L. Borisov and S.-K. Yeung. Explicit equations of the C artwright- S teger surface. \'Epijournal de G\'eom\'etrie Alg\'ebrique , 4, 2020

work page 2020

[6] [6]

Catanese

F. Catanese. Moduli of surfaces of general type. In Algebraic geometry---open problems ( R avello, 1982) , volume 997 of Lecture Notes in Math. , pages 90--112. Springer, Berlin-New York, 1983

work page 1982

[7] [7]

Catanese

F. Catanese. Commutative algebra methods and equations of regular surfaces. In Algebraic geometry, B ucharest 1982 , volume 1056 of Lecture Notes in Math. , pages 68--111. Springer, Berlin, 1984

work page 1982

[8] [8]

Catanese, P

F. Catanese, P. Cragnolini, and P. Oliverio. Surfaces with K^2= =2 and special nets of quadrics in 3 -space. In Classification of algebraic varieties ( L ' A quila, 1992) , volume 162 of Contemp. Math. , pages 77--128. Amer. Math. Soc., Providence, RI, 1994

work page 1992