REVIEW 2 major objections 4 minor 26 references
Algebraic hyperbolicity of surfaces in Fano threefolds with Picard number one
T0 review · 2 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read This paper proves a sharp threshold: very general surfaces of degree r+1 in non-weighted Fano threefolds with Picard number one are algebraically hyperbolic, and weighted families need r+2.
desk verdict Solid extension of Coskun–Riedl to the full Iskovskikh list, but the critical-degree cases for 1-1 and 1-8–1-10 rest on unverified computational tables that should be supplied before the classification is accepted. 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 proof is carried by the section-dominating-family method and the Lazarsfeld-Mukai sheaf $M_E=\ker(H^0(A,E)\otimes O_A\to E)$ on the ambient (weighted) Grassmannian $A$. For a curve $f:C\to S$, a generic surjection $M_L|_C\to N_{f/S}$ from the Lazarsfeld-Mukai sheaf of a section-dominating line bundle $L$ yields the degree inequality $2g-2\ge (C.K_S)-\deg_C L$; the scroll argument, which converts any such surjection for $L=O(1)$ into a surface scroll, supplies the critical-degree case $a=r+1$ in the non-weighted families. For the weighted families, Theorem 3.1 shows $O(d)$ is section-dominating for $O(a)$ on a weighted projective space when $a\ge \max\{d, \ell d-\sum_i a_i+1\}$. For families 1-8, 1-9 and 1-10, where the relevant homogeneous bundle no longer splits into line bundles, the paper proves a new vanishing theorem (Theorem 3.4) for homogeneous bundles $K_\alpha U^*$ and $K_\beta Q^*$ on Grassmannians and uses it to verify large cohomology-vanishing tables forcing certain $\mathbb{Q}$-vector bundles to be nef on the curve.
What would settle it
Independently compute one of the claimed cohomology rows for family 1-10, for instance check whether there really is a nonzero $H^{11}(K_{(2)}U^*\otimes K_{(23)}Q^*(-7))$ while all nearby vanishings hold as stated; alternatively, run the Sage computation for family 1-1 and see whether the model $A$ admits a defining equation of degree different from 2. Either finding would directly contradict the paper's proof.
Extended reading notes
Core claim
The central claim is Theorem 1.2. Let $X$ be a general Fano threefold with Picard number one, let $O_X(1)$ be the ample generator, and let $r$ be the Fano index, so $-K_X=O_X(r)$. For a very general surface $S\in |O_X(a)|$: if $X$ is one of the three weighted-hypersurface families (the double cover of $\mathbb{P}^3$ branched over a sextic, the degree-$6$ hypersurface in $\mathbb{P}(1^3,2,3)$, or the double cover of $\mathbb{P}^3$ branched over a quartic), then $S$ is algebraically hyperbolic when $a\ge r+2$; in every other deformation class, $S$ is algebraically hyperbolic if and only if $a\ge r+1$. The negative direction rests on the fact that smaller degrees put the surface in the del Pezzo or K3 range, where rational curves are abundant.
Load-bearing premise
The proof for three of the fourteen Fano families depends on extensive tables of cohomology vanishings for homogeneous vector bundles on Grassmannians that are asserted without derivation, and the proof for one family depends on an unshown computer check that a certain ambient model is cut out by quadrics; if any of those vanishings or the quadric claim fails, the normal-sheaf degree bound for curves, and with it the main theorem, would not follow.
Editorial extensions
If this is right
- In every non-weighted deformation class, a very general surface of the critical degree $a=r+1$ satisfies the full algebraic-hyperbolicity inequality and therefore contains no rational or elliptic curves.
- In the three weighted families, the same conclusion holds for $a=r+2$, while the degree-$r+1$ cases are left untouched by the theorem.
- Because lower degrees put the surface in the del Pezzo or K3 range, the classification is sharp: the Fano index is exactly the cut-off (or one less than the cut-off in weighted families).
- The proof gives a much finer bound than the general hyperbolicity conjecture for these threefolds: hyperbolicity appears at $r+1$ or $r+2$ instead of the general linear bound.
Reading between the lines
- Extension, not in the paper: the same section-dominating recipe plus vanishing theorem should give thresholds for very general surfaces in higher-dimensional Fano or homogeneous varieties whose anticanonical degree is comparable to the index; the missing ingredient would be the analogue of Theorem 3.4 for larger Grassmannians.
- Extension: the weighted-projective-space bound suggests a uniform rule in which the section-dominating degree is governed by the lcm and the sum of the weights, so the one-step shift in weighted Fano families is likely the first instance of a general phenomenon.
- Testable extension: the large cohomology tables in the proofs for families 1-8, 1-9 and 1-10 could be independently machine-checked; a single nonzero cohomology group in a range the table declares zero would force a revision of the degree bound without changing the rest of the framework.
- Testable extension: replacing the asserted Sage computation for family 1-1 with a written proof that the ambient model is cut out by quadrics would place the weighted cases on the same footing as the rest of the classification.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies algebraic hyperbolicity of very general surfaces in general Fano threefolds with Picard number one. The main theorem, Theorem 1.2, states that for a very general surface S in |O_X(a)|, S is algebraically hyperbolic when a >= r+2 if X is one of the weighted hypersurfaces 1-1, 1-11, or 1-12, and algebraically hyperbolic if and only if a >= r+1 in all other deformation types, where r is the Fano index. The proof follows the Coskun-Riedl framework: it uses the generalized setup with Lazarsfeld-Mukai bundles, section-dominating families, a scroll argument, Bott-Borel-Weil computations, and a new technical lemma on weighted projective spaces. The negative direction for a <= r is justified by the standard fact that del Pezzo and K3 surfaces are not algebraically hyperbolic.
Significance. If the main theorem is correct, it gives a complete classification of algebraic hyperbolicity for very general surfaces in all general Fano threefolds with Picard number one, extending the Coskun-Riedl method to a substantial class of homogeneous and weighted-homogeneous settings. The refined results for weighted complete intersections and the improvement over the general hyperbolicity conjecture are also valuable. The overall structure is coherent, and many deformation types are handled by clean applications of the established template. However, the critical-degree cases for Fano 1-1 and for Fano 1-8 through 1-10 currently rest on computational assertions that are not reproducible from the manuscript, so the paper is not yet in a fully verifiable form.
major comments (2)
- [Section 4, Fano 1-1] The assertion 'The computation performed using Sage confirms that A is defined by quadrics in Pn' is load-bearing for the scroll argument at a=3 and a=4, but no Sage script, output, or certificate is provided. The reader cannot verify the key input that the degree-3 Veronese embedding of P(1^4,3) is cut out by quadrics. This step should be replaced by a proof or by a reproducible machine-checked computation; otherwise the critical-degree cases for Fano 1-1 are not established.
- [Section 4, Fano 1-8, 1-9, 1-10] The proofs for these families reduce the required normal-sheaf degree bound to the vanishings (4.1), (4.3), and (4.4), and then assert long tables of vanishings and non-vanishings for tensor products K_lambda U^* tensor K_mu Q^* with various twists. These tables are not derived in the text and do not follow from Theorem 3.4, which treats single Schur functor factors; each tensor-product row requires an individual Bott-Borel-Weil computation. Because the conclusion 'deg N_{f/S} >= -(1/2) deg_C O(1)' (and the analogous bounds for 1-9 and 1-10) depends on the exhaustiveness and correctness of these tables, a single incorrect or missing row would invalidate the classification for the corresponding family. The author should supply the full Bott-Borel-Weil computations or machine-checkable certificates for these tables.
minor comments (4)
- [Section 4, Fano 1-6] The displayed dual of U^*(1) is written as U^*(-2), but the dual of U^*(1) is U(-1); the subsequent vanishing check should be stated and verified with the correct dual bundle.
- [Section 4, Fano 1-1] After the Sage sentence, the case split 'Sigma not contained in A' and 'Sigma contained in X' is terse; the intermediate case where Sigma is contained in A but not in the quadric Z is handled by the preceding argument but should be stated explicitly for readability.
- [Section 4, Fano 1-8 through 1-10] The non-vanishing tables use the phrase 'except for the top ones' without spelling out that 'top' means the top cohomological degree k(n-k) of the relevant Grassmannian; the reader should be told that the listed entries exhaust all other degrees.
- [Introduction and references] There are several typographical issues: 'Hasse and Ilten' should be 'Haase and Ilten', reference [19] contains 'classication', and the mailing address has 'Deajeon' for 'Daejeon'.
Circularity Check
No circularity: the derivation is self-contained and rests on external theorems; asserted computational vanishings and the Sage quadrics claim are verification gaps, not circular steps.
full rationale
The paper's central claim is that very general surfaces in general Fano threefolds with Picard number one are algebraically hyperbolic in the stated degree ranges. The proof reduces the desired genus bound to degree estimates for the normal sheaf of a curve via the Coskun–Riedl setup, Proposition 2.5, and the scroll argument 2.6. The key inputs are Bott–Borel–Weil theorem 2.9, Theorem 3.1 on section-dominating line bundles on weighted projective spaces, Theorem 3.4 on cohomology of homogeneous vector bundles, Mukai's classification of general Fano threefolds, the Noether–Lefschetz theorem, and the known non-hyperbolicity of K3 surfaces via [2, Theorem A]. None of these inputs is defined in terms of the target theorem, and the paper does not fit parameters to data and then rename them as predictions. The proof for Fano 1-1 relies on an unprovided Sage computation asserting that the weighted projective space is cut out by quadrics, and the proofs for Fano 1-8, 1-9, and 1-10 rely on large tables of asserted cohomology vanishings and non-vanishings for homogeneous vector bundles. These are unverified computational claims and potential correctness risks, but they are not circular: the tables are asserted as computations from Bott's theorem rather than derived from the conclusion of Theorem 1.2, and the Sage claim is an external algebraic fact about a fixed variety, not an assumption equivalent to algebraic hyperbolicity. The paper also cites prior work by Coskun and Riedl, but those citations are to established external results, not to a self-citation chain that forces the conclusion. Therefore no step in the derivation reduces to its own inputs by construction, and the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (7)
- domain assumption General Fano threefolds with Picard number one can be realized as zero loci of regular sections of homogeneous vector bundles on products of weighted Grassmannians.
- standard math There are exactly seventeen deformation families of Fano threefolds with Picard number one.
- standard math The Bott-Borel-Weil theorem computes cohomology of irreducible homogeneous bundles on Grassmannians via Weyl group actions.
- standard math For a very general surface S in |O_X(a)|, the Picard group is generated by O_S(1).
- standard math Every K3 surface has infinitely many rational curves.
- standard math For a weighted projective space wP, intermediate cohomology H^i(wP, O(d)) vanishes for all integers d when 0 < i < dim wP.
- domain assumption Special Fano threefolds, such as the Mukai-Umemura threefold, are excluded from the theorem.
Cite this review
Pith. "Pith review of Algebraic hyperbolicity of surfaces in Fano threefolds with Picard number one." pith.science (2026). https://pith.science/paper/VMZZUWTH
@misc{pith2026250206365,
author = {Pith},
title = {Pith review of: Algebraic hyperbolicity of surfaces in Fano threefolds with Picard number one},
year = {2026},
howpublished = {\url{https://pith.science/paper/VMZZUWTH}},
note = {Machine review of arXiv:2502.06365}
}
read the original abstract
In this paper, we study the algebraic hyperbolicity of very general surfaces in general Fano threefolds with Picard number one. We completely classify the algebraically hyperbolicity of those surfaces, except for surfaces in weighted hypersurfaces.
Reference graph
Works this paper leans on
-
[1]
Brody , Compact manifolds and hyperbolicity , Trans
R. Brody , Compact manifolds and hyperbolicity , Trans. Amer . Math. Soc. 235 (1978), 213–219
work page 1978
-
[2]
X. Chen, F. Gounelas, and C. Liedtke, Curves on K3 surfaces , Duke Math. J. 171 (2022), no. 16, 3283–3362. ALGEBRAIC HYPERBOLICITY OF SURF ACES IN F ANO THREEFOLDS WIT H PICARD NUMBER ONE 25
work page 2022
-
[3]
H. Clemens and Z. Ran, Twisted genus bounds for subvarieties of generic hypersurf aces, Amer . J. Math. 126 (2004), no. 1, 89-120
work page 2004
- [4]
-
[5]
I. Coskun and E. Riedl, Algebraic hyperbolicity of the very general quintic surfac e in P3, Adv . Math. 350 (2019), 1314–1323
work page 2019
-
[6]
I. Coskun and E. Riedl, Algebraic hyperbolicity of very general surfaces , Israel J. Math. 253 (2023), no. 2, 787–811
work page 2023
-
[7]
L. De Biase, E. Fatighenti, and F. Tanturri, Fano 3-folds from homogeneous vector bundles over Grass- mannians, Rev . Mat. Complut. 35 (2022), no. 3, 649–710
work page 2022
-
[8]
J.-P. Demailly , Algebraic criteria for Kobayashi hyperbolic projective va rieties and jet differentials , Proc. Symp. Pure Math. 62 (1997), 285–360
work page 1997
Show all 26 references
-
[9]
Dolgachev , Weighted projective varieties , Group Actions and Vector Fields (J
I. Dolgachev , Weighted projective varieties , Group Actions and Vector Fields (J. B. Carrell, ed.), Lec- ture Notes in Math., vol. 956, Springer-Verlag, Berlin, 198 2, pp. 34–71
-
[10]
Ein, Subvarieties of generic complete intersections , Invent
L. Ein, Subvarieties of generic complete intersections , Invent. Math. 94 (1988), no. 1, 163–169
1988
-
[11]
Ein, Subvarieties of generic complete intersections
L. Ein, Subvarieties of generic complete intersections. II , Math. Ann. 289 (1991), no. 3, 465–471
1991
-
[12]
Fulton, Intersection theory , Ergeb
W. Fulton, Intersection theory , Ergeb. Math. Grenzgeb. (3) [Results in Mathematics and Rel ated Areas (3)], vol. 2, Springer-Verlag, Berlin, 1984
1984
-
[13]
Haase and N
C. Haase and N. Ilten, Algebraic hyperbolicity for surfaces in toric threefolds , J. Algebraic Geom. 30 (2021), no. 3, 573–602
2021
-
[14]
Hartshorne, Algebraic geometry , Grad
R. Hartshorne, Algebraic geometry , Grad. Texts in Math., vol. 52, Springer-Verlag, New York- Heidelberg, 1977
1977
-
[15]
Hwang and H
J.-M. Hwang and H. Kim, Varieties of minimal rational tangents on Veronese double c ones, Algebr . Geom. 2 (2015), no. 2, 176–192
2015
-
[16]
V. A. Iskovskikh, Fano threefolds. II , Izv . Akad. Nauk SSSR Ser . Mat. 42 (1978), no. 3, 504–549
1978
-
[17]
Mioranci, Algebraic hyperbolicity of very general hypersurfaces in h omogeneous varieties , arXiv:2307.10461, 2023
L. Mioranci, Algebraic hyperbolicity of very general hypersurfaces in h omogeneous varieties , arXiv:2307.10461, 2023
2023 arXiv
-
[18]
Moraga and W
J. Moraga and W. Y eong, A hyperbolicity conjecture for adjoint bundles , arXiv:2412.01811, 2024
2024 arXiv
-
[19]
Mukai, Biregular classication of Fano 3-folds and Fano manifolds o f coindex 3 , Proc
S. Mukai, Biregular classication of Fano 3-folds and Fano manifolds o f coindex 3 , Proc. Nat. Acad. Sci. U.S.A. 86 (1989), 3000–3002
1989
-
[20]
Pacienza, Rational curves on general projective hypersurfaces , J
G. Pacienza, Rational curves on general projective hypersurfaces , J. Algebraic Geom. 12 (2003), no. 2, 245–267
2003
-
[21]
G. V. Ravindra and V. Srinivas, The Noether-Lefschetz theorem for the divisor class group , J. Algebra 322 (2009), no. 9, 3373–3391
2009
-
[22]
Robins, Algebraic hyperbolicity for surfaces in smooth projective toric threefolds with Picard rank 2 and 3, Beitr
S. Robins, Algebraic hyperbolicity for surfaces in smooth projective toric threefolds with Picard rank 2 and 3, Beitr . Algebra Geom. 64 (2023), no. 1, 1–27
2023
-
[23]
Voisin, On a conjecture of Clemens on rational curves on hypersurfac es, J
C. Voisin, On a conjecture of Clemens on rational curves on hypersurfac es, J. Differential Geom. 44 (1996), no. 1, 200–213
1996
-
[24]
On a conjecture of Clemens on rational curves on hypersurfaces
C. Voisin, A correction: “On a conjecture of Clemens on rational curves on hypersurfaces” , J. Differential Geom. 49 (1998), no. 3, 601–611
1998
-
[25]
Weyman, Cohomology of vector bundles and syzygies , Cambridge Tracts in Mathematics, vol
J. Weyman, Cohomology of vector bundles and syzygies , Cambridge Tracts in Mathematics, vol. 149, Cambridge University Press, Cambridge, 2003
2003
-
[26]
Y eong, Algebraic hyperbolicity of very general hypersurfaces in p roducts of projective spaces , (ac- cepted to Israel J
W. Y eong, Algebraic hyperbolicity of very general hypersurfaces in p roducts of projective spaces , (ac- cepted to Israel J. Math), arXiv:2203.01392, 2022. DEPARTMENT OF MATHEMATICAL SCIENCES , KAIST, 291 D AEHAK -RO, YUSEONG -GU, DEAJEON , 34141, REPUBLIC OF KOREA Email addr...
2022 arXiv
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.