Classification of monads and a new moduli component of stable rank 2 bundles on $\mathbb{P}^3$ with even determinant and $c_2=9$

Aislan Leal Fontes

REVIEW 3 major objections 4 minor 24 references

Classification of monads and a new moduli component of stable rank 2 bundles on $\mathbb{P}^3$ with even determinant and $c_2=9$

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read A family of minimal Horrocks monads produces a new component of the moduli space B(9) and classifies all stable rank 2 bundles on P^3 with c1=0, c2=9, up to two explicit monads.

desk verdict A credible c2=9 monad classification and a plausible fourth component of B(9); the stress-test's homotopy-free concern rests on a sign error. read the letter →

arxiv 2412.00043 v1 pith:HC4HGT6I submitted 2024-11-22 math.AG

Aislan Leal Fontes This is my paper · ORCID

classification math.AG MSC 14J6014D20

keywords stablerank2vectorbundlesminimalHorrocksmonadsmodulispacesc2=9P^3spectrumofabundleirreduciblecomponentsEin

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

The paper classifies the minimal Horrocks monads whose cohomology is a stable rank 2 vector bundle on projective 3-space $\mathbb{P}^3$ with Chern classes $c_1=0$ and $c_2=9$, up to two explicit nonnegative monads, extending the known classification from $c_2\le8$. It then proves that the moduli space $\mathcal{B}(9)$ has at least four irreducible components: the Hartshorne component of dimension 69, two Ein components of dimensions 69 and 96, and a new component of dimension at least 74. The new component is produced by a family of monads whose dimension exceeds the expected dimension $8c_2-3=69$. If correct, the moduli space of these bundles is strictly richer than the standard families suggested by earlier examples.

What carries the argument

The central object is the minimal Horrocks monad, a three-term complex $A \xrightarrow{\alpha} B \xrightarrow{\beta} C$ of direct sums of line bundles on $\mathbb{P}^3$ whose cohomology $E=\ker\beta/\operatorname{im}\alpha$ is a vector bundle; minimality means no constant summands are split off. The classification is carried out through the spectrum of $E$, the multiset of integers encoding $h^1(E(l))$ and $h^2(E(l))$, and the number $\rho(l)$ of minimal generators of the first cohomology module $H^1_*(E)$, following the Hartshorne–Rao method. The new component is produced by the specific infinite family of Lemma 13, whose explicit matrices are written down, together with the dimension formula (13) for the family of homotopy-free monads of that shape, where homotopy-free means $\operatorname{Hom}(C,B)=\operatorname{Hom}(B,A)=0$; substituting $a=3$ yields dimension 74.

What would settle it

Compute the dimension of the family of cohomology bundles of the monad (11) at $a=3$ by a direct deformation-theoretic count independent of the quoted formula. If the family has dimension 69 rather than 74, or if a generic member has $h^1(E(-3))\ge6$ instead of 2, then the claimed new component would not be established.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the moduli space $\mathcal{B}(9)$ of stable rank 2 bundles on $\mathbb{P}^3$ with $c_1(E)=0$ and $c_2(E)=9$ contains a previously unknown irreducible component. The component is realized by the cohomology of a family of minimal Horrocks monads $$2\mathcal{O}_{\mathbb{P}^3}(-a) \to 2\mathcal{O}_{\mathbb{P}^3}(a-1) \oplus 2\mathcal{O}_{\mathbb{P}^3}(1-a) \oplus (\mathcal{O}_{\mathbb{P}^3}(1)\oplus \mathcal{O}_{\mathbb{P}^3}(-1)) \to 2\mathcal{O}_{\mathbb{P}^3}(a)$$ for $a=3$, which gives $c_2=9$ and spectrum $\{(-2)^2,(-1)^2,0,1^2,2^2\}$. The dimension calculation from the monad parameters gives a family of dimension 74, exceeding the expected dimension $8c_2-3=69$, and the family cannot be contained in any of the three known components. Along the way, the paper determines all possible minimal monads for these Chern classes except for two nonnegative cases, and proves several candidate monads have unstable cohomology.

Load-bearing premise

The whole new-component argument rests on the quoted formula for the dimension of the monad family in Lemma 13; if that count is off, the family could have the expected dimension 69 and sit inside a known component.

Editorial extensions

If this is right

The moduli space $\mathcal{B}(9)$ is now known to contain at least four irreducible components, so it is not irreducible and its structure goes beyond the two standard families.
Every stable rank 2 bundle on $\mathbb{P}^3$ with $c_1=0$, $c_2=9$ is the cohomology of one of the listed minimal Horrocks monads, with only the two explicit nonnegative monads left undecided.
The candidate monads ruled out in Propositions 4–6 and 8 cannot occur with stable cohomology, so the tabulated list is the complete stable classification up to the two exceptions.
For every $a\ge3$ the paper's Lemma 13 produces stable bundles with $c_1=0$, $c_2=4a-3$ and spectrum $\{(1-a)^2,\ldots,(a-1)^2\}$; at $a=3$ this family has dimension 74, exceeding the expected dimension 69.
The new component has dimension at least 74 while the expected dimension of the moduli space is 69, a gap that cannot be explained by any of the previously known components.

Reading between the lines

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

If the dimension formula behaves as the author expects for larger $a$, the same construction would yield infinitely many new components of $\mathcal{B}(4a-3)$, with dimension $6a^2+6a+2$ exceeding the expected dimension by a quadratically growing amount.
Resolving the two remaining nonnegative monads would complete the classification; they could either form additional small components or lie inside the known ones.
The same strategy could be tested at other spectra and values of $c_2$: a homotopy-free monad family whose dimension exceeds $8c_2-3$ and whose generic bundle has smaller $h^1(E(-3))$ than the Ein component should produce a new component.

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.

Desk Editor's Note

read the letter

Short version: this paper does what it says. It extends the Hartshorne-Rao monad classification to c2=9, and it produces a candidate fourth component of B(9). I think the central claim holds, but there are a few places where the author asks the reader to take a lot on faith.

What's actually new: the monad table for c1=0, c2=9 (Theorem 7 + Table 3), the explicit infinite family (11) with the computed matrices, and the argument that V(3^2;2,1) is not contained in the Hartshorne or Ein components. The classification is honestly qualified by two nonnegative monads that remain undecided. That's the right way to write a finite classification.

The stress-test note you sent is wrong. It claims Hom(C,B) ≠ 0 for the monad (11) because C = 2·O(-a). But in the monad (11) the right-hand term is 2·O(a), not 2·O(-a). So Hom(C,B) = Hom(2O(a), 2O(a-1) ⊕ ...) = 0, and similarly Hom(B,A) = 0. The family is homotopy free, exactly as the author states. The dimension formula (13) is therefore invoked for a family that satisfies its hypotheses, at least as far as I can tell from the paper.

The real soft spots are three. First, formula (13) is quoted from [20], which is the author's own prior paper. It is a standard monad dimension formula, and the paper unpacks the specific terms, so I am not alarmed, but a referee should ask for a self-contained verification of dim V(a) = 6a²+6a+2. Second, the cohomology computations in Propositions 11 and 12 are sketched, and the Macaulay2 script used in Lemma 13 is not shipped. I would like to see the script, or at least the exact commands, in an ancillary file. Third, the instability arguments lean on [21], also self-cited. That's not a flaw by itself, but those propositions are not fully proven in this text.

Overall: this is a genuine contribution to the subfield. It does not reorganize the area, but it completes a natural step in a well-defined program. A serious referee should be engaged. I'd recommend sending to an algebraic geometer who knows monads, asking to verify the dimension computation and the h1 values. After that, likely minor revisions. For my own work, I'd cite the infinite family (11) and the fourth component claim, but I'd double-check the numbers before depending on them.

Referee Report

3 major / 4 minor

Summary. The paper classifies minimal Horrocks monads whose cohomology is a stable rank 2 bundle on P^3 with c1=0 and c2=9, up to two explicitly unresolved nonnegative monads, thereby extending Hartshorne and Rao's classification for c2≤8. It also constructs an explicit infinite family of positive minimal monads (Lemma 13) and uses a dimension formula quoted from [20, Section 8] to claim that the corresponding bundles form a family of dimension 74, giving a new component of the moduli space B(9) distinct from the known Hartshorne and Ein components (Theorem 14).

Significance. If the dimension computation is correct, the paper makes a concrete contribution to the moduli theory of rank 2 bundles on P^3: it extends a difficult classification to c2=9 and produces a new family of moduli components. The explicit monad matrices in Lemma 13 are a strength, as is the honest qualification that two nonnegative monads remain unresolved. The central new-component claim, however, rests on the applicability of a dimension formula from a self-cited source, and the classification table depends on several sketched cohomology computations. These points need to be addressed before the results can be fully trusted.

major comments (3)

[Section 5, after Lemma 13, Equation (13)] The definition of the family P(a) is internally inconsistent and the homotopy-free condition is not met as written. The monad (11) has left term 2·O(-a) and right term 2·O(a), but the text defines P(a) as the family of monads of the form (11) "with A := 2·O(a)". Under the paper's own definition of homotopy free (Section 2.1, Hom(C,B)=Hom(B,A)=0), taking A=2O(a) gives Hom(B,A) nonzero, since B contains 2O(a-1). If A is instead intended to be the left term 2O(-a), the notation must be corrected and the applicability of [20, Section 8] to this monad shape must be explicitly verified. Equation (13) is the only support for dim V(3^2;2,1)=74, which is load-bearing for Theorem 14, so this issue must be resolved.
[Lemma 13, stability assertion] The proof that the cohomology E of the explicit monad (11) is stable is reduced to the sentence "the morphism β does not admit syzygies of degree ≥ 0 and so E is stable." This is not a proof, and stability of E is necessary for V(3^2;2,1) to be a subset of the moduli space B(9). Please provide a clear argument (e.g., a verification that H^0(P^3,E)=0, which for a rank 2 bundle with c1=0 is equivalent to stability) or include the Macaulay2 computation that checks this.
[Propositions 11 and 12] The numerical cohomology values are asserted without computation: for example, Proposition 11 states h1(E(-1))=12, h1(E(-2))=7, h1(E(-3))=3, h1(E(-4))=1, and Proposition 12 states H^1(F(-3))≃H^0(OP3)⊕H^0(k(x0)) and H^1(F(-2))≃H^0(OP2)⊕H^0(OP3(1))⊕H^0(ωS(1)). These values are used to identify the spectrum and hence the monad in Table 3. Since the classification claim is central to the paper, the derivations (or a reproducible script) should be included, rather than leaving the reader to reconstruct them.

minor comments (4)

[Throughout] There are several typos and notational inconsistencies: "nonegative" should be "nonnegative", "bubdle" should be "bundle", and Proposition 11 mentions a curve "P4 ∪ P1" after defining "P4 and P2". The colors "blue" and "red" used in Propositions 5 and 6 are not visible in a black-and-white print.
[Theorem 14 and Remark 15] The notation V(3^2;2,1) is not defined; please explain that it denotes the family for a=3 with the b-tuple from (11). Remark 15 is garbled: it says "To prove that V(3^2;2,1) is not contained in M4", which contradicts Theorem 14; this should be corrected or rephrased.
[Section 5, dimension computation] The statement that dim V(a)>32a-27 is "always true since a≥3" is imprecise: the quadratic 6a^2-26a+29 is positive for every integer a, not only for a≥3. This is a minor issue, but the argument can be stated more accurately.
[Proposition 6] The sentence "from the minimally of the monad the first column of β is zero" is terse; please add a short explanation of how minimality forces the first column to vanish and why H^0(K)=H^0(E) in the displayed situation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new component rests on an explicit monad construction and a parameter-free dimension formula whose homotopy-freeness hypothesis is satisfied.

full rationale

The central derivation is self-contained rather than circular. Lemma 13 explicitly displays the matrices α and β defining monad (11), computes c2 = 4a−3 from the Chern-class formula, and derives the spectrum (12) from the standard identity (4); the target component is not used as an input. The dimension V(3^2;2,1)=74 is obtained by substituting a=3 into formula (13), quoted from [20, Section 8]. That formula is a general dimension count for homotopy-free families of Horrocks monads, stated in a published, parameter-free way, and it is not constructed from the present component claim. The paper explicitly asserts that P(a) is homotopy free, and for the displayed monad (11) one indeed has Hom(C,B)=0 and Hom(B,A)=0 for a≥3, so the skeptic's objection that Hom(C,B)≠0 reverses the source and target terms of the monad. The spectrum constraints and instability eliminations cite external work of Hartshorne-Rao and Coanda, while the cited proposition from [21] is a general stability statement whose hypotheses do not include c2=9. Self-citation alone, without a reduction of the conclusion to the cited result, is not circular. No fitted parameter is renamed as a prediction, and no 'new component' is defined in terms of the dimension it is used to prove.

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

No fitted numerical parameters or invented entities appear; the monad data (a,b) are classification outputs, not free parameters. The central claims rest on standard theorems plus two self-cited inputs: the dimension formula from [20] and stability criteria from [21]. The completeness of the classification also depends on Coanda's theorem [8], which is external but recent.

assumptions (6)

standard math Every vector bundle on P3 is the cohomology of a monad whose terms are sums of line bundles (Horrocks' theorem).
Invoked in Section 2.1 to set up the monad formalism; accepted prior theorem.
domain assumption For even determinant, minimal monads have the symmetric shape (2) with A=sum OP(-a_i), B=sum (OP(b_j)+OP(-b_j)), C=sum OP(a_i), and c2 relation (3).
Stated as Lemma 1 in parallel to [20, Lemma 3] and used throughout; the proof is not written out.
standard math Spectrum constraints of Hartshorne and Rao [16, Prop 3.1] bound the number of minimal generators rho(l) (Theorem 3 in this paper).
External cited theorem that generates all candidate monads in Section 3.
standard math Coanda's inequalities [8, Theorem 2.7] on rho(i) rule out negative monads and limit nonnegative monads.
External cited theorem used in Section 4.1; depends on validity of [8].
domain assumption Dimension formula (13) from [20, Section 8] computes dim V(a) for the homotopy-free family of monads (11).
Self-cited formula by the same author; load-bearing for the dimension >=74 claim in Theorem 14.
domain assumption Stability criterion [21, Proposition 10] used in Lemma 4 and Proposition 5 to show certain candidate monads are unstable.
Self-cited result by the author with Jardim; affects completeness of the classification table.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Classification of monads and a new moduli component of stable rank 2 bundles on $\mathbb{P}^3$ with even determinant and $c_2=9$." pith.science (2026). https://pith.science/paper/HC4HGT6I

@misc{pith2026241200043,
  author       = {Pith},
  title        = {Pith review of: Classification of monads and a new moduli component of stable rank 2 bundles on $\mathbbP^3$ with even determinant and $c_2=9$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HC4HGT6I}},
  note         = {Machine review of arXiv:2412.00043}
}

abstract

The goal of this paper is to classify all minimal monads whose cohomology is a stable rank 2 bundle on $\mathbb{P}^3$ with Chern classes $c_1=0$ and $c_2=9$, with possible exception of two non-negative minimal monads, and thus we extend the classification of the minimal monads made by Hartshorne and Rao in \cite[Section 5.3]{HR91} when $c_2\leq8$. We also prove the existence of a new component of the moduli space $\mathcal{B}(9)$ which is distinct from the Hartshorne and Ein components.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[20]

Monads and moduli components f or stable rank 2 bundles with odd determinant on the projective space

Fontes, A.L., Jardim, M. Monads and moduli components f or stable rank 2 bundles with odd determinant on the projective space. Geom Dedicata 217, 21 (2023)

work page 2023
[21]

Jardim and A

M. Jardim and A. L. Fontes. Classiﬁcation of monads and m oduli components of stable rank 2 bundles with odd determinant and c2 = 10. ArXiv, 2024

work page 2024
[1]

Almeida, M

C. Almeida, M. Jardim, A. Tikhomirov, S. Tikhomirov, New moduli components of rank 2 bundles on projective space. Sbornik: Mathematics 212 (2021), 3–54

work page 2021
[2]

Barth, Irreducibility of the space of mathematical in stanton bundles with rank 2 and c2 = 4

W. Barth, Irreducibility of the space of mathematical in stanton bundles with rank 2 and c2 = 4 . Ann. 258, (1981), 81-107

work page 1981
[3]

Barth, Some properties of stable rank-2 vector bundle s on Pn

W. Barth, Some properties of stable rank-2 vector bundle s on Pn. Math. Ann. 226 (1977), 125–150

work page 1977
[4]

W. Barth. Stable vector bundles on P3, some experimental data. Asterisque 71 (1980), 205–218

work page 1980
[5]

Barth and G

W. Barth and G. Elencwajg. Concernant la cohomologie des ﬁbres algebriques stables sur pn (c). Springer Berlin Heidelberg, Berlin, Heidelberg, 1–24, 1978

work page 1978
[6]

Barth and K

W. Barth and K. Hulek. Monads and Moduli of V ector Bundles . Manuscripta Math., Berlin, Heidelberg, 25 (1978), 323–347

work page 1978

Show all 24 references

[7]

M. C. Chang, Stable rank 2 bundles on P3 with c1 = 0, c2 = 4 and α = 1. Math. Z. 184 (1983), 407–415

1983
[8]

I. Coanda. On the spectrum of a stable rank 2 vector bundle on P3. arXiv:2401.10783, (2024)

2024 arXiv
[9]

L. Ein. Generalized null correlation bundles. Nagoya Math. J. 111 (1988), 13–24

1988
[10]

Ellingsrud, S

G. Ellingsrud, S. A. Stromme, Stable rank 2 vector bundles on P3 with c1 = 0 and c2 = 3 . Math. Ann. 255 (1981), 123–135

1981
[11]

Horrocks

G. Horrocks. V ector bundles on the punctured spectrum o f a local ring. Proc. London Math. Soc. 14 (1964), 689–713

1964
[12]

Hartshorne, Algebraic geometry

R. Hartshorne, Algebraic geometry. Graduate Texts in M athematics, Springer V erlage, 1977

1977
[13]

Hartshorne

R. Hartshorne. Stable vector bundles of rank 2 on p3. Mathematische Annalen. 238 (1978)229–280

1978
[14]

Hartshorne, Stable reﬂexive sheaves

R. Hartshorne, Stable reﬂexive sheaves. Math. Ann.,254 (1980), 121–176

1980
[15]

Hartshorne, Stable reﬂexive sheaves, II,

R. Hartshorne, Stable reﬂexive sheaves, II, . Inv. Math., 66 (1982), 165–190

1982
[16]

Hartshorne, A

R. Hartshorne, A. P . Rao, Spectra and monads of stable bu ndles. J. Math. KyotoUniv., 31 (1991), 789–806

1991
[17]

Hartshorne, I

R. Hartshorne, I. Sols. Stable rank 2 vector bundles on P3 with e = − 1 and c2 = 2 J. Reine Angew. Math. 325 (1981), 145–152

1981
[18]

Manolache

N. Manolache. Rank 2 stable vector bundles on P3 with Che rn classes c1 = − 1 and c2 = 2 Rev. Roum. Math. Pures et Appl. XXVI (1981), 1203–1209

1981
[19]

Maruyama

M. Maruyama. Moduli of stable sheaves, I. J. Math. Kyoto Univ. 17 (1977), 91–126

1977
[22]

Rao, A note on cohomology modules of rank two bundles

P . Rao, A note on cohomology modules of rank two bundles. J. Algebra 86 (1984), 23–34

1984
[23]

A. S. Tikhomirov, S. A. Tikhomirov, and D. A. V assiliev. Construction of stable rank 2 bundles on P3 via sympletic bundles. Siberian Mathematical Journal, 60 (2019), 343–358

2019
[24]

Okonek, M

C. Okonek, M. Schneider, H. Spindler, H. S. I. Gelfand, V ector bundles on complex projective spaces. Boston: Birkhauser (1980). DEPARTAMENTO DE MATEM ´ATICA , UFS - C AMPUS ITABAIANA . A V. V EREADOR OL´i MPIO GRANDE S/N, 49506-036 I TABAIANA /SE, B RAZIL Email address: aislan@ufs.br

1980

Pith tools

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

[1] [20]

Monads and moduli components f or stable rank 2 bundles with odd determinant on the projective space

Fontes, A.L., Jardim, M. Monads and moduli components f or stable rank 2 bundles with odd determinant on the projective space. Geom Dedicata 217, 21 (2023)

work page 2023

[2] [21]

Jardim and A

M. Jardim and A. L. Fontes. Classiﬁcation of monads and m oduli components of stable rank 2 bundles with odd determinant and c2 = 10. ArXiv, 2024

work page 2024

[3] [1]

Almeida, M

C. Almeida, M. Jardim, A. Tikhomirov, S. Tikhomirov, New moduli components of rank 2 bundles on projective space. Sbornik: Mathematics 212 (2021), 3–54

work page 2021

[4] [2]

Barth, Irreducibility of the space of mathematical in stanton bundles with rank 2 and c2 = 4

W. Barth, Irreducibility of the space of mathematical in stanton bundles with rank 2 and c2 = 4 . Ann. 258, (1981), 81-107

work page 1981

[5] [3]

Barth, Some properties of stable rank-2 vector bundle s on Pn

W. Barth, Some properties of stable rank-2 vector bundle s on Pn. Math. Ann. 226 (1977), 125–150

work page 1977

[6] [4]

W. Barth. Stable vector bundles on P3, some experimental data. Asterisque 71 (1980), 205–218

work page 1980

[7] [5]

Barth and G

W. Barth and G. Elencwajg. Concernant la cohomologie des ﬁbres algebriques stables sur pn (c). Springer Berlin Heidelberg, Berlin, Heidelberg, 1–24, 1978

work page 1978

[8] [6]

Barth and K

W. Barth and K. Hulek. Monads and Moduli of V ector Bundles . Manuscripta Math., Berlin, Heidelberg, 25 (1978), 323–347

work page 1978