Pith. sign in

REVIEW 2 major objections 6 minor 25 references

Classifying weak Fano toric varieties of Picard rank $3$

T0 review · 2 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper gives a systematic computer-assisted classification showing there are exactly 28 and 114 isomorphism classes of weak Fano toric threefolds and fourfolds of Picard rank 3.

desk verdict New, credible classification of rank-3 weak Fano toric threefolds/fourfolds; completeness of the tables rests on Macaulay2 code that needs a proper audit trail. read the letter →

arxiv 2506.00715 v1 pith:A2ZDCYA7 submitted 2025-05-31 math.AG

Zhengning Hu , Rohan Joshi This is my paper
classification math.AG MSC 14M2514-04
keywords weakFanotoricvarietiesPicardrank3primitivecollectionsprojectivebundlespentagonconstructionblowdownsandflopsvanishingtheoremconversethreefoldsfourfolds
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 aims to settle the classification of smooth weak Fano toric varieties of Picard rank 3, and it gives the complete answer in dimensions 3 and 4: 28 isomorphism classes of threefolds and 114 of fourfolds. Picard rank 3 means the group of numerical divisor classes is three-dimensional, and weak Fano means the anticanonical line bundle is nef and big. The classification is driven by a structural dichotomy: any such variety has either three primitive collections, and is then a toric projective bundle over a rank-2 variety, or five primitive collections, and is then built by an explicit pentagon recipe from finite integer data. The paper proves inequalities on that integer data that are exactly the weak Fano condition, turns them into an exhaustive computer search, and removes duplicates with an isomorphism test. If the search is correct, the appended tables are the definitive list, with Chern numbers, blowdowns, and flops for each entry.

What carries the argument

The load-bearing object is the primitive collection: a minimal set of rays of the fan that does not itself span a cone, together with the linear relation expressing the sum of those rays in terms of the rays of the cone that contains that sum. The cone of curves is generated by the classes of primitive collections, so a smooth projective toric variety is weak Fano exactly when every primitive relation has nonnegative degree. On top of this, the paper uses the structural dichotomy for rank 3: either three primitive collections, giving a projectivized decomposable bundle over a rank-2 variety, or five primitive collections, given by the pentagon construction with a partition and two integer lists. Two computer-algebra routines carry out the enumeration: one constructs the fan from the input data in each case, and one tests whether two fans are isomorphic by checking for integer-linear maps that send rays to rays and cones to cones bijectively; a standard toric-morphism theorem makes this combinatorial check the complete isomorphism check.

What would settle it

Have the enumeration repeated independently from the weak Fano inequalities in Sections 3 and 4: build every fan, run a separate isomorphism check, and compare classes with Appendices C and D; any discrepancy in the split counts 18/10 or 81/33 disproves completeness. Recomputing the Chern numbers of row 4.PB-15 from its fan would also check the paper's correction of the older D8 invariants.

Watch

Extended reading notes

Core claim

The central claim, stated as a theorem, is that the enumeration is complete: every smooth weak Fano toric threefold or fourfold of Picard rank 3 is isomorphic to exactly one of the 28 or 114 varieties tabulated in Appendices C and D. The counts split as 18 threefolds and 81 fourfolds of the three-primitive-collection type, and 10 threefolds and 33 fourfolds of the five-primitive-collection type. In the three-primitive-collection case the paper identifies all possible input data, a rank-2 weak Fano projective bundle over a projective space together with a list of divisor pairs $(b_i,c_i)$, and proves that the weak Fano inequalities on the degrees of primitive relations are the only restrictions. In the five-primitive-collection case the input is a partition $(p_0,\dots,p_4)$ of $d+3$ together with nondecreasing integer lists $(b_i)$ and $(c_i)$, with the weak Fano condition again read off from the degrees of the five primitive relations. The paper also proves a converse to the standard cohomological vanishing theorem: for a weak Fano toric variety, $H^1(X,\Omega_X^1\otimes\mathcal{O}(-K_X))$ vanishes exactly when $X$ is Fano.

Load-bearing premise

The counts stand or fall on the correctness of the two computer-algebra routines: the constructor must generate every possible weak Fano fan of this type from the bounded inputs, and the isomorphism test must recognize every isomorphism; a silent bug in either would change the totals from 28 and 114.

Editorial extensions

If this is right

  • The two appendices are exhaustive in dimensions 3 and 4: checking any candidate weak Fano rank-3 toric variety against the tables decides its isomorphism class.
  • The explicit inequalities give an effective finite search in every dimension, so the same method yields the rank-3 weak Fano classification in higher dimensions whenever the computation is feasible.
  • The recorded blowdowns show exactly which rank-3 varieties are equivariant blowups of rank-2 weak Fano varieties, and the flop columns identify pairs of non-isomorphic varieties connected by flops, including cases where a three-primitive-collection variety flops to a five-primitive-collection variety.
  • The converse vanishing theorem supplies a cohomological certificate: among weak Fano toric varieties, Fano-ness is equivalent to the vanishing of a single $H^1$ group.
  • The corrected Chern numbers for entry 4.PB-15 fix earlier published values for the Fano fourfold labeled D8 in the older classification list.

Reading between the lines

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

  • A natural audit is to rerun the bounded enumeration with an independently written implementation from the published inequalities; because the counts depend on the two routines being bug-free, such a check would directly test the 28 and 114 totals.
  • The same structural split into three and five primitive collections should make Picard rank 3 tractable in dimension 5, where the hard part will be the growth in the number of input tuples and the cost of isomorphism testing rather than the construction itself.
  • The observed flops that change the number of primitive collections suggest that primitive-collection count is not a flop invariant; the graphs of the listed flops could serve as a testbed for genuinely flop-invariant invariants.
  • The vanishing-theorem converse could be adopted as a practical Fano test in future automated toric classifications, since it reduces a Fano check to one cohomology computation.
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

2 major / 6 minor

Summary. The paper develops a systematic Macaulay2-assisted classification of smooth weak Fano toric varieties of Picard rank 3. Using Batyrev's structural theorem (Theorem 2.8), the authors split the problem into varieties with three primitive collections (toric projective bundles) and varieties with five primitive collections (Batyrev varieties). They prove finiteness bounds on the input data (Theorem 3.6 for projective bundles, Corollary 4.2 for Batyrev varieties) and then enumerate all cases in dimensions 3 and 4 with Macaulay2, reporting 18+10=28 isomorphism classes in dimension 3 and 81+33=114 in dimension 4. The paper also contains results on equivariant blowdowns and flops and a converse to Bott-Steenbrink-Danilov vanishing for weak Fano toric varieties.

Significance. If the computational enumeration is correct, the main result is a definitive classification of all smooth weak Fano toric varieties of Picard rank 3 in dimensions 3 and 4, extending the known classifications of toric Fano varieties and Picard-rank-2 weak Fano varieties. The structural reductions are coherent: Batyrev's dichotomy reduces the problem to two finite searches, and the degree inequalities derived from primitive relations provide exact bounds. The paper also gives a self-contained proof of a nice converse to Bott vanishing (Theorem 6.1) and documents many flop and blowdown relations. The main caveat is that the final counts are not independently certified, so the significance of the paper depends on making the computational evidence verifiable.

major comments (2)
  1. [§3.2, §4, Theorems 3.7 and 4.4; Appendices C and D] Completeness of the two central counts rests entirely on the Macaulay2 code in [HJ25]. The paper describes the functions projectiveBundleConstructor, batyrevConstructor, and areIsomorphic but gives no commit hash, output log, or independent certificate for the exhaustive runs. The invariants tabulated in Appendices C and D (c_1^3, h^0(X,T_X), c_1^4, c_1^2 c_2) cannot certify irredundance, since non-isomorphic varieties can share all of them, and they cannot detect a missing variety. Since the tables are the theorem, this is a load-bearing gap. Please make the computational evidence verifiable: a versioned archive of the code, a log of all candidate inputs and isomorphism checks, and either an independent recomputation or a machine-checkable certificate of the counts 18, 81, 10, 33, 28, and 114.
  2. [§3.2–§4 and [HJ25]] The enumeration algorithm itself is not specified at a mathematical level. For the three-collection case, the text says that all possible input triples (d,a,l) are constructed subject to the theorem inequalities, but it does not state the ranges of r and d', the ordering conventions for the list l, or the method by which areIsomorphic searches for an invertible integer matrix taking rays to rays and cones to cones. For the five-collection case, the lexicographic tie-breaking rule is given, but the exhaustive generation of ({p_i},{b_i},{c_i}) is again delegated to code. Please include a precise algorithmic description or pseudocode so that the tables can be checked independently of the particular Macaulay2 implementation.
minor comments (6)
  1. [Theorem 3.6, proof] In case (i) of the proof, the displayed formula uses -K_Y · C; it should be -K_Z · C.
  2. [Appendix D] In the second table of Appendix D, beginning with entry 4.PB-71, the column header lists c_1^3; the first Chern invariant should be c_1^4.
  3. [Section 3.2] The symbol X is used both for the intermediate projective bundle and for a primitive collection in the splitting fan, which makes Proposition 3.3 and Corollary 3.5 harder to read; consider renaming the primitive collections.
  4. [Section 3.2] The word 'nonegative' should be 'nonnegative'.
  5. [Example 5.7] The rays referred to as 'indexed by {0,1}' and '{2,3}' are not defined in the main text; the appendices do not specify the ray ordering for each entry, so the example is hard to verify from the printed tables alone.
  6. [Proposition 5.2] The blowdown to a weighted projective space is non-regular when a > 1, since the resulting weighted projective space is singular; the transition to the subsequent discussion of regular blowdowns should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the classification follows Batyrev's external structural theorems and standard toric-geometric computations, with the only self-referential element being the authors' own Macaulay2 code, which affects reproducibility but not circularity.

full rationale

The paper's derivation chain is self-contained and does not reduce to its own inputs. For the three-primitive-collection case, Theorem 2.8 (Batyrev) gives the projective-bundle form, Proposition 3.1 transfers weak Fano-ness to the base, and Proposition 3.4 plus Theorem 3.6 derive explicit inequalities from primitive-relation degrees. These inequalities bound the input triples, and the enumeration then constructs all bounded triples and removes duplicates via areIsomorphic. No parameter is fitted to any subset of the output, and no predicted class is an input by construction. For the five-primitive-collection case, the Batyrev construction is cited as an external theorem, Corollary 4.2 computes weak Fano-ness from the displayed primitive relations (8), and Proposition 4.1 proves the pentagon-symmetry uniqueness statement combinatorially from those relations rather than assuming it. Theorem 6.1 is proved directly, with the numerical experimentation mentioned only as motivation. The counts 18, 81, 10, 33, 28, and 114 are sums of generated, deduplicated isomorphism classes, not definitions or renamed inputs. The only self-citation is the GitHub repository [HJ25] containing the implementation; this is load-bearing for computational execution but it is a reproducibility artifact, not a circular mathematical reduction. Therefore there is no circular step to quote or exhibit.

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

The central claim is a computational classification built on established structural theorems of Batyrev and Kleinschmidt. No unknown free parameters are fitted to data. The main extra assumption beyond standard toric geometry is that the authors' Macaulay2 implementation correctly constructs all fans and correctly detects isomorphisms.

assumptions (8)
  • standard math Batyrev's dichotomy: every smooth projective toric variety of Picard rank 3 has exactly three or five primitive collections; three implies a projective bundle over a rank-2 toric variety, five implies Batyrev's recipe.
    Invoked as Theorem 2.8 and used to split the classification into Sections 3 and 4.
  • standard math Kleinschmidt's classification of smooth proper toric varieties of Picard rank 2 as PPr(O ⊕ O(a1) ⊕ ... ⊕ O(ad'-r)).
    Section 3.1 uses this to parameterize the base of rank-3 projective bundles.
  • standard math Mori cone generation by primitive relations (CLS11 Theorem 6.4.11) and the degree criterion of Corollary 2.4.
    This converts the weak Fano condition into the inequalities (6), (7), and Corollary 4.2.
  • standard math Demazure vanishing and [CLS11, Exercise 9.1.13] on cohomology of toric divisors.
    Used in the proof of Theorem 6.1 to control graded pieces of H^0(O_D(-K)).
  • standard math [Mus02, Theorem 2.4(ii)] on Q-ample divisors and vanishing.
    Used in Proposition 6.2 to prove the vanishing of H^i(X, O(-KX - Dρ)).
  • standard math Sato's criteria Theorems 4.3 and 4.10 for regular star subdivisions and blowdowns.
    Used for the blowdown and flop columns and for Corollaries 5.3, 5.5, and 5.12.
  • standard math Berchtold's theorem that isomorphisms between projective toric varieties are toric.
    Used to justify the correctness of the Macaulay2 function areIsomorphic.
  • domain assumption Correctness of the Macaulay2 NormalToricVarieties package and of the authors' custom functions, including areIsomorphic.
    The classification counts 18, 81, 10, and 33 are generated by these functions and are not independently certified in the preprint.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Classifying weak Fano toric varieties of Picard rank $3$." pith.science (2026). https://pith.science/paper/A2ZDCYA7

@misc{pith2026250600715,
  author       = {Pith},
  title        = {Pith review of: Classifying weak Fano toric varieties of Picard rank $3$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A2ZDCYA7}},
  note         = {Machine review of arXiv:2506.00715}
}
abstract

We provide a systematic method to classify all smooth weak Fano toric varieties of Picard rank $3$ in any dimension using Macaulay2, and describe the classification explicitly in dimensions $3$ and $4$. There are $28$ and $114$ isomorphism classes of rank $3$ weak Fano toric threefolds and fourfolds, respectively.

Figures

Figures reproduced from arXiv: 2506.00715 by the authors.

Figure 1
Figure 1. The Mori cone NE(X) The cone of curves (see [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

25 extracted references · 20 canonical work pages

  1. [1]

    Victor V. Batyrev. On the classification of smooth projective toric varieties. Tohoku Math. J. (2) , 43(4):569--585, 1991

    1991

  2. [2]

    V. V. Batyrev. On the classification of toric F ano 4 -folds. volume 94, pages 1021--1050. 1999. Algebraic geometry, 9

    1999

  3. [3]

    Fanography

    Pieter Belmans. Fanography. https://fanography.info, 2025

    work page 2025

  4. [4]

    Lifting of morphisms to quotient presentations

    Florian Berchtold. Lifting of morphisms to quotient presentations. Manuscripta Math. , 110(1):33--44, 2003

    work page 2003

  5. [5]

    Toric varieties , volume 124

    David A Cox, John B Little, and Henry K Schenck. Toric varieties , volume 124. American Mathematical Soc., 2011

    work page 2011

  6. [6]

    Towards the classification of weak F ano threefolds with = 2

    Joseph Cutrone and Nicholas Marshburn. Towards the classification of weak F ano threefolds with = 2. Open Mathematics , 11(9):1552--1576, 2013

    work page 2013

  7. [7]

    An update on the classification of rank 2 weak F ano threefolds

    Joseph Cutrone and Nicholas Marshburn. An update on the classification of rank 2 weak F ano threefolds. 2024

    work page 2024

  8. [8]

    Grayson and Michael E

    Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www2.macaulay2.com

Show all 25 references
  1. [9]

    Weak-Fanos

    Zhengning Hu and Rohan Joshi. Weak-Fanos . https://github.com/rohansjoshi/Weak-Fanos, 2025

    2025

  2. [10]

    V. A. Iskovskih. Fano threefolds. I . Izv. Akad. Nauk SSSR Ser. Mat. , 41(3):516--562, 717, 1977

    1977

  3. [11]

    V. A. Iskovskih. Fano threefolds. II . Izv. Akad. Nauk SSSR Ser. Mat. , 42(3):506--549, 1978

    1978

  4. [12]

    A classification of toric varieties with few generators

    Peter Kleinschmidt. A classification of toric varieties with few generators. Aequationes Math. , 35(2-3):254--266, 1988

    1988

  5. [13]

    Smooth toric varieties with small P icard number are projective

    Peter Kleinschmidt and Bernd Sturmfels. Smooth toric varieties with small P icard number are projective. Topology , 30(2):289--299, 1991

    1991

  6. [14]

    Mavlyutov

    Anvar R. Mavlyutov. Cohomology of rational forms and a vanishing theorem on toric varieties. J. Reine Angew. Math. , 615:45--58, 2008

    2008

  7. [15]

    Classification of F ano 3 -folds with B_2 2

    Shigefumi Mori and Shigeru Mukai. Classification of F ano 3 -folds with B_2 2 . I . In Algebraic and topological theories ( K inosaki, 1984) , pages 496--545. Kinokuniya, Tokyo, 1986

    1984

  8. [16]

    Vanishing theorems on toric varieties

    Mircea Musta t a . Vanishing theorems on toric varieties. Tohoku Math. J. (2) , 54(3):451--470, 2002

    2002

  9. [17]

    An algorithm for the classification of smooth F ano polytopes

    Mikkel bro. An algorithm for the classification of smooth F ano polytopes. April 2007

    2007

  10. [18]

    Classification of smooth F ano polytopes

    Mikkel bro. Classification of smooth F ano polytopes . PhD thesis, University of Aarhus, September 2007

    2007

  11. [19]

    Decomposition of toric morphisms

    Miles Reid. Decomposition of toric morphisms. In Arithmetic and geometry, V ol. II , volume 36 of Progr. Math. , pages 395--418. Birkh\"auser Boston, Boston, MA, 1983

    1983

  12. [20]

    Toward the classification of higher-dimensional toric F ano varieties

    Hiroshi Sato. Toward the classification of higher-dimensional toric F ano varieties. Tohoku Math. J. (2) , 52(3):383--413, 2000

    2000

  13. [21]

    The classification of smooth toric weakened F ano 3-folds

    Hiroshi Sato. The classification of smooth toric weakened F ano 3-folds. manuscripta mathematica , 109:73--84, 2002

    2002

  14. [22]

    Studies on toric F ano varieties , volume 23 of Tohoku Mathematical Publications

    Hiroshi Sato. Studies on toric F ano varieties , volume 23 of Tohoku Mathematical Publications . Tohoku University, Mathematical Institute, Sendai, 2002

    2002

  15. [23]

    A sufficient condition for a toric weak F ano 4-fold to be deformed to a F ano manifold

    Hiroshi Sato. A sufficient condition for a toric weak F ano 4-fold to be deformed to a F ano manifold. J. Korean Math. Soc. , 58(5):1081--1107, 2021

    2021

  16. [24]

    Gregory G. Smith. NormalToricVarieties: routines for working with normal toric varieties and related objects. Version 1.9 . A Macaulay2 package available at https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages

  17. [25]

    F ano bundles over P^3 and Q_3

    Micha Szurek and Jaros aw Wi \'s niewski. F ano bundles over P^3 and Q_3 . Pacific journal of mathematics , 141(1):197--208, 1990

    1990

Pith tools

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