[论文解读] Moduli spaces of rank two aCM bundles on the Segre product of three projective lines

Gianfranco Casnati, Daniele Faenzi+1 more|arXiv (Cornell University)|Apr 4, 2014

Algebraic Geometry and Number Theory参考文献 32被引用 10

一句话总结

本文研究了嵌入在 $\mathbb{P}^7$ 中的 Segre 三次曲面 $F = \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 上秩为二的算术 Cohen-Macaulay (aCM) 线丛的模空间。通过利用 $F$ 中的二次曲面截面 $Q \subset F$ 的几何性质以及在 $Q$ 上稳定丛的限制，作者构建了从 $Q$ 上 $\mu$-稳定秩二丛的模空间到 $F$ 上模空间一个分支的双有理映射，证明了该模空间的有理性，并构造了不源自 $\mathbb{P}^3$ 上瞬子丛的新 Ulrich 丛例子。关键结果是针对特定陈类选择的模空间有理性的证明。

ABSTRACT

Let P^n be the projective space of dimension n on an algebraically closed field of characteristic 0 and F be the image of the Segre embedding of P^1xP^1xP^1 inside P^7. In the present paper we deal with the moduli spaces of locally free sheaves E on F of rank 2 with h^i(F,E(t))=0 for i=1,2 and each integer t.

研究动机与目标

• 研究嵌入在 $\mathbb{P}^7$ 中的 Segre 三次曲面 $F = \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 上秩为二的局部自由层的模空间，这些层为 aCM，即具有消失的中间上同调。
• 通过几何方法，特别是利用在二次曲面截面 $Q \subset F$ 上的限制，对这些丛进行分类与构造。
• 确定特定第一陈类 $c_1 = 2h$ 和第二陈类 $c_2 = 2h_2h_3 + 2h_1h_3 + 4h_1h_2$ 下模空间的结构、维数和有理性的性质。
• 构造在 $F$ 上不源自 $\mathbb{P}^3$ 上零相关丛限制的 Ulrich 丛的新例子。

提出的方法

• 作者利用从 $F$ 中的二次曲面 $Q \subset F$ 上 $\mu$-稳定秩二丛的模空间到 $F$ 上半稳定 aCM 丛模空间的限制映射，通过存在截面 $\sigma: Q \to F$ 证明该映射的单射性。
• 他们构造了一个态射 $e: \mathcal{M}_Q^{\mu s}(0,2) \to \mathcal{M}_F^{ss,U}(2; 2h, 2h_2h_3 + 2h_1h_3 + 4h_1h_2)$，并证明该映射是双有理且满射的。
• 利用 $Q$ 上的 Riemann–Roch 和 Serre 对偶性，计算受限丛的上同调群，并证明在 $F$ 上中间上同调的消失，从而确认 aCM 条件。
• 他们分析了模空间中一般丛的正合列分解：$0 \to \mathcal{O}_F(-h_1 - h_2) \to \mathcal{O}_F^{\oplus 4} \to \mathcal{O}_F(h_1 + h_2) \to 0$，表明 $\mathcal{E}(-h)$ 作为该复形的同调成立。
• 通过 $e$ 建立的双有理等价性，从已知的 $\mathcal{M}_Q^{\mu s}(0,2)$ 的有理性推导出 $F$ 上模空间的有理性。
• 他们利用不在 $\mathbb{P}^3$ 上限制像中的 $Q$ 上稳定丛，显式构造了在 $F$ 上不源自 $\mathbb{P}^3$ 上瞬子丛的 Ulrich 丛例子。

实验结果

研究问题

• RQ1 Segre 三次曲面 $F = \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 上秩为二的 aCM 丛模空间的结构是什么？
• RQ2 对于特定的陈类，能否证明此类丛模空间的有理性？
• RQ3 $F$ 上是否存在不源自 $\mathbb{P}^3$ 上零相关丛限制的 Ulrich 丛？
• RQ4 在 $F$ 的一个二次曲面截面 $Q \subset F$ 上稳定丛的限制与 $F$ 上 aCM 丛模空间之间有何关系？
• RQ5 当 $c_1 = 2h$ 且 $c_2 = 2h_2h_3 + 2h_1h_3 + 4h_1h_2$ 时，模空间的维数和几何性质是什么？

主要发现

• 模空间 $\mathcal{M}_F^{ss,U}(2; 2h, 2h_2h_3 + 2h_1h_3 + 4h_1h_2)$ 是有理的，因为它与已知有理的 $\mathcal{M}_Q^{\mu s}(0,2)$ 双有理等价。
• 映射 $e: \mathcal{M}_Q^{\mu s}(0,2) \to \mathcal{M}_F^{ss,U}(2; 2h, 2h_2h_3 + 2h_1h_3 + 4h_1h_2)$ 是单射且满射的，且由于两个空间的维数均为 5，因此是双有理的。
• 模空间中一般丛 $\mathcal{E}$ 满足 $\mathcal{E}(-h) \cong \operatorname{Homology}\left(0 \to \mathcal{O}_F(-h_1 - h_2) \to \mathcal{O}_F^{\oplus 4} \to \mathcal{O}_F(h_1 + h_2) \to 0\right)$，从而提供了正合列分解。
• 存在满足 $c_1 = 2h$ 和 $c_2 = 2h_2h_3 + 2h_1h_3 + 4h_1h_2$ 的 $F$ 上的 Ulrich 丛，它们不是 $\mathbb{P}^3$ 上零相关丛的限制，展示了超越标准瞬子族的新构造方法。
• 通过在 $Q$ 上使用 Serre 对偶性和 Riemann–Roch 公式进行上同调计算，证明了所构造丛在 $F$ 上中间上同调的消失，从而确认了 aCM 条件。
• 模空间是不可约的，维数为 5，与 Picard 数为 3 的 del Pezzo 三次曲面的已知结果一致。