法诺三维流形上的 Mukai 丛

我们给出了关于素法诺三维流形上某些特殊向量丛存在性的 Mukai 定理的一个证明。据我们所知，这是文献中第一个完整的证明。该结果对于 Mukai 对素法诺三维流形的双有理分类，以及在其导出范畴中半正交分解的存在性至关重要。我们的方法基于 Lazarsfeld 的构造（该构造从除子上整体生成的线丛产生代数簇上的向量丛）、Mukai 关于 K3 曲面上稳定向量丛的理论，以及曲线和（在 Mukai 意义上）K3 曲面的 Brill-Noether 性质。