[论文解读] Picard-graded Betti numbers and the defining ideals of Cox rings

Antonio Laface, Mauricio Velasco|ArXiv.org|Jul 22, 2007

Algebraic Geometry and Number Theory参考文献 5被引用 3

一句话总结

本文引入了Picard-graded Betti数作为研究Mori Dream空间（特别是Del Pezzo曲面）的Cox环定义理想的一种工具。通过构建一个其上同调计算Betti数的层上同调群复形，作者提供了一种几何方法来分析Cox环理想最小生成元，从而给出了Del Pezzo曲面（度数>1）的Cox环为二次代数的新证明。

ABSTRACT

Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how the homology of these complexes can be studied by purely geometric methods. As an application of these techniques we give a simple new proof of a characterization of the Cox rings of Del Pezzo surfaces (of degree >1) conjectured by Batyrev and Popov.

研究动机与目标

• 开发一种利用层上同调复形计算Cox环Picard-graded Betti数的几何方法。
• 以几何不变量的形式刻画Cox环定义理想的最小生成元的次数。
• 通过几何syzygy方法，为Batyrev-Popov猜想（即Del Pezzo曲面的Cox环为二次代数）提供新证明。
• 建立第一个Betti数消失的条件，特别是对于反canonical度数≥2的nef除子。
• 通过syzygetic技术统一并推广关于有理曲面Cox环结构的先前结果。

提出的方法

• 对每个$\operatorname{Pic}(X)$中的除子$D$，定义一个由层上同调群$H^0(X, D - C_{i_1} - \cdots - C_{i_j})$构成的复形$\mathbb{A}(D)$。
• 利用剩余场的Koszul复形分解，将$\mathbb{A}(D)$的上同调与$\operatorname{Cox}(X)$的$\operatorname{Pic}(X)$-graded Betti数联系起来。
• 证明$b_{i,D}(\operatorname{Cox}(X)) = \dim_k H_i(\mathbb{A}(D))$，将代数Betti数与几何上同调联系起来。
• 应用Kawamata-Viehweg消失定理，证明在特定曲线配置条件下有$h^1(D - A - B - C) = 0$。
• 通过在例外曲线上的组合游戏（即“捕获游戏”）验证Del Pezzo曲面上高阶上同调的消失。
• 通过归纳法和相关$D$的$b_{1,D}$消失性，证明Cox环理想的全部最小生成元均位于反canonical度数2。

实验结果

研究问题

• RQ1 Cox环的Picard-graded Betti数具有何种几何意义？
• RQ2 对于给定除子$D$，何时第一个Betti数$b_{1,D}(\operatorname{Cox}(X))$消失？
• RQ3 能否通过几何syzygy方法证明Del Pezzo曲面Cox环的定义理想由度数2生成？
• RQ4 Del Pezzo曲面上例外曲线的结构如何用于控制syzygy复形中的上同调消失？
• RQ5 是否存在一个统一的几何准则，使得$\mathbb{A}(D)$中的$H^1$消失，从而蕴含Cox环的二次表示？

主要发现

• Cox(X)的$\operatorname{Pic}(X)$-graded Betti数被计算为复形$\mathbb{A}(D)$的上同调群的维数，该复形由线丛的层上同调构建而成。
• 对于任意满足$4 \leq r \leq 7$的Del Pezzo曲面$X_r$，定义$\operatorname{Cox}(X_r)$的理想的所有最小生成元均位于反canonical度数2，从而证明了Batyrev-Popov猜想。
• 通过复形$\mathbb{A}(D)$中的上同调消失性，证明了所有反canonical度数$\geq 2$且收缩曲线的nef除子$D$，均有$b_{1,D}(\operatorname{Cox}(X))$消失。
• 对于$r=7$，通过例外曲线上的“捕获游戏”和Kawamata-Viehweg消失定理，证明了所有反canonical度数$\geq 3$的$D$，均有$b_{1,D}(\operatorname{Cox}(X_7))$消失。
• 复形$\mathbb{A}(D)$为Koszul syzygy复形提供了几何实现，使得可利用交点理论和曲线配置推导出Betti数的消失性。
• 证明表明，Del Pezzo曲面Cox环的定义理想由二次型生成，确认了$\operatorname{Cox}(X_r) \cong k[V_r]/Q_r$对$4 \leq r \leq 7$成立。