Pith. sign in

REVIEW 3 major objections 3 minor 24 references

Surfaces on the Severi line in positive characteristics

T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The equality case of the Severi inequality occurs exactly when the canonical model is a flat double cover of an abelian surface, over every algebraically closed field.

desk verdict A serious, mostly sound completion of the Severi-line classification in all characteristics, but the referee should check the unstated hypotheses on the genus-change formula in Proposition 5.13(2) and fix the numerical error in Example 7.3. read the letter →

arxiv 1908.01933 v2 pith:OAGFBCQD submitted 2019-08-06 math.AG

Yi Gu , Xiaotao Sun , Mingshuo Zhou This is my paper · ORCID
classification math.AG MSC 14J2914J1714K05
keywords SeveriinequalitylinesurfacesofgeneraltypemaximalAlbanesedimensionflatdoublecoverpositivecharacteristic2slope
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

This paper closes the equality case of the Severi inequality in all characteristics. For a minimal surface of general type whose Albanese morphism is generically finite onto its image, the inequality $K_X^2 \ge 4\chi(\mathcal O_X)$ is sharp exactly when the canonical model is a flat double cover of an abelian surface. The proof establishes a refined inequality $K_X^2 \ge (4+\min\{c(X,L),\frac13\})\chi(\mathcal O_X)$, where $c(X,L)$ is a nonnegative constant that vanishes precisely when the Albanese morphism is a double cover of an abelian surface, so equality in the original inequality forces $c(X,L)=0$. A separate analysis of flat double covers, including inseparable and wildly ramified cases in characteristic 2, proves the converse and supplies explicit examples. The result matters because it completes the classification of surfaces attaining the Severi bound, removing the last characteristic-$p$ obstructions.

What carries the argument

The load-bearing mechanism is a refined slope inequality for non-hyperelliptic fibrations: if a fibration of fibre genus $g$ has the property that every degree-2 component in its Harder-Narasimhan filtration has fibre genus at least $c g$, then its slope satisfies $K_f^2\ge (4+c)\frac{g-1}{g+2}\chi_f$. Into this inequality the paper feeds a family of fibrations $\phi_n\colon \widetilde X_n\to \mathbb P^1$ produced by the covering trick—base change by multiplication by $n$ on the Albanese variety and resolution of a pencil of divisors—whose slopes converge to $K_X^2/\chi(\mathcal O_X)$. The decisive step, Proposition 5.13, shows the limiting ratio of fibre genera is bounded below by $c(X,L)$; the proof either descends the double covers to $X$ or, when the fibration is inseparable, uses the genus-change formula $g'_n=g_n-\frac14\dim_{k(t)}(\Omega_{\widetilde X_n/\mathbb P^1,\mathrm{tor}})_\eta$ together with a torsion estimate in terms of $c_1(\Omega_{X_n/\mathrm{Alb}_X})$. The converse rests on the canonical resolution of flat double covers, with rank-one foliations accounting for inseparable covers in characteristic 2.

What would settle it

Construct a characteristic-2 surface with a separable Albanese morphism, $K_X^2=4\chi(\mathcal O_X)$, and no degree-2 map to an abelian surface; then compute the genus change in the fibration $\phi_n$ produced by the covering trick and check whether the inequality $g'_n\ge n^{2q-2}(2K_X-R_X)\cdot L_X/4+1$ from Proposition 5.13 holds, where $R_X=c_1(\det(\Omega_{X/\mathrm{Alb}_X}))$. A single failure of that inequality would refute the refined Severi inequality and hence Theorem 1.5.

Watch

Extended reading notes

Core claim

Over an algebraically closed field of any characteristic, let $X$ be a minimal surface of general type with maximal Albanese dimension, meaning the Albanese morphism $a_X\colon X\to \mathrm{Alb}_X$ is generically finite onto its image. The central discovery is the complete equality case: $K_X^2=4\chi(\mathcal O_X)$ holds if and only if the canonical model $X_{\mathrm{can}}$ is a flat double cover of an abelian surface. The forward direction is obtained from a refined Severi inequality whose extra term is a constant $c(X,L)\ge 0$ built from the ratios $K_{Y_i}\cdot h_i^*L\,/\,K_X\cdot a_X^*L$ over the finitely many rational double covers of $X$ relative to its Albanese map, together with a characteristic-2 correction $c_0$ involving $\det(\Omega_{X/\mathrm{Alb}_X})$. Since $c(X,L)=0$ exactly when $\dim\mathrm{Alb}_X=2$ and $a_X$ is a double cover, equality in the Severi inequality forces $X$ to be a double cover of an abelian surface; the converse and the identification of the canonical model come from a study of flat double covers in all characteristics, where inseparable covers are handled through foliations.

Load-bearing premise

The proof of the refined inequality in the inseparable-fibration case relies on a cited genus-change formula for inseparable fibrations, which computes the drop in fibre genus from the torsion of relative Kähler differentials; if that formula has hidden hypotheses not satisfied by the fibrations built from the covering trick, the equality-implies-double-cover direction would remain unproved in that case.

Editorial extensions

If this is right

  • In every characteristic, a surface of general type with maximal Albanese dimension attains $K_X^2=4\chi(\mathcal O_X)$ only by being a flat double cover of an abelian surface; no exotic positive-characteristic counterexamples remain.
  • The refined inequality gives an explicit quantitative gap: whenever the Albanese morphism is not a double cover of an abelian surface, $K_X^2 \ge (4+\min\{c(X,L),\frac13\})\chi(\mathcal O_X)$, bounding how close such surfaces can come to the Severi line.
  • Classification of Severi-line surfaces reduces to classifying flat double covers of abelian surfaces, including inseparable and wildly ramified covers, and the two characteristic-2 examples show such covers exist with both separable and inseparable Albanese morphisms.
  • The canonical models of Severi-line surfaces have at worst A-D-E (rational double point) singularities in characteristic 2, and their branch divisors can be wildly singular, unlike in characteristic zero.

Reading between the lines

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

  • Beyond the paper: if the refined inequality is stable under specialization, it would give a uniform gap statement for families of irregular surfaces approaching the Severi line in any characteristic: the limit either is a flat double cover or has normalized self-intersection at least $4\chi + \frac13\chi$ in the appropriate sense.
  • Beyond the paper: the $c_0(X,L)$ term suggests that in characteristic 2 the failure of the classical double-cover reduction is measured by torsion of relative Kähler differentials; one could test this by computing $c_0$ for explicit families of inseparable fibrations and checking whether equality forces the asymptotic $c_0$ to vanish.
  • Beyond the paper: the wild branch-divisor examples indicate that Severi-line surfaces in characteristic 2 form larger moduli strata than their characteristic-0 counterparts, since the branch locus may acquire arbitrarily high multiplicity while the canonical model stays smooth; this has consequences for any attempted moduli description.
  • Beyond the paper: the same slope-inequality mechanism might extend to higher-dimensional varieties of maximal Albanese dimension or to other sharp inequalities, with the role of the double cover replaced by a higher-degree fibration; that extension is not attempted in the paper.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper studies minimal surfaces of general type with maximal Albanese dimension over algebraically closed fields of arbitrary characteristic. It introduces a constant c(X,L) defined from the finite set of rational double covers of X relative to the Albanese map, together with a characteristic-2 correction term c0(X,L) when the Albanese map is separable, and proves a refined Severi inequality K_X^2 ≥ (4 + min{c(X,L), 1/3})χ(O_X) (Theorem 5.14). As a consequence, equality K_X^2 = 4χ(O_X) implies that q = 2 and the Albanese map is a double cover (Corollary 5.15). In Section 6 the authors analyze flat double covers of abelian surfaces and prove the converse, so that a minimal surface is on the Severi line if and only if its canonical model is a flat double cover of an abelian surface (Corollary 6.3 and Theorem 1.5). Section 7 gives two characteristic-2 examples, one with an inseparable and one with a separable Albanese morphism.

Significance. If the proof can be made fully rigorous, the result completes the characterization of the equality case of the Severi inequality in all characteristics, settling a conjecture of Lopes–Pardini and Manetti in the positive-characteristic case and generalizing the characteristic-zero results of Barja–Pardini–Stoppino and Lu–Zuo. The refined inequality with the explicit constant c(X,L) is a new quantitative statement, and the treatment of inseparable double covers via 1-foliations is a useful contribution. The paper is not circular: the constant c(X,L) is defined independently and the refined inequality is proved rather than imported. However, the proof rests on several delicate technical steps whose hypotheses are not fully stated or verified in the current manuscript.

major comments (3)
  1. [Section 3, proof of Theorem 3.1(2)] The proof of Theorem 3.1(2) uses an index ℓ in the definition of ℓ'' = min{ℓ' ≤ i < ℓ | r_i ≥ b_i + 2} and in the summation ranges of inequalities (10) and (11), but ℓ is never defined in the manuscript. I conjecture that the intended definition is ℓ = min{i | γ_i = 1}, i.e., the first index for which the relative canonical map is birational. If so, this must be stated explicitly and its existence justified for the fibrations under consideration. As written, the chain of inequalities proving K_f^2 ≥ (4+c)χ_f is incomplete, and this is a load-bearing step for Theorem 5.14.
  2. [Section 5.2, Proposition 5.13(2)] The proof of Proposition 5.13(2) invokes the genus change formula g'_n = g_n − 1/4 dim_{k(t)}(Ω_{\tilde X_n/P^1,tor})_η, citing [9, §2.1, Prop. 2.2], without stating the hypotheses under which this formula is valid. The authors themselves note before (13) that the fibrations ϕ_n can have singular generic geometric fibre because Bertini is not as strong as in characteristic 0. If the cited formula requires a smooth generic fibre, or computes the arithmetic genus of the quotient rather than that of the minimal resolution Z'_{n,Ξ}, then its application to the fibrations constructed in Section 5.2 is not justified. Since case (2) is exactly the situation needed for Corollary 5.15 when a_X is separable but φ_n is inseparable, the authors must verify the hypotheses of [9, Prop. 2.2] for the constructed ϕ_n or give a self-contained proof of the formula in this setting.
  3. [Section 5.2, Lemma 5.8] The inequality dim_{k(t)}(Ω_{\tilde X_n/P^1,tor})_η ≤ c_1(Ω_{X_n/Alb_X})·L_{X_n} in Lemma 5.8 is the second input to the estimate in Proposition 5.13(2), but the proof is too terse at the key comparison. In particular, the step 'It then follows from Lemma 5.9, that the length is not larger than the length of the torsion sheaf Ω_{X_n/k,ξ_j}/(df_1,...,df_l)' requires an explicit argument: Lemma 5.9(2) gives the valuation of a generic linear combination, and one then needs to compare the torsion length of the quotient by that single element with the torsion length of the quotient by all the df_i. Please expand this step so that the direction of the inequality is transparent. Also, the assertion that the horizontal torsion components are among the strict transforms of the P_j should be justified in more detail, since the exceptional divisors of ~X_n → X_n include sections of ϕ_n and the exclusion of these horizontal components from the torsion support is not immediate.
minor comments (3)
  1. [Section 5.2, choice of Ξ_n after Lemma 5.7] In the three-bullet selection rule, the second and third bullets both say 'a_n : X → Alb_X is inseparable'; the third bullet should presumably say 'separable', as it introduces Lemma 5.8. Please correct this typo.
  2. [Section 7.3, Example 7.3] The divisor defined by x_1^{2n}+x_2^{2n+1}=0 is the divisor of a rational function on the abelian surface A, hence it is a principal divisor. It cannot be a member of the non-trivial linear system |2nΓ_1+(2n+1)Γ_2|. The example needs to be recast using an actual section of the relevant line bundle. This error is peripheral to the main theorem but invalidates the example as written.
  3. [Equation (13) and Section 3 heading] In the displayed formula for λ_{ϕ_n} in equation (13), the notation 'H' is used in the numerator while 'L_X' is used in the denominator for the same pullback class; please make the notation consistent. Also, the heading 'non-hyperellitic' in Section 3 should read 'non-hyperelliptic', and the reference [21] has a typo 'slop inequalities'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: c(X,L) is a geometric invariant and the refined Severi inequality is proved, not fitted.

full rationale

The derivation chain is self-contained. The constant c(X,L) is defined from the finitely many rational double covers of X relative to a_X, together with the characteristic-2 canonical-sheaf term c0(X,L); it is not fitted to the target equality. Proposition 5.2 proves directly that c(X,L)=0 occurs exactly when q=2 and a_X is a double cover. Theorem 3.1 is proved in the paper from Xiao-type inequalities and Clifford-type bounds, and the refined inequality in Theorem 5.14 follows by combining this slope bound with the limit estimate of Proposition 5.13. The cited results from [9] (genus-change formula) and [21] (Xiao's approach in positive characteristic) are published technical tools; they are not restatements of the Severi-line characterization, and the central claim does not reduce to them. Any concern about the hypotheses of [9, Prop. 2.2] is a correctness risk, not circularity, because the paper does not define the invariant or the equality statement in terms of that formula. No circular step can be exhibited from the paper's own equations or citations.

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

The proof uses standard algebraic geometry tools (Hodge index theorem, Clifford's theorem, Castelnuovo bound, Grothendieck's splitting theorem on P^1) and several cited results specific to positive characteristic: the 1-foliation correspondence for inseparable double covers, the genus change formula for inseparable fibrations, and Liu-Lorenzini's regular model theorem. No free parameters are fitted to data and no new entities are postulated.

assumptions (6)
  • standard math Hodge index theorem for surfaces, used in Proposition 5.2 to conclude K_Yi ≡ 0 from K_Yi · L_Yi = 0.
    Invoked in Section 5.1, Proposition 5.2, when showing c_i(X,L)=0 forces Y_i to be an Abelian surface.
  • standard math Castelnuovo's bound and Clifford's theorem for curves, used in the proof of Theorem 3.1(2) to bound degrees of images of fibres.
    Used in Section 3 within the inequality (11) and the subsequent displayed bounds on d_i.
  • standard math Grothendieck's theorem on vector bundles over P^1, used to set up the Harder-Narasimhan filtration in Section 3.
    Invoked at the beginning of the proof of Theorem 3.1: f_*ω_{Y/P^1} splits as a sum of line bundles O(μ_j).
  • domain assumption The 1-foliation and inseparable double cover correspondence (Ekedahl, Theorem 2.4).
    Used throughout Section 2.2 and Section 6.2 to convert inseparable double covers into rank-1 foliations, which is essential for the characteristic 2 arguments.
  • domain assumption The genus change formula for inseparable fibrations, [9, Prop. 2.2].
    Used in Proposition 5.13, case (2), to relate g'_n to g_n and the torsion dimension; this is load-bearing for the c0(X,L) part of the refined inequality.
  • domain assumption Liu-Lorenzini's regular model theorem for Galois covers of curves, Theorem 6.8.
    Used in Section 6.3, Proposition 6.9, to show that the canonical resolution stops for separable double covers in characteristic 2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Surfaces on the Severi line in positive characteristics." pith.science (2026). https://pith.science/paper/OAGFBCQD

@misc{pith2026190801933,
  author       = {Pith},
  title        = {Pith review of: Surfaces on the Severi line in positive characteristics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OAGFBCQD}},
  note         = {Machine review of arXiv:1908.01933}
}
abstract

Let $X$ be a minimal surface of general type over an algebraically closed field $\mathbf{k}$ of $\mathrm{char}.(\mathbf{k})=p\ge 0$. If the Albanese morphism $a_X:X\to \mathrm{Alb}_X$ is generically finite onto its image, we formulate a constant $c(X,L)\ge 0$ for a very ample line bundle $L$ on $\mathrm{Alb}_X$ such that $c(X,L)=0$ if and only if $\dim \mathrm{Alb}_X=2$ and $a_X: X\to \mathrm{Alb}_X$ is a double cover. A refined Severi inequality $$K^2_X\ge (4+{\rm min}\{\,c(X,L),\,\frac{1}{3}\,\})\chi(\mathcal{O}_X)$$ is proved. Then we prove that $K^2_X=4\chi(\mathcal{O}_X)$ if and only if the canonical model of $X$ is a flat double cover of an Abelian surface.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    A., and Harris, J.: Geometry of alge- braic curves, Vol

    Arbarello, E., Cornalba, M., Griffiths, P. A., and Harris, J.: Geometry of alge- braic curves, Vol. I, volume 267 of Grundlehren der Mathematischen Wis- senschaften [Foundmental PrinBciples of Mathematical Sciences]. Springer- Verlag, New York, (1985)

    work page 1985

  2. [2]

    and Buchbaum, D.: Homological dimension in local rings , Trans- action of the A

    Aulander, M. and Buchbaum, D.: Homological dimension in local rings , Trans- action of the A. M. S., 85 (1957): 390405

    work page 1957

  3. [3]

    Springer-Verlag, New York, (2001)

    Badescu, L.: Algberaic surfaces , Universitext. Springer-Verlag, New York, (2001)

    work page 2001

  4. [4]

    and Stoppino, L.: Surfaces on the Severi line , Journal de Math´ ematiques Pures et Appliqu´ ees,105 no

    Barja, M.A., Pardini, R. and Stoppino, L.: Surfaces on the Severi line , Journal de Math´ ematiques Pures et Appliqu´ ees,105 no. 5 (2016): 734–743

    work page 2016

  5. [5]

    Ravello 1982 , in L.N.M., vol

    Catanese, F.: Moduli of surfaces of general type , in Algebraic Geometry: Open Problems, Roc. Ravello 1982 , in L.N.M., vol. 997, Springer-Verlag (1983): 90- 112

    work page 1983

  6. [6]

    and Dolgachev, I.: Enriques surfaces, Progress in Mathematics, 76

    Cossec, F. and Dolgachev, I.: Enriques surfaces, Progress in Mathematics, 76. Birkh¨ auser Boston, Inc., Boston, MA, 1989. 28 YI GU, XIAOTAO SUN AND MINGSHUO ZHOU

    work page 1989

  7. [7]

    Ekedahl, T.: Foliations and inseparable morphism , Proc. Symp. Pure Math. 46 no.2 (1987): 139-149

    work page 1987

  8. [8]

    Hautes ´Etudes Sci

    Ekedahl, T.: Canonical models of surfaces of general type in positive cha rac- teristic, Inst. Hautes ´Etudes Sci. Publ. Math. No. 67 (1988): 97144

    work page 1988

Show all 24 references
  1. [9]

    Gu, Y.: On algebraic surfaces of general type with negative c2, Compos. Math. 152 no.9 (2016): 1966-1998

    2016

  2. [10]

    Harris, J.: A bound on the geometric genus of projective varieties , Ann. Sc. Norm. Super. Pisa Cl, Sci. 8(4) (1981): 35-68

    1981

  3. [11]

    Hirokado, M.: Singularities of multiplicative p-closed vector fields and global 1-forms of Zariski surfaces , J. Math. Kyoto Univ. 39, no.3 (1999):455–468

    1999

  4. [12]

    42, Birkh¨ auser (1983): 89–91

    Jouanolou, J-P.: Th´ eor` emes de Bertini et applications, Progress in Math. 42, Birkh¨ auser (1983): 89–91

    1983

  5. [13]

    118 (1999): 61-102

    Liu, Q., Lorenzini, D.: Models of curves and finite covers , Compositio Math. 118 (1999): 61-102

    1999

  6. [14]

    and Zuo, K.: On Severi type inequalities for irregular surfaces , Inter- national Mathematics Research Notices, 2019 (2017): 231–248

    Lu, X. and Zuo, K.: On Severi type inequalities for irregular surfaces , Inter- national Mathematics Research Notices, 2019 (2017): 231–248

    2017

  7. [15]

    and Zuo, K.: On the gonality and the slope of a fibred surface , Adv

    Lu, X. and Zuo, K.: On the gonality and the slope of a fibred surface , Adv. Maths. 324 (2018): 336-354

    2018

  8. [16]

    Lopes, M. M. and Pardini, R.: The geography of irregular surfaces , In Cur- rent Developments in Algebraic Geometry , 349-378. Math. Sci. Res. Publ. 59. Cambridge: Cambridge University Press, 2012

    2012

  9. [17]

    Manetti, M.: Surfaces of Albanese general type and the Severi conjecture , Math. Nachr. 261/262 (2003): 105-122

    2003

  10. [18]

    Pardini, R.: The Severi inequality K 2 ≥ 4χ for surfaces of maximal Albanese dimension, Invent. Math. 159, no.3 (2005): 669-672

    2005

  11. [19]

    Reid, M.: π1 for surfaces with small c2 1, in L.N.M. vol. 732, Springer-verlag (1978): 534-544

    1978

  12. [20]

    Shepherd-Barron, N.I.: Geography for surfaces for surfaces of general type in positive characteristic, Invent. Math. 106 (1991): 263-274

    1991

  13. [21]

    and Zhou, M.: Remarks on Xiao’s approach of slop inequali- ties, Asian J

    Sun, H., Sun, X. and Zhou, M.: Remarks on Xiao’s approach of slop inequali- ties, Asian J. Math. 22(2018): 691-703

    2018

  14. [22]

    Xiao, G.: Fibred algebraic surfaces with low slope , Math. Ann. 276(1987): 449-466

    1987

  15. [23]

    Xiao, G.: Bound of automorphisms of surfaces of general type. I , Ann. of Maths.(2) 139, no.1 (1994):51-77

    1994

  16. [24]

    Yuan, X., and Zhang, T.: Relative Noether inequality on fibered surfaces , Adv. Math. 259(2014): 89-115. Yi Gu: School of Mathematical Sciences, Soochow University, Suz hou 215006, P. R. of China. Email: sudaguyi2017@suda.edu.cn Xiaotao Sun: Center of Applied Mathematics, Schoo...

    2014

Pith tools

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