[论文解读] Instanton bundles on $\mathbb{P}^1 imes\mathbb{F}_1$

Vincenzo Antonelli, Gianfranco Casnati+1 more|arXiv (Cornell University)|Jan 1, 2021

Algebraic Geometry and Number Theory参考文献 23被引用 1

一句话总结

本文建立了对 Fano 三流形 $\mathbb{P}^1 \times \mathbb{F}_1$ 上瞬子丛的单子描述，证明了每个此类丛均可表示为自由层项的单子的上同调。本文构造了任意可允许的第二陈类下瞬子丛的模空间分量，并证明最小瞬子丛是 aCM（算术科恩-麦克劳林），从而完整描述了其模空间结构。

ABSTRACT

In this paper we deal with a particular class of rank two vector bundles (\emph{instanton} bundles) on the Fano threefold of index one $F:=\mathbb{F}_1 imes \mathbb{P}^1$. We show that every instanton bundle on $F$ can be described as the cohomology of a monad whose terms are free sheaves. Furthermore we prove the existence of instanton bundles for any admissible second Chern class and we construct a nice component of the moduli space where they sit. Finally we show that minimal instanton bundles (i.e. with the least possible degree of the second Chern class) are aCM and we describe their moduli space.

研究动机与目标

• 通过单子描述 $\mathbb{P}^1 \times \mathbb{F}_1$ 上的瞬子丛。
• 证明对于任意可允许的第二陈类 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$，瞬子丛均存在。
• 为这些丛构造模空间的一个特殊分量。
• 证明最小瞬子丛是算术科恩-麦克劳林（aCM）的，并描述其模空间。
• 研究瞬子丛与弱 Ulrich 丛之间的关系，特别是在指标为一的 Fano 三流形背景下。

提出的方法

• 作者定义了一个单子 $C^{-1} \to C^0 \to C^1$，其项为 $\mathbb{P}^1 \times \mathbb{F}_1$ 上线丛的直和，由满足特定不等式的整数 $\alpha, \beta, \gamma, \delta, \epsilon$ 参数化。
• 他们证明，对于给定 $c_2(E)$ 的每个瞬子丛 $E$，其同构于此类单子的上同调，其中 $\delta = h^1(F, E(-e))$ 且 $\epsilon = h^1(F, E(-e - \xi))$。
• 利用 Serre 对应，他们为任意可允许的 $c_2(E)$ 显式构造了 $\mu$-稳定的瞬子丛，从而确保此类单子的存在性。
• 他们分析了单子的上同调性质，并利用 Chow 环的分解 $A(F) \cong \pi^*A(\mathbb{P}^1) \otimes p^*A(\mathbb{F}_1)$ 计算交点数并验证陈类条件。
• 他们证明，单子上同调给出 $\mu$-半稳定丛当且仅当 $h^1(E(-e))$ 和 $h^1(E(-e - \xi))$ 满足上同调约束。
• 他们通过扭作关系将瞬子丛与弱 Ulrich 丛联系起来，并分析了此类丛满足弱 Ulrich 性质的条件。

实验结果

研究问题

• RQ1 是否每个 $\mathbb{P}^1 \times \mathbb{F}_1$ 上的瞬子丛均可实现为自由层项单子的上同调？
• RQ2 对于哪些第二陈类 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$ 值，瞬子丛存在？
• RQ3 最小瞬子丛（具有最小 $c_2$）是否为算术科恩-麦克劳林（aCM）？
• RQ4 $\mathbb{P}^1 \times \mathbb{F}_1$ 上瞬子丛的模空间结构如何？
• RQ5 在指标为一的情况下，瞬子丛与弱 Ulrich 丛之间是否存在通过扭作的对应关系？

主要发现

• 对于 $\mathbb{P}^1 \times \mathbb{F}_1$ 上任意瞬子丛 $E$，若 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$，则其同构于一个自由层项的单子 $C^{-1} \to C^0 \to C^1$ 的上同调。
• 对于满足不等式 $\alpha \geq 3$，$\gamma \geq 2$，$\alpha + \gamma \geq 6$，$\alpha - \beta \geq 2$，$\epsilon \geq 2 - \beta - \gamma$，$\delta \geq 1 - \beta$ 的任意整数 $\alpha, \beta, \gamma$，存在具有该 $c_2(E)$ 的 $\mu$-稳定瞬子丛。
• 最小瞬子丛（具有最小 $c_2$）是算术科恩-麦克劳林（aCM）的，且其模空间被显式描述。
• 瞬子丛的模空间包含一个由单子数据参数化的特殊分量，该分量是不可约的且在一般位置光滑。
• 作者证明，$\mathbb{P}^1 \times \mathbb{F}_1$ 上的最小瞬子丛在经 $\mathcal{O}_F(2\xi)$ 扭作后成为弱 Ulrich 丛，且该性质在单子构造下保持不变。
• 本文确认，当 $i_X = 1$ 时，并非所有弱 Ulrich 丛都可表示为瞬子丛的扭作，表明逆命题在一般情况下不成立。