[论文解读] Projective Q-factorial toric varieties covered by lines

Cinzia Casagrande, Sandra Di Rocco|ArXiv.org|Dec 16, 2005

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

一句话总结

本文为被直线覆盖的投影Q-因子化toric簇建立了结构分解，证明其可纤维化为一个基底簇上的toric纤维丛，其中纤维为投影连结的积。关键结果是：所有与稠密torus相交的直线均位于这些纤维内，从而为对偶缺陷簇与格点集的判别式研究提供了应用。

ABSTRACT

The main result of this paper is a structural theorem for projective Q-factorial toric varieties X in P^N, covered by lines. We prove that there exists a toric fibration f: X -> Z, locally trivial in the Zariski topology, with fiber a product of projective joins. All lines in X intersecting the open subset isomorphic to the torus, are contained in some fiber of f. This characterization has a geometrical application to dual defective toric varieties, and a combinatorial application to discriminants of lattice subsets. We prove that X has positive dual defect if and only if it has an elementary extremal contraction of fiber type, whose general fiber is a projective join with dual defect bigger than its codimension in X. Turning to combinatorics, we characterize lattice subsets A with discriminant D_A equal to one, under suitable assumptions on the polytope Conv(A).

研究动机与目标

• 使用几何与组合方法对被直线覆盖的投影Q-因子化toric簇进行分类。
• 理解此类簇中与稠密torus相交的直线的结构。
• 通过极小收缩刻画具有正对偶缺陷的簇。
• 确定格点子集的判别式等于1的条件。
• 将几何纤维丛与关联多面体的组合性质联系起来。

提出的方法

• 构造一个在Zariski拓扑下局部平凡的toric纤维丛 f: X → Z。
• 分析 f 的纤维，证明其为投影连结的积。
• 利用 X 中直线的几何性质，证明它们包含在 f 的纤维内。
• 将纤维型的极小收缩与对偶缺陷性质相关联。
• 应用组合技术于格点集及其凸包。
• 在多面体假设下，刻画格点子集 A 的判别式 D_A 等于1的条件。

实验结果

研究问题

• RQ1 被直线覆盖的投影Q-因子化toric簇的全局几何结构是什么？
• RQ2 与稠密torus相交的直线在这些簇中如何分布？
• RQ3 何时一个toric簇具有正对偶缺陷，且这与它的纤维结构有何关联？
• RQ4 在何种条件下，格点子集的判别式等于1？
• RQ5 关联多面体的组合性质如何影响判别式与对偶缺陷？

主要发现

• 每个被直线覆盖的投影Q-因子化toric簇都存在一个toric纤维丛 f: X → Z，其纤维为投影连结的积。
• 所有与稠密torus相交的 X 中直线均位于 f 的同一纤维内。
• 一个toric簇具有正对偶缺陷，当且仅当它存在一个纤维型的初等极小收缩，且其纤维的对偶缺陷大于其在 X 中的余维数。
• 当 A 的凸包满足某些组合条件时，格点子集 A 的判别式 D_A 等于1，特别是与关联多面体的结构密切相关。
• 纤维丛结构为判别式与对偶缺陷的组合性质提供了几何实现。
• 结果在判别式不变量的框架下，精确建立了toric簇的几何与格点集组合性质之间的联系。