Moduli spaces of generalised tautological bundles on Hilbert schemes

Basic Information

• Paper ID: 2510.11298
• Title: Moduli spaces of generalised tautological bundles on Hilbert schemes
• Authors: Andreas Krug, Fabian Reede, Ziyu Zhang
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11298

Abstract

This paper constructs new stable vector bundles on the Hilbert scheme of points on algebraic surfaces, which are parametrized by connected components of their moduli spaces. This work generalizes the authors' previous work on tautological bundles as well as recent results of O'Grady.

Research Background and Motivation

Core Problems

This research addresses the construction and understanding of moduli spaces of stable sheaves on higher-dimensional algebraic varieties. Specifically:

1. Complexity of moduli spaces: When the dimension of the base space exceeds 2, the behavior of stable sheaves becomes extremely complex, and existing theories struggle to handle this
2. Lack of concrete examples: There is a need to construct specific examples of stable sheaves on the Hilbert scheme $S^{[n]}$ to understand the geometric structure of the moduli space $M_{S^{[n]}}$
3. Generalization of tautological bundles: Classical tautological bundles are stable under specific conditions, but their construction methods are limited, requiring a more general framework

Research Significance

1. Theoretical importance: The Hilbert scheme is a central object in algebraic geometry, and research on moduli spaces over it has significant theoretical value
2. Applications to K3 surfaces: When $S$ is a K3 surface, $S^{[n]}$ provides important examples of compact hyperkähler manifolds
3. Development of moduli theory: Provides new construction methods and concrete examples for moduli space theory

Limitations of Existing Methods

1. Restrictions of tautological bundles: Classical tautological bundles can only handle the specific partition $(n-1,1)$ case
2. Stability conditions: Existing construction methods impose overly strict requirements on stability
3. Dimensional limitations: Lack of systematic construction methods for higher-dimensional moduli space components

Core Contributions

1. Generalization of tautological bundle concept: Defines generalized tautological bundles $F_\lambda^W(E_1,\ldots,E_k)$, where $\lambda$ is an arbitrary partition and $W_i$ are irreducible representations
2. Stability theorem: Proves that under appropriate polarization, generalized tautological bundles inherit the stability of stable bundles on the base surface
3. Moduli space isomorphism: Establishes an isomorphism $M_1 \times \cdots \times M_k \to M_{S^{[n]}}$, identifying smooth projective connected components of the moduli space
4. Chern class computation: Provides explicit formulas for the first Chern class of generalized tautological bundles

Detailed Methods

Problem Setup

Given a smooth projective surface $S$ and a positive integer $n$, construct a family of stable vector bundles on the $n$-point Hilbert scheme $S^{[n]}$ of $S$ such that the moduli space has good geometric properties.

Core Construction

1. Bridgeland-King-Reid-Haiman Equivalence

Utilizing the derived McKay correspondence: $\Psi: D^b_{S_n}(S^n) \to D^b(S^{[n]})$ This is the derived category equivalence established by Bridgeland-King-Reid and Haiman.

2. Definition of Generalized Tautological Bundles

For a partition $\lambda = (\lambda_1,\ldots,\lambda_k) \vdash n$ and vector bundles $E_1,\ldots,E_k \in \text{Coh}(S)$:

Step 1: Construction of $S_\lambda$-equivariant bundle$E = E_1^{\boxtimes \lambda_1} \boxtimes \cdots \boxtimes E_k^{\boxtimes \lambda_k}$ where $S_\lambda = S_{\lambda_1} \times \cdots \times S_{\lambda_k} \leq S_n$.

Step 2: Tensor representation Choose an irreducible $S_{\lambda_j}$-representation $W_j$, obtaining an $S_\lambda$-representation $W = W_1 \otimes \cdots \otimes W_k$.

Step 3: Induction to $S_n$$G_\lambda^W(E_1,\ldots,E_k) := \text{Ind}_{S_\lambda}^{S_n}(E \otimes W)$

Step 4: Application of McKay correspondence$F_\lambda^W(E_1,\ldots,E_k) := \Psi(G_\lambda^W(E_1,\ldots,E_k))$

Technical Innovations

1. Equivariant Stability Theory

Definition 2.1: A $G$-equivariant bundle $E$ is called $G$-equivariant slope stable if for all $G$-equivariant subsheaves $F$ we have $\mu_H(F) < \mu_H(E)$.

Key Lemma 2.2: If $E$ is a $G'$-equivariant stable bundle satisfying $g^*E \not\cong E$ for all $[g] \in G'\backslash G$ with $[g] \neq [\text{id}]$, then $\text{Ind}_{G'}^G(E \otimes W)$ is $G$-equivariant stable.

2. Stability Transfer Mechanism

Stability is transferred through the following chain: $\text{Stability}(E_i) \Rightarrow \text{Equivariant stability}(G_\lambda^W) \Rightarrow \text{Stability}(F_\lambda^W)$

The key is the action of the Stapleton functor: $(\cdot)^{S_n}: \text{Coh}(S^{[n]}) \to \text{Coh}^{S_n}(S^n)$

Main Theorems

Theorem 1: Stability Theorem (Theorem 2.9)

Assume $E_1,\ldots,E_k$ are pairwise non-isomorphic slope stable vector bundles with respect to an ample line bundle $H$. Then there exists an ample class $\tilde{H}$ on $S^{[n]}$ such that $F_\lambda^W(E_1,\ldots,E_k)$ is slope stable with respect to $\tilde{H}$.

Theorem 2: Moduli Space Isomorphism (Theorem 3.7)

Let $M_1,\ldots,M_k$ be connected components of moduli spaces of stable sheaves satisfying:

• Smooth and projective
• Young diagrams are rectangular
• Conditions 2.7 and 3.2 are satisfied

Then there exists an isomorphism: $\phi_\lambda^W: M_1 \times \cdots \times M_k \to \text{connected component of } M_{S^{[n]}}$

Theorem 3: Chern Class Formula (Theorem 4.7)

$c_1(F_\lambda^W(E_1,\ldots,E_k)) = (B_\lambda^W(E_1,\ldots,E_k))_{S^{[n]}} - R_\lambda^W(E_1,\ldots,E_k) \cdot \delta$

where:

• $B_\lambda^W(E_1,\ldots,E_k) = sw\left(\sum_{i=1}^k \frac{p_{\lambda(\bar{i})}}{r_i}c_1(E_i)\right)$
• $R_\lambda^W$ involves complex combinatorial formulas
• $\delta = [D]/2$ is the boundary divisor

Technical Conditions and Assumptions

Condition 2.7 (Fundamental Stability Condition)

1. $M_j$ parametrizes locally free sheaves that are slope stable with respect to $H$
2. For all $i \neq j$, with $[E_i] \in M_i$ and $[E_j] \in M_j$, we have $E_i \not\cong E_j$

Condition 3.2 (Ext Group Computation Condition)

There exists a partition of sets $\{1,\ldots,k\} = I_1 \sqcup \cdots \sqcup I_\ell$ such that:

1. $\text{Hom}(E_j,E_j) = \mathbb{C}$
2. For $i,j \in I_\alpha$ with $i \neq j$: $\text{Hom}(E_i,E_j) = 0$
3. For $i \in I_\alpha$, $j \in I_\beta$ with $\alpha < \beta$: $\text{Hom}(E_j,E_i) = \text{Ext}^1(E_j,E_i) = 0$

Applications and Examples

Recovery of Classical Tautological Bundles

When $\lambda = (n-1,1)$, $E_1 = \mathcal{O}_S$, $E_2 = E$, $W_1 = W_2 = 1$: $F_\lambda^W(\mathcal{O}_S, E) \cong E^{[n]}$ This recovers the classical tautological bundle.

Modular Sheaves on K3 Surfaces

When $S$ is a K3 surface, many examples of generalized tautological bundles become modular sheaves, which are important objects in hyperkähler geometry.

Computational Techniques

Chern Class Computation Strategy

1. Restriction to open sets: Consider the open subscheme $S_*^{[n]}$ whose complement has codimension $\geq 2$
2. Decomposition as double cover: $\text{In}S_* \to T \to S_*^{[n]}$
3. Semiorthogonal decomposition: Utilizing results of Kuznetsov-Perry
4. Equivariant cohomology: Computation through invariants of the $S_n$-action

Key Lemma 4.1

For an $S_n$-equivariant locally free sheaf $G$, there exists an exact sequence: $0 \to q^*q_*^{S_n}G \to G \to C \to 0$ where $C = \bigoplus_{1 \leq i < j \leq n}(G|_{E_{ij}} \otimes a_{ij})^{S_{ij}}$.

Related Work

Historical Development

1. Fogarty (1973): Established foundational theory of Hilbert schemes
2. Bridgeland-King-Reid, Haiman (2001): Derived McKay correspondence
3. Stapleton (2016): Stability theory of tautological bundles
4. O'Grady (2024): Recent developments in modular sheaf theory

Innovations of This Paper

Compared to existing work, this paper:

1. Generalizes tautological bundles to arbitrary partitions and representations
2. Provides systematic stability theory
3. Gives explicit descriptions of moduli spaces
4. Computes precise Chern class formulas

Conclusions and Discussion

Main Conclusions

1. Successful construction: Successfully constructs numerous new families of stable vector bundles
2. Understanding of moduli spaces: Identifies many smooth projective connected components of $M_{S^{[n]}}$
3. Computational tools: Provides effective methods for computing Chern classes

Limitations

1. Technical conditions: Requires relatively strong non-isomorphism conditions (Condition 2.7)
2. Rectangular restriction: The rectangular condition on Young diagrams limits the scope of applicability
3. Locally free assumption: Currently only handles locally free sheaves, not torsion-free sheaves

Future Directions

1. Extension to torsion-free sheaves: Extend the theory to torsion-free sheaves
2. Diagonal cases: Handle the case $E_i \cong E_j$, potentially involving blowups or quotient spaces
3. Higher Chern classes: Compute higher Chern classes to study properties of modular sheaves
4. Other surfaces: Generalize to more general algebraic surfaces

In-Depth Evaluation

Strengths

1. Theoretical depth: Organically combines multiple deep theories (McKay correspondence, moduli theory, representation theory)
2. Computational precision: Chern class formulas are highly precise and practically useful
3. Strong generalizability: The framework has strong potential for generalization
4. Clear exposition: Technical details are handled appropriately with clear logic

Technical Highlights

1. Equivariant stability: Cleverly utilizes equivariant theory to simplify stability proofs
2. Dimension computation: Precisely controls moduli space dimensions through Ext groups
3. Combinatorial techniques: The combinatorial arguments in Chern class computation are particularly elegant

Shortcomings

1. Stringent conditions: Multiple technical conditions may limit the scope of applications
2. Computational complexity: While precise, the Chern class formulas are complex to compute
3. Limited examples: Relatively few concrete numerical examples

Impact Assessment

1. Theoretical contribution: Provides important new tools for moduli space theory
2. Application prospects: Has important applications in hyperkähler geometry and modular sheaf theory
3. Technical value: Computational methods serve as reference for related research

Applicable Scenarios

1. K3 surface research: Particularly suitable for Hilbert schemes of K3 surfaces
2. Moduli space classification: Used to construct and classify moduli spaces of stable sheaves
3. Chern class computation: Provides tools for related topological computations

References

The paper cites 56 important references, primarily including:

• McKay correspondence theory by Bridgeland-King-Reid and Haiman
• Tautological bundle stability work by Stapleton
• Recent research on modular sheaves by O'Grady
• Semiorthogonal decomposition theory by Kuznetsov-Perry

This paper has significant theoretical value in algebraic geometry, providing powerful new tools for research on moduli spaces over Hilbert schemes.