[论文解读] Deformations of Toric Varieties via Minkowski Sum Decompositions of Polyhedral Complexes

Anvar R. Mavlyutov|arXiv (Cornell University)|Feb 5, 2009

Algebraic Geometry and Number Theory参考文献 19被引用 22

一句话总结

本论文通过多面复形的闵可夫斯基和分解，将环面簇的形变推广至更高维环面簇中的素二项式完备交嵌入，利用考克斯齐次坐标实现。关键贡献在于：对于具有至多 Gorenstein 末端奇点的紧致单纯环面簇，这些形变通过 Kodaira-Spencer 映射覆盖了完整的无穷小形变空间；对于法诺环面簇，其形变可嵌入于 Batyrev-Borisov 镜像对称框架之中。

ABSTRACT

We generalized the construction of deformations of affine toric varieties of K. Altmann and our previous construction of deformations of weak Fano toric varieties to the case of arbitrary toric varieties by introducing the notion of Minkowski sum decompositions of polyhedral complexes. Our construction embeds the original toric variety into a higher dimensional toric variety where the image is given by a prime binomial complete intersection ideal in Cox homogeneous coordinates. The deformations are realized by families of complete intersections. For compact simplicial toric varieties with at worst Gorenstein terminal singularities, we show that our deformations span the infinitesimal space of deformations by Kodaira-Spencer map. For Fano toric varieties, we show that their deformations can be constructed in higher-dimensional Fano toric varieties related to the Batyrev-Borisov mirror symmetry construction.

研究动机与目标

• 将阿尔特曼对仿射环面簇的形变构造推广至任意环面簇，采用新的组合框架。
• 利用考克斯齐次坐标，将环面簇嵌入高维环面簇中作为素二项式完备交。
• 证明对于具有 Gorenstein 末端奇点的紧致单纯环面簇，所构造的形变覆盖了完整的无穷小形变空间。
• 在 Batyrev-Borisov 镜像对称构造中实现 Gorenstein 法诺环面簇的形变。
• 为理解环面簇中卡拉比-丘完备交的形变提供统一框架，基于环境形变。

提出的方法

• 引入多面复形的闵可夫斯基和分解概念，作为阿尔特曼锥切分构造的推广。
• 利用考克斯的齐次坐标环，定义环面簇在高维环面簇中作为完备交的嵌入。
• 通过混合主导矩阵刻画嵌入的定义理想为完备交环面理想，遵循 Fischer 与 Shapiro 的方法。
• 将形变族构造为环境环面簇中的完备交，由形变参数参数化。
• 应用 Kodaira-Spencer 映射，验证对于紧致单纯环面簇，形变族捕获了完整的无穷小形变空间。
• 通过将构造嵌入对偶构造，将其与法诺环面簇的 Batyrev-Borisov 镜像对称框架联系起来。

实验结果

研究问题

• RQ1 能否使用统一的组合框架，将阿尔特曼对仿射环面簇的形变构造推广至任意环面簇？
• RQ2 对于具有 Gorenstein 末端奇点的紧致单纯环面簇，所构造的形变是否覆盖了整个无穷小形变空间？
• RQ3 Gorenstein 法诺环面簇的形变能否在 Batyrev-Borisov 镜像对称构造中实现？
• RQ4 多面复形的闵可夫斯基和分解在参数化环面簇非平凡形变中起什么作用？
• RQ5 考克斯坐标中的完备交理想如何与高维环面环境空间中形变的几何相关联？

主要发现

• 对于具有至多 Gorenstein 末端奇点的紧致单纯环面簇，所构造的形变通过 Kodaira-Spencer 映射为同构，覆盖了完整的无穷小形变空间。
• 此类簇的形变空间维数与切丛的 H^1 上同调群一致，具体为 dim H^1(X, T_X) = 6，当 l(Δ) = 4 且 k = 2 时。
• 形变族 X′_Δ → ℂ^6 是 Gorenstein 法诺环面簇（ℙ² 的镜像）的 crepant 陈疏的完整形变族。
• 该构造将法诺环面簇的形变实现为高维法诺环面簇中的完备交，与 Batyrev-Borisov 镜像对称框架一致。
• 使用考克斯齐次坐标可实现非平凡形变，即使在仿射坐标下定义方程非正则序列，从而推广了阿尔特曼的齐次形变构造。
• 通过混合主导矩阵刻画完备交环面理想，确保定义的二项式构成正则序列，且理想为素理想，具有正确的余维数。