[论文解读] Unimodular covers of multiples of polytopes

Winfried Bruns, Joseph Gubeladze|ArXiv.org|Nov 14, 2001

Commutative Algebra and Its Applications参考文献 9被引用 10

一句话总结

本文证明了每个格点多面体 $d$-多面体 $P$ 在足够大的倍数 $cP$ 下都存在一个单模覆盖，且给出了阈值 $c = \frak{c}_d^{\text{pol}}$ 的显式上界。关键结果是一个定量界：$\frak{c}_d^\text{pol} \leq O(d^5) \left(\frac{3}{2}\right)^{\lceil \sqrt{d-1} \rceil (d-1)}$，该界通过在有理锥体上进行归纳以及单模剖分的方法证明，解决了 Ehrhart 理论与复几何中的一个长期悬而未决的问题。

ABSTRACT

Let P be a d-dimensional lattice polytope. We show that there exists a natural number c_d, only depending on d, such that the multiples cP have a unimodular cover for every natural number c >= c_d. Actually, a subexponential upper bound for c_d is provided, together with an analogous result for unimodular covers of rational cones.

研究动机与目标

• 解决一个核心开放问题：所有足够大的格点多面体 $d$-多面体的倍数是否都存在单模覆盖，这是离散几何中的一个中心问题。
• 为所有格点多面体 $P$ 的最小 $c$ 建立一个统一且显式的上界 $\frak{c}_d^\text{pol}$，使得 $cP$ 存在单模覆盖。
• 将结果推广到有理锥体：证明每个有理 $d$-锥体存在一个单模覆盖，且其 Hilbert 基包含在 $c\Delta_C$ 中，并利用此结果推导出多面体结果。
• 提供一种基于剖分、伸缩和格子子群的构造性归纳证明方法，避免依赖于先前的存在性定理。

提出的方法

• 使用有理、指向、多面体锥体作为多面体的对偶框架，通过维数实现归纳论证。
• 通过锥体的 Hilbert 基定义单模覆盖与剖分，重点关注极端整生成元及其凸包 $\Delta_C$。
• 应用伸缩技术：关键步骤使用以顶点为中心、伸缩因子为 $d/(d-1)$ 的伸缩映射 $\vartheta$，以控制相对于 $\Delta_C$ 的坏顶点的大小。
• 利用引理 2.2（关于相对于格子 $\mathcal{L}$ 的单模覆盖的单纯形），在平移和缩放后应用，以控制格子依赖性。
• 使用单纯形与锥体的 $\gamma$-伸缩，将它们嵌入 $\Delta_C$ 的缩放副本中，确保 Hilbert 基位于 $c\Delta_C$ 内，且 $c$ 可控。
• 通过维数归纳证明，利用低维面中的单模单纯形可借助直和结构扩展为全空间中的单模锥体这一事实。

实验结果

研究问题

• RQ1 对于哪些 $c$，每个格点多面体 $d$-多面体 $P$ 都存在 $cP$ 的单模覆盖？
• RQ2 是否存在一个有限的、显式的上界 $\frak{c}_d^\text{pol}$，仅依赖于 $d$，使得该 $c$ 满足条件？
• RQ3 是否能通过基于锥体的归纳方法而非直接分析多面体，来建立单模覆盖性质？
• RQ4 量化上，$\frak{c}_d^\text{pol}$ 对维数 $d$ 的依赖关系如何？

主要发现

• 本文为 $\frak{c}_d^\text{pol}$ 建立了有限上界，解决了所有 $d > 1$ 的存在性问题。
• 该上界显式给出为 $\frak{c}_d^\text{pol} \leq O(d^5) \left(\frac{3}{2}\right)^{\lceil \sqrt{d-1} \rceil (d-1)}$，其在 $d$ 上呈次指数增长。
• 结果通过锥体理论方法证明：每个有理 $d$-锥体存在一个单模覆盖，且其 Hilbert 基包含在 $c\Delta_C$ 中，其中 $c$ 如上界所示。
• 证明依赖于通过伸缩和格子子群控制剖分中的“坏顶点”，确保所有相关单纯形都位于 $\Delta_C$ 的一个缩放副本内。
• 该构造确保覆盖锥体 $C$ 的单模锥体的 Hilbert 基都包含在 $c\Delta_C$ 中，从而推出多面体结果。
• 该上界是有效且构造性的，阈值 $c$ 仅依赖于 $d$，而不依赖于特定的多面体或锥体。