[论文解读] Convex lattice polytopes and cones with few lattice points inside, from a birational geometry viewpoint

Alexandr Borisov|ArXiv.org|Jan 19, 2000

Algebraic Geometry and Number Theory参考文献 20被引用 15

一句话总结

本文综合了关于具有少量格点的凸格多面体与单纯有理锥的已知结果，强调其在双有理几何与 торic Fano 代数簇中的作用。文章提供了 Hensley 有限性定理的几何证明，表明对于任意维度和正数 $\varepsilon$，仅存在有限多个格多面体，其 $\varepsilon$-缩放后不包含内部格点，该证明基于紧致性与格子群动力系统。

ABSTRACT

It is pretty well-known that toric Fano varieties of dimension k with terminal singularities correspond to convex lattice polytopes P in R^k of positive finite volume, such that intersection of P and Z^k consists of the point 0 and vertices of P. Likewise, Q-factorial terminal toric singularities essentially correspond to lattice simplexes with no lattice points inside or on the boundary (except the vertices). There have been a lot work, especially in the last 20 years or so on classification of these objects. The main goal of this paper is to bring together these and related results, that are currently scattered in the literature. We also want to emphasize the deep similarity between the problems of classification of toric Fano varieties and classification of Q-factorial toric singularities.

研究动机与目标

• 从双有理几何的角度，统一并澄清关于凸格多面体与具有少量格点的锥的零散结果。
• 突出 toric Fano 代数簇的分类与 $\mathbb{Q}$-因子化 toric 奇点之间深层的结构相似性。
• 为 $\varepsilon$-缩放后无内部格点的格多面体的 Hensley 定理的定性版本，提供一种全新的几何证明。
• 识别开放问题，并为格多面体分类与奇点理论的未来研究指明方向。

提出的方法

• 通过 Minkowski 引理将问题约化至单形情形，特别关注其顶点生成整数格的单形。
• 在标准单纯形 $\Delta \subset T^k$ 中利用紧致性，分析格点的聚点。
• 应用群论动力系统：若一列格点 $O_i$ 收敛于 $O^*$，则 $nO_i$ 最终必须进入单纯形且不同于 $O_i$，若无其他格点存在，将导致矛盾。
• 基于 $nO_i$ 在 $nO^*$ 附近稠密的矛盾论证，表明此类序列不可能存在而不引入额外格点。
• 利用原始格与单形顶点生成格之间的商格结构，将问题约化为有限搜索空间。
• 通过将多面体缩放 $\varepsilon$ 倍，将论证推广至 $\varepsilon$-对数终端与 $\varepsilon$-对数典范奇点的情形。

实验结果

研究问题

• RQ1 从格点条件的角度看，toric Fano 代数簇的分类与 $\mathbb{Q}$-因子化 toric 奇点的分类之间存在何种精确关系？
• RQ2 Hensley 定理的定性有限性结果能否通过几何与拓扑论证而非解析界来重新证明？
• RQ3 $\mathbb{Q}$-因子化 toric 奇点的对数分歧值在退化下如何表现？这对极小模型程序有何启示？
• RQ4 在给定维度下，所有无格点多面体的集合具有何种结构？能否对其进行参数化或分类？
• RQ5 Hensley 定理中的有效界能否被改进或推广至非单形多面体或非终端奇点？

主要发现

• 对于任意维度 $k$ 和 $\varepsilon > 0$，在 $GL_k(\mathbb{Z})$-等价意义下，仅存在有限多个 $k$ 维凸格多面体 $P$，使得 $\varepsilon P \cap \mathbb{Z}^k = \{0\}$。
• 具有 $\varepsilon$-对数终端奇点的 toric Fano 代数簇的有限性，源于相同的原理，这对应于多面体上的 $\varepsilon$-缩放条件。
• 本文给出的 Hensley 定理的证明是几何的且非有效性的，依赖于紧致性与环面中格子群作用的动力系统。
• 相同方法可应用于 $\varepsilon$-对数典范与 Gorenstein 指数为 $n$ 的情形，表明其分类同样是有限的。
• 作为主定理的推论，对于任意固定的 $m$ 与 $k$，恰好包含 $m$ 个内部格点的格多面体集合是有限的。
• 本文证实了 $\mathbb{Q}$-因子化 toric 奇点的对数分歧值仅从上方聚集，且仅聚集于低维情形的值，支持了 Shokurov 的一个猜想。