REVIEW 5 major objections 3 minor 30 references
Images of toric variety and amplified endomorphism of weak Fano threefolds
T0 review · 5 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A smooth projective threefold of Picard rank 2 with nef anticanonical bundle that is the image of a projective toric variety is itself toric, with exactly three non-Fano exceptions.
desk verdict The Bott-vanishing formulas in Theorem 3.1 are the real contribution; the classification theorems are credible but rest on unshown table numerics in Corollary 3.2, so the paper needs referee checks rather than desk reject. 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 workhorse is Bott vanishing, the cohomology vanishing property that toric varieties and their images satisfy and that varieties with an int-amplified endomorphism inherit. In the form used here, it forces $\chi(X,\Omega_X^2\otimes L)\ge 0$ for every ample line bundle $L$. The paper proves three Hirzebruch–Riemann–Roch formulas (Theorem 3.1) that turn Bott vanishing into a numerical test for rank-$2$ weak Fano threefolds, for example $$-\chi(X,\$Omega_X^{2}$(H-K_X))=16+h-\frac{$c_1^{3}$}{2}-\frac54($c_1^{2}$H+$c_1H^{2}$)+\frac34c_2H-\$frac12H^{3}$.$$ Substituting the Chern numbers of each family from the classification tables into these formulas, Corollary 3.2 shows the test excludes every family except the three listed bundles.
What would settle it
A concrete way to disprove the central claim would be to exhibit a smooth projective weak Fano threefold $X$ with $\rho(X)=2$, not Fano and not one of the three listed projective bundles, for which Bott vanishing holds, or equivalently for which the formula of Theorem 3.1(1) gives a nonnegative value after substituting the true Chern numbers. If any entry of the cited classification tables has a wrong Chern number, re-computation would reveal it as a surviving case.
Extended reading notes
Core claim
The paper establishes that the only smooth projective weak Fano threefolds of Picard rank $2$ that can be images of projective toric varieties, and the only ones that can carry an int-amplified endomorphism, are the same three varieties: the projective bundles $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}(1)^2)$, $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}^2\oplus\mathcal{O}_{\mathbb{P}^1}(2))$, and $\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2}\oplus\mathcal{O}_{\mathbb{P}^2}(3))$. Every other rank-$2$ weak Fano threefold fails Bott vanishing, an obstruction that toric images and varieties with an int-amplified endomorphism cannot have.
Load-bearing premise
The argument depends on the published lists of all weak Fano threefolds of Picard rank 2 being complete and numerically accurate; if a list misses a family or contains a wrong Chern number, an excluded case could survive the Bott-vanishing test and the conclusions would fail.
Editorial extensions
If this is right
- The three varieties $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}(1)^2)$, $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}^2\oplus\mathcal{O}_{\mathbb{P}^1}(2))$, and $\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2}\oplus\mathcal{O}_{\mathbb{P}^2}(3))$ are the complete classification of rank-2 toric weak Fano threefolds that are not Fano.
- Any rank-2 weak Fano threefold with an int-amplified endomorphism is one of those three bundles, hence toric, settling the amplified-endomorphism conjecture in this class.
- The families covered by Corollary 3.2—degree 6 and degree 8 del Pezzo fibrations over $\mathbb{P}^1$, most conic bundles over $\mathbb{P}^2$, and the birational cases of parts (4)–(6)—are all shown not to satisfy Bott vanishing.
- A Frobenius-liftable weak Fano threefold of Picard rank 2 is toric, a generalization stated in Remark 5.5 that follows by the same Bott-vanishing argument.
Reading between the lines
- The same table-driven Bott test could be repeated for weak Fano threefolds of higher Picard rank once complete numerical classification lists exist, potentially proving both conjectures beyond rank 2.
- A reader could independently verify the paper's exclusions by recomputing the Chern numbers of each listed family from its defining fibration and substituting them into Theorem 3.1(1), which would also check the internal consistency of the cited tables.
- The three surviving exceptions are all projective bundles over $\mathbb{P}^1$ or $\mathbb{P}^2$; in higher rank one might expect any surviving non-Fano toric image to be a toric projective bundle as well.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies weak Fano threefolds of Picard rank two. The main results are Theorem A: every smooth projective threefold with rho(X)=2 and -K_X nef that is the image of a projective toric variety is either toric Fano or one of P_{P1}(O_{P1} oplus O_{P1}(1)^2), P_{P1}(O^2_{P1} oplus O_{P1}(2)), P_{P2}(O_{P2} oplus O_{P2}(3)); and Theorem B: the same conclusion holds if the variety admits an int-amplified endomorphism. The proof works by deriving explicit formulas for certain Euler characteristics in Theorem 3.1, using them in Corollary 3.2 to show that all non-toric candidates in the available classification tables fail Bott vanishing, and then running a Mori-theoretic analysis that reduces the possibilities to the listed cases.
Significance. If correct, these results establish two new special cases of the Occhetta-Wisniewski image-of-toric conjecture and the Fakhruddin-Meng-Zhang-Zhong amplified-endomorphism conjecture, extending earlier work from Fano threefolds to weak Fano threefolds of Picard rank two. The Chern-class computations in Theorem 3.1 are explicit and checkable, and the final classification is concrete and falsifiable. The main caveat is that several exclusions are delegated to classification tables whose entries are not displayed; the proof is therefore only as strong as those tables and the reader's ability to verify the substitutions.
major comments (5)
- [Sections 4 and 5 (proofs of Theorems A and B)] The proofs repeatedly invoke 'X does not have Bott vanishing, a contradiction' (e.g., Claim 3 in Step 1 of Theorem A and the conic-bundle case in Step 2), but nowhere in the proof of Theorem A is it stated or justified that a toric image has Bott vanishing. The connection is only made in Remark 5.5 via [1, Theorem 4.4.1] and [1, Theorem 3.2.4]. Similarly, the proof of Theorem B uses the same contradiction without stating the implication 'int-amplified endomorphism implies Bott vanishing', presumably from [15]. These are load-bearing premises; without them the contradictions are non-sequiturs. Please add explicit statements and references at the start of Sections 4 and 5.
- [Corollary 3.2, cases (1), (3), (6)] The Bott non-vanishing test is the only mechanism that excludes the non-toric weak Fano threefolds of Picard rank two in Theorems A and B. However, in case (1) the string 'the result follows by looking at [9, Table 1]' replaces the numerical check for -chi = 13 + h - c1^3/2; in the conic-bundle part of case (3) the check for -chi = h - c1^3/2 + 2d + 3 is delegated to [12, Table A.3] and [13, Tables 7.2, 7.6, 7.7]; and case (6) is dismissed as 'identical' to case (4) with no numbers. If any table row is omitted, misidentified, or contains a wrong Chern number, the corresponding family survives the Bott test and both main theorems lose an exclusion step. Please display, for every cited row, the values of c1^3, h, d and the resulting sign of the Euler characteristic (or the required H^0 computation).
- [Theorem B, Step 1, Claim 1] The proof of Claim 1 says only: 'Replacing f by a power of f, by Lemmas 5.3 and 5.2, we have f^{-1}(D_red)=D, f^{-1}(E_red)=E.' Lemma 5.3 assumes f^{-1}D=D and f^{-1}C=C for all flopping curves, which is exactly the preservation property being asserted; Lemma 5.2 concerns the induced map on the target of a birational contraction and does not establish preservation of both E and D in X. As written, the step appears circular. The author should either prove the invariance directly from the int-amplified condition or cite a precise lemma (with the hypotheses verified) that guarantees that a power of an int-amplified endomorphism preserves these two boundary divisors. This is load-bearing because Claim 1 is used to obtain normal crossing in codimension two via Lemma 5.1 in Claim 2.
- [Corollary 3.2(3), Case 1] Theorem 3.1(3) is applied under the hypothesis that the rank-two bundle E on P^2 satisfies E(1) ample. In the application, however, the bundles are only described as E := F(2) (in the first three cases) or E := F or F^+ (in the other three cases), with the statement that they are 'nef but not ample'. Nefness of E does not imply ampleness of E(1), and no check is provided for each of the six cases. Without verifying E(1) is ample, the formulas of Theorem 3.1(3) cannot be used. Please add the missing ampleness verification or replace the reference with a version of the theorem that does not require it.
- [Theorem A, Step 1, Claim 3; Theorem B, Step 1, Claim 3] The transition from the geometric hypotheses to 'X is as in [12, No. 1, Table A.5]' is another unshown classification lookup. The proof does not display the numerical invariants that identify this unique row, and it is not clear which hypotheses rule out the other rows of the table. Since Corollary 3.2(6) then applies to that row, a mistaken identification would again break both proofs. Please either display the relevant invariants or add a sentence explaining the comparison.
minor comments (3)
- [Lemma 5.3 and proof of Theorem B] Lemma 5.3 states that the induced map is 'f+ : X -> X', but it should be 'f+ : X+ -> X+'; in the proof of Theorem B, 'by Lemma 5.3 X' has int-amplified endomorphism' should clarify whether X' or X+ is meant, since both appear in the flop diagram.
- [Theorem A, Step 2] The sentence 'If -K_X is not spanned, by [12, Corollary 1.5].' is incomplete; it should state the conclusion obtained from [12, Corollary 1.5].
- [Theorem B, Step 1, Claim 3] The phrase 'Let and B = psi(D)' contains a typo: it should be 'Let B = psi(D)'.
Circularity Check
Load-bearing self-citation: Lemma 4.7, used to rule out the curve-center blowup in Theorem A, is justified only by "Follows from [14]", a preprint coauthored by the author; the remaining Bott-vanishing/classification argument is otherwise independent.
-
self citation load bearing
[Section 4, Lemma 4.7, used in Claim 2 of the proof of Theorem A]
"Lemma 4.7. If D is a prime divisor in P3 such that (P3, D) is toric image, then D is linear. Proof. Follows from [14]."
The only proof supplied for Lemma 4.7 is a bare reference to [14], which is Kawakami–Sarkar–Witaszek, a preprint coauthored by the present author. The lemma is then load-bearing in Claim 2 of Theorem A: when the K_X-negative contraction is the blow-up of a smooth curve C in Y ≅ P^3, the argument applies Lemma 4.7 to (P^3, φ(D)) to conclude that φ(D) is a hyperplane, and this conclusion is what excludes dim φ(E) = 1. Without an independent proof of Lemma 4.7, that exclusion rests entirely on the author's own unpublished preprint. Since [14] is not machine-checked, code-reproduced, or otherwise verified in the present paper, this step is a localized load-bearing self-citation rather than an independent external input.
full rationale
The derivation is not circular in the sense of fitting a parameter or defining the target into the hypothesis. The Bott-vanishing formulas in Theorem 3.1 are derived from the Hirzebruch–Riemann–Roch theorem and the Euler–Jaczewski sequence, and Corollary 3.2 applies them to external classification tables [5], [9], [12], [13], [27]; no 'prediction' is a renamed input. The only problematic step is Lemma 4.7: its proof is a bare citation to [14], a preprint coauthored by Supravat Sarkar, the present author. This lemma is load-bearing in Theorem A, Claim 2, where it converts the fact that φ(D) is a toric-image divisor in P^3 into the statement that φ(D) is a hyperplane; that statement is used to eliminate the case dim φ(E) = 1. Since [14] is not machine-checked, code-reproduced, or externally verified here, this is a self-citation doing essential work in the proof. The paper also cites [14] again in Remark 5.5, but that remark is a generalization, not part of the main theorem. Because the central classification still rests on independent Bott computations and tables, the overall circularity is moderate (4), not a full collapse.
Assumptions & free parameters
assumptions (7)
- standard math Hirzebruch-Riemann-Roch theorem for vector bundles on smooth projective threefolds and on P2
- standard math Serre duality and Kodaira vanishing on weak Fano threefolds
- domain assumption Smooth toric varieties have Bott vanishing and toric images are F-liftable
- domain assumption Classification tables of weak Fano threefolds of Picard rank 2 are complete and numerically correct
- ad hoc to paper Lemma 4.7 from the coauthored preprint [14]: a toric image prime divisor in P3 is linear
- standard math Euler-Jaczewski exact sequence for projective bundles over P1
- standard math Kollár's classification of extremal rays on smooth threefolds
Cite this review
Pith. "Pith review of Images of toric variety and amplified endomorphism of weak Fano threefolds." pith.science (2026). https://pith.science/paper/CGWWAUGQ
@misc{pith2026250616325,
author = {Pith},
title = {Pith review of: Images of toric variety and amplified endomorphism of weak Fano threefolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/CGWWAUGQ}},
note = {Machine review of arXiv:2506.16325}
}
abstract
We show that some important classes of weak Fano $3$-folds of Picard rank $2$ do not satisfy Bott vanishing. Using this we show that any smooth projective $3$-fold $X$ of Picard rank $2$ with $-K_X$ nef which is the image of a projective toric variety is toric. This proves a special case of a conjecture by Ochetta-Wisniewski, extending a corresponding previous work for Fano $3$-folds. We also show that a weak Fano $3$-fold of Picard rank $2$ having an int-amplified endomorphism is toric. This proves a special case of a conjecture by Fakhrudding, Meng, Zhang and Zhong, extending corresponding previous work for Fano $3$-folds.
Reference graph
Works this paper leans on
-
[4]
Zelong Chen, Sheng Meng, and Guolei Zhong. “On smooth rationally connected pro- jective threefolds of Picard number two admitting int-amplified endomorphisms”. In: arXiv preprint arXiv:2506.14274(2025)
work page Pith review arXiv 2025
-
[12]
Threefolds with big and nef anticanonical bundles I
Priska Jahnke, Thomas Peternell, and Ivo Radloff. “Threefolds with big and nef anti- canonical bundles I”. In:arXiv preprint math/0407484(2004)
work page Pith review arXiv 2004
-
[13]
Threefolds with big and nef anti- canonical bundles II
Priska Jahnke, Thomas Peternell, and Ivo Radloff. “Threefolds with big and nef anti- canonical bundles II”. In:Open Mathematics9.3 (2011), pp. 449–488
work page 2011
-
[14]
Frobenius liftable hypersurfaces
Tatsuro Kawakami, Supravat Sarkar, and Jakub Witaszek. “Frobenius liftable hyper- surfaces”. In:arXiv preprint arXiv:2507.12198(2025)
work page Pith review arXiv 2025
-
[15]
Endomorphisms of varieties and Bott vanishing
Tatsuro Kawakami and Burt Totaro. “Endomorphisms of varieties and Bott vanishing”. In: arXiv preprint arXiv:2302.11921(2023)
work page Pith review arXiv 2023
-
[1]
Global Frobenius liftability I
Piotr Achinger, Jakub Witaszek, and Maciej Zdanowicz. “Global Frobenius liftability I”. In: (2021)
work page 2021
-
[2]
Global Frobenius Liftability II: Surfaces and Fano Threefolds
Piotr Achinger, Jakub Witaszek, and Maciej Zdanowicz. “Global Frobenius liftability II: surfaces and Fano threefolds”. In:arXiv preprint arXiv:2102.02788(2021)
work page Pith review arXiv 2021
-
[3]
Endomorphisms of hypersurfaces and other manifolds
Arnaud Beauville. “Endomorphisms of hypersurfaces and other manifolds”. In:Inter- national Mathematics Research Notices2001.1 (2001), pp. 53–58
work page 2001
Show all 30 references
-
[5]
Towards the classification of weak Fano threefolds with ρ= 2
Joseph Cutrone and Nicholas Marshburn. “Towards the classification of weak Fano threefolds with ρ= 2”. In:Open Mathematics11.9 (2013), pp. 1552–1576
2013
-
[6]
Questions on self maps of algebraic varieties
Najmuddin Fakhruddin. “Questions on self maps of algebraic varieties”. In: arXiv preprint math/0212208 (2002)
2002 arXiv
-
[7]
On canonical bundle formulas and subadjunc- tions
Osamu Fujino and Yoshinori Gongyo. “On canonical bundle formulas and subadjunc- tions”. In:Michigan Mathematical Journal61.2 (2012), pp. 255–264
2012
-
[8]
Introduction to the toric Mori theory
Osamu Fujino and Hiroshi Sato. “Introduction to the toric Mori theory”. In:Michigan Mathematical Journal52.3 (2004), pp. 649–665
2004
-
[9]
Refinement of the classification of weak Fano threefolds with sextic del Pezzo fibrations
Takeru Fukuoka. “Refinement of the classification of weak Fano threefolds with sextic del Pezzo fibrations”. In:arXiv preprint arXiv:1903.06872(2019)
2019 arXiv
-
[10]
Algebraic geometry
Robin Hartshorne. Algebraic geometry. Vol. 52. Springer Science & Business Media, 2013
2013
-
[11]
Totally invariant divisors of endomorphisms of projective spaces
Andreas Höring. “Totally invariant divisors of endomorphisms of projective spaces”. In: manuscripta mathematica153.1 (2017), pp. 173–182. 18 Toric image and amplified endomorphism
2017
-
[16]
Kollár and M
J. Kollár and M. Shigefumi. Birational Geometry of Algebraic Varieties. Cambridge University Press, 1998
1998
-
[17]
Extremal rays on smooth threefolds
János Kollár. “Extremal rays on smooth threefolds”. In:Annales scientifiques de l’Ecole normale supérieure. Vol. 24. 3. 1991, pp. 339–361
1991
-
[18]
Singularities of the minimal model program
János Kollár. Singularities of the minimal model program. Vol. 200. Cambridge Tracts in Mathematics. With a collaboration of Sándor Kovács. Cambridge University Press, Cambridge,2013,pp.x+370. isbn:978-1-107-03534-8. doi: 10.1017/CBO9781139547895. url: https://doi.org/10.1017/...
2013 doi
-
[19]
Building blocks of amplified endomorphisms of normal projective vari- eties
Sheng Meng. “Building blocks of amplified endomorphisms of normal projective vari- eties”. In:Mathematische Zeitschrift 294.3 (2020), pp. 1727–1747
2020
-
[20]
Building blocks of polarized endomorphisms of normal projective varieties
Sheng Meng and De-Qi Zhang. “Building blocks of polarized endomorphisms of normal projective varieties”. In:Advances in Mathematics325 (2018), pp. 243–273
2018
-
[21]
Non-isomorphic endomorphisms of Fano threefolds
Sheng Meng, De-Qi Zhang, and Guolei Zhong. “Non-isomorphic endomorphisms of Fano threefolds”. In:Mathematische Annalen383.3 (2022), pp. 1567–1596
2022
-
[22]
Threefolds whose canonical bundles are not numerically effective
Shigefumi Mori. “Threefolds whose canonical bundles are not numerically effective”. In: Proceedings of the National Academy of Sciences77.6 (1980), pp. 3125–3126
1980
-
[23]
On complex normal projective surfaces admitting non-isomorphic surjective endomorphisms
Noboru Nakayama. “On complex normal projective surfaces admitting non-isomorphic surjective endomorphisms”. In:preprint 2 (2008)
2008
-
[24]
On Euler–Jaczewski sequence and Remmert–van de Ven problem for toric varieties
Gianluca Occhetta and Jarosław A Wiśniewski. “On Euler–Jaczewski sequence and Remmert–van de Ven problem for toric varieties”. In:Mathematische Zeitschrift241.1 (2002), pp. 35–44
2002
-
[25]
Self maps of homogeneous spaces
Kapil Hari Paranjape and Vasudevan Srinivas. “Self maps of homogeneous spaces”. In: Inventiones mathematicae98.2 (1989), pp. 425–444
1989
-
[26]
University of California, Los Angeles, 2024
Talon Edward-Peter Stark.The Cone Conjecture & Bott Non-Vanishing. University of California, Los Angeles, 2024
2024
-
[27]
Weak Fano threefolds with del Pezzo fibration
Kiyohiko Takeuchi. “Weak Fano threefolds with del Pezzo fibration”. In: European Journal of Mathematics8.3 (2022), pp. 1225–1290
2022
-
[28]
Bott vanishing for Fano 3-folds
Burt Totaro. “Bott vanishing for Fano 3-folds”. In:arXiv preprint arXiv:2302.08142 (2023)
2023 arXiv
-
[29]
Endomorphisms of Fano 3-folds and log Bott vanishing
Burt Totaro. “Endomorphisms of Fano 3-folds and log Bott vanishing”. In: arXiv preprint arXiv:2305.18660 (2023)
2023 arXiv
-
[30]
Polarized endomorphisms of uniruled varieties. With an appendix by Y. Fujimoto and N. Nakayama
De-Qi Zhang. “Polarized endomorphisms of uniruled varieties. With an appendix by Y. Fujimoto and N. Nakayama”. In:Compositio Mathematica146.1 (2010), pp. 145–168. Fine Hall, Princeton, NJ 700108 Email address: ss6663@princeton.edu 19
2010
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.