Pith. sign in

REVIEW 4 major objections 3 minor 37 references

Terminal Fano four folds in low codimension

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

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

Pith's one-line read Computer search yields 127 terminal Fano 4-folds in low codimension

desk verdict Valuable census, but the printed tables contradict the headline counts—fix the data before trusting the 95/32. read the letter →

arxiv 2506.21958 v1 pith:OCFBJUDE submitted 2025-06-27 math.AG

Muhammad Imran Qureshi This is my paper · ORCID
classification math.AG MSC 14J4514M1014Q10
keywords terminalFano4-foldsweightedcompleteintersectionsGorensteinformatsorbifoldRiemann-RochquasismoothnessGrassmanniansP2xformatcomputeralgebraclassification
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 attempts to establish an exhaustive, computer-assisted census of two kinds of index-1 terminal Fano 4-folds that live as codimension 2, 3, or 4 subvarieties of weighted projective space. The first kind, called type-K0, has an empty anticanonical linear system; the second, type-K2, has at least two anticanonical sections, yet a general anticanonical section is not a canonical Calabi-Yau 3-fold. The claimed output is 95 type-K0 families and 32 type-K2 families, each provably well-formed and quasismooth with at worst isolated terminal orbifold points. The census is complete only up to a weight bound determined by available computer memory, not a full classification of all such varieties. If correct, it provides a substantial first geography of four-dimensional terminal Fano varieties in low codimension and reveals behavior, such as vanishing plurigenera, that has no three-dimensional analogue.

What carries the argument

The engine is the orbifold Riemann–Roch decomposition of the Hilbert series, written as $P_X(t)=P_{\mathrm{smooth}}(t)+\sum_i k_i P_{Q_i}(t)$, where the second term encodes the contribution of isolated terminal quotient singularities. Feeding this decomposition into a candidate-generation routine over all admissible weight vectors and equation degrees produces a finite list of potential baskets; computer algebra then verifies well-formedness, that no singular stratum of positive dimension is hit, and quasismoothness via the Jacobian criterion on explicit sparse equations. The four Gorenstein formats supply the equation templates: complete intersections, the five $4\times 4$ Pfaffians defining a weighted Grassmannian Gr(2,5), and the $2\times 2$ minors of a $3\times 3$ matrix defining weighted P2×P2.

What would settle it

Independently rerun the same search (or a fresh implementation of the orbifold Riemann–Roch enumeration) and find a well-formed quasismooth ITF4 in one of the four formats with total weight ≤ W that is not among the listed families; alternatively, show that one of the listed families contains a nontrivial singular locus or a non-terminal point. A direct check of the paper's Table 3, where 61 candidates satisfy h0(-KX)=0 while 80 are recorded as quasismooth examples in codimension 2, would also settle doubts about the reported counts.

Watch

Extended reading notes

Core claim

The central claim is that, among well-formed quasismooth index-1 isolated terminal Fano 4-folds admitting an anticanonical embedding in one of four Gorenstein formats (codimension-2 and codimension-3 complete intersections, the Grassmannian Gr(2,5) format, and the P2×P2 format) with total weight at most W, there are exactly 127 families: 95 with h0(-KX)=0 and 32 with h0(-KX)≥2 whose general anticanonical section is not an isolated canonical Calabi-Yau 3-fold. Each family is realized by explicit equations and has a prescribed basket of terminal quotient singularities. The author also claims that the type-K2 families are new relative to the existing list of Calabi-Yau 3-fold sections of Fano 4-folds, and exhibits examples with h0(-KX) as large as 3 or 4 within these formats.

Load-bearing premise

The whole count rests on the candidate search being exhaustive: the algorithm must generate every possible terminal Fano 4-fold in the scanned formats with total weight at most W, and each computer check of well-formedness, terminality, and quasismoothness must be correct. If either fails, the 95+32 totals are not established.

Editorial extensions

If this is right

  • The 95 type-K0 examples establish that, in dimension four, terminal Fano varieties with no anticanonical sections are abundant in codimensions 2, 3, and 4, in contrast to the three-dimensional case.
  • A concrete corollary is the existence of an ITF4 whose first four plurigenera vanish (Example 4.1), so the Kodaira-type vanishing behavior differs from the 3-fold geography.
  • The 32 type-K2 examples enlarge the known supply of Fano 4-folds whose anticanonical hyperplane sections are not the previously catalogued Calabi–Yau 3-folds, giving new 3-fold sections as well.
  • If the stated completeness holds, these tables give a test set for conjectures on boundedness, birational rigidity, and mirror symmetry for four-dimensional Fano orbifolds.

Reading between the lines

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

  • The reported completeness is conditional on a weight bound set by memory exhaustion; pushing the search higher (or improving the candidate enumeration) could well produce more families, so the 95+32 figures should be read as a lower bound for the full classification of these formats, not the final number.
  • The discrepancy in Table 3 between the 61 codimension-2 candidates with empty linear system and the 80 quasismooth examples suggests some of the 80 may not actually have h0(-KX)=0; recalculating this row would either lower the type-K0 total or reveal that the count of empty-linear-system candidates was under-reported.
  • The same Gorenstein-format search could be applied to terminal Fano 5-folds or to other formats (for example, other Grassmannians or P2×P3), and the resulting families could be checked for birational rigidity or used to construct Calabi–Yau 4-folds by anticanonical sections.
  • Because the paper's data set is referenced but its code and outputs are not pinned, an independent rerun of the full pipeline on another computer algebra system would be needed before treating the 127 families as a canonical dataset.
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

4 major / 3 minor

Summary. The paper reports a computational classification of isolated terminal Fano 4-folds of index 1 in low codimension, embedded in weighted projective spaces via Gorenstein formats of codimension 2, 3, and 4. It focuses on two classes: type-K0, where h^0(-K_X)=0, and type-K2, where h^0(-K_X)>=2 but a general anticanonical section is not an isolated canonical Calabi-Yau 3-fold. The main numerical results are 95 type-K0 families and 32 type-K2 families, with four explicit sample families and baskets of terminal orbifold points. Existence is checked with Magma, and the candidate search is based on the orbifold Riemann-Roch decomposition and the algorithm of [Qur17].

Significance. If the counts are correct, this is a substantial contribution to the geography of terminal Fano 4-folds: it extends the low-codimension census to dimension 4, gives explicit equations and singular baskets for new families, and documents a dimension-4 phenomenon of empty plurigenera that does not occur in the 3-fold case. The explicit examples in Section 4 and Section 5 are concrete and useful. However, the value of the paper rests on the correctness and reproducibility of the computational pipeline, and the printed tables currently contain internal inconsistencies that prevent the reader from verifying the headline counts.

major comments (4)
  1. [Table 3] In the codimension-2 complete intersection row, the table lists 61 candidates with h^0(-K_X)=0 but 80 quasismooth examples; in the codimension-3 row it lists 7 such candidates and 13 quasismooth examples. Since type-K0 is defined by h^0(-K_X)=0, every quasismooth type-K0 example must be among the candidates with h^0(-K_X)=0. The printed numbers therefore contradict the definition, and they do not support the totals m=80,13,1,1 in Theorem 1.1 or the 'exactly 95' statement in Remark 1.3. Please correct the row labels or the counts, or explain why the quasismooth examples are not all type-K0; in the latter case the theorem's m and the total 95 must be revised.
  2. [Remark 1.4 and Table 4] Remark 1.4 states that the codimension-4 complete intersection search was performed up to W=64, while Table 4 reports W=65 for the same format. Since W defines the exhaustion bound for the claimed classification, this discrepancy must be resolved. The same remark reports 13 candidates, 7 with h^0(-K_X)>=2 and none with empty linear system, whereas Table 4 lists only 6+1=7 candidates in that format; please clarify the relationship between these two sets of numbers.
  3. [Theorem 1.1, Theorem 1.2, Remark 1.3] Theorems 1.1 and 1.2 are stated as 'there exist at least m families', but Remark 1.3 asserts that every X satisfying the stated hypotheses is 'isomorphic to exactly one of the 95 Type-K0 or 32 Type-K2 families'. The exactness claim is not a logical consequence of the weaker theorem statements as written, and it is the central classification assertion of the paper. If an exact classification is intended, the theorems should state it explicitly and the proof must account for both the absence of additional families below W and the restriction to the four Gorenstein formats considered.
  4. [Sections 3.1 and 3.2] The exhaustiveness of the enumeration rests on the algorithm of [Qur17] and on Magma verifications, but the preprint does not include the scripts, input files, output logs, or a versioned identifier for the GitHub repository. Since the central claim is an exact count, the paper should supply a complete reproducible archive, including code, logs, and a commit hash, or at least provide full tables of all 95+32 families together with their verification data in an appendix.
minor comments (3)
  1. [Throughout] There are several typographical errors, including 'anitcanonical' in the abstract and the garbled en-dash characters in Section 1.2.2 and the references; these should be fixed in a final revision.
  2. [Table 3] The row labels 'h^0(-lK_X)=0, l≤2' and similar are ambiguous, and the '-' entries for the Gr(2,5) and P2×P2 formats are not explained; please clarify whether these entries mean zero or 'not applicable'.
  3. [Notation] The paper alternates between P^{4+c}(w_0,...,w_{4+c}) and P^8(w_i) without comment; standardizing this notation would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the census pipeline enumerates candidates from Hilbert-series data and verifies existence afterward, so the target families are not assumed in the input.

full rationale

The paper's derivation chain starts with an orbifold Riemann--Roch Hilbert-series decomposition (Eq. 7) and an enumeration of embeddings, then generates candidate baskets and verifies well-formedness, terminality, and quasismoothness using explicit equations and Magma. None of the target 95/32 families is an input to the candidate generator; existence is checked after generation, so there is no fitted-input-called-prediction or self-definitional reduction. The citations to [Qur17], [Qur19], and [BKZ22] are to computational methods and formats rather than to the present classification, and the paper describes the algorithm's steps instead of merely deferring to those papers; this is methodological self-reliance, not circularity. The internal inconsistency in Table 3 (61 candidates with h0(-KX)=0 versus 80 QS Examples for the codim-2 complete intersection format) and the W=64/65 discrepancy between Remark 1.4 and Table 4 are serious correctness and reproducibility concerns for the exact counts, but they are numerical-support problems, not instances of a claim reducing to its own input by construction. No circular step is exhibited, so the appropriate score is 0.

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

The list above separates standard algebraic geometry background from the paper-specific computational assumptions. No new physical or geometric entities are introduced; the contribution is a census of already-defined objects. The two domain assumptions about Magma correctness and W exhaustion carry most of the risk.

free parameters (1)
  • Weight-sum search bound W = 101 (codim 2 CI), 70/71 (codim 3), 57/59 (P2xP2), 64/65 (codim 4)
    Chosen by the author to push each search until computer memory runs out; completeness is claimed only up to this bound, so the scope of the result is parameterized by W.
assumptions (6)
  • standard math Orbifold Riemann-Roch decomposition (Eq. 7): the Hilbert series of an orbifold with isolated points splits into a smooth part plus a sum of orbifold contributions with nonnegative multiplicities.
    Used in Algorithm 3.1 to identify candidate baskets; sourced from [BRZ13].
  • standard math Terminality criterion for cyclic quotient singularities 1/r(a1,...,an): the sum of fractional parts exceeds 1 for all k.
    Used in Section 2 and in the candidate filter to keep only terminal orbifold points.
  • standard math Bertini-type theorem: a general member of a linear system is quasismooth outside the reduced base locus.
    Invoked in Section 3.3 as the theoretical bridge from Jacobian computations to quasismoothness.
  • standard math Canonical divisor formulas for weighted Grassmannian wGr(2,5) and weighted P2 x P2 (Eqs. 3 and 6).
    Used to compute the Fano index and to constrain admissible weights; sourced from [CR02] and [BKQ18].
  • domain assumption Reliability of Magma outputs and completeness of the format-search implementation from [Qur17, BKZ22].
    Every one of the 127 families is accepted or rejected by computer algebra; no certificates, logs, or independent implementation are provided.
  • ad hoc to paper The memory-bound W is a genuine exhaustion point for each search.
    Remark 1.4 explains that W is set by memory exhaustion, so the paper assumes the search scanned all relevant weight systems below that bound.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Terminal Fano four folds in low codimension." pith.science (2026). https://pith.science/paper/OCFBJUDE

@misc{pith2026250621958,
  author       = {Pith},
  title        = {Pith review of: Terminal Fano four folds in low codimension},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OCFBJUDE}},
  note         = {Machine review of arXiv:2506.21958}
}
read the original abstract

We construct well-formed and quasismooth terminal Fano 4-folds of index 1 in low codimension containing at worst isolated orbifold points. We provide a certain classification of these varieties where their images under the anitcanonical embedding can be described as codimension 2, 3, or 4 subvarieties of some weighted projective space. In particular, we focus on isolated terminal Fano 4-folds that either have an empty linear system or a relatively large one, but whose linear section is not an isolated canonical Calabi--Yau 3-fold. In total, we classify 95 families of terminal Fano 4-folds of the first type and 32 families of the second type. We also describe our algorithmic approach and the pivotal role of computer algebra in our results.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    Alt nok, G

    S. Alt nok, G. D. Brown, and M. A. Reid, Fano 3-folds, K3 surfaces and graded rings , Topology and geometry: commemorating SISTAG , Contemp. Math., vol. 314, Amer. Math. Soc., Providence, RI, 2002, pp. 25--53

    work page 2002

  2. [2]

    1, 1021--1050

    Victor V Batyrev, On the classification of toric F ano 4-folds , Journal of Mathematical Sciences 94 (1999), no. 1, 1021--1050

    work page 1999

  3. [3]

    Wieb Bosma, John Cannon, and Catherine Playoust, The M agma algebra system. I . T he user language , J. Symbolic Comput. 24 (1997), no. 3-4, 235--265, Computational algebra and number theory (London, 1993)

    work page 1997

  4. [4]

    Brown and A

    G. Brown and A. M. Kasprzyk, Graded ring database, available at, http://grdb.co.uk/

    work page

  5. [5]

    2, 176--193

    Gavin Brown and Alexander Kasprzyk, Four-dimensional projective orbifold hypersurfaces, Experimental Mathematics 25 (2016), no. 2, 176--193

    work page 2016

  6. [6]

    Gavin Brown and Alexander M Kasprzyk, Kawamata boundedness for fano threefolds and the graded ring database, arXiv preprint arXiv:2201.12345 (2022)

    work page Pith review arXiv 2022

  7. [7]

    Brown, A

    G. Brown, A. M. Kasprzyk, and M. I. Qureshi, Fano 3-folds in P ^2 P ^2 format, Tom and J erry , European Journal of Mathematics 4 (2018), no. 1, 51--72

    work page 2018

  8. [8]

    Brown, M

    G.D. Brown, M. Kerber, and M.A. Reid, Fano 3-folds in codimension 4, Tom and Jerry. I. , Compos. Math. 148 (2012), no. 4, 1171--1194

    work page 2012

Show all 37 references
  1. [9]

    Kasprzyk, and Lei Zhu, Gorenstein formats, canonical and C alabi-- Y au threefolds , Experimental Mathematics 31 (2022), no

    Gavin Brown, Alexander M. Kasprzyk, and Lei Zhu, Gorenstein formats, canonical and C alabi-- Y au threefolds , Experimental Mathematics 31 (2022), no. 1, 146--164

    2022

  2. [10]

    Buckley, M

    A. Buckley, M. Reid, and S. Zhou, Ice cream and orbifold R iemann-- R och , Izvestiya: Mathematics 77:3 (2013), 461--486

    2013

  3. [11]

    9, 1873–1914

    Stephen Coughlan and Tom Ducat, Constructing fano 3-folds from cluster varieties of rank 2, Compositio Mathematica 156 (2020), no. 9, 1873–1914

    2020

  4. [12]

    Tom Coates, Sergey Galkin, Alexander Kasprzyk, and Andrew Strangeway, Quantum periods for certain four-dimensional F ano manifolds , Experimental Mathematics (2018), 1--39

    2018

  5. [13]

    Coates, A

    T. Coates, A. Kasprzyk, and T. Prince, Four-dimensional F ano toric complete intersections , Proceedings of the Royal Society Series A 471 (2015), no. 2175, 20140704, 14. 3303391

    2015

  6. [14]

    Corti and M

    A. Corti and M. Reid, Weighted G rassmannians , Algebraic geometry (M. C. Beltrametti, F. Catanese, C. Ciliberto, A. Lanteri, and C. Pedrini, eds.), de Gruyter, Berlin, 2002, pp. 141--163

    2002

  7. [15]

    4, 709--725

    Takao Fujita, On the structure of polarized manifolds with total deficiency one, I , Journal of the Mathematical Society of Japan 32 (1980), no. 4, 709--725

    1980

  8. [16]

    , Classification theories of polarized varieties, London Math. Soc. Lecture Note Ser. 155 (1990)

    1990

  9. [17]

    Juergen Hausen, Antonio Laface, and Christian Mauz, On smooth F ano fourfolds of P icard number two , arXiv preprint arXiv:1907.08000 (2019)

    2019 arXiv

  10. [18]

    A. R. Iano-Fletcher, Working with weighted complete intersections, Explicit Birational Geometry of 3-folds, vol. 281, London Math. Soc. Lecture Note Ser, CUP, 2000, pp. 101--173

    2000

  11. [19]

    V. A. Iskovskikh and Yu. G. Prokhorov, F ano varieties , Algebraic geometry, V , Encyclopaedia Math. Sci., vol. 47, Springer, Berlin, 1999, pp. 1--247. 1668579

    1999

  12. [20]

    I , Mathematics of the USSR-Izvestiya 11 (1977), no

    VA Iskovskih, Fano 3-folds. I , Mathematics of the USSR-Izvestiya 11 (1977), no. 3, 485

    1977

  13. [21]

    II , Mathematics of the USSR-Izvestiya 12 (1978), no

    , Fano 3-folds. II , Mathematics of the USSR-Izvestiya 12 (1978), no. 3, 469

    1978

  14. [22]

    2225, 20180791

    Elana Kalashnikov, Four-dimensional F ano quiver flag zero loci , Proceedings of the Royal Society A 475 (2019), no. 2225, 20180791

    2019

  15. [23]

    Alexander Kasprzyk, Classifying terminal weighted projective space, arXiv preprint arXiv:1304.3029 (2013)

    2013 arXiv

  16. [24]

    3, 765--779

    J \'a nos Koll \'a r, Yoichi Miyaoka, Shigefumi Mori, et al., Rational connectedness and boundedness of F ano manifolds , Journal of Differential Geometry 36 (1992), no. 3, 765--779

    1992

  17. [25]

    1, 31--47

    Shoshichi Kobayashi, Takushiro Ochiai, et al., Characterizations of complex projective spaces and hyperquadrics, Journal of Mathematics of Kyoto University 13 (1973), no. 1, 31--47

    1973

  18. [26]

    1, 563--575

    Oliver K \"u chle, On F ano 4-folds of index 1 and homogeneous vector bundles over G rassmannians , Mathematische Zeitschrift 218 (1995), no. 1, 563--575

    1995

  19. [27]

    1, 45--60

    Oliver K \" u chle, Some remarks and problems concerning the geography of F ano 4-folds of index and P icard number one , Quaestiones Mathematicae 20 (1997), no. 1, 45--60

    1997

  20. [28]

    Mori and S

    S. Mori and S. Mukai, Classification of F ano 3 -folds with B_ 2 2 , Manuscripta Math. 36 (1981/82), no. 2, 147--162

    1981

  21. [29]

    Sumayya Mohsin, Shaheen Nazir, and Muhammad Imran Qureshi, Construction and deformations of C alabi-- Y au 3-folds in codimension 4 , Journal of Algebra 657 (2024), 773--803

    2024

  22. [30]

    Muhammad Imran Qureshi, Computing isolated orbifolds in weighted flag varieties, Journal of Symbolic Computation 79, Part 2 (2017), 457 -- 474

    2017

  23. [31]

    319, 2497--2521

    Muhammad Imran Qureshi, Biregular models of log del P ezzo surfaces with rigid singularities , Mathematics of Computation 88 (2019), no. 319, 2497--2521

    2019

  24. [32]

    3, 424--433

    , Smooth F ano 4-folds in G orenstein formats , Bulletin of the Australian Mathematical Society 104 (2021), no. 3, 424--433

    2021

  25. [33]

    M. Reid, Canonical 3 -folds , Journ\'ees de G \'eometrie A lg\'ebrique d' A ngers, J uillet 1979/ A lgebraic G eometry, A ngers, 1979, Sijthoff & Noordhoff, Alphen aan den Rijn, 1980, pp. 273--310. 605348 (82i:14025)

    1979

  26. [34]

    131--180

    Miles Reid, Minimal models of canonical 3-folds, Algebraic varieties and analytic varieties, Mathematical Society of Japan, 1983, pp. 131--180

    1983

  27. [35]

    i, ii , Nagoya Mathematical Journal 167 (2002), 117--155, 157--216

    Hiromichi Takagi, On classification of \( Q \)-fano 3-folds of G orenstein index 2. i, ii , Nagoya Mathematical Journal 167 (2002), 117--155, 157--216

    2002

  28. [36]

    reine angew

    PMH Wilson, Fano fourfolds of index greater than one, J. reine angew. Math 379 (1987), 172--181

    1987

  29. [37]

    a contribution to M ukai classification , Bull

    Jaroslaw A Wisniewski, Fano 4-folds of index 2 with b_2 2 . a contribution to M ukai classification , Bull. Polish Acad. Sci. Math 38 (1990), 173--184

    1990

Pith tools

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