Rigid stable rank 4 vector bundles on HK fourfolds of Kummer type

Basic Information

• Paper ID: 2203.03987
• Title: Rigid stable rank 4 vector bundles on HK fourfolds of Kummer type
• Author: Kieran G. O'Grady (Sapienza Università di Roma)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: 2024, published in Épijournal de Géométrie Algébrique (Special volume in honour of C. Voisin)
• Paper Link: https://arxiv.org/abs/2203.03987

Abstract

This paper partially extends the author's previous results on stable rigid vector bundles on Hilbert schemes $K3^{[n]}$ of K3 surfaces to hyperkähler fourfolds of Kummer type. For a general polarized hyperkähler fourfold $(M,h)$, when $q_M(h) \equiv -6 \pmod{16}$ with divisibility 2 of $h$, or $q_M(h) \equiv -6 \pmod{144}$ with divisibility 6 of $h$, the author proves the existence and uniqueness (up to isomorphism) of a slope-stable vector bundle $\mathcal{F}$ satisfying $r(\mathcal{F})=4$, $c_1(\mathcal{F})=h$, $\Delta(\mathcal{F})=c_2(M)$. Furthermore, $\mathcal{F}$ is rigid. One motivation for this research is to explicitly describe local complete families of polarized hyperkähler fourfolds of Kummer type.

Research Background and Motivation

Problem Background

1. Vector bundle theory on K3 surfaces: On polarized K3 surfaces, slope-stable rigid vector bundles exist abundantly and are uniquely determined by their Chern character. This theory is well-developed.
2. Generalization to hyperkähler manifolds: The author previously established analogous theory on $K3^{[n]}$-type hyperkähler manifolds and now seeks to extend it to Kummer-type hyperkähler manifolds.
3. Construction of local complete families: Analogous to Mukai's explicit description for K3 surfaces, the author aims to explicitly construct local complete families of Kummer-type hyperkähler fourfolds through rigid vector bundles.

Research Significance

1. Theoretical completeness: Fills the gap in vector bundle theory on Kummer-type manifolds in hyperkähler geometry
2. Geometric applications: Provides new tools for constructing moduli spaces of hyperkähler manifolds
3. Moduli theory: Closely related to the theory of moduli spaces of stable objects

Limitations of Existing Methods

• Previous results focused mainly on $K3^{[n]}$-type manifolds
• The geometric structure of Kummer-type manifolds is more complex, requiring new technical approaches
• Lack of explicit local complete family descriptions

Core Contributions

1. Main existence and uniqueness theorem: Proves the existence of a unique rank 4 stable vector bundle on Kummer-type hyperkähler fourfolds under specific numerical conditions
2. Construction of modular vector bundles: Constructs concrete modular vector bundles via the Bridgeland-King-Reid correspondence
3. Rigidity property: Proves that the constructed vector bundles are rigid, i.e., $H^1(M,\text{End}^0(\mathcal{F}))=0$
4. Stability on Lagrangian fibrations: Studies the stability of restrictions of vector bundles on Lagrangian fibers
5. Technical innovation: Develops new methods for handling stability of vector bundles on singular Lagrangian fibers

Detailed Methodology

Problem Definition

Study vector bundles $\mathcal{F}$ on Kummer-type hyperkähler fourfolds $M$ such that:

• $r(\mathcal{F}) = 4$ (rank 4)
• $c_1(\mathcal{F}) = h$ (first Chern class equals the polarization class)
• $\Delta(\mathcal{F}) = c_2(M)$ (discriminant equals the second Chern class of the manifold)
• $\mathcal{F}$ is slope-stable and rigid

Model Architecture

1. Basic Setup

Let $f: B \to A$ be a degree 2 morphism between abelian surfaces, defining a rational map: $\rho: K_2(B) \dashrightarrow K_2(A), \quad [Z] \mapsto [f(Z)]$

2. Vector Bundle Construction

Construct vector bundles $E(\mathcal{L})$ through the following steps:

• Let $\nu: X \to K_2(B)$ be the blowup of the indeterminacy locus of $\rho$
• Let $\tilde{\rho}: X \to K_2(A)$ be the regular lift of $\rho$
• For a line bundle $\mathcal{L}$ on $X$, define $E(\mathcal{L}) := \tilde{\rho}_*(\mathcal{L})$

3. Modularity Conditions

The vector bundle $E(\mathcal{L})$ is modular if and only if parameters $(x,y)$ satisfy $y = x$ or $y = x+1$, where: $c_1(\mathcal{L}) = \nu^*(\mu_B(\omega_B) + x\delta(B)) + y \text{cl}(D)$

Technical Innovations

1. Application of Bridgeland-King-Reid Correspondence

Links vector bundles to semi-homogeneous vector bundles on $N_A(3)$ via BKR equivalence, where $N_A(3)$ is the kernel of the addition map $A^3 \to A$.

2. Stability Analysis on Singular Lagrangian Fibers

• For smooth fibers: proves stability using semi-homogeneous vector bundle theory
• For singular fibers: develops new techniques to handle stability on non-reduced and non-irreducible fibers

3. Analysis of Monodromy Group Action

Uses the monodromy group action on the Picard lattice to prove uniqueness, a key technical innovation.

Experimental Setup

Numerical Conditions

The paper considers two cases:

1. $e \equiv -6 \pmod{16}$ with divisibility 2
2. $e \equiv -6 \pmod{144}$ with divisibility 6

Geometric Setup

• Abelian surface $A$ equipped with elliptic fibration $A \to E$
• Corresponding Lagrangian fibration $\pi_A: K_2(A) \to |\mathcal{O}_E(3(0_E))|$
• Requires $md$ to be odd and sufficiently large ($md > 8$)

Experimental Results

Main Result (Theorem 1.1)

Let $e$ be a positive integer satisfying $e \equiv -6 \pmod{16}$ or $e \equiv -6 \pmod{144}$. For a general point $[(M,h)]$ in $\text{Kum}_e^2$ or $\text{Kum}_e^6$, there exists a unique slope-stable vector bundle $\mathcal{F}$ satisfying:

• $r(\mathcal{F}) = 4$
• $c_1(\mathcal{F}) = h$
• $\Delta(\mathcal{F}) = c_2(M)$
• $H^1(M,\text{End}^0(\mathcal{F})) = 0$

Key Properties Verification

1. Modularity (Theorem 3.2)

The vector bundle $E(\mathcal{L})$ is modular if and only if $y = x$ or $y = x+1$, in which case $\Delta(E(\mathcal{L})) = c_2(K_2(A))$.

2. Local Freeness

When $y = x$, $E(\mathcal{L})$ is locally free.

3. Euler Characteristic (Proposition 4.1)

$\chi(K_2(A), \text{End}(E(\mathcal{L}))) = 3$

Stability on Lagrangian Fibers

Smooth Fibers (Proposition 6.4)

The restriction of the vector bundle to smooth Lagrangian fibers is slope-stable.

Singular Fibers (Proposition 7.1)

For general singular Lagrangian fibers, there exist no integral-rank destabilizing subsheaves, ensuring stability after deformation.

Related Work

Historical Development

1. Mukai theory: Classical theory of vector bundles on K3 surfaces
2. Author's previous work: Results on $K3^{[n]}$-type hyperkähler manifolds
3. BKR correspondence: Derived equivalence theory established by Bridgeland-King-Reid

Contribution of This Paper

Compared to existing work, this paper is the first to systematically study rigid vector bundles on Kummer-type hyperkähler manifolds, filling a theoretical gap.

Conclusions and Discussion

Main Conclusions

1. Under specific numerical conditions, there exists a unique rank 4 rigid stable vector bundle on Kummer-type hyperkähler fourfolds
2. These vector bundles can be obtained through explicit algebraic geometric constructions
3. Vector bundles remain stable on Lagrangian fibers (except for finitely many exceptions)

Limitations

1. Results are restricted to rank 4; higher ranks remain to be studied
2. The numerical conditions are quite restrictive
3. Explicit local complete family construction requires further work

Future Directions

1. Generalize to vector bundles of arbitrary rank
2. Construct explicit moduli spaces of Kummer-type hyperkähler manifolds
3. Study Kummer-type manifolds in more general dimensions

In-Depth Evaluation

Strengths

1. Theoretical depth: Applies sophisticated algebraic geometry theory to hyperkähler geometry
2. Technical innovation: Develops new methods for handling singular fibers
3. Completeness: Complete proofs from existence to uniqueness
4. Application potential: Provides new approaches for constructing families of hyperkähler manifolds

Weaknesses

1. High technical threshold: Requires deep background in algebraic geometry
2. Restrictive conditions: Numerical conditions are quite special, limiting applicability
3. Computational complexity: Involves extensive technical calculations

Impact

1. Academic value: Advances the development of hyperkähler geometry theory
2. Methodological significance: Provides new paradigms for studying vector bundles on hyperkähler manifolds
3. Application potential: Provides new tools for related geometric problems

Applicable Scenarios

1. Hyperkähler geometry research
2. Moduli space theory
3. Vector bundle theory in algebraic geometry
4. Supersymmetric theory in mathematical physics

References

The paper cites 50 important references covering classical and cutting-edge work in hyperkähler geometry, vector bundle theory, moduli space theory, and other related fields, demonstrating the breadth and depth of the research.

Summary: This is a high-level algebraic geometry paper that solves important problems in vector bundle theory on Kummer-type hyperkähler manifolds through sophisticated technical methods, making substantial contributions to the development of this field.