A remark by Daniel Ferrand on bundles on Fano threefolds
Pith reviewed 2026-05-24 10:07 UTC · model grok-4.3
The pith
μ-semistable rank two bundles with c1=0 on Fano threefolds are classified explicitly under a cohomology vanishing condition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let X be a Fano threefold with index i_X and fundamental line bundle O_X(h). We classify μ-semistable rank two bundles E on X with c1(E)=0, h0(E)≠0 and h1(E(−⌈i_X/2⌉ h))=0.
What carries the argument
The joint imposition of μ-semistability, non-vanishing global sections, and the cohomology vanishing h1(E(−⌈i_X/2⌉ h))=0, which together force the bundles into an explicit list indexed by i_X.
If this is right
- The possible bundles are completely determined once the index i_X is fixed.
- The vanishing condition eliminates all but a short list of candidates compatible with μ-semistability.
- The classification applies uniformly to every Fano threefold of a given index.
Where Pith is reading between the lines
- The same vanishing condition may restrict bundles on Fano varieties of higher dimension.
- The list could be used to compute explicit moduli spaces for these bundles.
- Similar vanishing hypotheses might classify bundles with other Chern classes on the same threefolds.
Load-bearing premise
The assumption that the given cohomology vanishing condition together with semistability and the index of X are sufficient to force the bundles into a short explicit list.
What would settle it
Existence of one μ-semistable rank two bundle E on a Fano threefold X satisfying c1(E)=0, h0(E)≠0 and h1(E(−⌈i_X/2⌉ h))=0 that lies outside the listed families would disprove the classification.
read the original abstract
Let $X$ be a Fano threefold with index $i_X$ and fundamental line bundle $\mathcal O_X(h)$. We classify $\mu$-semistable rank two bundles $\mathcal E$ on $X$ with $c_1(\mathcal E)=0$, $h^0(\mathcal E) \ne 0$ and $h^1(\mathcal E(-\lceil\frac{i_X}{2}\rceil h))=0$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript classifies μ-semistable rank-two vector bundles E on a Fano threefold X (with index i_X and fundamental line bundle O_X(h)) satisfying c_1(E)=0, h^0(E)≠0, and the vanishing h^1(E(−⌈i_X/2⌉ h))=0. It presents an explicit list of such bundles, building on a remark of Daniel Ferrand, with case distinctions according to the index i_X.
Significance. If the classification is exhaustive, the result supplies a concrete, usable list of bundles meeting the stated stability and cohomology conditions. This is potentially helpful for work on moduli spaces of bundles or on the geometry of Fano threefolds, and the paper explicitly credits the originating remark by Ferrand.
minor comments (2)
- The abstract and introduction would benefit from a brief sentence stating the possible values of i_X that arise for Fano threefolds and the corresponding bundles that appear in each case.
- Notation for the ceiling function ⌈i_X/2⌉ is used without an explicit reminder that i_X is even or odd in the relevant cases; a parenthetical note would improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the manuscript and for recommending acceptance. The report correctly identifies the main result as an exhaustive classification under the stated hypotheses, building on Ferrand's remark.
Circularity Check
No significant circularity; classification is self-contained
full rationale
The paper states a classification result for μ-semistable rank-2 bundles E on Fano threefolds X satisfying c1(E)=0, h0(E)≠0, and the given cohomology vanishing. No equations, ansatzes, fitted parameters, or self-citations appear in the provided abstract or description that would reduce the classification statement to its own inputs by construction. The result is presented as a direct consequence of the listed hypotheses and standard properties of Fano threefolds; no load-bearing step reduces to a self-definition or renamed input. This is the expected honest non-finding for a classification paper whose central claim does not visibly loop back on itself.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.