[论文解读] ACM bundles on cubic fourfolds containing a plane

Martí Lahoz, Emanuele Macrì+1 more|arXiv (Cornell University)|Mar 27, 2013

Algebraic Geometry and Number Theory参考文献 46被引用 6

一句话总结

本文建立了包含平面的立方四fold所关联的K3曲面的光滑点集与该四fold上秩为4的Gieseker稳定ACM丛模空间之间的几何对应关系。通过Kuznetsov的半正交分解与导出范畴技术，本文将K3曲面实现为这类丛的模空间，提供了首个已知的在立方四fold上秩为4的稳定ACM丛的二维族实例。

ABSTRACT

We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four.

研究动机与目标

• 理解包含平面的立方四fold上Arithmetically Cohen-Macaulay（ACM）丛的结构。
• 探讨此类四fold的导出范畴通过Kuznetsov的半正交分解，如何与关联K3曲面的几何结构相关联。
• 利用二次纤维化的几何结构，构建并表征立方四fold上稳定ACM丛的模空间。
• 将与四fold关联的K3曲面实现为秩为4的Gieseker稳定ACM丛的模空间。
• 通过傅里叶-穆凯伊函子，提供K3曲面导出范畴嵌入立方四fold导出范畴的几何实现。

提出的方法

• 利用包含平面的立方四fold的导出范畴的Kuznetsov半正交分解，将其分解为子范畴T_Y与三个线丛。
• 通过从四fold中的平面进行投影，构造一个在P²上的二次纤维化π，从而在P²上得到一个Clifford代数层B₀。
• 建立D^b(P², B₀)与D^b(S, A₀)之间的等价关系，其中S是沿六次曲线C分支的P²的双重覆盖K3曲面。
• 利用导出等价性，将四fold上ACM丛的研究转移至P²上B₀-模复形的研究。
• 通过突变与傅里叶-穆凯伊函子，在D^b(S × Y, p₁*α)中构造一个扭曲的普遍族M，从而实现D^b(S, α)到D^b(Y)的嵌入。
• 证明K3曲面S的光滑点集S_reg同构于Y上具有类(4, -2H, -P, l, 1/4)的Gieseker稳定ACM丛模空间的一个开子集。

实验结果

研究问题

• RQ1 包含平面的立方四fold所关联的K3曲面能否被实现为四fold上稳定ACM丛的模空间？
• RQ2 在包含平面的立方四fold上，秩为4的Gieseker稳定ACM丛模空间的几何结构是什么？
• RQ3 通过其半正交分解，四fold的导出范畴如何与关联K3曲面的几何结构相关联？
• RQ4 是否存在一个自然的傅里叶-穆凯伊核，实现K3曲面导出范畴到四fold导出范畴的嵌入？
• RQ5 此类四fold上稳定ACM丛族的维数与结构如何？

主要发现

• 与包含平面P的立方四foldY关联的K3曲面S的光滑点集S_reg同构于Y上具有类(4, -2H, -P, l, 1/4)的Gieseker稳定ACM丛模空间的一个开子集。
• 这提供了首个已知的在立方四fold上秩为4的稳定ACM丛的二维族实例。
• 此类丛的模空间在其光滑点集上自然携带一个辛形式，因为由Ext群诱导的切空间同构与S上的辛结构一致。
• Y × S上的丛的普遍族通过涉及例外除子与纤维化结构的复形的突变，被构造为一个扭曲层。
• D^b(S, α)到D^b(Y)的嵌入被实现为一个全粹的傅里叶-穆凯伊函子，其核M是S × Y上一个扭曲的局部自由层。
• 当S光滑时，模空间同构于S，从而在K3曲面与秩为4的ACM丛模空间之间建立了精确的几何对应关系。