[论文解读] Toric manifolds with degenerate dual variety and defect polytopes

Sandra Di Rocco|ArXiv.org|May 9, 2003

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

一句话总结

本文通过证明当组合不变量 $ c(P) $ 恰好为零时，具有退化对偶簇的toric流形恰好对应于Delzant多面体，从而对对偶簇维数低于预期的toric流形进行了分类。关键结果表明，此类流形要么是射影空间，要么是低维Delzant多面体的射影并，从而通过toric几何与组合学完全刻画了“缺陷多面体”。

ABSTRACT

We classify projective toric manifolds whose dual variety is not a hypersurface in the dual projective space. Under the standard dictionary between toric geometry and convex geometry, they correspond to certain convex Delzant integer polytopes, P, which we call defect polytopes. Using the geometrical classification we give a detailed description of defect polytopes and prove that they are characterized by the vanishing of a combinatorial invariant, denoted by c(P). We further prove that a related invariant, c*(P), is nonnegative, for any simple convex integral polytope.

研究动机与目标

• 对具有正对偶缺陷的射影toric流形进行分类，即其对偶簇维数低于预期的流形。
• 刻画积分凸多面体（称为“缺陷多面体”）的组合不变量 $ c(P) $ 为零的情形。
• 建立toric流形中对偶缺陷的几何条件与组合不变量 $ c(P) $ 为零之间的等价性。
• 证明对于单多面体，$ c(P) $ 非负，且仅当多面体为Delzant多面体的射影并时为零。

提出的方法

• 利用toric簇与凸多面体之间的标准对应关系，将几何问题转化为组合问题。
• 定义不变量 $ c(P) = \sum_{F \in F(P)} (-1)^{\mathrm{codim}(F)} (\dim(F)+1)! \mathrm{Vol}(F) $，其中 $ \mathrm{Vol}(F) $ 为面 $ F $ 的积分体积。
• 应用 [BeFaSo] 中的结果及toric作用的性质，分析toric流形的对偶簇。
• 证明 $ c(P) = 0 $ 当且仅当 $ P $ 是标准单纯形或低维Delzant多面体的射影并。
• 通过对乘积 $ P \times [0,m] $ 使用归纳法与极限论证，证明相关不变量 $ c_t(P) $（$ t \geq 1 $）的非负性。
• 猜想：$ f(P,n) = \sum_{k=0}^r (-n)^{r-k} (k+1)! \sum_{F \in P(k)} |\mathbb{Z}^F \cap nF| $ 是一个具有非负整数系数的多项式。

实验结果

研究问题

• RQ1 哪些射影toric流形的对偶簇维数低于预期？
• RQ2 对于哪些积分凸多面体，不变量 $ c(P) $ 为零？
• RQ3 满足 $ c(P) = 0 $ 的多面体的组合结构是什么？其与toric几何有何关联？
• RQ4 对于积分多面体，不变量 $ c(P) $ 是否恒为非负？其几何意义为何？
• RQ5 能否证明编码了面体积与欧拉示性数的多项式 $ f(P,n) $ 具有非负系数？

主要发现

• 具有正对偶缺陷的toric流形要么是 $ \mathbb{P}^r $，要么是低维toric流形 $ Y(\Delta') $ 上的射影丛 $ \mathbb{P}(\mathcal{L}_0 \oplus \cdots \oplus \mathcal{L}_{(r+d)/2}) $。
• 对偶缺陷 $ d(X(\Delta)) > 0 $ 当且仅当其对应的多面体 $ P $ 满足 $ c(P) = 0 $。
• 对于Delzant多面体，$ c(P) = 0 $ 当且仅当 $ P $ 是标准单纯形或低维Delzant多面体（维数为 $ \frac{r-d}{2} $）的射影并。
• 不变量 $ c_1(P) = c(P) $ 对所有单多面体非负，且仅当为缺陷多面体时为零。
• 通过面体积与交错和定义的多项式 $ f(P,n) $ 被猜想具有非负整数系数，且 $ c(P) = d_r(P) $ 为其首项系数。
• 通过欧拉数与面体积计算得 $ c(\Delta(3,6)) = 352 $，支持了对一般多面体 $ c(P) $ 的非负性。