Pith. sign in

REVIEW 3 major objections 5 minor 35 references

On the standard models of del Pezzo fibrations of degree four

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

Pith's one-line read Every smooth degree-4 del Pezzo surface over a curve in characteristic >2 extends to a standard model with terminal singularities.

desk verdict New and plausible result for degree 4 del Pezzo fibrations in char ≠ 2; referee should request the skipped case checks. read the letter →

arxiv 2412.14857 v1 pith:D7VUDYDO submitted 2024-12-19 math.AG

classification math.AG MSC 14E3014J4514J17
keywords delPezzofibrationsstandardmodelsKollárstabilitysemistableterminalsingularitiescompleteintersectionoftwoquadricspencilspositivecharacteristic
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 every smooth del Pezzo surface of degree 4 over the function field of a curve, over an algebraically closed field of characteristic not 2, can be extended to a fibration over the curve whose total space is terminal, whose fibres are integral, and whose anticanonical class is ample relative to the base curve — a 'standard model' in the sense of Corti. Corti had proved this over the complex numbers using the minimal model program and Kawamata–Vieweg vanishing; both tools are unavailable in positive or low characteristic, so the paper instead uses Kollár stability. The payoff is that degree 4 del Pezzo fibrations, which are (2,2)-complete intersections of two quadrics in $P^{4}$, now have good birational models in arbitrary characteristic not 2, matching what was already known for degrees 3 and 1. The proof works through semistable models of pencils of quadrics and a classification of the singularities that can appear on their central fibres.

What carries the argument

The machinery has three parts. First, Kollár stability for pencils of quadrics: an R-point of the Grassmannian Gr(2,V) of pencils is semistable when, for every weight system ρ=(w_1,...,w_5), the multiplicity mult_ρ(P) computed from Plücker coordinates satisfies mult_ρ(P) ≤ (4/5)∑ w_i. The engine is Lemma 3.6, an identity relating the discriminant D(det(λA+μB)) of a pencil to that of the ρ-transformed pencil: up to units, the discriminant valuation shifts by n(n−1)(−mult_ρ(P)+(4/n)∑ w_i), so any violation of semistability visibly divides the discriminant by t, forcing a noetherian descent to a semistable model. Second, the classification of non-normal (2,2)-complete intersections supplies the six normal forms that a singular central fibre could reduce to, and direct coefficient calculations show each is ruled out by an explicit destabilizing weight system. Third, the elephant method: a general member of |-K_X| through a singular point is an isolated du Val singularity, and the corresponding criterion converts that into terminality of the threefold singularity.

What would settle it

For n=5 over a characteristic-not-2 field, take each of the six normal forms from the LPS classification, lift it to a pencil over R = k[[t]] with a smooth generic fibre, and compute mult_ρ(P) for the weight systems named in Lemma 4.4; respectively, construct the elephants of Lemma 5.3 and test each type of singular locus. If any lift satisfies the semistability inequality mult_ρ(P) ≤ (4/5)∑w_i — that is, if the claimed destabilizing weight system does not actually destabilize — then the proof's enumeration has a gap. A positive result would be to exhibit a semistable degree-4 del Pezzo fibration whose singular point is not cA or cD, which would directly contradict Proposition 5.4.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.5: over an algebraically closed field k with char k ≠ 2, for a smooth curve C with function field K, any smooth del Pezzo surface X_K of degree 4 over K admits a standard model π: X → C — that is, X has only terminal singularities, π has integral fibres, and -K_X is π-ample. The key intermediate result is Theorem 1.9: the semistability condition on the pencil of quadrics defining X_K yields a model over the local ring that has integral fibres, is anticanonically relatively ample, is regular in codimension 2, and has only hypersurface singularities. For the threefold case, the paper then shows that every such semistable model has only cA or cD (hence terminal) singularities, using the existence of a general elephant with an isolated du Val singularity.

Load-bearing premise

The load-bearing premise is that the enumerated singular-locus configurations in Lemmas 4.4 and 5.3 are complete, and that each coordinate normalization and coefficient-level calculation summarized as 'one can show' is correct; a missed configuration or a faulty normalization could allow a non-terminal singularity.

Editorial extensions

If this is right

  • Theorem 1.5 settles Question 1.4 for degree 4 del Pezzo fibrations over algebraically closed fields of characteristic not 2.
  • Semistable (2,2)-complete intersections of dimension at least two over a DVR, with smooth generic fibre, are regular in codimension 2 and have only hypersurface singularities; in the threefold case the singularities are cA or cD, hence terminal.
  • Standard models of degree 4 del Pezzo fibrations can be constructed without the MMP or Kawamata–Vieweg vanishing, using only a noetherian descent on the discriminant ideal of the defining pencil.
  • As the paper notes, these terminal threefolds in positive characteristic give examples relevant to the study of moduli spaces of rational curves on terminal del Pezzo fibrations, previously studied in characteristic zero.

Reading between the lines

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

  • The discriminant-valuation identity of Lemma 3.6 gives a concrete measure of how far a model is from semistability; one could use the most destabilizing weight system to define an explicit algorithmic procedure that terminates at a standard model, though the paper only proves existence via the noetherian chain.
  • The template — semistability inequality on a parameter space, noetherian descent via a discriminant, then an elephant-based singularity check — should extend to degree 2 and 1 del Pezzo fibrations in positive characteristic, where the required parameter spaces are double covers or weighted hypersurfaces and the stability slope changes with the anticanonical index.
  • A computer algebra check of the coefficient congruences in Lemmas 4.4 and 5.3 over finite fields of characteristic ≠2 could mechanically certify the case analysis that the paper leaves as 'one can show'.
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.

Referee Report

3 major / 5 minor

Summary. The paper proves that, over an algebraically closed field of characteristic different from 2, every smooth del Pezzo surface of degree 4 over the function field of a smooth curve admits a standard model: a terminal threefold fibration with integral fibres and relatively ample anticanonical bundle. The proof follows the Kollár stability framework of Abban–Fedorchuk–Krylov. After establishing existence of semistable models via a discriminant-valuation argument on the Grassmannian of pencils of quadrics, the paper analyzes the possible singularities of the resulting complete intersections. It shows the central fibre is integral, the threefold is regular in codimension 2, and every singular point is a hypersurface singularity. The main technical work is a case analysis, using the classification of non-normal intersections of two quadrics and an elephant argument, to show that every singularity is of type cA or cD, hence terminal.

Significance. If the proof is completed as sketched, the result is a genuine advance: it extends Corti's existence theorem for standard models of degree-4 del Pezzo fibrations from characteristic zero to all characteristics different from 2, using a method different from Corti's MMP-based approach. The paper gives explicit semistable reduction for pencils of quadrics via the discriminant, and it makes systematic use of Reid's elephant criterion and the LPS classification of non-normal quadric intersections. The proof is structurally self-contained relative to cited theorems, and it does not assume the target statement. The main risk is not circularity but incompleteness: several coefficient-level case analyses that are load-bearing for the terminality claim are only sketched.

major comments (3)
  1. [§4.2, Lemma 4.4, Cases (5) and (6)] The proof that semistable models are regular in codimension 2 depends on ruling out the six LPS normal forms. Cases (1)–(4) contain explicit coefficient calculations, but Cases (5) and (6) are dismissed with “one can show that t^2 | λ_{i,j} for i,j = 4,5,...,n as in case (4)”. The normal forms in Cases (5) and (6) contain additional monomials (x1x5, x3x4, x2^2) that change the shape of the linear parts on the affine chart x4=1, so the reduction to Case (4) is not immediate. Please supply the missing calculation or a uniform argument that covers these cases.
  2. [§5.1, Lemma 5.3, Case 1-B-a and Case 2] Two coordinate normalizations are asserted without proof. In Case 1-B-a, the pair {f_E, g_E} is said to be transformable into either {f_E = f_E^(2)(x1,x2), g_E = g_E^(2)(x1,x2) + x1x3} or {f_E = f_E^(2)(x1,x2), g_E = g_E^(2)(x1,x2) + x1x5}, while preserving the elephant equation x4 = u t x5 and the normalization (5.1). In Case 2, after assuming the conic lies in the plane x1=0 and f_E = x1^2, the pair is reduced to (5.6) or (5.7). These reductions involve changes of coordinates and linear combinations of the two equations; the constraints imposed by the fixed elephant form and by the semistable normalization are not checked. A missed Jacobian-rank configuration or an invalid normalization could leave an elephant singular along a curve through P. Please provide the linear-algebra details.
  3. [§5.2, Proposition 5.4] The cA/cD classification in the rank f^(2)=3, g^(1)=x1 case rests on several coefficient-level assertions that are not fully demonstrated. Specifically: (i) the claim that when (λ_{4,5}/t) ≠ 0 the degree-3 part of the substituted equation is “nonzero and not a cube” for general u; (ii) the claim that if either µ_{2,4} or µ_{4,4} is nonzero then P is a cD-type singularity; and (iii) the final step where all terms of the degree-3 part are said to be divisible by x2, hence not a cube. For (iii), the displayed expression contains many terms involving λ^{(1)}_{i,5}, µ^{(1)}_{5,5}, and λ_{3,4}/t, and after the given coordinate change the coefficient of x2 x4^2 must be shown to be nonzero; also the cD criterion requires verifying that the quadratic part has rank exactly 1. Please expand these computations or give a systematic argument that the stated coefficient conditions are the only ones possible under semistability.
minor comments (5)
  1. [§3.2, Proposition 3.7] The sentence “D(det(λA′+µB′)) is divisible by tD(det(λA+µB))” has the divisibility direction reversed: from the formula in Lemma 3.6 and (3.4) one obtains that D(det(λA+µB)) is divisible by t D(det(λA′+µB′)), which is what makes the displayed chain of ideals ascending. Please correct the wording.
  2. [§5.2, Proposition 5.4] In the paragraph “If λ_{4,4} is divisible by t^2, for a weight system ρ=(1,1,1,0,0) we have multρ(P) ≤ 2+1 = 3”, the inequality should be ≥, since a lower bound of 3 is needed to exceed the semistability threshold 4/5 · 3 = 12/5.
  3. [§3.1] There are two typographical errors in the notation for weight systems: “ρ = (w1, . . . , mn)” and “diag(w1, . . . , mn)” should both read wn in the last coordinate.
  4. [§5.1, Lemma 5.2] The proof of Lemma 5.2 appeals to Bertini’s theorem via [Kle, 12 Corollary], but the exact statement used (smoothness of a general hyperplane section of the smooth generic fibre) should be spelled out, since the elephant equation involves coefficients a_i + u_i t^{n_i} that are not simply a hyperplane in the ambient projective space but a section of the anticanonical linear system.
  5. [§3.2, Lemma 3.6] In the proof of Lemma 3.6, the intermediate expression D(det((det F)^{2/n}(λA+µB))) uses an n-th root of det F, which need not exist in K; the subsequent equality is correct if one instead uses the homogeneity D(c Φ)=c^{2n-2}D(Φ) with c=(det F)^2. Please rewrite this step to avoid the fractional exponent.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation of Theorem 1.5 uses Kollár stability and external classification theorems, not the target statement.

full rationale

The paper's derivation chain is self-contained relative to external tools. Theorem 1.5 is proved by first constructing a Kollár-semistable model of a smooth (2,2)-complete intersection via the discriminant valuation argument in Proposition 3.7, then proving that any such semistable model has integral fibres, is regular in codimension 2, has only hypersurface singularities, and finally, via the elephant criterion and explicit local calculations, only terminal singularities. None of these steps assumes the existence of a standard model or terminality of the output. The cited results [Ko97], [AFK], [LPS], [Ko21], and [Re87] supply external definitions, stability criteria, classifications of non-normal quadric intersection pairs, and the elephant criterion; the degree-4 theorem itself is not imported from any of them. The reference to Corti's Theorem 1.2 is motivational and is not used in the proof. The only self-citation, [Kit], appears in the acknowledgments and plays no load-bearing role. The proof does contain sketched case analyses and local computations said to follow 'in the same way' or 'one can show,' and a sign typo in Proposition 3.7; these are correctness and exposition risks, not circularity, because a failure of those computations would invalidate the proof rather than make it presuppose its conclusion.

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

The paper introduces no new entities or fitted constants. Its central claim rests on external theorems [LPS], [Ko21], [Re72], and the discriminant formalism [GKZ], plus the paper's own semistability definition (Def 3.2).

assumptions (5)
  • domain assumption Classification of non-normal complete intersections of two quadrics over algebraically closed fields of char != 2 ([LPS, Theorem 1.1])
    Used in Lemma 4.4 to enumerate possible non-normal central fibres; a gap here would miss a destabilizing case.
  • domain assumption Kollár's elephant criterion: an isolated 3-fold singularity with a du Val elephant is terminal ([Ko21, Corollary 11])
    Bridges the elephant analysis in Section 5 to terminality of X.
  • standard math Bertini's theorem in arbitrary characteristic ([Kle])
    Used in Lemma 5.2 to ensure general elephants have smooth generic fibre.
  • standard math Reid's smoothness criterion for complete intersections of two quadrics ([Re72, Prop 2.1])
    Relates smoothness of the generic fibre to the discriminant having distinct roots.
  • standard math The discriminant D is a quasihomogeneous polynomial of degree n(n-1) in the coefficients of a degree-n binary form ([GKZ])
    Underlies Lemma 3.4 and Lemma 3.6, which are central to the semistability inequality.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the standard models of del Pezzo fibrations of degree four." pith.science (2026). https://pith.science/paper/D7VUDYDO

@misc{pith2026241214857,
  author       = {Pith},
  title        = {Pith review of: On the standard models of del Pezzo fibrations of degree four},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D7VUDYDO}},
  note         = {Machine review of arXiv:2412.14857}
}
abstract

Corti defined the notion of standard models of del Pezzo fibrations, and studied their existence over $\mathbb{C}$ with a fixed generic fibre. In this paper, we prove the existence of standard models of del Pezzo fibrations of degree $4$ in characteristic $>2$. To show this, we use the notion of Koll\'ar stability, which was introduced by Koll\'ar and Abban-Fedorchuk-Krylov.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 34 canonical work pages

  1. [1]

    Abban, M

    H. Abban, M. Fedorchuk and I. Krylov, Stability of fibrations over one-dimensional bases, Duke math. J. 171, no. 12, 2461--2518, 2022

  2. [2]

    Artin, Coverings of the rational double points in characteristic p, in Complex Analysis and Algebraic Geometry, Iwanami Shoten, Tokyo, 1977, 11--22

    M. Artin, Coverings of the rational double points in characteristic p, in Complex Analysis and Algebraic Geometry, Iwanami Shoten, Tokyo, 1977, 11--22

  3. [3]

    Birkar, Existence of flips and minimal models for 3-folds in char p, Ann

    C. Birkar, Existence of flips and minimal models for 3-folds in char p, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 49 (2016), no. 1, 169--212

  4. [4]

    Beheshti, B

    R. Beheshti, B. Lehmann, E. Riedl and S. Tanimoto, Rational curves on del Pezzo surfaces in positive characteristic, Trans. Amer. Math. Soc. Ser. B 10, 407--451 (2023)

  5. [5]

    Brion, Linearization of algebraic group actions, Handbook of Group Actions (Vol

    M. Brion, Linearization of algebraic group actions, Handbook of Group Actions (Vol. IV), ALM 41 (2018), Ch. 6, 291--340

  6. [6]

    Birkar and J

    C. Birkar and J. Waldron, Existence of Mori fibre spaces for 3-folds in char p, Adv. Math. 313 (2017), 62--101

  7. [7]

    Corti, Del Pezzo surfaces over Dedekind schemes, Ann

    A. Corti, Del Pezzo surfaces over Dedekind schemes, Ann. of Math. (2) 144 (1996), no. 3, 641--683

  8. [8]

    Cascini, H

    P. Cascini, H. Tanaka and C. Xu, On base point freeness in positive characteristic, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 48 (2015), no. 5, 1239--1272

Show all 35 references
  1. [9]

    I. M. Gelfand, M. M. Kapranov and A. V. Zelevinsky, Discriminants, Resultants, and Multidimensional Determinants, Math. Theory Appl., Birkh\"auser, Boston, 1994

  2. [10]

    Hartshorne, Algebraic Geometry, Springer, Graduate Texts in Mathematics, vol

    R. Hartshorne, Algebraic Geometry, Springer, Graduate Texts in Mathematics, vol. 52, Springer-Verlag, New York, 1977

  3. [11]

    Hassett, A

    B. Hassett, A. Kresch and Y. Tschinkel, On the moduli of degree 4 del Pezzo surfaces, Development of moduli theory--Kyoto 2013, 349--386.\\ Adv. Stud. Pure Math., 69 Mathematical Society of Japan, [Tokyo], 2016

  4. [12]

    Chr. D. Hacon and C. Xu, On the three dimensional minimal model program in positive characteristic, J. Amer. Math. Soc. 28 (2015), no. 3, 711--744

  5. [13]

    Jelonek, On the Bertini theorem in arbitrary characteristic, Monatsh

    Z. Jelonek, On the Bertini theorem in arbitrary characteristic, Monatsh. Math. 171 (3--4):351--355, 2013

  6. [14]

    Kawakita, Complex algebraic threefolds, Cambridge Studies in Advanced Mathmatics 209, Cambridge University Press, Cambridge, 2024

    M. Kawakita, Complex algebraic threefolds, Cambridge Studies in Advanced Mathmatics 209, Cambridge University Press, Cambridge, 2024

  7. [15]

    Kitagawa, Koll\'ar stability and standard models of del Pezzo fibrations (in Japanese), Master's Thesis, Nagoya University (2024)

    N. Kitagawa, Koll\'ar stability and standard models of del Pezzo fibrations (in Japanese), Master's Thesis, Nagoya University (2024)

  8. [16]

    S. L. Kleiman, The transversality of a general translate, Composito Math. 28 , 287--297 (1974)

  9. [17]

    Koll\`ar and Sh

    J. Koll\`ar and Sh. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998

  10. [18]

    Koll\'ar, Rational curves on algebraic varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete

    J. Koll\'ar, Rational curves on algebraic varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 32, Springer-Verla...

  11. [19]

    Koll\'ar, Polynomials with integral coefficients, equivalent to a given polynomial, Electron

    J. Koll\'ar, Polynomials with integral coefficients, equivalent to a given polynomial, Electron. Res. Announc. Amer. Math. Soc. 3, 17--27, 1997

  12. [20]

    Koll\'ar, Relative MMP without -factoriality, Electron

    J. Koll\'ar, Relative MMP without -factoriality, Electron. Res. Arch. 29 (2021), no. 5, 3193--3203

  13. [21]

    Kresch and Y

    A. Kresch and Y. Tschinkel, Models of Brauer-Severi surface bundles, Mosc. Math. J. 19 (2019), no. 3, 549--595

  14. [22]

    Kresch and Y

    A. Kresch and Y. Tschinkel, Involution surface bundles over surfaces, Math. Z. 296 (2020), no. 3-4, 1081--1100

  15. [23]

    Kresch and Y

    A. Kresch and Y. Tschinkel, Fibrations in sextic del Pezzo surfaces with mild singularities, Rend. Semin. Mat. Univ. Padova 148 (2022), 65--82

  16. [24]

    Liu, Algebraic Geometry and Arithmetic Curves, Oxford graduate texts in mathematics, Oxford University Press, 2002

    Q. Liu, Algebraic Geometry and Arithmetic Curves, Oxford graduate texts in mathematics, Oxford University Press, 2002

  17. [25]

    W. Lee, E. Park and P. Schenzel, On the classification of non-normal complete intersection of two quadrics, J. Pure Appl. Algebra 216 (2012), no. 5, 1222--1234

  18. [26]

    Lehmann and S

    B. Lehmann and S. Tanimoto, Classifying sections of del Pezzo fibrations, I, J. Eur. Math. Soc. (JEMS) 26 (2024), no. 1, 289--354

  19. [27]

    Lehmann and S

    B. Lehmann and S. Tanimoto, Classifying sections of del Pezzo fibrations, II, Geom. Topol. 26 (2022), no. 6, 2565--2647

  20. [28]

    Yu. I. Manin, Cubic Forms : Algebra, Geometry, Arithmetic, North-Holland, 1974

  21. [29]

    Mumford and J

    D. Mumford and J. Fogarty, Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34, Springer-Verlag, Berlin, Second edition, 1982

  22. [30]

    M.Miyanishi and H.Ito, Algebraic surfaces in positive characteristics : purely inseparable phenomena in curves and surfaces, World Scientific Publishing Co. Pte. Ltd., 2021

  23. [31]

    Mukai, An Introduction to Invariants and Moduli, Cambridge Studies in Advanced Mathmatics 81, Cambridge University Press, Cambridge, 2003

    S. Mukai, An Introduction to Invariants and Moduli, Cambridge Studies in Advanced Mathmatics 81, Cambridge University Press, Cambridge, 2003

  24. [32]

    Reid, The complete intersection of two or more quadrics, University of Cambridge, 1972

    M. Reid, The complete intersection of two or more quadrics, University of Cambridge, 1972

  25. [33]

    Reid, Young person's guide to canonical singularities, in Algebraic Geometry Bowdoin 1985, Proc

    M. Reid, Young person's guide to canonical singularities, in Algebraic Geometry Bowdoin 1985, Proc. Sympos. Pure Math. 46, Amer. Math. Soc., Providence, 1987, 345--414

  26. [34]

    Sasaki, Y

    T. Sasaki, Y. Kanada and S. Watanabe, Calculation of Discriminants of High Degree Equations, Tokyo J. Math., vol. 4, No. 2, 1981

  27. [35]

    Vistoli, Notes on Grothendieck topologies, fibered categories and decsent theory, arXiv Mathematics e-prints (2004), math/0412512

    A. Vistoli, Notes on Grothendieck topologies, fibered categories and decsent theory, arXiv Mathematics e-prints (2004), math/0412512

Pith tools

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