Smooth minimal surfaces of general type with $p_g=0, K^2=7$ and involutions

Han Zhang; Yifan Chen; YongJoo Shin

REVIEW 1 major objections 5 minor 16 references

Smooth minimal surfaces of general type with $p_g=0, K^2=7$ and involutions

T0 review · 1 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For smooth minimal general-type surfaces with $p_g=0$ and $K^2=7$, an involution with nine isolated fixed points cannot have an elliptic quotient, while one with eleven isolated fixed points forces a rational quotient, and in each case…

desk verdict Real incremental progress on the k=9 and k=11 involution cases, but the key fibration step rests on an unverified application of a quoted theorem. read the letter →

arxiv 2507.01405 v1 pith:DKKE2ILZ submitted 2025-07-02 math.AG

Yifan Chen , YongJoo Shin , Han Zhang This is my paper · ORCID

classification math.AG MSC 14J2914J50

keywords surfacesofgeneraltypep_g=0K^2=7involutionsbranchdivisorsrationalfibrationsInouedoublecovers

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 studies what happens when a smooth minimal surface of general type with $p_g=0$ and $K^2=7$ is divided by an involution. It proves that when the involution has nine isolated fixed points, the minimal resolution of the quotient cannot be properly elliptic: it is either rational or birational to an Enriques surface, and in the rational case only four branch divisors can occur. When the involution has eleven isolated fixed points, the quotient is always rational and only three branch divisors are possible. Combined with earlier work, this yields a complete short list of branch-divisor shapes for every allowed number of fixed points. The paper also proves that if the branch divisor has three irreducible components, the original surface is an Inoue surface, tying the classification to a known family of examples.

What carries the argument

The load-bearing tool is a rational fibration on the quotient surface. After choosing a $(-1)$-curve $G$ meeting one nodal curve $N_0$ and contracting $G$ and $N_0$, the paper invokes a theorem that the resulting rational surface with eight or ten nodal curves admits a rational fibration $f\colon W\to \mathbb{P}^1$ whose singular fibres have the form $N_{2j-1}+2G_j+N_{2j}$. Pulling this fibration back, the authors express the divisor class of $B_0$ in terms of $K_W$, a general fibre $F$, the curve $G$, and the nodal curves, then use intersection-number determinants and the Riemann-Hurwitz formula to enumerate the possible components of $B_0$.

What would settle it

Exhibit a smooth minimal general-type surface $S$ with $p_g=0$, $K^2=7$ and an involution with nine isolated fixed points whose quotient resolution has Kodaira dimension one, or exhibit a non-Inoue $S$ whose branch divisor has three irreducible components; either would refute Theorems 1.1 and 1.4 respectively. More locally, checking whether the quoted fibration theorem's hypotheses, such as the point $p'$ lying away from all remaining nodal curves, can fail after contracting $G$ and $N_0$ would settle whether the rational fibrations in Propositions 2.7 and 3.4 are guaranteed.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is that the birational geometry of the quotient $W$ and the branch divisor $B_0$ of an involution on such a surface $S$ are almost completely determined by the number $k$ of isolated fixed points. For $k=9$, Theorem 1.1 gives $K_W^2=-2$ and rules out Kodaira dimension one, so $W$ is birational to an Enriques surface or rational; in the rational case $B_0$ is one of $\Gamma_0^{(2,0)}+\Gamma_1^{(2,0)}+\Gamma_2^{(1,-2)}$, $\Gamma_0^{(3,0)}+\Gamma_1^{(1,-2)}$, $\Gamma_0^{(2,-2)}+\Gamma_1^{(2,0)}$, or $\Gamma_0^{(3,-2)}$. For $k=11$, Theorem 1.2 gives $K_W^2=-4$, $W$ rational, and $B_0$ one of $\Gamma_0^{(3,0)}+\Gamma_1^{(2,-2)}$, $\Gamma_0^{(3,-2)}+\Gamma_1^{(2,0)}$, or $\Gamma_0^{(4,-2)}$, where $\Gamma^{(a,b)}$ denotes a component of genus $a$ and self-intersection $b$. Theorem 1.4 adds that when $B_0$ has three irreducible components, $S$ must be an Inoue surface.

Load-bearing premise

The classification rests on the quoted result that after contracting the exceptional curve and one nodal curve, the resulting rational surface must admit a rational fibration with the prescribed singular fibres; if that quoted theorem does not apply to the contracted quotient, the fibrations and therefore the branch-divisor lists would not follow.

Editorial extensions

If this is right

A properly elliptic quotient cannot occur when $k=9$; any such involution has quotient birational to an Enriques surface or rational.
For $k=11$, the quotient is always rational, so any surface with the bicanonical involution has branch data drawn from the three listed cases.
Combined with the earlier classification, Theorem 1.3 gives a finite list of branch-divisor shapes covering all $k=5,7,9,11$, with known examples realizing several but not all shapes.
When the branch divisor has three components, the surface is an Inoue surface and therefore carries a Klein four-group of involutions with bicanonical map of degree two.

Reading between the lines

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

A natural next step, not taken in the paper, is to prove that the remaining unlisted 'unknown' branch cases are empty; the fibrations constructed here provide the intersection-theoretic constraints such a proof would need.
The same rational-fibration method may extend to nearby invariants, such as $K^2=6$ or $K^2=8$, where a comparable quotient classification is open.
The authors observe that every known surface with these invariants admits an involution; if one could prove that all such surfaces carry an involution, the lists here would become a full classification of the family.

Share X Bluesky LinkedIn Reddit HN

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

The paper is a solid, incremental contribution to the classification of pg=0, K^2=7 surfaces with involutions. The genuinely new results—excluding κ(W)=1 for k=9, shortening the k=9 branch-divisor list, giving the first k=11 list, and the Inoue characterization in Theorem 1.4—are real and advance the subject. The structure is sensible: nef divisors from Riemann-Roch, Hodge index arguments, and fibration techniques. The paper is also honest about which cases have known examples and which remain open.

The main soft spot is the application of [10, Theorem 3.2] in Propositions 2.7 and 3.4. The text only checks that W' is a smooth rational surface with eight (or ten) disjoint nodal curves. It does not state the full hypotheses of the cited theorem, nor verify that W' satisfies them—for example, whether the nodal curves must form a maximal configuration or whether additional (-1)- or (-2)-curves are excluded. Since the existence of the fibration f is used to compute DF and DF=4/8, and from there to classify B0, this is load-bearing. A referee must insist that the authors supply the precise statement of [10, Thm 3.2] and check its hypotheses, or give an independent proof of the fibration.

Minor issues: several decisive determinant computations (e.g., the intersection matrices yielding DF=8 and DF=4) are asserted without derivation. They are probably routine, but the paper would be easier to trust with the matrices or a small appendix. Also, in the exclusion of case (h) in Proposition 2.8, the claim that the listed divisors form a Q-basis is not justified. These are fixable, not fatal.

The central argument holds up in structure, but the one unverified external theorem is the kind of thing that can sink a classification if it fails. That said, the authors likely have a specific theorem in mind, and the gap is checkable. This paper deserves a serious referee, but the referee should be asked to scrutinize the [10] application and the determinant claims.

For a specialist in surfaces of general type, this is worth reading and citing once the gaps are patched.

Referee Report

1 major / 5 minor

Summary. The paper studies involutions on smooth minimal surfaces of general type with p_g=0 and K^2=7. Building on the earlier classification of Lee and Shin, it excludes the case where the quotient model W has Kodaira dimension 1 when the involution has 9 isolated fixed points, reduces the list of possible branch divisors in that case, and provides the analogous list when k=11. It also proves that if the branch divisor has three components, the surface is one of Inoue's surfaces.

Significance. If the proofs are correct, the paper substantially sharpens the known classification of involutions on these surfaces and gives a new characterization of Inoue surfaces. The arguments use standard tools (Hodge index, Riemann-Roch, fibrations) and are carefully structured. The main results are concrete and falsifiable, and the paper explicitly records which cases have known examples and which do not. However, the central classification depends on an external theorem whose hypotheses are not verified in the manuscript.

major comments (1)

[§2.3, Proposition 2.7, Step 2 (and §3.2, Proposition 3.4, Step 2)] The proof invokes [10, Theorem 3.2] on the surface W' obtained by contracting G+N0, verifying only that W' is a smooth rational surface with eight (resp. ten) disjoint nodal curves. The statement of [10, Theorem 3.2] is not given, and additional hypotheses that the theorem might require—such as maximality of the nodal configuration, absence of further exceptional curves, or a condition on the Picard number—are not checked. Since the existence of the rational fibration f, the identities DF=8 and DF=4, and consequently the branch-divisor classifications in Propositions 2.8 and 3.6 all depend on this invocation, the authors should either state [10, Theorem 3.2] in full and verify every hypothesis for W', or supply a self-contained proof of the fibration.

minor comments (5)

[Section 1] There is a typo "On the the hand" in the introduction; it should read "On the other hand".
[Section 4] In the table footnote for case (7)(a), the reference is given as [5, Theorem 1.1], but the text immediately before Theorem 1.4 attributes this classification to [8, Theorem 1.1]; the footnote should cite [8].
[§2.3 and §3.2] The determinant computations used to derive DF=8 and DF=4 are stated without displaying the intersection matrices or the intermediate steps; including these computations would make the arguments easier to verify.
[§2.4, Proposition 2.8] After the determinant calculations, the linear equivalences such as 2K_W+Γ1≡F are asserted without showing the null vector computation; please add a brief derivation or the relevant matrix.
[Section 4, Proof of Theorem 1.4] The phrase "a disjoint of two smooth irreducible curves" should read "a disjoint union of two smooth irreducible curves".

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained given the cited external theorems; self-citations are independent published classifications.

full rationale

The paper's derivation chain is not circular. Theorems 1.1 and 1.2 and Propositions 2.7, 2.8, 3.4, and 3.6 are obtained from the numerical constraints D^2 = 14, D K_W, K_W^2, B_0^2, and from the external inputs [12] (for k = 9) and [14] plus [2,3,12] (for k = 11). The rational fibrations in Propositions 2.7 and 3.4 are constructed by contracting a (-1)-curve and a nodal curve and then invoking the external theorem [10, Theorem 3.2]; the fibre degree identities DF = 8 and DF = 4 are solved from intersection-matrix determinants, not assumed. The branch-divisor classifications in Propositions 2.8 and 3.6 then follow by solving quadratic intersection equations and Riemann-Hurwitz inequalities. None of these steps fits a parameter to the conclusion or defines the conclusion into a hypothesis. The only self-citations occur in the proof of Theorem 1.4, where [7, Theorem 1.2] identifies the group generated by the two involutions and [6, Theorem 1.1] forces the pair into case (a). These are prior published theorems by the first author with independent proofs and assumptions; they do not presuppose the specific branch-divisor configuration being classified, so they are real evidence rather than circular dependence. The flagged concern about verifying every hypothesis of [10, Theorem 3.2] after contracting G + N_0 is a correctness risk, not circularity, because that theorem is external and does not contain the paper's target conclusions. The paper also explicitly leaves some cases as open questions and remarks where examples are unknown, further indicating that its classifications are not being forced by construction.

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

The paper introduces no free parameters fitted to data and no new postulated entities. Its axioms are the standard theorems of surface classification plus the specific prior results cited; the domain hypothesis (smooth minimal general type with pg=0, K^2=7 and an involution) is the set of objects under study.

assumptions (9)

domain assumption S is a smooth minimal surface of general type with p_g=0, K^2=7 and sigma an involution; the quotient resolution setup of Section 1.
This is the class of objects under study; the entire classification is conditional on these hypotheses.
standard math Hodge index theorem (algebraic index theorem) for surfaces.
Used repeatedly in Lemmas 2.2 and 2.5 and Propositions 2.7, 3.4, and 3.6 to derive numerical contradictions.
standard math Riemann-Roch theorem for surfaces and Kawamata-Viehweg vanishing.
Used to compute h^0 of line bundles such as M_i in Sections 2 and 3.
standard math Adjunction formula for curves on surfaces.
Used in Propositions 2.8 and 3.6 to relate genus, self-intersection, and canonical intersection.
standard math [12, Lee-Shin] classification for k=9, Theorem 2.1.
Starting point for Section 2; gives the initial list of possible branch divisors and the numerical data K_W^2=-2, D K_W=2.
standard math [14, Mendes Lopes-Pardini] results for k=11: K_S ample, K_W^2=-4 and kappa(W)=-infinity.
Starting point for Section 3; Lemma 3.2 (2) quotes these facts from [14] and related work [2], [3], [12].
standard math [10, Dolgachev-Mendes Lopes-Pardini, Theorem 3.2] existence of a rational fibration for rational surfaces with many nodes.
Used in Step 2 of Propositions 2.7 and 3.4 to construct the rational fibration f whose fibres control the branch divisor structure.
standard math [6, Theorem 1.1] and [7, Theorem 1.2] on commuting involutions on minimal general type surfaces with pg=0 and K^2=7.
Used in the proof of Theorem 1.4 to identify the pair (S, <tau,sigma>) and its fixed curve intersections.
standard math [16, Xiao, Theorem 2] ruling out genus 2 fibrations on minimal surfaces of general type with these invariants.
Used in Theorem 1.4 to exclude the split case of the etale double cover of a general fibre.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Smooth minimal surfaces of general type with $p_g=0, K^2=7$ and involutions." pith.science (2026). https://pith.science/paper/DKKE2ILZ

@misc{pith2026250701405,
  author       = {Pith},
  title        = {Pith review of: Smooth minimal surfaces of general type with $p_g=0, K^2=7$ and involutions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DKKE2ILZ}},
  note         = {Machine review of arXiv:2507.01405}
}

abstract

Lee and the second named author studied involutions on smooth minimal surfaces $S$ of general type with $p_g(S)=0$ and $K_S^2=7$. They gave the possibilities of the birational models $W$ of the quotients and the branch divisors $B_0$ induced by involutions $\sigma$ on the surfaces $S$. In this paper we improve and refine the results of Lee and the second named author. We exclude the case of the Kodaira dimension $\kappa(W)=1$ when the number $k$ of isolated fixed points of an involution $\sigma$ on $S$ is nine. The possibilities of branch divisors $B_0$ are reduced for the case $k=9$, and are newly given for the case $k=11$. Moreover, we show that if the branch divisor $B_0$ has three irreducible components, then $S$ is an Inoue surface.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[10]

Dolgachev, M

I. Dolgachev, M. Mendes Lopes and R. Pardini, Rational surfaces with many nodes , Com- pos. Math. 132 (2002), no. 3, 349–363

work page 2002
[1]

Bauer and F

I. Bauer and F. Catanese, Inoue type manifolds and Inoue surfaces: a connected component of the moduli space of surfaces with K 2 = 7, pg = 0, Geometry and arithmetic, 23–56, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2012. 16

work page 2012
[2]

Calabri, C

A. Calabri, C. Ciliberto and M. Mendes Lopes, Numerical Godeaux surfaces with an invo- lution, Trans. Amer. Math. Soc. 359 (2007), no. 4, 1605–1632

work page 2007
[3]

Calabri, M

A. Calabri, M. Mendes Lopes and R. Pardini, Involutions on numerical Campedelli surfaces, Tohoku Math. J. (2) 60 (2008), no. 1, 1–22

work page 2008
[4]

Calabri and E

A. Calabri and E. Stagnaro, Surfaces of general type with vanishing geometric genus from double planes , Matematiche (Catania) 72 (2017), no. 2, 37–68

work page 2017
[5]

Chen, A new family of surfaces of general type with K 2 = 7 and pg = 0, Math

Y. Chen, A new family of surfaces of general type with K 2 = 7 and pg = 0, Math. Z. 275 (2013), no. 3-4, 1275–1286

work page 2013
[6]

Chen, Commuting involutions on surfaces of general type with pg = 0 and K 2 = 7, Manuscripta math

Y. Chen, Commuting involutions on surfaces of general type with pg = 0 and K 2 = 7, Manuscripta math. 147 (2015), no. 3-4, 547–575

work page 2015
[7]

Chen, Notes on automorphisms of surfaces of general type with pg = 0 and K 2 = 7, Nagoya Math

Y. Chen, Notes on automorphisms of surfaces of general type with pg = 0 and K 2 = 7, Nagoya Math. J. 223 (2016), no. 1, 66–86

work page 2016

Show all 16 references

[8]

Chen and Y

Y. Chen and Y. Shin, A characterization of Inoue surfaces with pg = 0 and K 2 = 7, Geom. Dedicata 197 (2018), 97–106

2018
[9]

Chen and Y

Y. Chen and Y. Shin, A two-dimensional family of surfaces of general type with pg = 0 and K 2 = 7, Adv. Math. 379 (2021), Paper No. 107551, 19 pp

2021
[11]

Inoue, Some new surfaces of general type , Tokyo J

M. Inoue, Some new surfaces of general type , Tokyo J. Math. 17 (1994), no. 2, 295–319

1994
[12]

Lee and Y

Y. Lee and Y. Shin, Involutions on a surface of general type with pg = q = 0, K 2 = 7, Osaka J. Math. 51 (2014), no. 1, 121–139

2014
[13]

Mendes Lopes and R

M. Mendes Lopes and R. Pardini, The bicanonical map of surfaces with pg = 0 and K 2 ≥ 7, Bull. London Math. Soc. 33 (2001), no. 3, 265–274

2001
[14]

Mendes Lopes and R

M. Mendes Lopes and R. Pardini, The bicanonical map of surfaces with pg = 0 and K 2 ≥ 7, II, Bull. London Math. Soc. 35 (2003), no. 3, 337–343

2003
[15]

Rito, New surfaces with K 2 = 7 and pg = q ≤ 2, Asian J

C. Rito, New surfaces with K 2 = 7 and pg = q ≤ 2, Asian J. Math. 22 (6) (2018), 1117–1126

2018
[16]

Xiao, Finitude de l’application bicanonique des surfaces de type g´ en´ eral, Bull

G. Xiao, Finitude de l’application bicanonique des surfaces de type g´ en´ eral, Bull. Soc. Math. France 113 (1985), no. 1, 23–51. Yifan Chen, School of Mathematical Sciences, Beihang University, 9 Nanshan Street, Shahe Higher Education Park, Changping, Beijing, 102206, P. R. ...

1985

Pith tools

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

[1] [10]

Dolgachev, M

I. Dolgachev, M. Mendes Lopes and R. Pardini, Rational surfaces with many nodes , Com- pos. Math. 132 (2002), no. 3, 349–363

work page 2002

[2] [1]

Bauer and F

I. Bauer and F. Catanese, Inoue type manifolds and Inoue surfaces: a connected component of the moduli space of surfaces with K 2 = 7, pg = 0, Geometry and arithmetic, 23–56, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2012. 16

work page 2012

[3] [2]

Calabri, C

A. Calabri, C. Ciliberto and M. Mendes Lopes, Numerical Godeaux surfaces with an invo- lution, Trans. Amer. Math. Soc. 359 (2007), no. 4, 1605–1632

work page 2007

[4] [3]

Calabri, M

A. Calabri, M. Mendes Lopes and R. Pardini, Involutions on numerical Campedelli surfaces, Tohoku Math. J. (2) 60 (2008), no. 1, 1–22

work page 2008

[5] [4]

Calabri and E

A. Calabri and E. Stagnaro, Surfaces of general type with vanishing geometric genus from double planes , Matematiche (Catania) 72 (2017), no. 2, 37–68

work page 2017

[6] [5]

Chen, A new family of surfaces of general type with K 2 = 7 and pg = 0, Math

Y. Chen, A new family of surfaces of general type with K 2 = 7 and pg = 0, Math. Z. 275 (2013), no. 3-4, 1275–1286

work page 2013

[7] [6]

Chen, Commuting involutions on surfaces of general type with pg = 0 and K 2 = 7, Manuscripta math

Y. Chen, Commuting involutions on surfaces of general type with pg = 0 and K 2 = 7, Manuscripta math. 147 (2015), no. 3-4, 547–575

work page 2015

[8] [7]

Chen, Notes on automorphisms of surfaces of general type with pg = 0 and K 2 = 7, Nagoya Math

Y. Chen, Notes on automorphisms of surfaces of general type with pg = 0 and K 2 = 7, Nagoya Math. J. 223 (2016), no. 1, 66–86

work page 2016