Rank Two Sheaves With Low Discriminant on the Fano Threefold of Index 2 and Degree 5

Basic Information

• Paper ID: 2510.10608
• Title: Rank Two Sheaves With Low Discriminant on the Fano Threefold of Index 2 and Degree 5
• Author: Danil A. Vassiliev (National Research University Higher School of Economics)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 12, 2025
• Paper Link: https://arxiv.org/abs/2510.10608

Abstract

This paper studies rank two Gieseker semistable sheaves $E$ on the Fano threefold $X_5$ of index 2 and degree 5, characterizing sheaves with maximal third Chern class $c_3(E)$ for all low values of discriminant $\Delta_H(E) \leq 40$. The research employs the theory of tilting stability and Bridgeland stability conditions on smooth projective threefolds, and proposes conjectures for rank two sheaves on $X_5$ with maximal $c_3$ and sufficiently large discriminant.

Research Background and Motivation

Problem Context

1. Vector Bundle Theory on Fano Threefolds: The study of stability of vector bundles on Fano threefolds is an important problem in algebraic geometry, particularly regarding bounds on Chern classes.
2. Historical Development:
   • Hartshorne first obtained sharp upper bounds for $c_3$ of rank two stable reflexive sheaves on $\mathbb{P}^3$
   • Schmidt (2018) proved that Hartshorne's bounds hold for any Gieseker semistable rank two sheaf
   • The author and Tikhomirov previously applied Schmidt's methods to smooth quadric threefolds $X_2$
3. Research Motivation:
   • Refine understanding of Fano threefolds admitting complete strong exceptional collections
   • $X_5$ is one of only four smooth Fano threefolds admitting complete exceptional collections of length 4
   • Systematically analyze low discriminant cases through tilting stability theory

Core Problem

Study the maximum value of the third Chern class for rank two Gieseker semistable sheaves on $X_5$, particularly complete classification in the low discriminant regime ($\Delta_H(E) \leq 40$).

Core Contributions

1. Main Theorem: Complete description of the maximal third Chern class and its exact form for rank two Gieseker semistable sheaves $E$ on $X_5$ with discriminant $\Delta_H(E) \leq 40$
2. Technical Methods: Successfully applied tilting stability and Bridgeland stability condition theory to $X_5$, constructing appropriate stability conditions
3. Explicit Classification: For different combinations of $(c_1, c_2)$, provided exact upper bounds for $c_3$ and explicit constructions of sheaves achieving the maximum
4. Theoretical Conjectures: Based on cases of $\mathbb{P}^3$ and $X_2$, proposed systematic conjectures for large discriminant regime

Detailed Methods

Theoretical Framework

1. Geometric Structure of Fano Threefold $X_5$

• $X_5$ is the unique smooth Fano threefold of index 2 and degree 5
• Realizable as a codimension 3 linear section of Grassmannian $\text{Gr}(2,5) \subset \mathbb{P}^9$
• Admits complete strong exceptional collection $(O_X(-1), Q(-1), U, O_X)$

2. Tilting Stability Theory

For real number $\beta$, define twisted Chern character: $\text{ch}^\beta = e^{-\beta H} \cdot \text{ch}$

Central charge function defined as: $Z^{\text{tilt}}_{\alpha,\beta}(E) = -H \cdot \text{ch}^\beta_2(E) + \frac{\alpha^2}{2}H^3 \cdot \text{ch}^\beta_0(E) + i(H^2 \cdot \text{ch}^\beta_1(E))$

3. Bridgeland Stability Conditions

Construct heart $A_{\alpha,\beta}(X)$ via quadratic tilting, define central charge: $Z_{\alpha,\beta,s} := -\text{ch}^\beta_3 + s\alpha^2 H^2 \cdot \text{ch}^\beta_1 + i(\alpha H \cdot \text{ch}^\beta_2 - \frac{\alpha^3 H^3}{2} \cdot \text{ch}^\beta_0)$

Key Technical Innovations

1. Construction of Region $D$

Define region in upper half-plane: $D := \{(\beta, \alpha) \in \mathbb{H} | \beta < -\frac{1}{2}, \alpha < \beta + 1\}$

Within this region, generators of exceptional collection satisfy upper half-plane conditions.

2. Wall-Crossing Analysis

• Systematically analyze semicircular walls and vertical walls
• Utilize generalized Bogomolov-Gieseker inequality to control unstable subobjects
• Perform induction through nested structure of walls

3. Heart Equivalence

Prove that under appropriate parameters: $C = \langle O_X(-1)[3], Q(-1)[2], U[1], O_X \rangle = \langle T''_\gamma, F''_\gamma[1] \rangle$

Main Results

Detailed Content of Theorem 1.1

For rank two Gieseker semistable sheaves $E$ on $X$ with Chern classes $(c_1, c_2, c_3)$:

Case 1: $c_1 = -1$

• (1.1) If $c_2 = 2$, then $c_3 \leq 0$, with equality if and only if $E \cong U$
• (1.2) If $c_2 = 3$, then $c_3 \leq 1$, with equality when $E$ fits in exact sequence: $0 \to U(-1) \to O_X(-1)^{\oplus 4} \to E \to 0$

Case 2: $c_1 = 0$

• (2.1) If $c_2 = 0$, then $c_3 \leq 0$, with equality if and only if $E \cong O_X^{\oplus 2}$
• (2.2) If $c_2 = 1$, then $c_3 \leq -2$, with equality when $E$ fits in exact sequence: $0 \to E \to O_X^{\oplus 2} \to O_L(1) \to 0$ where $L \subset X$ is a projective line
• (2.3) If $c_2 = 2$, then $c_3 \leq 0$, with equality when $E$ fits in exact sequence: $0 \to Q(-1)^{\oplus 2} \to U^{\oplus 4} \to E \to 0$

Proof Strategy

1. Optimality of Twisted Trivial Sheaves

Proposition 3.1: If $E$ is tilting semistable or Bridgeland semistable object with $\text{ch}(E) = \text{ch}(O_X(n)^{\oplus m})$, then $E \cong O_X(n)^{\oplus m}$.

2. Case-by-Case Analysis

Handle different Chern character combinations through series of lemmas (3.5-3.12), each employing similar strategy:

• Analyze possible semicircular walls
• Apply Theorem 2.8 to restrict unstable subobjects' rank
• Apply generalized Bogomolov-Gieseker inequality
• Compute Euler characteristic via Grothendieck-Riemann-Roch theorem

3. Duality Technique

Proposition 3.2: For negative rank semistable objects, use duality functor $\text{RHom}(-,O_X)[1]$ to reduce to positive rank case.

Technical Details and Innovations

1. Fine Analysis of Wall Structure

• Properties of Numerical Walls: Relationship between semicircular wall radii and discriminant
• Nesting of Actual Walls: Precise control using properties of Proposition 2.4
• Critical Cases: Special treatment when $\nu_{\alpha,\beta}(E) = 0$

2. Application of Generalized Bogomolov-Gieseker Inequality

For $\nu_{\alpha,\beta}$-semistable objects $E$: $Q_{\alpha,\beta}(E) = \alpha^2\Delta_H(E) + 4(H \cdot \text{ch}^\beta_2)^2 - 6(H^2 \cdot \text{ch}^\beta_1(E))\text{ch}^\beta_3(E) \geq 0$

3. Heart Construction and Equivalence

Construct heart $C$ through exceptional collection $(O_X(-1), Q(-1), U, O_X)$ and prove its equivalence with Bridgeland stability heart.

Geometric Interpretation and Applications

1. Geometric Meaning

• Arithmetically Cohen-Macaulay Bundles: The bundle $U$ in case (1.1) is an aCM bundle
• Instanton Bundles: Sheaves in case (2.3) are instanton bundles when locally free
• Ulrich Bundles: Certain cases correspond to twisted Ulrich bundles

2. Moduli Space Theory

Combined with author's previous work, moduli spaces of sheaves with maximal $c_3$ form irreducible rational components.

Future Directions and Conjectures

Conjecture 4.5

For large discriminant cases, general sheaves $E$ with maximal $c_3$ can be described as extensions:

• When $c_1 = -1$: $0 \to O_X(-1)^{\oplus 2} \to E \to O_S(D) \to 0$
• When $c_1 = 0$: $0 \to U \to E \to O_S(D) \to 0$

where $S$ is a smooth hyperplane section of $X$ and $D$ is a divisor on $S$.

Technical Support

Proposition 4.4: Detailed computation of maximal values of $\text{ch}_3(i_*O_S(D))$ in different cases, providing concrete bounds for the conjecture.

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Systematically handles all low discriminant cases with complete classification
2. Technical Innovation: Successfully applies Bridgeland stability theory to concrete Fano threefold
3. Computational Precision: All bounds are sharp with explicit constructions of sheaves achieving maxima
4. Method Systematicity: Establishes general approach generalizable to other Fano threefolds

Technical Challenges and Solutions

1. Wall-Crossing Complexity: Systematically handled various wall-crossing phenomena through fine numerical analysis and induction
2. Non-Reflexive Sheaf Treatment: Cleverly utilized duality and extension sequences for non-reflexive cases
3. Boundary Cases: Employed special stability analysis for zero discriminant cases

Limitations

1. Discriminant Range: Currently only handles $\Delta_H(E) \leq 40$; large discriminant cases remain conjectural
2. Computational Complexity: While systematic, the method is computationally intensive; generalization to higher dimensions or other Fano threefolds requires extensive computation
3. Geometric Intuition: Geometric meaning of certain technical steps lacks sufficient intuitive explanation

Impact Assessment

1. Theoretical Contribution: Provides new technical tools and concrete results for vector bundle theory on Fano threefolds
2. Methodological Value: Demonstrates effective application of Bridgeland stability to concrete geometric problems
3. Subsequent Research: Provides template for studying similar problems on other Fano threefolds

Applicable Scenarios

1. Algebraic Geometry: Classification of vector bundles on Fano varieties
2. Moduli Space Theory: Construction of moduli spaces of stable sheaves
3. Derived Categories: Applications of stability conditions in triangulated categories

Comparison with Related Work

Relation to Previous Work

• Hartshorne (1980): Established foundational theory on $\mathbb{P}^3$
• Schmidt (2018): Developed tilting stability methods
• Vassiliev-Tikhomirov: Handled $X_2$ case; present work is natural generalization

Technical Improvements

1. Finer wall structure analysis
2. Full utilization of special geometric properties of $X_5$
3. Systematized computational framework

Conclusion

This paper successfully applies modern stability theory to concrete geometric problems, obtaining complete classification results for rank two semistable sheaves on $X_5$. While technically complex, the method is systematic and results are precise, laying solid foundation for further development in this field. Particularly significant for understanding geometric properties of vector bundles on Fano threefolds and constructing related moduli spaces.