[论文解读] The quest for counterexamples in toric geometry

Winfried Bruns|arXiv (Cornell University)|Oct 9, 2011

Geometric and Algebraic Topology参考文献 21被引用 15

一句话总结

本文提出一种实验性计算方法，用于寻找两个在代数几何中尚未解决的紧致环面簇问题的反例：光滑射影环面簇是否为算术正则性（N），以及其定义理想是否在度数2内生成（Q）。通过算法生成来自扇图的光滑格多面体、计算其支撑多面体，并测试正则性与二次生成性，作者未发现任何反例，表明这两个性质可能普遍成立——尽管该构造方法可能天然地避开了复杂情形。

ABSTRACT

We discuss an experimental approach to open problems in toric geometry: are smooth projective toric varieties (i) projectively normal and (ii) defined by degree 2 equations? We discuss the creation of lattice polytopes defining smooth toric varieties as well as algorithms checking properties (i) and (ii) and further potential properties, in Particular a weaker version of (ii) asking for scheme-theoretic definition in degree 2.

研究动机与目标

• 研究所有光滑射影环面簇是否为算术正则性（N），即其齐次坐标环是否为正则环。
• 确定光滑射影环面簇的理想是否在度数2内生成，此问题在维度≥3时仍为开放问题。
• 开发并应用计算工具，生成并测试光滑格多面体的性质（N）与（Q），重点关注最小反例。
• 探索鲁棒性与切削技术的作用，以在保持光滑性的同时缩减多面体，同时检测非正则性或非二次生成性。
• 研究非常 ample 但非正则的格多面体作为（N）的潜在反例，尤其关注简单多面体情形。

提出的方法

• 通过在对偶空间 $V^*$ 中随机构造光滑扇图，生成光滑射影环面簇，并映射到原空间 $V = \mathbb{R}^d$ 中的格多面体。
• 利用扇图与格多面体之间的对应关系，从这些扇图计算支撑多面体，确保多面体为光滑且射影的。
• 通过 Normaliz 软件计算 Hilbert 基，高效检测幺半群代数的正则性，以测试算术正则性（N）。
• 通过分析多面体的环面理想来测试二次生成性（Q）；利用度数2内方案理论定义的组合准则，加速测试过程。
• 应用切削法：从光滑多面体中迭代移除格点（尤其是顶点），在保持光滑性的同时减小尺寸，以寻找最小反例。
• 对已知正则多面体应用缩小技术，以寻找非常 ample 但非正则的实例，尤其关注低维情形。

实验结果

研究问题

• RQ1 所有光滑射影环面簇是否都是算术正则性，即其齐次坐标环是否为正则环？
• RQ2 每个光滑射影环面簇的理想是否都在度数2内生成？
• RQ3 是否存在光滑且非常 ample 的格多面体但非正则，尤其在简单多面体情形下？
• RQ4 （N）或（Q）的最小反例是否存在？若存在，它们在切削操作下是否具有鲁棒性？
• RQ5 能否系统性地构造非常 ample 但非正则的格多面体？它们在低维中是否存在？

主要发现

• 尽管使用了扇图生成、多面体计算与性质测试的算法进行了广泛计算搜索，仍未发现（N）或（Q）的反例。
• 搜索结果表明（N）与（Q）可能普遍成立，但反例的缺失可能源于构造方法本身的局限性。
• 开发了一种用于度数2内方案理论定义的组合准则，使对具有大量格点的多面体的高效测试成为可能。
• 切削法揭示，（Q）或（N）的最小反例必须具有鲁棒性，即在不损失光滑性的前提下无法通过移除格点来简化。
• 非常 ample 但非正则的格多面体确实存在；首个此类例子在维度5中被发现，且缩小技术可产生更多实例。
• 简单非常 ample 但非正则的多面体目前仍未知，尽管本研究中通过扇图方法生成的所有简单多面体均被发现为正则。