Slope semistability of Veronese normal bundles

Ray Shang

Slope semistability of Veronese normal bundles

T0 review · 0 major / 5 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 This paper proves that the normal bundle of every Veronese embedding of projective space is slope semistable, generalizing the classical balanced normal bundle of rational normal curves.

desk verdict Solid short paper: the main semistability theorem is correct, the reduction to Huybrechts-Lehn is clean, and only minor presentation issues need fixing. read the letter →

arxiv 2411.16664 v1 pith:B6DNCREZ submitted 2024-11-25 math.AG

Ray Shang This is my paper · ORCID

classification math.AG MSC 14J6014N05

keywords VeroneseembeddingnormalbundleslopesemistabilityGiesekerHarder-NarasimhanfiltrationGrauert-Mulichtheoremvectorrestrictions

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 proves that for every n and d, the normal bundle of the degree-d Veronese embedding of P^n into P(Sym^d V) is slope semistable: no proper nonzero subsheaf has slope larger than the bundle itself. This generalizes the classical fact that normal bundles of rational normal curves are balanced, and it is one of the first broad statements about slope semistability of normal bundles for higher-dimensional varieties. The proof works by showing that a twist of the dual normal bundle is isomorphic to a bundle $E^{{d-1}}$_d constructed from the Euler sequence, whose Gieseker semistability was established in [HL10]. A reader should care because slope semistability constrains the possible splittings of the normal bundle on lines and curves, and those splittings feed into interpolation and related geometric problems.

What carries the argument

The object that carries the argument is the bundle $E^{{d-1}}$_d, defined as the kernel of the map \$varphi^{{d-1}}$_d: Sym^d V \otimes O_{P(V)} \to V \otimes O_{P(V)}(d-1) obtained by composing the symmetrized Euler-sequence maps; equivalently, $E^{{d-1}}$_d is one of the PGL(V)-invariant subbundles of Sym^d V \otimes O_{P(V)} classified in [HL10]. The paper proves that the short exact sequence presenting N \otimes O(-d) as a quotient of Sym^d V \otimes O_{P(V)} dualizes to identify (N \otimes O(-d))^* with this kernel. Once the isomorphism is in place, the semistability of N follows from the [HL10] semistability result plus standard stability-preserving operations (duals and tensor products).

What would settle it

For n=2, d=3, compute the splitting of the normal bundle restricted to a general line using the Euler-sequence presentation of Lemma 3.2; slope semistability forces the line-bundle summands to have consecutive degrees differing by at most 1 and average 27/7, so finding a splitting with a gap of 2 or more, or a summand of degree 4 or higher, would refute the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.1: for any n and d, with V a vector space of dimension n+1, the normal bundle N_{X/P(Sym^d V)} of the d-th Veronese embedding of X = P(V) is slope semistable. The proof establishes an explicit isomorphism (N \otimes O(-d))^* \cong $E^{{d-1}}$_d, where $E^{{d-1}}$_d is the kernel of a natural surjection from Sym^d V \otimes O_{P(V)} onto V \otimes O_{P(V)}(d-1); this bundle sits in the [HL10] list of PGL(V)-invariant subbundles of Sym^d V \otimes O_{P(V)} and is Gieseker semistable. Gieseker semistability implies slope semistability, the dual of a slope semistable bundle is slope semistable, and tensoring a slope semistable bundle with a line bundle preserves slope semistability, so N itself is slope semistable. The paper also determines, for degree 2, the exact restriction of N to any line and to any rational normal curve.

Load-bearing premise

The proof leans on the external classification from [HL10] that the bundles E^i_d are Gieseker semistable; if that classification were not available (or not applicable here), the identification with $E^{{d-1}}$_d would not establish slope semistability.

Editorial extensions

If this is right

Every Veronese normal bundle satisfies the Grauert–Mulich constraints: its restriction to a general line splits with consecutive degrees differing by at most 1.
For degree 2 Veronese embeddings, the restriction of the normal bundle to any line is O(2)^{n(n-1)/2} \oplus O(3)^{n-1} \oplus O(4), and to any rational normal curve of degree n it is n(n+1)/2 copies of O(2n+2).
The line-bundle decompositions give concrete cohomological information usable in interpolation problems; the paper notes Theorem 1.3 was used in [Sha24] to prove interpolation for degree 2 Veronese varieties of odd dimension.
The method provides a new route to slope semistability for normal bundles of embeddings defined by complete linear series, by identifying a twist of the dual with a known semistable bundle.

Reading between the lines

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

The equivariant-kernel strategy is not obviously limited to Veronese embeddings; the same construction of kernels of symmetrized Euler maps exists for other homogeneous varieties, and one could test whether a similar identification holds for Segre or Plücker embeddings.
Theorem 1.1 only asserts slope semistability, not stability or Gieseker semistability; the explicit degree-2 splittings show repeated line bundles, so a finer stability analysis is an open direction the paper does not address.
The restriction of degree-2 Veronese normal bundles to rational normal curves is remarkably uniform (all summands equal). This raises the question, not addressed in the paper, of whether higher-degree Veronese normal bundles admit explicit balanced decompositions on special curves; Grauert–Mulich only bounds the gaps for general lines.
Because the proof identifies (N \otimes O(-d))^* with E^{d-1}_d, any future computation of the Harder–Narasimhan filtration of E^{d-1}_d would automatically give the filtration of N; the paper does not pursue that direction.

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

Here's my read. The paper proves that every Veronese normal bundle is slope semistable. That is a real result: the curve case was classical, but nothing for higher-dimensional Veronese was known. The proof is a reduction to a known semistability statement of Huybrechts and Lehn: after twisting by O(-d) and dualizing, the normal bundle becomes one of the bundles E_d^{d-1}, which HL proved to be Gieseker semistable. The identification is done properly in Section 3, with a self-contained linear-algebra lemma (Lemma 3.4) that makes the dual of the symmetrized Euler map transparent. I checked the chain from Lemma 3.2 through Proposition 3.3 to the isomorphism (N⊗O(-d))^* ≅ E_d^{d-1}, and it holds up.

The degree-2 restriction theorems are also correct. The normal bundle for the quadratic Veronese is Sym^2 T_{P^n}; restricting to a line gives O(2)^{⊕ n(n-1)/2} ⊕ O(3)^{⊕(n-1)} ⊕ O(4), which matches the Chern class. The printed statement in Theorem 1.2 (and 4.2) appears to have lost an exponent: it reads 'O(2) ⊕ [n(n-1)/2]' where the intended is O(2)^{⊕ n(n-1)/2}. That is a typography issue, not a mathematical one.

Soft spots are minor. The biggest external input is the classification of PGL-invariant subsheaves of Sym^d V⊗O from HL, which the author only sketches. That is a load-bearing citation, but it is a standard one and the use is accurate; the author flags it honestly. Lemma 2.6 (dual of semistable is semistable) is proven in a roundabout way, but the statement is standard and the proof is correct. There are a couple of small typos, e.g., 'Proposition 1.3' should be 'Theorem 1.3'.

I don't see a circularity or a hidden assumption. The result is new, the argument is clean, and the external tools are cited correctly. This deserves a serious referee. I'd send it out and expect acceptance after minor revisions.

Referee Report

0 major / 5 minor

Summary. The paper proves that the normal bundle of any Veronese embedding P(V) -> P(Sym^d V) is slope semistable. The proof in Section 3 presents N \otimes O(-d) as a quotient in an Euler-type exact sequence (Lemma 3.2), identifies the dual of this twist with the bundle E_d^{d-1} from Huybrechts-Lehn (Proposition 3.3, Lemmas 3.4 and 2.11), and concludes semistability using standard properties of tensor products, duals, and the implication from Gieseker to slope semistability. The paper also determines in Section 4 the splitting of the degree-2 Veronese normal bundle when restricted to any line and to any rational normal curve, obtaining explicit line bundle decompositions.

Significance. If correct, the main theorem gives a broad generalization of the classical well-balancedness of rational normal curves to all Veronese embeddings, contributing to the sparse literature on stability of normal bundles of higher-dimensional varieties. The proof is short and elegant, reducing the main claim to the known classification of PGL-invariant subsheaves in Huybrechts-Lehn. The explicit restriction results for degree 2 are concrete and have already found application in the author's related work [Sha24]. The paper is honest about its reliance on the external classification, and the internal derivations are consistent.

minor comments (5)

[Lemma 3.4] The statement of Lemma 3.4 describes the second procedure as 'symmetrizing to the m-th degree with respect to ν^*' the dual sequence 0 -> H^* -> G^* -> F^* -> 0, but this would produce a quotient Sym^m F^*, not the quotient Sym^{m-1}G^* ⊗ F^* in the claimed exact sequence. The proof itself defines the intended quotient map explicitly and verifies agreement, so the mathematics is sound, but the statement of the second construction should be rephrased to match the proof.
[Lemma 2.5] The citation '[HL10, Chapter 3.2]' for Lemma 2.5 is imprecise, and the statement is stronger than what the proof actually needs. Since the only tensor product used to finish Theorem 3.1 is with the line bundle O(d), replacing Lemma 2.5 by the elementary fact that slope semistability is preserved by twisting by a line bundle would be clearer and avoid any potential confusion about the cited source.
[Theorems 1.2 and 4.2] The displayed splittings in Theorem 1.2 and Theorem 4.2 write multiplicities in a nonstandard and ambiguous way, e.g. 'O(2) ⊕ [n(n-1)/2]' and 'O(3) ⊕ (n-1)'. These should be typeset as O(2)^{⊕ n(n-1)/2} ⊕ O(3)^{⊕ n-1} ⊕ O(4), and similarly in other places, so that the multiplicities are unambiguous.
[Theorem 4.3] In the statement and proof of Theorem 4.3, the splitting of the normal bundle restricted to a rational normal curve is written in a way that is easy to misread; standard notation such as O(2n+2)^{⊕ n(n+1)/2} would make the multiplicity explicit.
[General] The preprint contains many typographical artifacts (e.g., 'Giesker', numerous stray Unicode tokens such as '/u1D45B' and extraneous subscripts). A careful proofreading pass is recommended before publication.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Veronese normal bundle semistability is derived from independent external results in Huybrechts-Lehn, with the author's own [Sha24] cited only as an application.

full rationale

The derivation chain is self-contained in the relevant sense: Theorem 3.1 proves slope semistability of the Veronese normal bundle by first constructing an exact quotient presentation (Lemma 3.2), then identifying the dual of the twisted normal bundle with the bundle E_d^{d-1} (Proposition 3.3 and the short exact sequence after it), and finally invoking Lemma 2.11, which asserts Gieseker semistability of E_d^i. That semistability statement is cited from Huybrechts-Lehn [HL10, Lemma 1.4.5], an external and standard source, and the paper explicitly labels Section 2.2 as a sketch of that known example rather than a proof. The remaining steps are standard and independently justified: Proposition 2.4 transfers Gieseker semistability to slope semistability, Lemma 2.6 proves that the dual of a slope semistable bundle is slope semistable, and Lemma 2.5 is cited from [HL10, Chapter 3.2]. No step feeds the target theorem back into itself. The self-citation [Sha24] appears only as an application of Theorem 1.3, not as a premise of any proof. The degree-2 restriction theorems are computed from the independent isomorphism Sym^2 T_{P^n} ≅ N for the quadratic Veronese, plus standard Euler-sequence arguments, with no circular dependence on the main semistability theorem. Therefore there is no self-definitional reduction, no fitted input renamed as a prediction, and no load-bearing self-citation chain; the result rests on genuine external support.

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

The central proof is a reduction to previously established semistable sheaves from Huybrechts-Lehn. It introduces no free parameters, new constants, or new entities. The only significant inputs are external standard theorems, which are cited and in one case proved in the paper.

assumptions (6)

standard math Definitions and basic theory of Gieseker and slope semistability, Harder-Narasimhan filtration, and Birkhoff-Grothendieck theorem are used throughout (Section 2).
These are standard background facts from [HL10] and [Gro57].
standard math The bundles E^i_d are Gieseker semistable for 1 <= i <= d+1 (Lemma 2.11, cited from [HL10, Lemma 1.4.5]).
This is the key external theorem used to establish that E^{d-1}_d is semistable, which is the core of the proof of Theorem 3.1.
standard math The classification of PGL(V)-invariant subsheaves of Sym^d V \otimes O_{P(V)} (Proposition 2.9, cited from [HL10, Lemma 1.4.4]).
This classification is used to prove Lemma 2.11 and is a nontrivial input from Huybrechts-Lehn.
standard math The tensor product of slope semistable sheaves is slope semistable (Lemma 2.5, cited from [HL10, Chapter 3.2]).
This is used in Section 3 to conclude that N is semistable from the semistability of N \otimes O(-d).
standard math The dual of a slope semistable vector bundle on a normal projective variety is slope semistable (Lemma 2.6).
The paper provides a proof; the argument is standard and the statement is used to pass from semistability of E^{d-1}_d to its dual.
domain assumption The base field is algebraically closed of characteristic 0.
The definitions and theorems cited require this setting; the paper states this at the start.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Slope semistability of Veronese normal bundles." pith.science (2026). https://pith.science/paper/B6DNCREZ

@misc{pith2026241116664,
  author       = {Pith},
  title        = {Pith review of: Slope semistability of Veronese normal bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B6DNCREZ}},
  note         = {Machine review of arXiv:2411.16664}
}

read the original abstract

A classical fact is that normal bundles of rational normal curves are well-balanced. We generalize this by proving that all Veronese normal bundles are slope semistable. We also determine the line bundle decomposition of the restriction of degree 2 Veronese normal bundles to lines and rational normal curves.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 13 canonical work pages

[1]

Interpolation for normal bundles of general curves

Atanas Atanasov, Eric Larson, and David Yang. Interpolation for normal bundles of general curves. Memoirs of the American Mathematical Society , 257, 2019

2019
[2]

Ballico and Ellia P

E. Ballico and Ellia P. Some more examples of curves in P ^3 with stable normal bundle. Journal für die reine und angewandte Mathematik , 350:87--93, 1984

work page 1984
[3]

Stability of normal bundles of space curves

Izzet Coskun, Eric Larson, and Isabel Vogt. Stability of normal bundles of space curves. Algebra and Number Theory , 16:919--953, 2022

work page 2022
[4]

Ellingsrud and Laksov D

G. Ellingsrud and Laksov D. The normal bundle of elliptic space curves of degree 5. 18th Scandinavian Congress of Mathematicians Proceedings , pages 258--287, 1980

work page 1980
[5]

Stability and restrictions of picard bundles, with an application to the normal bundles of elliptic curves

Lawrence Ein and Robert Lazarsfeld. Stability and restrictions of picard bundles, with an application to the normal bundles of elliptic curves. London Mathematical Society Lecture Note Series , pages 149--156, 07 1992

work page 1992
[6]

Eisenbud and A

D. Eisenbud and A. Van de Ven. On the normal bundle of smooth rational spaces curves. Mathematische Annalen , 256:453--463, 1981

work page 1981
[7]

Ghione and Sacchiero G

F. Ghione and Sacchiero G. Normal bundles of rational curves in P ^3 . Manuscripta Math , 33:111--128, 1980

work page 1980
[8]

Sur la classification des fibrés holomorphes sur la sphère de riemann

Alexander Grothendieck. Sur la classification des fibrés holomorphes sur la sphère de riemann. American Journal of Mathematics , 1957

work page 1957

Show all 16 references

[9]

The Geometry of Moduli Spaces of Sheaves

Daniel Huybrechts and Manfred Lehn. The Geometry of Moduli Spaces of Sheaves . Cambridge University Press, 2010

2010
[10]

Introduction to Singularities

Shihoko Ishii. Introduction to Singularities . Springer, 2018

2018
[11]

Kleppe and Rosa M

Jan O. Kleppe and Rosa M. Miró-Roig. On the normal sheaf of determinantal varieties. Journal für die reine und angewandte Mathematik (Crelles Journal) , 2016(719):173--209, 2016

2016
[12]

Interpolation problems: Del pezzo surfaces

Aaron Landesman and Anand Patel. Interpolation problems: Del pezzo surfaces. Annali Scuola Normale Superiore - Classe di Scienze , 19, 2016

2016
[13]

Interpolation for brill-noether curves

Eric Larson and Isabel Vogt. Interpolation for brill-noether curves. Forum of Mathematics , 2023

2023
[14]

Newstead

P.E. Newstead. A space curve whose normal bundle is stable. Journal of London Mathematical Society , 28:428--434, 1983

1983
[15]

Normal bundles of rational curves in projective spaces

Ziv Ran. Normal bundles of rational curves in projective spaces. Asian Journal of Mathematics, , 11(4):567--608, 2007

2007
[16]

Interpolation for degree 2 veroneses of odd dimension

Ray Shang. Interpolation for degree 2 veroneses of odd dimension. 2024

2024

Pith tools

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

[1] [1]

Interpolation for normal bundles of general curves

Atanas Atanasov, Eric Larson, and David Yang. Interpolation for normal bundles of general curves. Memoirs of the American Mathematical Society , 257, 2019

2019

[2] [2]

Ballico and Ellia P

E. Ballico and Ellia P. Some more examples of curves in P ^3 with stable normal bundle. Journal für die reine und angewandte Mathematik , 350:87--93, 1984

work page 1984

[3] [3]

Stability of normal bundles of space curves

Izzet Coskun, Eric Larson, and Isabel Vogt. Stability of normal bundles of space curves. Algebra and Number Theory , 16:919--953, 2022

work page 2022

[4] [4]

Ellingsrud and Laksov D

G. Ellingsrud and Laksov D. The normal bundle of elliptic space curves of degree 5. 18th Scandinavian Congress of Mathematicians Proceedings , pages 258--287, 1980

work page 1980

[5] [5]

Stability and restrictions of picard bundles, with an application to the normal bundles of elliptic curves

Lawrence Ein and Robert Lazarsfeld. Stability and restrictions of picard bundles, with an application to the normal bundles of elliptic curves. London Mathematical Society Lecture Note Series , pages 149--156, 07 1992

work page 1992

[6] [6]

Eisenbud and A

D. Eisenbud and A. Van de Ven. On the normal bundle of smooth rational spaces curves. Mathematische Annalen , 256:453--463, 1981

work page 1981

[7] [7]

Ghione and Sacchiero G

F. Ghione and Sacchiero G. Normal bundles of rational curves in P ^3 . Manuscripta Math , 33:111--128, 1980

work page 1980

[8] [8]

Sur la classification des fibrés holomorphes sur la sphère de riemann

Alexander Grothendieck. Sur la classification des fibrés holomorphes sur la sphère de riemann. American Journal of Mathematics , 1957

work page 1957