[论文解读] Toric Fano 3-folds with terminal singularities

Alexander Kasprzyk|arXiv (Cornell University)|Nov 17, 2003

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

一句话总结

本文通过解决一个组合问题，对具有终端奇点的 toric Fano 3- folds 进行了完全分类：即在 GL(3,ℤ) 等价意义下，找出 ℤ³ 中所有以原点为唯一非顶点格点的凸格多面体。基于从极小多面体出发的顶点添加递归算法，作者计算出共有 634 个此类多面体，其中 233 个具有至多 Q-因子奇点，401 个具有终端但非 Q-因子奇点。

ABSTRACT

This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.

研究动机与目标

• 通过纯组合方法对所有具有终端奇点的 toric Fano 3- folds 进行分类。
• 解决等价问题：找出 ℤ³ 中所有以原点为唯一非顶点格点的凸格多面体。
• 在 GL(3,ℤ) 等价意义下，确定此类多面体的完整列表，包括其极小和极大代表元。
• 提供一种算法框架，通过从极小情形递归添加顶点，生成所有此类 Fano 多面体。
• 通过在线存储库公开完整分类及相关数据，以供进一步研究使用。

提出的方法

• 该分类基于 toric Fano 代数簇与包含原点为唯一内部格点的凸格多面体之间的对应关系。
• 该方法使用一种递归算法，通过向已有 Fano 多面体添加顶点来扩展多面体，起始于极小多面体。
• 顶点添加受几何条件约束：新顶点必须位于从原点出发、通过当前多面体边界上某点的射线上，该点对应于顶点、边或面。
• 算法通过确保原点为唯一内部格点且所有顶点均为格点，来检查结果多面体是否仍为 Fano 多面体。
• 该过程通过计算实现，使用一个在线的 C 程序，可生成所有此类多面体在 GL(3,ℤ) 等价意义下的结果。
• 通过验证所有可能的顶点添加是有限的，且结果多面体满足 Fano 和终端奇点条件，对分类结果进行验证。

实验结果

研究问题

• RQ1 在同构意义下，共有多少个具有终端奇点的 toric Fano 3- folds？
• RQ2 ℤ³ 中所有以原点为唯一非顶点格点的凸格多面体的完整列表是什么？
• RQ3 这些多面体中，哪些对应于 Q-因子或非 Q-因子的终端奇点？
• RQ4 分类的极小和极大代表元是什么？它们如何通过顶点添加相互关联？
• RQ5 能否通过从极小情形出发的组合增长方法，实现此类 Fano 多面体的有限且算法化的分类？

主要发现

• 共有 233 个具有终端奇点且至多为 Q-因子的 toric Fano 3- folds，其中 18 个是光滑的。
• 另有 401 个具有终端奇点但非 Q-因子的 toric Fano 3- folds，总计 634 个此类代数簇。
• 该分类包括 8 个 Picard 数为 1 的极小 Fano 多面体，以及总共 12 个极小情形，其奇点至多为 Q-因子。
• 最大 Fano 多面体列于表 6，其中最大者有 14 个顶点，且为单形。
• 按顶点数分布，多面体数量在 8 个顶点时达到峰值（151 个），仅有 1 个多面体具有 14 个顶点。
• 完整列表，包括父子关系，可在线获取：http://www.maths.bath.ac.uk/~mapamk/pdf/FanoList.pdf。