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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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'.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.
- [§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.
- [§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)
- [§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.
- [§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.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.
- [§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.
- [§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
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
assumptions (5)
- domain assumption Classification of non-normal complete intersections of two quadrics over algebraically closed fields of char != 2 ([LPS, Theorem 1.1])
- domain assumption Kollár's elephant criterion: an isolated 3-fold singularity with a du Val elephant is terminal ([Ko21, Corollary 11])
- standard math Bertini's theorem in arbitrary characteristic ([Kle])
- standard math Reid's smoothness criterion for complete intersections of two quadrics ([Re72, Prop 2.1])
- standard math The discriminant D is a quasihomogeneous polynomial of degree n(n-1) in the coefficients of a degree-n binary form ([GKZ])
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.
Reference graph
Works this paper leans on
- [1]
-
[2]
M. Artin, Coverings of the rational double points in characteristic p, in Complex Analysis and Algebraic Geometry, Iwanami Shoten, Tokyo, 1977, 11--22
work page 1977
-
[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
work page 2016
-
[4]
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)
work page 2023
-
[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
work page 2018
-
[6]
C. Birkar and J. Waldron, Existence of Mori fibre spaces for 3-folds in char p, Adv. Math. 313 (2017), 62--101
work page 2017
-
[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
work page 1996
-
[8]
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
work page 2015
Show all 35 references
-
[9]
I. M. Gelfand, M. M. Kapranov and A. V. Zelevinsky, Discriminants, Resultants, and Multidimensional Determinants, Math. Theory Appl., Birkh\"auser, Boston, 1994
1994
-
[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
1977
-
[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
2013
-
[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
2015
-
[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
2013
-
[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
2024
-
[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)
2024
-
[16]
S. L. Kleiman, The transversality of a general translate, Composito Math. 28 , 287--297 (1974)
1974
-
[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
1998
-
[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...
1996
-
[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
1997
-
[20]
Koll\'ar, Relative MMP without -factoriality, Electron
J. Koll\'ar, Relative MMP without -factoriality, Electron. Res. Arch. 29 (2021), no. 5, 3193--3203
2021
-
[21]
Kresch and Y
A. Kresch and Y. Tschinkel, Models of Brauer-Severi surface bundles, Mosc. Math. J. 19 (2019), no. 3, 549--595
2019
-
[22]
Kresch and Y
A. Kresch and Y. Tschinkel, Involution surface bundles over surfaces, Math. Z. 296 (2020), no. 3-4, 1081--1100
2020
-
[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
2022
-
[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
2002
-
[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
2012
-
[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
2024
-
[27]
Lehmann and S
B. Lehmann and S. Tanimoto, Classifying sections of del Pezzo fibrations, II, Geom. Topol. 26 (2022), no. 6, 2565--2647
2022
-
[28]
Yu. I. Manin, Cubic Forms : Algebra, Geometry, Arithmetic, North-Holland, 1974
1974
-
[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
1982
-
[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
2021
-
[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
2003
-
[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
1972
-
[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
1985
-
[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
1981
-
[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
2004 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.