[论文解读] Moduli of semistable sheaves as quiver moduli

Andrea Maiorana|arXiv (Cornell University)|Sep 16, 2017

Algebraic structures and combinatorial models参考文献 23被引用 5

一句话总结

本文通过导出范畴中的 t-结构与例外系，建立了 $\mathbb{P}^1 \times \mathbb{P}^1$ 上 Gieseker 半稳定的无 torsion 范畴与带关系的 quiver 表示的半稳定模空间之间的对应关系。关键结果为同构 $\operatorname{M}^{\textup{ss}}_{X,A}(v) \simeq \operatorname{M}^{\textup{ss}}_{Q_4,J,\theta_{\operatorname{G},v}}(d^v)$，将 Drézet 和 Le Potier 在 $\mathbb{P}^2$ 上的构造推广至 $\mathbb{P}^1 \times \mathbb{P}^1$。该结果通过 GIT 商构造，实现了模空间的 quiver-理论实现。

ABSTRACT

In the 1980s Drézet and Le Potier realized moduli spaces of Gieseker-semistable sheaves on $\mathbb{P}^2$ as what are now called quiver moduli spaces. We discuss how this construction can be understood using t-structures and exceptional collections on derived categories, and how it can be extended to a similar result on $\mathbb{P}^1 imes\mathbb{P}^1$.

研究动机与目标

• 将 Drézet 和 Le Potier 在 $\mathbb{P}^2$ 上对半稳定层模空间的 quiver-理论构造推广至曲面 $\mathbb{P}^1 \times \mathbb{P}^1$。
• 利用导出范畴技术，将 $\mathbb{P}^1 \times \mathbb{P}^1$ 上半稳定层的模空间解释为带关系的 quiver 表示的模空间。
• 通过 GIT 商构造，建立半稳定层模空间与 quiver 模空间之间的精确同构。
• 利用四顶点 quiver $Q_4$ 与特定稳定性条件，将基于复形的层构造方法（通过 Kronecker 复形）推广至 $\mathbb{P}^1 \times \mathbb{P}^1$。

提出的方法

• 利用 $X = \mathbb{P}^1 \times \mathbb{P}^1$ 上的全强例外系，定义 $D^b(X)$ 与带关系的 quiver 的导出范畴之间的导出等价。
• 构造一个含四个顶点的 quiver $Q_4$，其对应于线丛 $\mathcal{O}_X$、$\mathcal{O}_X(1,0)$、$\mathcal{O}_X(0,-1)$、$\mathcal{O}_X(1,-1)$，并定义理想 $J$ 以编码 Beilinson 型分解中的关系。
• 基于 $v \in K_0(X)$ 的数值不变量，定义 quiver 表示上的稳定性条件 $\theta_{\operatorname{G},v} \in \mathbb{Z}^I$，确保与 Gieseker 半稳定性的兼容性。
• 应用 GIT 构造带关系 $J$ 的 quiver $Q_4$ 的 $\theta_{\operatorname{G},v}$-半稳定表示的模空间，得到一个射影概形。
• 利用 $D^b(X)$ 上的 t-结构及其心，将导出范畴与 quiver 表示范畴联系起来，从而实现模空间的构造。
• 验证通过 Kronecker 复形与层上同调之间的对应关系，所得到的 quiver 模空间与经典半稳定层模空间同构。

实验结果

研究问题

• RQ1 能否将 $\mathbb{P}^1 \times \mathbb{P}^1$ 上 Gieseker 半稳定无 torsion 层的模空间实现为 quiver 模空间？
• RQ2 $\mathbb{P}^1 \times \mathbb{P}^1$ 的导出范畴结构，特别是通过全例外系，如何促进此类 quiver 模空间的构造？
• RQ3 与 $\mathbb{P}^1 \times \mathbb{P}^1$ 上层的 Gieseker 半稳定性相对应的 quiver 表示的精确稳定性条件是什么？
• RQ4 quiver-理论构造是否能恢复已知例子，如 $\mathbb{P}^1 \times \mathbb{P}^1$ 上的点的 Hilbert 模空间？
• RQ5 在什么条件下，quiver 模空间与稳定点集重合，且何时存在普遍族？

主要发现

• 对于所有 $v \in \mathpzc{R}_A$（即秩与斜率在适当范围内的正区域），$\mathbb{P}^1 \times \mathbb{P}^1$ 上 Gieseker 半稳定层的模空间 $\operatorname{M}^{\textup{ss}}_{X,A}(v)$ 与 quiver 模空间 $\operatorname{M}^{\textup{ss}}_{Q_4,J,\theta_{\operatorname{G},v}}(d^v)$ 同构。
• 当 $v \in \mathpzc{R}_A$ 且满足 $\gcd(\operatorname{rk}v, \deg_A v, \chi(v)) = 1$ 时，模空间 $\operatorname{M}^{\textup{ss}}_{X,A}(v)$ 是光滑的，且等于稳定点集，存在普遍族。
• 稳定层模空间的维数为 $\dim \operatorname{M}^{\textup{st}}_{X,A}(v) = 1 - \operatorname{rk}v^2 + \Delta(v)$，与 quiver 模空间公式所预期的维数一致。
• 该构造将 $X$ 上 $\ell$ 个点的 Hilbert 模空间恢复为 $\operatorname{Hilb}^\ell(X) \simeq \operatorname{M}^{\textup{ss}}_{Q_4,J,\theta_{\operatorname{G},v}}(\ell, \ell+1, \ell, \ell)$，其中 $d^v = (\ell, \ell+1, \ell, \ell)$。
• 当 $d^v_{0,-1}$ 或 $d^v_{1,0}$ 中之一为零时，quiver 退化为 Kuleshov 研究过的更小 quiver，与先前结果保持一致。
• 稳定性条件 $\theta_{\operatorname{G},v}$ 显式地以 $\operatorname{rk}v$、$\deg_A v$ 和 $\chi(v)$ 表示，确保 GIT 商构造能产生正确的模空间。