Pith. sign in

REVIEW 3 major objections 4 minor 8 references

Restricted tangent bundle of rational curves on projective hypersurfaces

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

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

Pith's one-line read For smooth Fano hypersurfaces, a rational curve of degree $e$ has balanced restricted tangent bundle exactly when $e$ exceeds $(n-1)/(n+1-d)$, with quadrics split by parity.

desk verdict Strong classification of balanced restricted tangent bundles for d < n, with a genuine gap in the generation step for d = n and terse matrix-rank checks. read the letter →

arxiv 2507.13927 v1 pith:VUWVKNG6 submitted 2025-07-18 math.AG

Lucas Mioranci This is my paper · ORCID
classification math.AG MSC 14H6014J4514J7014G1714N2514Q15
keywords rationalcurvesrestrictedtangentbundleshypersurfacescurveinterpolationbalancedvectorsplittingtypeBirkhoff-Grothendieckdecompositionnormal
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

This paper determines exactly when a general smooth Fano hypersurface $X\subset\mathbb{P}^n$ of degree $d$ ($3\le d\le n$) contains rational curves whose restricted tangent bundle $T_X|_C$ is balanced, meaning it splits as a direct sum of line bundles whose degrees differ by at most one. The result is a clean threshold: for degree-$e$ rational curves, $T_X|_C$ is never balanced when $e \le (n-1)/(n+1-d)$, and a general $X$ contains balanced examples for every $e > (n-1)/(n+1-d)$. Since a balanced restricted tangent bundle is exactly what lets a curve interpolate the maximum possible number of points, the theorem pinpoints, for every Fano hypersurface, the curve degrees at which maximal interpolation begins. Quadrics form the one parity exception: only even-degree rational curves are balanced there, with odd-degree curves one step short, and the paper also produces explicit hypersurfaces realizing each splitting type for rational normal curves.

What carries the argument

The carrying object is the explicit kernel matrix $K_F$ of the map $\delta_F=\psi_F\circ\beta: O(e+1)^e\oplus O(e)^{n-e}\to O(de)$, whose cokernel is $T_X|_C$. After fixing a degree-$d$ polynomial $F$ defining the hypersurface, the normal-bundle map $\psi_F$ is computed from the quadratic generators of the ideal of a rational normal curve $C$, and $\beta$ is the fixed quotient map coming from the Euler sequence. The kernel is written as a matrix whose columns are explicit column relations of $\delta_F$; proving $K_F$ has maximal rank at every point of $\mathbb{P}^1$ identifies $T_X|_C$ and its splitting type. An extension proposition then lifts a balanced hypersurface $Y\subset\mathbb{P}^{n-1}$ to a balanced $X\subset\mathbb{P}^n$ by realizing any extension of $O(e)$ by $T_Y|_C$, using explicit factorization matrices $J_0,J_1,J_2$, and a gluing lemma for vector bundles on trees of rational curves extends the result to all degrees above the threshold.

What would settle it

Take an allowed triple from Theorem 7.1, for instance $d=5$ and $n=10$, write the displayed matrix $K_F$ with $t=1$, and compute its rank symbolically at $s=1$; if the rank comes out below $n-1=9$, the claimed balanced splitting $T_X|_C \cong O(7)^6\oplus O(6)^3$ is false. The same computation can be repeated for the matrices displayed in Theorems 5.1 and 6.1 at their stated parameter values.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for a smooth Fano hypersurface $X\subset\mathbb{P}^n$ of degree $d$ with $3\le d\le n$, the restricted tangent bundle $T_X|_C$ of any degree-$e$ rational curve $C$ is never balanced when $e \le (n-1)/(n+1-d)$, and a general hypersurface contains rational curves of degree $e$ with balanced $T_X|_C$ for every $e > (n-1)/(n+1-d)$. The paper works over an algebraically closed field of characteristic not dividing $e$. Quadrics are classified separately: for every even $e\ge2$ there are degree-$e$ rational curves with $T_X|_C \cong O(e)^{n-1}$, while odd-degree curves always have the unbalanced splitting $O(e-1)\oplus O(e)^{n-3}\oplus O(e+1)$. For rational normal curves of degree $e\le n$, explicit splitting types are listed for $d=2,3,4$, and for general $d$ balanced splitting is exhibited when $e\ge 2d-2$.

Load-bearing premise

The classification rests on the claim that each explicitly written kernel matrix $K_F$ has full rank at every point of the parameter line $\mathbb{P}^1$; the paper justifies this with terse Gauss-Jordan descriptions and, for $d\ge4$, with an induction that is not written out, so a single unverified rank check failing at some $(d,e,n)$ would change the claimed splitting type.

Editorial extensions

If this is right

  • The classification of triples $(e,d,n)$ for which a general Fano hypersurface contains a balanced restricted tangent bundle is complete for $d\ge3$: the only obstruction is the slope bound $e \le (n-1)/(n+1-d)$.
  • For every $e>(n-1)/(n+1-d)$, a general hypersurface contains rational curves that interpolate $\lfloor e(n+1-d)/(n-1)\rfloor+1$ general points, the maximum possible from the slope of $T_X|_C$.
  • On quadrics, even-degree curves reach the perfectly balanced splitting $O(e)^{n-1}$, while odd-degree curves stop one step short; consequently deformations of odd-degree curves interpolate $e$ points rather than $e+1$.
  • The extension proposition converts any explicit balanced example into a family of examples in all higher ambient dimensions, and the gluing lemma converts the finite interval $(n-1)/(n+1-d) < e \le (n-1)/(n+1-d)+(n-1)$ into every larger degree by adding degree $n-1$ curves.
  • Explicit polynomials $F$ are provided for rational normal curves with $e\le n$ when $d\le4$, and for $e\ge 2d-2$ in general degree $d$, so the claimed splitting types are checkable examples rather than existence statements alone.

Reading between the lines

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

  • An implicit consequence is that the same kernel-matrix formalism could decide balancedness for curves that are not rational normal curves, since the open condition of balancedness would propagate from the explicit examples to general deformations in the same Hilbert scheme.
  • A testable extension is to compute, for each $(d,n)$, the maximal minors of $K_F$ symbolically; this would supply an independent certificate of the asserted splitting types without relying on the terse Gauss-Jordan descriptions in the paper.
  • The quadric parity phenomenon is likely a shadow of a general divisibility rule for homogeneous spaces, as in the Grassmannian case the paper cites; the ruled-surface reduction in the quadric proof gives a model for proving such parity obstructions elsewhere.
  • One could probe stability of the threshold by asking whether $e=(n-1)/(n+1-d)$ also governs interpolation for Fano complete intersections of higher codimension, where the index, not the hypersurface degree, should play the analogous role.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies the splitting type of the restricted tangent bundle T_X|C for rational curves C of degree e on a smooth degree d hypersurface X ⊂ P^n. The main theorem (Theorem 1.1) asserts that for 3 ≤ d ≤ n the bundle is never balanced when e ≤ (n−1)/(n+1−d), and that a general X contains degree-e rational curves with balanced T_X|C for every e above that threshold; quadrics are treated separately in Theorem 1.2. The proof combines the Euler and tangent-bundle exact sequences for rational normal curves, explicit kernel matrices for the maps δ_F, an induction in the ambient dimension n (Proposition 3.2), known balanced normal-bundle results, and a gluing/specialization lemma (Lemma 2.14).

Significance. If the main theorem is correct, it gives a complete numerical classification for balanced restricted tangent bundles on general Fano hypersurfaces, complementing recent results on normal bundles and addressing a question raised by Ran in the rational-curve case. The paper is constructive: for d = 2, 3, 4 and for e = n ≥ 2d−2 it produces explicit polynomials defining hypersurfaces with prescribed balanced splitting, and it connects the splitting to modular interpolation. The exposition is careful about exact sequences and the induction framework. However, the proof of the final gluing theorem contains a genuine gap in the diagonal case n = d, and several linear-algebra rank checks are asserted rather than proved; these issues currently prevent acceptance.

major comments (3)
  1. [§7.2 (proof of Theorem 7.2)] The proof asserts the existence of a degree n−1 rational curve C1 with perfectly balanced restricted tangent bundle T_X|C1 ≅ O(n+1−d)^{n−1}. This is false for n = d, the diagonal case included in Theorem 7.2 and in Theorem 1.1(2): Proposition 2.13 gives the obstruction threshold (n−1)/(n+1−d) = n−1, so a degree n−1 curve cannot have balanced restricted tangent bundle at all. For n > d the assertion is true and follows from the balanced curves already produced in the preceding interval together with the fact that for e = n−1 the slope n+1−d is an integer; however, this implication is not stated. The gluing step is load-bearing for the 'every e > ...' claim when n = d, so the proof of Theorem 1.1(2) is incomplete in that case. Please supply a correct argument for n = d or adjust the scope of the statement.
  2. [§7.1 (proof of Theorem 7.1)] The splitting type T_X|C ∼= O(n+2−d)^{n−d+1} ⊕ O(n+1−d)^{d−2} is obtained by showing that the explicit matrix K_F is injective. The final step of the proof, after the Gauss-Jordan reduction, reads: 'This can be shown by using the diagonal of 1's and induction.' No induction is exhibited and no determinant computation for the reduced (d+1)×(d+1) block is given. Since Theorem 7.1 supplies the existence part for every e ≥ 2d−2 when n is large, this is a genuinely load-bearing linear-algebra check. The same pattern occurs in Theorems 5.1 and 6.1, where the rank assertions are delegated to 'Gauss-Jordan elimination' or 'computing minors' without a complete argument. Please provide a complete proof, for example a general lemma showing that the relevant minors are nonzero, or a reproducible computer verification.
  3. [§3 (proof of Theorem 3.8)] The sentence 'In both cases, we have 1 ≤ μ(N_C/X) ≤ 3' is not true for arbitrary n when e = d+1; for instance, d = 3, e = 4, n = 10 gives μ(N_C/X) = 30/8 = 3.75. The intended argument appears to be that the inequality holds in the base case n = e and that Proposition 3.2 provides the induction for larger n, but as written the proof seems to apply Corollary 2.11 outside its range. Please rewrite this step so that the base case and the induction are explicit.
minor comments (4)
  1. [§4.7 (Theorem 4.7, odd case)] The displayed relation '−t·C_i + s·C_{e+1}' is likely a typo; it should presumably involve C_{i+1} rather than C_{e+1}.
  2. [§7.2] The phrase 'floor threshold' is used informally; please define it as ⌊(n−1)/(n+1−d)⌋ at first use.
  3. [§5.1 and §7.1] Several displayed matrices contain formatting artifacts, such as 's 3' and 's 2' in place of s^3 and s^2, and the large matrices in Theorem 5.1 and Theorem 7.1 would benefit from a careful proofreading pass.
  4. [§3.5 (Lemma 3.5)] The proof says 'Since B has summands of degree larger than a and r ≥ 1, K contains a column of degree at least one, which can be chosen as the first column of N · J1'; this is not fully precise, and the decomposition of entries would be clearer if written out as in Lemma 3.6.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity in the main derivation; load-bearing gaps (unproved C1, delegated rank checks) are correctness concerns, not self-referential reductions.

full rationale

The derivation of Theorem 1.1 is not circular. The non-balanced bound is a slope argument (Proposition 2.13). The balanced existence for e up to max{2d-2, n} is assembled from external and independently checkable ingredients: normal-bundle balancedness of [CR19] and [Ran24a], the splitting criterion of Proposition 2.10/Corollary 2.11, the induction of Proposition 3.2 via the surjectivity Hom(O(e), O(de)) -> Ext^1(O(e), TY|C), and explicit kernel-matrix constructions in Theorems 5.1, 6.1, and 7.1. The rank assertions in those constructions are stated as computational checks (Gauss-Jordan elimination, unprinted minors, an unshown induction); these are omitted arguments, not circular reductions. Gluing uses the external theorem of [Smi23] quoted as Lemma 2.14. The only self-citation, [Mio25], supplies explicit balanced normal-bundle examples used for explicit restricted-tangent examples in low degrees; it is published, externally checkable, and not fitted to the restricted-tangent conclusion, so it does not make the central claim circular. The final step of Theorem 7.2 does assert, without proof or citation, an auxiliary degree n-1 curve with perfectly balanced restricted tangent bundle TX|C1 ~= O(n+1-d)^{n-1}; this is a genuine proof gap and a correctness risk, but it is an additional unproved input rather than a construction by which the conclusion is made equal to its own hypothesis. No equation or fitted parameter in the paper reduces a predicted splitting type to an input, so the paper has no significant circularity.

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

The central claim rests on standard splitting theory, openness of balancedness, and cited structural results on normal bundles and curve spaces. No free parameters are fitted and no new entities are introduced. The author's own [Mio25] supplies independently published examples of balanced normal bundles, so it is not a circular input to the main theorem.

assumptions (7)
  • standard math Vector bundles on P1 split into sums of line bundles (Birkhoff-Grothendieck); the balanced splitting type is unique.
    Used throughout Section 2.1 to define and identify TX|C and NC/X.
  • standard math Balancedness is an open condition in families of vector bundles on P1 (Eisenbud-Harris [EH16, Theorem 14.7(a)]).
    Allows passing from explicit examples to the general hypersurface; used in Section 2.1.
  • domain assumption Coskun-Riedl: the normal bundle of a rational normal curve on a general hypersurface is balanced [CR19, Corollary 3.8].
    Used in Corollary 2.11, Theorem 7.1, and Theorem 3.10; not reproved in this paper.
  • domain assumption Ran: general Fano hypersurfaces contain degree e rational curves with balanced normal bundle for e >= n-1 [Ran24a, Theorem 40].
    Input to Theorem 3.10 for the range d <= e <= 2d-2.
  • domain assumption Kollar's description of Mor(P1,Qn) and the ruled-surface residual construction [Kol18, Theorem 1, Proposition 26].
    Basis for Proposition 4.5 and the odd-degree quadric obstruction in Theorem 4.6.
  • domain assumption Smith's specialization lemma for vector bundles on trees of rational curves [Smi23, Theorem 1.2].
    Used in Lemma 2.14 to glue curves and extend balancedness to all degrees e.
  • domain assumption The base field has characteristic p not dividing e.
    Stated at the start; needed for the Euler-sequence diagram and the map beta in Section 2.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Restricted tangent bundle of rational curves on projective hypersurfaces." pith.science (2026). https://pith.science/paper/VUWVKNG6

@misc{pith2026250713927,
  author       = {Pith},
  title        = {Pith review of: Restricted tangent bundle of rational curves on projective hypersurfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VUWVKNG6}},
  note         = {Machine review of arXiv:2507.13927}
}
abstract

We determine all triples $(e,d,n)$ for which a general degree $d$ hypersurface $X\subset \mathbb{P}^n$ contains a degree $e$ rational curve $C$ with balanced restricted tangent bundle $T_X|_C$. In addition, we show how to compute explicit examples of hypersurfaces with balanced $T_X|_C$ when $C$ is a rational normal curve.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 7 canonical work pages

  1. [1]

    PGL(2) actions on Grassmannians and projective construc- tion of rational curves with given restricted tangent bundle

    [AR15] A. Alzati and R. Re. “PGL(2) actions on Grassmannians and projective construc- tion of rational curves with given restricted tangent bundle”. In: J. Pure Appl. Algebra 219.5 (2015), pp. 1320–1335. [AR17] A. Alzati and R. Re. “Irreducible components of Hilbert shcemes of rational curves with given normal bundle”. In: Algebr. Geom. 4.1 (2017), pp. 79...

    work page 2015

  2. [138]

    La stratification du sch´ ema de Hilbert des courbes rationnelles de Pn par le fibr´ e tangent restreint

    [Ram90] L. Ramella. “La stratification du sch´ ema de Hilbert des courbes rationnelles de Pn par le fibr´ e tangent restreint”. In:C. R. Acad. Sci. Paris S´ er. I Math. 311.3 (1990), pp. 181–184. [Ran07] Z. Ran. “Normal bundles of rational curves in projective spaces”. In: Asian J. Math. 11.no. 4 (2007), pp. 567–608. [Ran21a] Z. Ran. “Interpolation of rat...

    arXiv 1990

  3. [931]

    Interpolation for Brill-Noether curves

    [L V23] E. Larson and I. Vogt. “Interpolation for Brill-Noether curves”. In: Forum Math. Pi 11.e25 (2023). [Lar21] H. Larson. “Normal bundles of lines on hypersurfaces”. In: Michigan Math. J. 70 (1) (2021), pp. 115–131. [Man21] S. Mandal. “On the loci of morphisms from P1 to G(r, n) with fixed splitting type of the restricted universal sub-bundle or quoti...

    work page arXiv 2023

  4. [1985]

    The restricted tangent bundle of a rational curve in P2

    [Asc88] M.-G. Ascenzi. “The restricted tangent bundle of a rational curve in P2”. In: Comm. Algebra 16.11 (1988), pp. 2193–2208. doi: 10.1080/00927878808823687. 35 [Asc22] M.-G. Ascenzi. “The tangent bundle restricted to a rational curve spanning P3”. In: J. Algebra 610 (2022), pp. 703–727. doi: 10.1016/j.jalgebra.2022.07.024. [ALY16] A. Atanasov, E. Lars...

    work page arXiv 1988

  5. [1992]

    Curves in P3 with good restriction of the tangent bundle

    [Hei00] G. Hein. “Curves in P3 with good restriction of the tangent bundle”. In: Rocky Mountain J. Math. 30.1 (2000), pp. 217–235. doi: 10.1216/rmjm/1022008987. [HK96] G. Hein and H. Kurke. “Restricted tangent bundle on space curves”. In: Proceed- ings of the Hirzebruch 65 Conference on Algebraic Geometry (Ramat Gan,

    work page arXiv 2000

  6. [1993]

    Projective geometry of elliptic curves

    Israel Math. Conf. Proc. 9 (1996), pp. 283–294. 36 [Hul83] K. Hulek. “Projective geometry of elliptic curves”. In: Algebraic Geometry-Open Problems, Lecture Notes in Mathematics 997 (Springer) (1983), pp. 228–266. [Kol96] J. Koll´ ar. Rational curves on algebraic varieties . A Series of Modern Surveys in Mathematics. Springer,

    work page 1996

  7. [1996]

    Quadratic solutions of quadratic forms

    [Kol18] J. Koll´ ar. “Quadratic solutions of quadratic forms”. In: Contemporary Mathemat- ics 712 (2018), pp. 211–249. [Lar16] E. Larson. “Interpolation for restricted tangent bundles of general curves”. In: Algebra Number Theory 10.4 (2016), pp. 931–938. doi: 10.2140/ant.2016.10

    work page doi:10.2140/ant.2016.10 2018

  8. [2016]

    On the normal bundles of smooth rational space curves

    [EV81] D. Eisenbud and A. Van de Ven. “On the normal bundles of smooth rational space curves”. In: Math. Ann. 256 (1981), pp. 453–463. [EV82] D. Eisenbud and A. Van de Ven. “On the variety of smooth rational space curves with given degree and normal bundle”. In: Invent. Math. 67 (1982), pp. 89–100. [EL80] G. Ellingsrud and D. Laksov. “The normal bundle of...

    work page 1981

Pith tools

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