REVIEW 2 major objections 3 minor 2 references
A Supplement to the anticanonical Volumes of weak $\mathbb{Q}$-Fano threefolds of Picard rank two
T0 review · 2 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read For rank-two weak Q-Fano threefolds, anticanonical volume exceeds 64 only for one projective bundle.
desk verdict The missing rank-two case is real and the intended theorem likely true, but Proposition 7's discrepancy sign error for (α,β)=(4,1) leaves the main proof unfinished. 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 two-ray game diagram X_l → X → E, where the right map is a K_X-trivial divisorial contraction, the left map is a sequence of flips or the identity, and f_l: X_l → Z_l is a Mori fibre space. The key numerical identity is -K_{X_l} ≡ aF + bE (or aH_l + bE) with inequalities 0 < a ≤ 3b and explicit bounds on b; in the dangerous toric case, the flip X_l^- is built by replacing a wall in the fan, and terminality is probed by the discrepancy a(E_w) = (2-β)/α of the exceptional divisor E_w, where (α,β) is the splitting type of the vector bundle over $P^{1}$.
What would settle it
Recompute the discrepancy of the flipped toric variety in Proposition 7 for the admissible pair (α,β) = (4,1). The paper's own formula a(E_w) = (2-β)/α gives 1/4 > 0, which would mean the flipped variety is terminal, directly contradicting the assertion on which the exclusion of the $P^{2}$-bundle case relies; checking whether this computation is correct would settle whether the proof as written is complete.
Extended reading notes
Core claim
The central claim is a dichotomy: a weak Q-Fano threefold of Picard rank two either has anticanonical volume at most 64, or it is exactly the $P^{2}$-bundle P_{$P^{2}$}(O ⊕ O(3)) with volume 72. The paper proves this by showing that when the two-ray game leads to a Mori fibre space over a surface, the only way to exceed volume 64 is a flat $P^{1}$-fibration over $P^{2}$ with vanishing discriminant, forcing the bundle structure; the case of a fibration over $P^{1}$ is ruled out by a curve-counting argument. The companion case in which X admits two Mori fibre space structures already gives volume at most 54. Thus large volume is rigid: it isolates one projective bundle.
Load-bearing premise
The proof of the exclusion step in Proposition 7 rests on the claim that for every admissible splitting pair (α,β) — namely (6,5), (5,3), and (4,1) — the flipped toric variety fails to be terminal, as witnessed by the discrepancy a(E_w) = (2-β)/α being negative.
Editorial extensions
If this is right
- If the theorem is correct, the anticanonical volume classification for rank-two weak Q-Fano threefolds is complete: every such threefold has -K_X^3 ≤ 64 except the unique P^2-bundle with volume 72.
- The exceptional bundle P_{P^2}(O ⊕ O(3)) is the sole rank-two weak Q-Fano threefold attaining the maximum volume 72, confirming the sharpness of the general bound in this rank.
- Since K-semistable weak Q-Fano threefolds have volume at most 64, the exceptional bundle must be K-unstable; large anticanonical volume would serve as an explicit witness of K-instability.
- The result fills the remaining gap in the prior two-ray game analysis, thereby affirming the anticanonical volume bound of Question 1 for Picard rank two.
Reading between the lines
- The discrepancy formula in Proposition 7 gives a(E_w) = (2-β)/α, which is positive for the admissible pair (α,β) = (4,1); a complete proof of the theorem would therefore need a separate argument for that pair beyond the blanket negativity assertion.
- If the (4,1) toric flip turns out to be terminal, the current written exclusion of the P^2-bundle case would not go through, though the theorem might still be rescued by a different construction of the exceptional bundle.
- A natural testable extension is to allow non-split extensions in the projectivization step; the paper's argument handles split bundles via Grothendieck's theorem, and a non-split analogue could reveal whether the volume bound remains sharp.
- The two-ray game plus toric flip technique may generalize to rank-three weak Q-Fano threefolds, where the discrepancy computation would involve more than three splitting coefficients and likely produce a richer set of possible volumes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that every weak Q-Fano threefold of Picard rank two satisfies either -K_X^3 ≤ 64 or -K_X^3 = 72 with X ≅ P_{P^2}(O_{P^2} ⊕ O_{P^2}(3)). The proof follows the two-ray game framework of [CJ21] and reduces the main difficulty to a remaining case (dim Z_l = 1, dim φ_r(E) = 0). Section 2 is devoted to ruling out the possibility that the model X_l is a P^2-bundle over P^1, via a toric terminality computation for the last flip (Proposition 7). Section 3 then treats the larger-volume cases using bounds from [CJ21] and Prokhorov's methods. The central claim is that the remaining case cannot produce -K_X^3 > 72.
Significance. If the main theorem were established, it would give a sharp effective volume bound for weak Q-Fano threefolds of Picard rank two and would affirm Question 1 in that setting, complementing the known Gorenstein cases and the work of [CJ21]. The paper uses explicit toric geometry and careful intersection theory, and it is written as a focused supplement to an existing program. However, the proof as written contains a load-bearing numerical error in Proposition 7, so the main theorem is not established. The result may still be true, but the manuscript needs a substantive repair.
major comments (2)
- [Proposition 7 (p. 8, discrepancy computation)] The proposition claims that for every admissible pair (α,β) = (6,5), (5,3), (4,1) the flipped toric threefold X_l^- is not terminal, because the discrepancy of the exceptional divisor E_w is a(E_w) = (2−β)/α < 0. This formula is numerically false for (α,β) = (4,1): substituting β = 1 and α = 4 gives a(E_w) = (2−1)/4 = 1/4 > 0. Since (4,1) is explicitly one of the three possible decompositions of the P^2-bundle, the stated contradiction does not follow, and the proof does not exclude the P^2-bundle case. A direct toric check for (α,β) = (4,1) confirms the failure: the non-smooth cone ~σ_0^- has associated Q-Cartier data m = (1, 1/4, 1), and for every interior lattice point p = a v_0 + b v_1 + c e_2 one has m·p = a + b + c > 1, so all discrepancies are positive and X_l^- is terminal. Thus Proposition 7 is not proved as written.
- [Theorem 8 proof (p. 9)] Theorem 8 depends critically on Proposition 7. The proof argues that the birational map g : X_l ⇢ X' constructed from the P^2-bundle cannot be an isomorphism because otherwise fl : X_l → P^1 would be a P^2-bundle, contradicting Proposition 7. If Proposition 7 fails for (α,β) = (4,1), that contradiction disappears, and the exceptional case dim Z_l = 1, dim φ_r(E) = 0, -K_X^3 > 72 is not ruled out. Consequently, the statement -K_X^3 ≤ 72 in Case (II) is not established, and Theorem 9, which relies on Theorem 8, also lacks proof. This is a load-bearing gap, not a minor typo.
minor comments (3)
- [Abstract and Introduction] The abstract refers to 'previous work in arXiv:2501.12555', but the reference list and the body of the paper cite [CJ21] (Ann. Sc. Norm. Super. Pisa, 2021). The mismatch should be resolved.
- [Proposition 7, line 'we get -t = α > β ≥ 0'] The deduction of -t = α from h^0 = 1 is terse; it would be clearer to state explicitly that the total h^0 equals 1 only if one summand has degree zero, namely t + α = 0, while the other two have negative degree, and that α > β ≥ 0 follows from the Grothendieck splitting constraints.
- [Throughout] There are several typographical and formatting inconsistencies, such as inconsistent use of 'P^2' vs 'P2' and 'Q-Fano' vs 'Q-Fano', and the term 'axisshort' appears in the diagram on page 3. These should be cleaned up in a revision.
Circularity Check
No significant circularity: the proof is a genuine case computation supplementing prior work; the main defect is an arithmetic error, not a circular argument.
full rationale
The paper is a supplement to the prior work [CJ21] by the first author, and it explicitly relies on lemmas and the two-ray-game framework established there. This is structural self-citation, but it is not circular in the sense prohibited by the review rules: [CJ21] is cited as published prior work that established the surrounding cases and the dichotomy into Case (I) and Case (II), not as an assumed version of the target theorem. The current paper's contribution is to rule out the remaining case by an explicit computation: Lemma 6 derives the numerical constraints on the anticanonical class, and Proposition 7 attempts a toric discrepancy computation on the flipped variety X_l^- to obtain a contradiction. These equations are not fitted to the conclusion; the conclusion does not reduce to its inputs by construction. The serious defect in Proposition 7 is an arithmetic error: for the admissible pair (α,β)=(4,1), the discrepancy formula gives a(E_w)=(2-β)/α=1/4>0, not <0 as claimed, so the nonterminality assertion fails for that case. That is a proof gap and a correctness risk, but it is not circularity: the step does not assume what it proves, nor is it a renamed fit, nor does it depend on an unverified self-citation that smuggles in the conclusion. Accordingly, the circularity score is low; the manuscript's integrity concern lies in correctness, not in circular dependence.
Assumptions & free parameters
assumptions (6)
- standard math Existence of minimal models and the minimal model program for varieties of log general type (BCHM10).
- standard math Grothendieck's theorem that every vector bundle on P1 splits as a direct sum of line bundles.
- standard math Kawamata's theorem that flops connect minimal models.
- standard math The base point free theorem for Q-complements (KM98).
- domain assumption The Case (II) dichotomy and Lemmas 3-5 from [CJ21].
- ad hoc to paper The toric flip and discrepancy computation in Proposition 7 correctly model the last step of χ_l.
Cite this review
Pith. "Pith review of A Supplement to the anticanonical Volumes of weak $\mathbb{Q}$-Fano threefolds of Picard rank two." pith.science (2026). https://pith.science/paper/VN34RYDR
@misc{pith2026250219419,
author = {Pith},
title = {Pith review of: A Supplement to the anticanonical Volumes of weak $\mathbbQ$-Fano threefolds of Picard rank two},
year = {2026},
howpublished = {\url{https://pith.science/paper/VN34RYDR}},
note = {Machine review of arXiv:2502.19419}
}
abstract
We show that for a weak $\mathbb{Q}$-Fano threefold $X$ ($\mathbb{Q}$-factorial with terminal singularities and $-K_X$ is nef and big) of Picard rank $\rho(X)\leq 2$, either $-K_X^3\leq 64$ or $-K_X^3=72$ and $X=\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2}\oplus\mathcal{O}_{\mathbb{P}^2}(3))$. This is supplementary to the previous work in arXiv:2501.12555.
Figures
Reference graph
Works this paper leans on
-
[2]
I , Algebraic and topological theories (Kinosaki, 1984), 198 6, pp. 496–545. MR1102273 ↑2 [MP08] Shigefumi Mori and Yuri Prokhorov, On Q-conic bundles, Publ. Res. Inst. Math. Sci. 44 (2008), no. 2, 315–369. MR2426350 ↑2 [Nam97] Yoshinori Namikawa, Smoothing Fano 3-folds, J. Algebraic Geom. 6 (1997), no. 2, 307–324. MR1489117 ↑2 [OSS11] Christian Okonek, M...
work page 2008
-
[2016]
Singularities of linear systems and boundedness of Fano varieties
arXiv:1609.05543. ↑1 [Bir19] , Anti-pluricanonical systems on Fano varieties , Ann. of Math. (2) 190 (2019), no. 2, 345–463. MR3997127 ↑1 [CC08] Jungkai A. Chen and Meng Chen, An optimal boundedness on weak Q-Fano 3-folds, Adv. Math. 219 (2008), no. 6, 2086–2104. MR2456276 ↑1 [CJ21] Lai Ching-Jui, On anticanonical volumes of weak Q-fano terminal threefold...
work page Pith review arXiv 2019
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.