[论文解读] Canonical divisors on T-varieties

Hendrik Süß|arXiv (Cornell University)|Nov 5, 2008

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文通过利用拟仿射函数描述不变除子并提供一个充分必要条件来研究具有低维环面作用的T-簇——即T-簇的凸几何框架。该框架被应用于分类Picard数为1且Gorenstein指标≤3的对数del Pezzo C∗-曲面，并进一步推广至Fano三叉，通过除子族和曲线上的多面体除子显式构造了等变光滑化。

ABSTRACT

Generalising toric geometry we study compact varieties admitting lower dimensional torus actions. In particular we describe divisors on them in terms of convex geometry and give a criterion for their ampleness. These results may be used to study Fano varieties with small torus actions. As a first result we classify log del Pezzo C*-surfaces of Picard number 1 and Gorenstein index less than 4. In further examples we show how classification might work in higher dimensions and we give explicit descriptions of some equivariant smoothings of Fano threefolds.

研究动机与目标

• 将环道几何推广至具有低维环面作用的T-簇，从而在环道设定之外研究Fano簇和del Pezzo簇。
• 提供一种系统化方法，利用多面体除子上的拟仿射函数描述不变除子、典范除子和交数。
• 建立T-簇上除子的充分必要条件，该条件对分类Fano簇和对数del Pezzo簇至关重要。
• 将该框架应用于分类具有C∗-作用、Picard数为1且Gorenstein指标≤3的对数del Pezzo曲面。
• 将该方法推广至高维Fano簇，通过除子族显式展示奇异Fano三叉的等变光滑化。

提出的方法

• 使用在射影曲线Y上的多面体除子来描述具有codimension-one环面作用的T-簇，其中除子的系数位于一个固定的尾锥内。
• 通过在对偶锥σ∨∩M上的拟仿射函数定义不变除子，其中D(u) = ∑ min⟨u,v⟩D对v∈∆D求和。
• 建立一个充分必要条件：若对所有u属于σ∨的相对内部，D(u)为ample，且对所有u∈σ∨∩M，D(u)为semi-ample且Cartier，则D为ample。
• 通过公式K_X = -∑_{D∈Ξ} (1 - deg(D)) · D构造典范除子，其中deg(D)为多面体除子的次数。
• 使用除子族拼接仿射T-簇X(D)，其中截面对应于Y上点的纤维，从而实现全局几何构造。
• 通过格点自同构和Minkowski分解描述奇异Fano三叉的等变光滑化，例如dP6上的锥。

实验结果

研究问题

• RQ1 具有codimension-one环面作用的T-簇上，不变除子和典范除子的凸几何表征是什么？
• RQ2 一个T-簇上除子的充分必要条件（以多面体除子系数表示）是什么？
• RQ3 具有C∗-作用、Picard数为1且Gorenstein指标≤3的对数del Pezzo曲面是否存在？如何对其进行分类？
• RQ4 能否通过除子族和多面体除子显式描述奇异Fano三叉的等变光滑化？
• RQ5 维度为3且Picard数为1的T-簇为光滑且非环道的充要条件是什么？

主要发现

• 本文完全分类了Picard数为1且Gorenstein指标≤3的对数del Pezzo C∗-曲面，表明此类曲面仅在指标为1和3时存在，而不存在于指标为2的情形。
• 对每个奇数Gorenstein指标ℓ，存在一个一维参数族的Picard数为1且指标为ℓ的对数del Pezzo曲面，其通过具有特定多面体系数的多除子构造而成。
• 度数为6的del Pezzo曲面的射影锥存在两种不同的等变光滑化，均可通过P1 × A1上的除子族描述，其中在y=0,1,x,2x处具有非平凡截面。
• 光滑化族的通解为P(TP2)，而y=0处的纤维为dP6上的奇异锥，奇异顶点多面体的Minkowski分解反映了光滑化过程。
• 仅有的Picard数为1且具有T²-作用的光滑Fano三叉为P³和光滑二次曲面Q³，该结论通过分析除子族的尾扇和顶点结构得出。
• 维度为3且Picard数为1的光滑T-簇必须在其除子族中恰好具有两个非平凡截面，每个截面包含两个顶点，且尾扇有一个非整数平移，从而在格点自同构下唯一确定。