2025-11-14T04:28:11.538390

Moduli spaces of generalised tautological bundles on Hilbert schemes

Krug, Reede, Zhang

We construct new stable vector bundles on Hilbert schemes of points on algebraic surfaces, which are parametrised by connected components of their moduli spaces. This work generalises aspects of our previous work on tautological bundles and of recent work of O'Grady.

academic

Moduli spaces of generalised tautological bundles on Hilbert schemes

基本信息

论文ID: 2510.11298
标题: Moduli spaces of generalised tautological bundles on Hilbert schemes
作者: Andreas Krug, Fabian Reede, Ziyu Zhang
分类: math.AG (代数几何)
发表时间: 2025年10月13日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.11298

摘要

本文构造了代数曲面上点的Hilbert概形上的新的稳定向量丛，这些向量丛由其模空间的连通分量参数化。该工作推广了作者之前关于同伦丛(tautological bundles)的工作以及O'Grady最近的研究成果。

研究背景与动机

核心问题

该研究旨在解决高维代数簇上稳定层模空间的构造和理解问题。具体而言：

模空间的复杂性：当底空间维数大于2时，稳定层的模空间行为变得极其复杂，现有理论难以处理
具体例子的缺乏：需要构造Hilbert概形 $S^{[n]}$ 上稳定层的具体例子来理解模空间 $M_{S^{[n]}}$ 的几何结构
同伦丛的推广：经典同伦丛在特定条件下是稳定的，但其构造方法有限，需要更一般的框架

研究重要性

理论意义：Hilbert概形是代数几何中的核心对象，其上的模空间研究具有重要理论价值
K3曲面的应用：当 $S$ 是K3曲面时， $S^{[n]}$ 给出紧超Kähler流形的重要例子
模理论发展：为模空间理论提供新的构造方法和具体例子

现有方法局限性

同伦丛的限制：经典同伦丛只能处理特定的分拆 $(n-1,1)$ 的情况
稳定性条件：现有构造方法对稳定性的要求过于严格
维数限制：缺乏高维模空间分量的系统性构造方法

核心贡献

推广同伦丛概念：定义了广义同伦丛 $F_\lambda^W(E_1,\ldots,E_k)$ ，其中 $\lambda$ 是任意分拆， $W_i$ 是不可约表示
稳定性定理：证明了在适当极化下，广义同伦丛继承底曲面上稳定丛的稳定性
模空间同构：建立了 $M_1 \times \cdots \times M_k \to M_{S^{[n]}}$ 的同构，识别出模空间的光滑射影连通分量
Chern类计算：给出了广义同伦丛第一Chern类的显式公式

方法详解

任务定义

给定光滑射影曲面 $S$ 和正整数 $n$ ，构造 $S$ 的 $n$ 点Hilbert概形 $S^{[n]}$ 上的稳定向量丛族，使其模空间具有良好的几何性质。

核心构造

1. Bridgeland-King-Reid-Haiman等价

利用导出McKay对应： $\Psi: D^b_{S_n}(S^n) \to D^b(S^{[n]})$ 这是由Bridgeland-King-Reid和Haiman建立的导出范畴等价。

2. 广义同伦丛定义

对于分拆 $\lambda = (\lambda_1,\ldots,\lambda_k) \vdash n$ 和向量丛 $E_1,\ldots,E_k \in \text{Coh}(S)$ ：

步骤1：构造 $S_\lambda$ -等变丛 $E = E_1^{\boxtimes \lambda_1} \boxtimes \cdots \boxtimes E_k^{\boxtimes \lambda_k}$ 其中 $S_\lambda = S_{\lambda_1} \times \cdots \times S_{\lambda_k} \leq S_n$ 。

步骤2：张量表示 选择不可约 $S_{\lambda_j}$ -表示 $W_j$ ，得到 $S_\lambda$ -表示 $W = W_1 \otimes \cdots \otimes W_k$ 。

步骤3：诱导到 $S_n$ $G_\lambda^W(E_1,\ldots,E_k) := \text{Ind}_{S_\lambda}^{S_n}(E \otimes W)$

步骤4：应用McKay对应 $F_\lambda^W(E_1,\ldots,E_k) := \Psi(G_\lambda^W(E_1,\ldots,E_k))$

技术创新点

1. 等变稳定性理论

定义2.1： $G$ -等变丛 $E$ 称为 $G$ -等变斜率稳定的，如果对所有 $G$ -等变子层 $F$ 有 $\mu_H(F) < \mu_H(E)$ 。

关键引理2.2：设 $E$ 是 $G'$ -等变稳定丛，满足 $g^*E \not\cong E$ 对所有 $[g] \in G'\backslash G$ 且 $[g] \neq [\text{id}]$ ，则 $\text{Ind}_{G'}^G(E \otimes W)$ 是 $G$ -等变稳定的。

2. 稳定性传递机制

通过以下链条实现稳定性传递： $\text{稳定性}(E_i) \Rightarrow \text{等变稳定性}(G_\lambda^W) \Rightarrow \text{稳定性}(F_\lambda^W)$

其中关键是Stapleton函子的作用： $(\cdot)^{S_n}: \text{Coh}(S^{[n]}) \to \text{Coh}^{S_n}(S^n)$

主要定理

定理1：稳定性定理（定理2.9）

假设 $E_1,\ldots,E_k$ 是关于丰富线丛 $H$ 的两两非同构斜率稳定向量丛，则存在 $S^{[n]}$ 上的丰富类 $\tilde{H}$ 使得 $F_\lambda^W(E_1,\ldots,E_k)$ 关于 $\tilde{H}$ 斜率稳定。

定理2：模空间同构（定理3.7）

设 $M_1,\ldots,M_k$ 是稳定层模空间的连通分量，满足：

光滑射影
Young图是矩形的
满足条件2.7和3.2

则存在同构： $\phi_\lambda^W: M_1 \times \cdots \times M_k \to M_{S^{[n]}}的连通分量$

定理3：Chern类公式（定理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$

其中：

$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$ 涉及复杂的组合公式
$\delta = [D]/2$ 是边界除子

技术条件与假设

条件2.7（基本稳定性条件）

$M_j$ 参数化关于 $H$ 斜率稳定的局部自由层
对所有 $i \neq j$ ， $[E_i] \in M_i$ ， $[E_j] \in M_j$ ，有 $E_i \not\cong E_j$

条件3.2（扩张群计算条件）

存在集合分拆 $\{1,\ldots,k\} = I_1 \sqcup \cdots \sqcup I_\ell$ 使得：

$\text{Hom}(E_j,E_j) = \mathbb{C}$
对 $i,j \in I_\alpha$ 且 $i \neq j$ ： $\text{Hom}(E_i,E_j) = 0$
对 $i \in I_\alpha$ ， $j \in I_\beta$ 且 $\alpha < \beta$ ： $\text{Hom}(E_j,E_i) = \text{Ext}^1(E_j,E_i) = 0$