Table of Contents
Fetching ...

Curves with stable or semistable normal bundle on Fano hypersurfaces

Ziv Ran

TL;DR

This work addresses the problem of curves with (semi)stable normal bundles on hypersurfaces by developing a degeneration framework built around fish/fang configurations and parallel transport. It proves that for $n\ge3$ and genus $g\ge1$, there exist genus-$g$ curves of large degree $e$ in general hypersurfaces of degree $n$ in $\mathbb{P}^n$ (and in $\mathbb{P}^n$ itself) whose normal bundle $N_{C/X}$ is stable, with sufficiently general full-rank subsheaves also stable; when $g=1$, $N$ is semistable. For hypersurfaces of degree $d< n$, a congruence/divisibility condition yields an arithmetic progression of degrees $e$ for which such semistable curves exist. The approach combines inductive degeneration arguments, openness of stability, and careful analysis of modifications and Harder–Narasimhan filtrations, yielding new non-integer-slope semistability results beyond the classical integral-slope cases. The results broaden the landscape of known (semi)stable normal bundles on hypersurfaces, with particular impact on understanding normal bundles in Fano and anticanonical settings and providing tools potentially useful for Brill–Noether-type questions in higher dimensions.

Abstract

For every $n\geq 3, g\geq 1$ and all large enough $e$ depending on $n,g$, there exist curves of genus $g$, degree $e$ in a general hypersurface of degree $n$ in $\mathbb P^n$, or in $\mathbb P^n$ itself, whose whose normal bundle $N$ is stable, as is any sufficiently general full-rank subsheaf of $N$. For $g=1$, $N$ is semi-stable. On general hypersurface of degree $d< n$ in $\mathbb P^n$, such that a certain arithmetical condition on $d,n, g $ holds, there exists an arithmetical progression of $e$ values so that curves of degree $e$ and genus $g$ with semistable normal bundle exist. Previous results were restricted to certain cases with ambient space $¶^n$

Curves with stable or semistable normal bundle on Fano hypersurfaces

TL;DR

This work addresses the problem of curves with (semi)stable normal bundles on hypersurfaces by developing a degeneration framework built around fish/fang configurations and parallel transport. It proves that for and genus , there exist genus- curves of large degree in general hypersurfaces of degree in (and in itself) whose normal bundle is stable, with sufficiently general full-rank subsheaves also stable; when , is semistable. For hypersurfaces of degree , a congruence/divisibility condition yields an arithmetic progression of degrees for which such semistable curves exist. The approach combines inductive degeneration arguments, openness of stability, and careful analysis of modifications and Harder–Narasimhan filtrations, yielding new non-integer-slope semistability results beyond the classical integral-slope cases. The results broaden the landscape of known (semi)stable normal bundles on hypersurfaces, with particular impact on understanding normal bundles in Fano and anticanonical settings and providing tools potentially useful for Brill–Noether-type questions in higher dimensions.

Abstract

For every and all large enough depending on , there exist curves of genus , degree in a general hypersurface of degree in , or in itself, whose whose normal bundle is stable, as is any sufficiently general full-rank subsheaf of . For , is semi-stable. On general hypersurface of degree in , such that a certain arithmetical condition on holds, there exists an arithmetical progression of values so that curves of degree and genus with semistable normal bundle exist. Previous results were restricted to certain cases with ambient space
Paper Structure (16 sections, 21 theorems, 76 equations)

This paper contains 16 sections, 21 theorems, 76 equations.

Key Result

Theorem 1

(a) Given $g\geq 1,e>>0, 3\leq n,d\leq n$, then (i) a general $(g,e)$ curve in $\mathbb P^n$ is normally hyper-stable (resp. semistable) if $g\geq 2$ (resp. $g=1$) and ambient semi-stable for any genus $g\geq 1$; (ii) a general hypersurface of degree $n$ in $\mathbb P^n$ contains a $(g,e)$ normally holds. Then there exists an arithmetic progression of $e$ values so that $X$ contains a normally se

Theorems & Definitions (38)

  • Theorem : (Semi)stability
  • Lemma
  • Lemma 0
  • proof
  • Lemma 1
  • proof
  • Example 2
  • Lemma 3
  • proof
  • Lemma 4
  • ...and 28 more