REVIEW 4 major objections 5 minor 17 references
Codimension one distributions of degree 3 on the three-dimensional projective space
T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper classifies the possible Chern classes of tangent sheaves of codimension one degree 3 distributions on projective 3-space, each determined by the singular curve's degree and genus, with one moduli space of dimension 42.
desk verdict A useful extension with a central table that contradicts its own stability theorem; fixable but not citable as is. 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 identity is the Chern-class formula for a codimension one distribution on $\mathbb{P}^3$: $c_2(T_D) = d^2 + 2 - \deg(C)$ and $c_3(T_D) = d^3 + 2d^2 + 2d - \deg(C)(3d - 2) + 2p_a(C) - 2$, specialized to degree $d = 3$, which ties every invariant of the tangent sheaf to the singular curve $C$. The second workhorse is the forgetful morphism $\varpi : D^{st}(d,c,l) \to R(2-d,c,l)$ from the moduli space of distributions (an open subset of a Grothendieck Quot-scheme) to the moduli space of stable rank 2 reflexive sheaves; when it is surjective and $\dim \mathrm{Hom}(F, T_{\mathbb{P}^3})$ is constant, Theorem 4.1 converts the sheaf-moduli dimension into the distribution-moduli dimension, and this yields the count 42. Existence is engineered through Lemma 5.1, which turns a globally generated reflexive sheaf $G$ into a distribution with tangent sheaf $G^\vee(1)$, activated by Castelnuovo–Mumford regularity; stability is reduced to the vanishing $H^0(T_D) = 0$ for normalized rank 2 sheaves; and the finite list of $c_3$ values is squeezed out of arithmetic-genus bounds for curves in $\mathbb{P}^3$ together with the inequalities $c_3 \le c_2^2 + 2c_2$ and, for stable sheaves, $c_3 \le c_2^2$ from [8].
What would settle it
For the row $\deg(C) = 4$ the table stops at $c_3 = 27$, which is the condition $p_a(C) \le 3$; every row from degree 4 to 13 is limited by the same kind of implicit bound. One codimension one degree 3 distribution on $\mathbb{P}^3$ whose one-dimensional singular component has degree 4 and arithmetic genus at least 4 would force $c_3 = 49 - 28 + 2p_a \ge 29$, a value absent from Table 7.2, and would refute completeness. The check is concrete: compute the arithmetic genus of the degeneracy locus of a candidate degree 3 twisted 1-form, or search the Hilbert scheme of degree 4 curves for one that arises as $\mathrm{Sing}_1(D)$ with $p_a \ge 4$.
Extended reading notes
Core claim
The paper's central claim is a classification, stated as Theorem 1.1: if $T_D$ is the tangent sheaf of a codimension one degree 3 distribution on $\mathbb{P}^3$, given by an exact sequence $0 \to T_D \to T_{\mathbb{P}^3} \to \mathcal{I}_{Z/\mathbb{P}^3}(5) \to 0$, then the Chern classes of $T_D$ must lie in one row of Table 7.2, indexed by the degree of the one-dimensional component $C$ of the singular scheme $Z$. Concretely, $c_1(T_D) = -1$, $c_2(T_D) = 11 - \deg(C)$, and $c_3(T_D) = 49 - 7\deg(C) + 2p_a(C)$, so the allowed $c_3$ values are arithmetic progressions cut by the parity rule $c_2 + c_3 \equiv 0 \pmod 2$, the non-negativity of $c_3$, the inequalities for reflexive sheaves from [8], and arithmetic-genus bounds for space curves. Companion results complete the picture: stability of $T_D$ for $3 \le c_2(T_D) \le 11$ (Theorems 6.1 and 6.2), existence of distributions with Chern classes $(-1,2,2)$, $(-1,3,5)$ and $(-1,3,7)$ built from globally generated reflexive sheaves (Theorem 8.2), and an irreducible quasi-projective moduli space $D^{st}(3,3,5)$ of dimension 42 (Theorem 9.1).
Load-bearing premise
The classification table is complete only if an arithmetic-genus bound for the one-dimensional singular curve $C$ holds for every degree from 4 to 13; the paper states the bound explicitly only for degrees 2 and 3, and covers the rest by saying a similar argument applies, without giving the bound or its source.
Editorial extensions
If this is right
- The invariant-level classification is exhaustive: every codimension one degree 3 distribution on $\mathbb{P}^3$ has one of the listed pairs $(c_2, c_3)$, so the table is a complete checklist against which any construction can be tested.
- For $3 \le c_2(T_D) \le 11$ the tangent sheaf is stable, which places these distributions inside the Gieseker–Maruyama moduli space of stable sheaves and makes the forgetful morphism available as a tool.
- Distributions realizing $(-1,2,2)$, $(-1,3,5)$ and $(-1,3,7)$ exist, and the $(-1,3,5)$ family is organized by an irreducible 42-dimensional moduli space $D^{st}(3,3,5)$.
- Corner cases are pinned down: a purely zero-dimensional singular scheme forces the invariants $(-1,11,51)$, a line $C$ forces $(-1,10,42)$, and the extremal degree $\deg(C) = 13$ gives $(-1,-2,0)$.
Reading between the lines
- The table records necessary conditions; the paper constructs distributions for only a few rows (notably $(-1,10,42)$, $(-1,2,2)$, $(-1,3,5)$, $(-1,3,7)$). Whether the remaining listed $c_3$ values are actually realized — the sharpness of the table — is left open and would be the natural completeness test.
- The rows for $4 \le \deg(C) \le 13$ rest on the assertion that 'a similar argument' bounds the arithmetic genus of $C$, with no bound stated. A uniform proof of that bound for all degrees, or a single distribution whose singular curve violates it, would settle whether the table is truly complete.
- The same recipe — Chern-class formulas plus the forgetful morphism — is the natural route to degree 4 and higher distributions; the likely bottleneck is the same genus-bound argument, which grows in complexity with the degree of the curve.
- The dimension identity $\dim D^{st}(3,3,5) = \dim R(-1,3,5) + \dim \mathrm{Hom}(F, T_{\mathbb{P}^3}) - 1 = 19 + 24 - 1$ is a template: whenever the constancy of $\dim \mathrm{Hom}(F, T_{\mathbb{P}^3})$ can be verified for another row, that row yields a concrete moduli dimension, giving a full map of the moduli landscape for degree 3 distributions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies codimension one distributions of degree 3 on P^3. The main result (Theorem 1.1) is a classification table of all possible Chern classes (c2,c3) of the tangent sheaf TD, expressed in terms of the degree of the one-dimensional component C of the singular scheme. The authors also prove stability results (Theorems 6.1 and 6.2), construct distributions with certain Chern classes (Theorem 8.2), and compute the dimension of a moduli space of stable distributions (Theorem 9.1). The arguments rely heavily on the framework of Calvo-Andrade--Corrêa--Jardim [1] and on Hartshorne's theory of stable reflexive sheaves [8], as well as on the authors' previous work on degree 2 distributions [7].
Significance. If the classification is correct, the paper would complete the invariant picture for degree 3 codimension one distributions on P^3, extending the programme initiated in [1] and [7]. The stability theorems and the moduli-space dimension computation are concrete contributions that could be useful for further study. The paper builds on established tools (Chern class formulas from [1], stability bounds from [8]) rather than introducing new conceptual machinery, and the existence results are delegated to known constructions. The main value lies in the proposed complete list of invariants, which is exactly what is put into question by the internal inconsistencies discussed below.
major comments (4)
- [Section 7, Table 7.2, row deg(C)=8] The table lists c3 = 11, 13, 15 for c2 = 3. However, Theorem 6.2 (and Theorem 1.2) states that every codimension one degree 3 distribution with c2 = 3 has stable tangent sheaf, and the same section explicitly invokes [8, Theorem 8.2.d] to bound c3 ≤ c2^2 for stable TD. For c2 = 3 this gives c3 ≤ 9, so the entries 11, 13, 15 are not merely unproved; they contradict the paper's own stability theorem and the cited inequality. The row should be corrected to c3 = 1, 3, 5, 7, 9 unless the authors can show that the stability bound does not apply to these sheaves, which is not attempted. This directly undermines the completeness claim of Theorem 1.1.
- [Section 7, item 5] For 4 ≤ deg(C) ≤ 13, the paper states that 'a similar argument to the last item bounds the arithmetic genus of C' but does not state the bound. Since the possible c3 values are computed as c3 = 49 − 7·deg(C) + 2p_a(C), the completeness of the table depends on knowing the full range of p_a(C) for each degree. Without an explicit bound, and without verifying that the cited genus bounds apply to curves arising as Sing1(D) of degree 3 distributions, the rows for deg(C) = 4,...,13 in Table 7.2 are unsupported. This is a load-bearing gap in the main classification theorem.
- [Section 7, Table 7.2] The table skips deg(C) = 12 (equivalently c2 = −1) without any comment, even though Proposition 7.1 states that c2 ≥ −2, so this value is not excluded a priori. If deg(C) = 12 cannot occur for a degree 3 distribution, that exclusion must be proved; if it can occur, its c3 possibilities are missing. Either way, the table as printed is not a complete classification unless this gap is addressed.
- [Theorem 8.1] The proof of existence of a distribution with Chern classes (−1, 10, 42) says 'Take d = 3 in [7, proposition 36]'. Since [7] is the authors' paper on distributions of degree 2 on P^3, it is not clear why setting d = 3 in a statement from that paper yields a valid proof for degree 3. If [7, Proposition 36] is actually a general result that applies to all degrees, the citation should state this explicitly; otherwise the existence claim is not proved in the present paper.
minor comments (5)
- [Abstract] The phrase 'describing de zero and one dimensional components' should read 'describing the zero and one dimensional components'.
- [Section 2] The name 'Frobeniu' should be 'Frobenius'.
- [Section 3] The sentence 'We do hear for the sake of completeness' appears to be a typo; it should likely read 'We do it here for the sake of completeness'.
- [Section 7, item 1] The item ends with an isolated 'Also', which is an incomplete sentence and should be removed or completed.
- [Table 7.2 footnote] The footnote says the first column describes the degree of a generic point in the irreducible component of the Hilbert scheme that contains Sing1(D), but the column is elsewhere labeled deg(C) with C = Sing1(Z). This ambiguity should be clarified to avoid confusion about what object is being measured.
Circularity Check
No circular derivation: the Chern class table is obtained from external genus and stability bounds; self-citations are load-bearing in places but do not reduce the central claim to its inputs.
full rationale
The derivation is not circular. The central invariants in Theorem 1.1 come from the formulas c2(TD)=11−deg(C) and c3(TD)=49−7deg(C)+2Pa(C), quoted from [1, Theorem 3.1], and the table is obtained by enumerating arithmetic genus bounds for space curves taken from [9], [14], and the same authors' [7, Corollary 9]. These are external inputs, not the conclusion of the present paper. The stability theorems are proved by splitting arguments and via bounds on singular schemes ([4], [7, Theorem 4]); even where [7] is cited, the needed bound is a stated result about a different degree and not the degree-3 classification being derived. Existence results are either constructed via Lemma 5.1 and Chang's tables, or cited from [7, Proposition 36]. No displayed equation is defined in terms of the claimed output, and no parameter is fitted to the Chern class table. Two non-circular defects should be flagged: Section 7 item 5 says 'a similar argument' bounds the arithmetic genus for 4≤deg(C)≤13 without stating the bound or citing a theorem, and Table 7.2's row deg(C)=8 lists c3=11,13,15, which appears to conflict with the stable-sheaf inequality c3≤c2^2 cited from [8, Theorem 8.2.d] together with Theorem 6.2. These are completeness and correctness risks, not circularity. The score of 2 reflects load-bearing self-citations in the proofs of Theorem 6.2 and Theorem 8.1, but no reduction of the central claim to its own inputs.
Assumptions & free parameters
assumptions (6)
- domain assumption Forgetful morphism and dimension formulas from [1] (Lemmas 3.1, 3.2, Theorem 4.1)
- domain assumption Chern class formulas c2 = 11-deg(C), c3 = 49-7deg(C)+2p_a(C) from [1, Theorem 3.1]
- domain assumption Arithmetic genus bounds for curves in P3 from [9] (p_a ≤ (d-1)(d-2)/2) and [14] (p_a ≥ -3 for double lines)
- domain assumption Existence and vanishing theorems for stable reflexive sheaves with small c2 from [3, Tables 2.6.1, 3.14.1, 3.15.1]
- domain assumption Lemma 5.1 (globally generated G implies G^∨(1) is a tangent sheaf) from [1, Appendix]
- standard math Stability criterion: rank 2 reflexive sheaf with c1=-1 is stable iff H^0(E)=0 (Lemma 6.1, from [15])
Cite this review
Pith. "Pith review of Codimension one distributions of degree 3 on the three-dimensional projective space." pith.science (2026). https://pith.science/paper/LVQKMX3Z
@misc{pith2026250523241,
author = {Pith},
title = {Pith review of: Codimension one distributions of degree 3 on the three-dimensional projective space},
year = {2026},
howpublished = {\url{https://pith.science/paper/LVQKMX3Z}},
note = {Machine review of arXiv:2505.23241}
}
read the original abstract
We make a classification of codimension one degree 3 distributions on the projective three space, giving possible Chern classes of the tangent sheaf and describing de zero and one dimensional components of the singular scheme of the distribution. Also, we show the existence and describe some moduli spaces of such distributions, using the concept of stability of the tangent sheaf.
Reference graph
Works this paper leans on
-
[1]
Codimension one holomor- phic distributions on the projective three-space
Omegar Calvo-Andrade, Maur ´ ıcio Corrˆ ea, and Marcos Jardim. Codimension one holomor- phic distributions on the projective three-space. International Mathematics Research Notices , 2020(23):9011 – 9074, 2020
work page 2020
-
[8]
Robin Hartshorne. Stable reflexive sheaves. Math. Ann., 254:121–176, 1980
work page 1980
-
[7]
Codimension one distributions of degree 2 on the three-dimensional projective space
Hugo Galeano, Marcos Jardim, and Alan Muniz. Codimension one distributions of degree 2 on the three-dimensional projective space. Journal of Pure and Applied Algebra , 226(2), 2022
work page 2022
-
[2]
Irreducible components of the space of holomorphic foliations of degree two in CP(n), n ≥ 3
Dominique Cerveau and Alcides Lins Neto. Irreducible components of the space of holomorphic foliations of degree two in CP(n), n ≥ 3. Ann. of Math. (2) , 143(3):577–612, 1996
work page 1996
-
[3]
Stable rank 2 reflexive sheaves on p3 with small c2 and applications
Mei-Chu Chang. Stable rank 2 reflexive sheaves on p3 with small c2 and applications. Transactions of the American Mathematical Society , 284(1):57–89, 1984
work page 1984
-
[4]
Mauricio Corrˆ ea, Marcos Jardim, and Simone Marchesi. Classification of the invariants of fo- liations by curves of low degree on the three-dimensional projective space. Revista matem´ atica iberoamericana, 39(5):1641–1680, 2023
work page 2023
-
[5]
Moduli of distributions via singular schemes
Maur ´ ıcio Corrˆ ea, Marcos Jardim, and Alan Muniz. Moduli of distributions via singular schemes. Mathematische Zeitschrift , 301(3):2709–2731, 2022
work page 2022
-
[6]
Gaston Darboux. M´ emoire sur les ´ equations diff´ erentielles alg´ ebriques du premier ordre et du premier degr´ e.Bulletin des sciences math´ ematiques et astronomiques, 2(1):151–200, 1878
Show all 17 references
-
[9]
The genus of space curves
Robin Hartshorne. The genus of space curves. Ann. Univ. Ferrara, Nuova Ser., Sez. VII , 40:207– 223, 1996
1996
-
[10]
The geometry of moduli spaces of sheaves
Daniel Huybrechts and Manfred Lehn. The geometry of moduli spaces of sheaves . Cambridge University Press, 2010
2010
-
[11]
Equations de Pfaff alg´ ebriques, volume 708
Jean-Pierre Jouanolou. Equations de Pfaff alg´ ebriques, volume 708. Springer, 2006
2006
-
[12]
Les th´ eor` emes de finitude pour le foncteur de picard, expos´ e xiii in sga 6
S KLEIMAN. Les th´ eor` emes de finitude pour le foncteur de picard, expos´ e xiii in sga 6. Lect. Notes in Math , 225:287–297
-
[13]
Lectures on curves on an algebraic surface
David Mumford. Lectures on curves on an algebraic surface . Number 59. Princeton University Press, 1966. 11
1966
-
[14]
The Hilbert schemes of degree three curves
Scott Nollet. The Hilbert schemes of degree three curves. Ann. Sci. ´Ecole Norm. Sup. (4) , 30(3):367–384, 1997
1997
-
[15]
Vector bundles on complex projec- tive spaces
Christian Okonek, Michael Schneider, and Heinz Spindler. Vector bundles on complex projec- tive spaces. With an appendix by S. I. Gelfand. Corrected reprint of the 1988 edition . Basel: Birkh¨ auser, corrected reprint of the 1988 edition edition, 2011
1988
-
[16]
P Painlev´ e. Sur les int´ egrales alg´ ebrique des ´ equations differentielles du premier ordre and m´ emoire sur les ´ equations diff´ erentielles du premier ordre.Oeuvres de Paul Painlev´ e, 2, 1974
1974
-
[17]
Poincar´ e
M.H. Poincar´ e. Sur l’int´ egration alg´ ebrique des ´ equations diff´ erentielles du premier ordre et du premier degr´ e.Rendiconti del Circolo Matematico di Palermo , 5(1):161 – 191, 1891. 12
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.