REVIEW 1 major objections 4 minor 16 references
Classification of products of Fano varieties with Picard number one
T0 review · 1 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read This paper proves that for every dimension $d$, once a smooth Fano variety of Picard number one is fixed, the products built from distinct partitions of $n$ are pairwise non-isomorphic; the same cone-of-curves argument classifies…
desk verdict A likely-correct Fano-product classification with a repairable gap in the final step: the proof compares chosen projections instead of an intrinsic invariant. 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 load-bearing object is the closed cone of curves $\overline{NE}(X)$ together with the extremal contractions of its faces. For a product $F_1^{d_1}\times\cdots\times F_1^{d_r}$ of Fano varieties of Picard number one, the paper first proves (Proposition 3.10) that the Picard group splits as $\mathbb{Z}^{\oplus r}$, using Kodaira vanishing to get $H^1(X,\mathcal{O}_X)=0$. Lemma 3.11 then gives that each factor's cone of curves is a single ray $\mathbb{R}_{\ge0}[\ell_i]$ spanned by a rational curve, so the product's nef cone is the positive orthant generated by the pullbacks of the ample generators and its cone of curves is the simplicial cone generated by the curves $\tilde\ell_i$ inside the factors. The projections are exactly the extremal contractions of the faces $F_{L_i}=\sum_{j\neq i}\mathbb{R}_{\ge0}[\tilde\ell_j]$, and since an extremal contraction is uniquely determined by its face, the set of projections is an isomorphism invariant; different partitions give different sets of contractions.
What would settle it
Compute $\overline{NE}(Q^3\times Q^3)$ directly: if the only extremal rays are the two curve classes coming from the factors and the only connected-fiber contractions are the two projections, the product-cone picture is confirmed; the appearance of an additional extremal contraction would force a refinement of the classification. Equivalently, exhibiting a smooth Fano variety of Picard number one for which Lemma 3.11 fails—a Mori cone not generated by a single rational curve—would collapse the proof of Theorem 3.13.
Extended reading notes
Core claim
The central discovery is Theorem 3.13: fix, for each dimension $d$, a smooth Fano variety $F_1^d$ of Picard number one; then for any two distinct partitions $(m_1,\ldots,m_r)$ and $(n_1,\ldots,n_s)$ of a positive integer $n$, the products $F_1^{m_1}\times\cdots\times F_1^{m_r}$ and $F_1^{n_1}\times\cdots\times F_1^{n_s}$ are non-isomorphic. With $F_1^d=\mathbb{P}^d$ this recovers the classification of multiprojective spaces (Theorem 3.5), and with $F_1^d=Q^d$, the smooth quadric hypersurface of dimension $d\ge 3$, it classifies products of quadrics (Corollary 3.14). The proof shows that the closed cone of curves of such a product is simplicial, with one extremal ray coming from a rational curve inside each factor, and that the projections are precisely the extremal contractions of the faces spanned by all but one ray; hence the partition is recoverable from the birational geometry of the product.
Load-bearing premise
The proof rests on Lemma 3.11, which asserts—via the Cone Theorem—that the closed cone of curves of a smooth Fano variety of Picard number one is a single ray spanned by a rational curve; if that ray structure failed, the product cone would no longer have one extremal ray per factor and the set of projection contractions would not be pinned down by the partition.
Editorial extensions
If this is right
- The classical classification of multiprojective spaces $\mathbb{P}^{m_1}\times\cdots\times\mathbb{P}^{m_r}$ by partitions of $n$ follows from a single uniform argument, without separating partitions of equal length from partitions of different lengths.
- For any fixed choice of a smooth Fano variety $F_1^d$ of Picard number one in each dimension $d$, products attached to distinct partitions of $n$ are pairwise non-isomorphic.
- Products of smooth quadrics of dimension at least $3$ are classified by partitions of the total dimension into parts of size at least $3$.
- The theorem applies verbatim to products of Grassmannians and of fixed-determinant moduli spaces of stable bundles over a curve, because these are Fano varieties of Picard number one.
Reading between the lines
- Our inference: the mechanism should work for any class of projective varieties whose Picard group splits across products, whose nef cone is simplicial with one extremal ray per factor, and whose $K_X$-negative faces admit contractions; the Fano hypothesis is one sufficient route, not necessarily the only one.
- Our inference: because the proof recovers the set of projection contractions from the product, it suggests the product actually remembers its factors as the targets of its contractions, so a fuller classification could recover each $F_1^{m_i}$ up to isomorphism, not just the partition.
- Our inference: the quadric classification stops at dimension $3$ because lower-dimensional quadrics are not of Picard number one; a natural extension would treat $\mathbb{P}^1\times\mathbb{P}^1$ as an additional fixed factor and ask whether mixed products with higher-dimensional quadrics are still classified by partitions augmented by the number of $\mathbb{P}^1\times\mathbb{P}^1$ factors.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper gives a new proof that distinct partitions of n yield non-isomorphic multiprojective spaces P^{n_1} × ... × P^{n_r}, and extends this to products of Fano varieties of Picard number one. After establishing via Kodaira vanishing that Pic(X × Y) splits for Fano factors, the author computes the nef cone and the closed cone of curves of such products as simplicial cones generated by pullbacks of ample classes and by curves in the factors. The projections to the factors are then identified with the extremal contractions of the codimension-one faces of the Mori cone. The main classification theorems are Theorem 3.5 for multiprojective spaces and Theorem 3.13 for general Fano factors, with Corollary 3.14 specializing to products of smooth quadrics of dimension at least 3.
Significance. If fully proved, the paper provides a uniform, MMP-based classification that improves on earlier case-by-case arguments. The technical ingredients are standard and mostly well handled: the Picard-group splitting via H^1(X,O_X)=0, the Cone Theorem for the Mori cone of a Fano factor, and the construction of the projections as extremal contractions are all sound. The applications to quadrics, rational homogeneous spaces, and fixed-determinant moduli spaces make the result attractive. However, as written, the final inference in Theorems 3.5 and 3.13 compares sets of contractions that are not shown to be isomorphism invariants, and the proof needs a local but load-bearing repair before the classification is logically complete.
major comments (1)
- [§3, Theorem 3.13 (and Theorem 3.5), final paragraph] The proof compares the sets {pr_{m_i}} and {pr_{n_j}} and then concludes that the corresponding faces and cones of curves are different, hence the products are non-isomorphic. This is not justified as written. The contractions pr_{m_i} are defined relative to a chosen product decomposition, and an isomorphism between two products need not send the face F_{L_i} to the analogous face of the target; indeed, for any two r-factor products covered by Proposition 3.12, the closed cones of curves are abstractly the same r-dimensional simplicial cone. The missing invariant is the multiset of dimensions of the images of the contractions of the codimension-one faces of NE(X). Proposition 3.12 supplies all the needed data: the cone has exactly r codimension-one faces F_{L_i}, and the contraction of F_{L_i} has image of dimension d_i. The proof should state and use this invariant explicitly. Without it, the classification is not established, although the statement is true and the gap is local.
minor comments (4)
- [§3, Proposition 3.4 and Proposition 3.12] The projections from a product to a factor are called 'birational projective morphisms'; this is not generally true (the projection P^1 × P^1 → P^1 is not birational). The equality (pr_{n_i})_* O_X = O_{P^{n_i}} follows from properness and connectedness of the fibers via Stein factorization/Zariski's Main Theorem, so the wording should be corrected rather than the argument changed.
- [§3, Lemma 3.11] The phrase 'finite rational polytope' should be 'rational polyhedral cone', and the object under discussion is the closed cone of curves \overline{NE}(X), not the non-closed NE(X). The cited Cone Theorem statement should be made precise, since the finiteness conclusion for Fano varieties is a standard but nontrivial consequence.
- [Abstract and Section 1] There are several typographical slips, including 'F ANO V ARIETIES' in the running title and 'the factor P is are rational' in Section 1; these should be corrected in the final version.
- [References] The name 'Lazersfeld' in the reference list should be 'Lazarsfeld'.
Circularity Check
No circularity: the proofs are self-contained relative to standard theorems; the only weakness is a non-circular gap in isomorphism-invariance.
full rationale
The paper's derivation chain is self-contained and does not reduce any claimed conclusion to its own inputs. For multiprojective spaces, Lemma 3.1 computes the nef cone directly from the numerical classes of coordinate lines, Corollary 3.2 obtains the cone of curves by duality, and Proposition 3.4 identifies the projections as extremal contractions using the Cone Theorem, Kodaira vanishing, and Zariski's Main Theorem. None of these steps defines the target classification into its premises. Theorem 3.5 then compares the sets of contractions obtained from Proposition 3.4; although the proof has a substantive gap (the chosen projections {pr_{m_i}} are not shown to be isomorphism invariants), this is a missing argument, not circularity, because the contractions are derived rather than assumed. The Fano generalization follows the same structure. Proposition 3.8 cites a standard Hartshorne exercise for splitting Picard groups, Lemma 3.9 uses Kodaira vanishing, and Lemma 3.11 invokes the Cone Theorem to conclude that the closed cone of curves of a Picard-number-one Fano variety is a single ray. Lemma 3.11 is not defined in terms of the classification and does not presume the non-isomorphism of products. Proposition 3.12 derives the nef cone and cone of curves from Lemmas 3.10 and 3.11, and again obtains the projections as extremal contractions by a standard argument. Theorem 3.13 repeats the multiprojective-space argument; as in Theorem 3.5, the possible weakness is a non-circular invariant-theoretic gap, not an equation that equals its own input. The author's earlier papers [11] and [12] are cited only as previous solutions of Question 1.1 and are not used as inputs to Theorem 3.5 or Theorem 3.13. There are no fitted parameters, no predictions that reduce to fitted values, no self-citation chain invoked to force the classification, and no ansatz smuggled in through a citation. Corollary 3.14 is a direct application of Theorem 3.13 to quadrics after verifying the Fano and Picard-number-one hypotheses. Accordingly, the appropriate finding is no significant circularity with score 0.
Assumptions & free parameters
assumptions (5)
- standard math Kodaira vanishing: H^j(X,O_X)=0 for all j>0 on a smooth Fano variety X.
- standard math Cone Theorem: for a Fano variety, the closed cone of curves is a rational polyhedral cone generated by rational curves.
- standard math Pic(X x Y) = Pic(X) x Pic(Y) when H^1(X,O_X)=0, from Hartshorne III Exercise 12.6.
- standard math Zariski's Main Theorem implies (pr_i)_* O_X = O_{target} for the projections used as contractions.
- standard math Lefschetz hyperplane theorem: for a smooth quadric Q^d with d at least 3, Pic(Q^d) = Z.
Cite this review
Pith. "Pith review of Classification of products of Fano varieties with Picard number one." pith.science (2026). https://pith.science/paper/EDRI2HVV
@misc{pith2026260812076,
author = {Pith},
title = {Pith review of: Classification of products of Fano varieties with Picard number one},
year = {2026},
howpublished = {\url{https://pith.science/paper/EDRI2HVV}},
note = {Machine review of arXiv:2608.12076}
}
abstract
Given a partition $(n_1,\ldots,n_r)$ of a positive integer $n$, one has the associated $n$-dimensional multiprojective space $\mathbb{P}^{n_1}\times \cdots \times \mathbb{P}^{n_r}$. We show that distinct partitions of $n$ yield non-isomorphic multiprojective spaces, giving a new proof via the extremal contractions of their closed cone of curves. In contrast to the earlier approaches, the argument here is uniform across all partitions, and extends beyond multiprojective spaces. In fact, we further extend it to a more general setting, namely to products of Fano varieties of Picard number one: we prove that a fixed such factor in each dimension makes the products attached to distinct partitions pairwise non-isomorphic. As a consequence, a complete classification of products of smooth quadrics, of dimension $\geq 3$, has been obtained.
Reference graph
Works this paper leans on
-
[11]
A representation theoretic classification of multiprojective spaces
Mukherjee, A. :A representation theoretic classification of multiprojective spaces, (2025). (https: //arxiv.org/abs/2405.16198)
work page Pith review arXiv 2025
-
[12]
Mukherjee, A. and Nagaraj, D. S. :Diagonal property and weak point property of higher rank divisors and certain Hilbert schemes, Bull. Sci. Math.198(2025), Paper No. 103541, 29 pp. (https://doi.org/10.1016/j.bulsci.2024.103541)
arXiv 2025
-
[1]
Borel, A. and Hirzebruch, F. :Characteristic Classes and Homogeneous Spaces, I, American Journal of Mathematics, Vol.80, No. 2 (1958), 458-538. (https://doi.org/10.2307/2372795)
doi:10.2307/2372795 1958
-
[2]
Dey, A., Mukherjee, A. and Pahari, A. :On the classification of products of Hilbert schemes of points over a surface, 2026. (https://arxiv.org/pdf/2604.01374)
arXiv 2026
-
[3]
Dr´ ezet, J. M. and Narasimhan, M. S. :Groupe de Picard des vari´ et´ es de modules de fibr´ es semi- stables sur les courbes alg´ ebriques, Invent. Math.97(1989), no. 1, 53–94. (https://doi.org/ 10.1007/BF01850655) 10 ARIJIT MUKHERJEE
-
[4]
& Harris J., Principles of Algebraic Geometry,Wiley(2014)
Griffiths P. & Harris J., Principles of Algebraic Geometry,Wiley(2014). (https://doi.org/10. 1002/9781118032527)
work page 2014
-
[5]
Hartshorne, R. : Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, (1977). (https://link.springer.com/book/10.1007/978-1-4757-3849-0)
-
[6]
Iskovskikh, V. A. and Prokhorov, Yu. G. : Fano varieties, Algebraic Geometry, V, Ency- clopaedia Math. Sci., 47, Springer-Verlag, (1999) 1–247. (https://link.springer.com/book/ 9783540614685)
work page 1999
Show all 16 references
-
[7]
and Mori, S
Koll´ ar, J. and Mori, S. : Birational geometry of algebraic varieties, Cambridge Tracts in Math., 134, Cambridge University Press, Cambridge, (1998), viii+254 pp. (https://doi.org/10.1017/ CBO9780511662560)
1998
-
[8]
and Mori, S
Koll´ ar, J., Miyaoka, Y. and Mori, S. :Rational curves on Fano varieties, Lecture Notes in Math., 1515 Springer-Verlag, Berlin, (1992), 100–105. (https://link.springer.com/chapter/ 10.1007/BFb0098339)
1992 doi
-
[9]
: Positivity in Algebraic Geometry I, Ergebnisse der Mathematik und ihrer Gren- zgebiete
Lazersfeld, R. : Positivity in Algebraic Geometry I, Ergebnisse der Mathematik und ihrer Gren- zgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 48. Springer-Verlag, ...
2004 doi
-
[10]
: Introduction to the Mori Program, Universitext, Springer-Verlag, New York, (2002), xxiv+478 pp
Matsuki, K. : Introduction to the Mori Program, Universitext, Springer-Verlag, New York, (2002), xxiv+478 pp. (https://link.springer.com/book/10.1007/978-1-4757-5602-9)
2002 doi
-
[13]
: Algebraic geometry for beginners, Texts Read
Musili, C. : Algebraic geometry for beginners, Texts Read. Math., 20 Hindustan Book Agency, New Delhi, (2001). (https://link.springer.com/book/10.1007/978-93-86279-05-7)
2001 doi
-
[14]
Nadel, A. M. :The boundedness of degree of Fano varieties with Picard number one, J. Amer. Math. Soc.4(1991), no. 4, 681–692. (https://www.ams.org/journals/jams/1991-04-04/ S0894-0347-1991-1115788-7/S0894-0347-1991-1115788-7.pdf)
1991
-
[15]
:Rational Homogeneous varieties
Ottaviani, G. :Rational Homogeneous varieties. (https://people.dimai.unifi.it/ottaviani/rathomo/rathomo.pdf)
-
[16]
:Tangent bundle of punctual Hilbert scheme of a surface, and a conjecture of Dey- Mukherjee-Pahari, (2026)
Sarkar S. :Tangent bundle of punctual Hilbert scheme of a surface, and a conjecture of Dey- Mukherjee-Pahari, (2026). (https://arxiv.org/pdf/2604.15098) Department of Mathematics, Indian Institute of Technology Madras, Tamil Nadu - 600 036, India. Email address:mukherjee7.arij...
2026 arXiv
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.