Table of Contents
Fetching ...

Linear subspaces of the intersection of two quadrics via Kuznetsov component

Yanjie Li, Shizhuo Zhang

TL;DR

The paper develops a derived-categorical bridge between linear subspaces of a smooth intersection of two quadrics Y in \mathbb{P}^{2g+1} and vector bundles on the associated hyperelliptic curve C of genus g, via the Kuznetsov component Ku(Y) and the projection functor to D^b(C). For each subspace V of dimension l and integers m in the range 2g-3-l \le m \le 2g-3, it constructs a vector bundle \mathcal{F}_{m,V} on C of rank 2^{g-1-l}, related by a rotation autoequivalence and extensions, and shows injection of the Hilbert scheme of l-subspaces into moduli spaces of stable bundles whenever the bundles are stable. This yields a unified, categorical perspective on classical correspondences (Desale–Ramanan, Reid) by identifying V \mapsto [\mathcal{F}_{m,V}] as a closed embedding into moduli spaces such as Pic^d(C) and SU_C(2,h_m), with a notable instance for g=3 where Y embeds into SU_C^s(4,h). The work also outlines Brill-Noether questions for these projected objects and proposes a program to extend the moduli-interpretation to broader intersections of quadrics and their Hitchin-type fibrations.

Abstract

Let $Q_i(i=1,2)$ be $2g$ dimensional quadrics in $\mathbb{P}^{2g+1}$ and let $Y$ be the smooth intersection $Q_1\cap Q_2$. We associate the linear subspace in $Y$ with vector bundles on the hyperelliptic curve $C$ of genus $g$ by the left adjoint functor of $Φ:D^b(C)\rightarrow D^b(Y)$. As an application, we give a different proof of the classification of line bundles and stable bundles of rank $2$ on hyperelliptic curves given by Desale and Ramanan. When $g=3$, we show that the projection functor induces a closed embedding $α:Y\rightarrow SU^s_C(4,h)$ into the moduli space of stable bundles on $C$ of rank $4$ of fixed determinant.

Linear subspaces of the intersection of two quadrics via Kuznetsov component

TL;DR

The paper develops a derived-categorical bridge between linear subspaces of a smooth intersection of two quadrics Y in \mathbb{P}^{2g+1} and vector bundles on the associated hyperelliptic curve C of genus g, via the Kuznetsov component Ku(Y) and the projection functor to D^b(C). For each subspace V of dimension l and integers m in the range 2g-3-l \le m \le 2g-3, it constructs a vector bundle \mathcal{F}_{m,V} on C of rank 2^{g-1-l}, related by a rotation autoequivalence and extensions, and shows injection of the Hilbert scheme of l-subspaces into moduli spaces of stable bundles whenever the bundles are stable. This yields a unified, categorical perspective on classical correspondences (Desale–Ramanan, Reid) by identifying V \mapsto [\mathcal{F}_{m,V}] as a closed embedding into moduli spaces such as Pic^d(C) and SU_C(2,h_m), with a notable instance for g=3 where Y embeds into SU_C^s(4,h). The work also outlines Brill-Noether questions for these projected objects and proposes a program to extend the moduli-interpretation to broader intersections of quadrics and their Hitchin-type fibrations.

Abstract

Let be dimensional quadrics in and let be the smooth intersection . We associate the linear subspace in with vector bundles on the hyperelliptic curve of genus by the left adjoint functor of . As an application, we give a different proof of the classification of line bundles and stable bundles of rank on hyperelliptic curves given by Desale and Ramanan. When , we show that the projection functor induces a closed embedding into the moduli space of stable bundles on of rank of fixed determinant.
Paper Structure (10 sections, 19 theorems, 35 equations)

This paper contains 10 sections, 19 theorems, 35 equations.

Key Result

Theorem 1.1

Let $V$ be a linear subspace in $Y$ of dimension $l$. Denote the left adjoint functor of $\Phi$ by $\Phi^*$ and the involution on $C$ by $\tau:C\rightarrow C$. $(1)$ For $2g-3-l\leq m \leq 2g-3$, $\mathcal{F}_{m,V}:=\Phi^*(\mathop{\mathrm{\mathcal{O}}}\nolimits_V(m))[-m-2]$ is a vector bundle on $C$ $(4)$ For two linear subspaces $V_1,V_2$, we have the isomorphism $\mathrm{Hom}(\mathop{\mathrm{\ma

Theorems & Definitions (38)

  • Theorem 1.1: Propositions \ref{['lin sp in Y']}, \ref{['auto fr m to m+1']}, \ref{['ext prop']} and Corollary \ref{['cor of compare']}
  • Theorem 1.2: Proposition \ref{['stable then closed embedding']}, Theorem \ref{['pl iso to pic']}, Theorem \ref{['stab bd for line']}
  • Proposition 2.1
  • proof
  • Corollary 2.2
  • Proposition 2.3
  • proof
  • Definition 2.4
  • Proposition 2.5
  • proof
  • ...and 28 more