Table of Contents
Fetching ...

Exploring the interplay of semistable vector bundles and their restrictions on reducible curves

Suhas B. N., Praveen Kumar Roy, Amit Kumar Singh

TL;DR

This work analyzes when the restriction of a $w$-semistable vector bundle $E$ on a comb-like curve $C$ remains semistable on each component, deriving sharp rank-$2$ and higher-rank criteria via the simplified inequalities $w_j \chi \leq \chi_j \leq w_j \chi + n$ and examining destabilizing subbundles. It then applies these results to kernel bundles $M_{E,V}$ attached to generated pairs $(E,V)$, establishing strong instability under nonzero $\\ker(\\rho_j|_V)$ in low rank and giving sufficient and, under Butler's conjecture, necessary conditions for $M_{E,V}$ to be $w$-semistable, with a complete line-bundle ($L,V$) classification under mild degree hypotheses. The paper extends and refines existing results on reducible nodal curves to comb-like degenerations, offering a flexible framework for understanding higher-rank Brill–Noether phenomena on degenerations and linking componentwise semistability to global kernel-bundle semistability through explicit polarization construction. These results provide new tools for constructing semistable kernel bundles on degenerations and illuminate the role of componentwise data in higher-rank stability problems.

Abstract

Let $C$ be a comb-like curve over $\mathbb{C}$, and $E$ be a vector bundle of rank $n$ on $C$. In this paper, we investigate the criteria for the semistability of the restriction of $E$ onto the components of $C$ when $E$ is given to be semistable with respect to a polarization $w$. As an application, assuming each irreducible component of $C$ is general in its moduli space, we investigate the $w$-semistability of kernel bundles on such curves, extending the results (completely for rank two and partially for higher rank) known in the case of a reducible nodal curve with two smooth components, but here, using different techniques.

Exploring the interplay of semistable vector bundles and their restrictions on reducible curves

TL;DR

This work analyzes when the restriction of a -semistable vector bundle on a comb-like curve remains semistable on each component, deriving sharp rank- and higher-rank criteria via the simplified inequalities and examining destabilizing subbundles. It then applies these results to kernel bundles attached to generated pairs , establishing strong instability under nonzero in low rank and giving sufficient and, under Butler's conjecture, necessary conditions for to be -semistable, with a complete line-bundle () classification under mild degree hypotheses. The paper extends and refines existing results on reducible nodal curves to comb-like degenerations, offering a flexible framework for understanding higher-rank Brill–Noether phenomena on degenerations and linking componentwise semistability to global kernel-bundle semistability through explicit polarization construction. These results provide new tools for constructing semistable kernel bundles on degenerations and illuminate the role of componentwise data in higher-rank stability problems.

Abstract

Let be a comb-like curve over , and be a vector bundle of rank on . In this paper, we investigate the criteria for the semistability of the restriction of onto the components of when is given to be semistable with respect to a polarization . As an application, assuming each irreducible component of is general in its moduli space, we investigate the -semistability of kernel bundles on such curves, extending the results (completely for rank two and partially for higher rank) known in the case of a reducible nodal curve with two smooth components, but here, using different techniques.
Paper Structure (3 sections, 11 theorems, 35 equations)

This paper contains 3 sections, 11 theorems, 35 equations.

Key Result

Theorem 2.5

Let $E$ be a vector bundle of rank $n$ on $C$ which is semistable with respect to a polarization $w = (w_1, \dots , w_N)$. If $\chi_j$ and $\chi$ denote the Euler characteristics of $E_j$ and $E$ respectively, then we have for $j = 1, \dots , N-1$.

Theorems & Definitions (26)

  • Conjecture 1.1
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Theorem 2.5
  • proof
  • Theorem 2.6
  • proof
  • Theorem 2.7
  • ...and 16 more