[论文解读] Spanning Lattice Polytopes and the Uniform Position Principle

Johannes Hofscheier, Lukas Katthän+1 more|arXiv (Cornell University)|Nov 27, 2017

Mathematics and Applications参考文献 1被引用 6

一句话总结

该论文证明了斯坦利关于格多面体的 $h^*$-向量的更强不等式不仅对 IDP（整数分解性质）多面体成立，也对更广泛的生成格多面体类成立——即其整数点生成其所在仿射格的多面体。关键贡献是在最小假设下对斯坦利不等式的推广，通过将均匀位置原理推广至加权射影空间，并建立一个半标准型的贝尔蒂尼定理来实现。

ABSTRACT

A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds under much milder assumptions, namely if the lattice polytope $P$ is spanning, i.e., any lattice point of the ambient lattice is an integer affine combination of lattice points in $P$. As an application, we get a generalization of Hibi's Lower Bound Theorem. Our proof relies on generalizing Bertini's theorem to the semistandard situation and Harris' Uniform Position Principle to certain curves in weighted projective space.

研究动机与目标

• 将斯坦利关于 $h^*$-向量的更强不等式从 IDP 多面体推广至更广泛的生成格多面体类。
• 证明在比完整 IDP 更弱的生成性条件下，$h^*$-向量不等式依然成立。
• 将经典代数几何工具——贝尔蒂尼定理与哈里斯的均匀位置原理——推广至半标准及加权射影空间设置。
• 提出一种基于加权射影空间中几何与上同调技术的新证明框架，用于 $h^*$-向量不等式。
• 作为主结果的推论，恢复并推广了希比的下界定理。

提出的方法

• 将贝尔蒂尼定理推广至半标准情形，以确保加权射影空间中曲线的通用超平面截面保持其理想性质。
• 通过分析有限点集在通用超平面截面下的 Hilbert 函数，将哈里斯的均匀位置原理推广至加权射影空间中的曲线。
• 利用关联对应关系以及由 Hilbert 函数界定义的闭集的闭性性质，证明通用超平面截面中点的分布具有统一性。
• 通过同构和开稠密交的性质证明关联簇的不可约性，以确保存在一个具有所需性质的统一开集的超平面。
• 应用 $h^*$-向量理论与 Ehrhart 理论，将格多面体的组合结构与其在加权射影空间中的代数几何性质联系起来。
• 利用生成多面体通过整数仿射组合生成其所在仿射格的性质，将问题约化为加权射影空间中曲线的几何论证。

实验结果

研究问题

• RQ1 斯坦利关于 $h^*$-向量的更强不等式是否对生成但未必是 IDP 的格多面体成立？
• RQ2 均匀位置原理能否推广至加权射影空间中的曲线，以支持 $h^*$-向量的组合不等式？
• RQ3 何种最小几何条件可保证斯坦利的 $h^*$-向量不等式对格多面体成立？
• RQ4 在格粗化下 $h^*$-向量如何变化？关于其关联的生成多面体的 $h^*$-向量可得出何种结论？
• RQ5 能否通过生成性质将希比的下界定理推广至任意格多面体？

主要发现

• 斯坦利关于 $h^*$-向量的更强不等式对所有生成格多面体成立，而不仅限于 IDP 多面体，只要满足 $i+j < s$。
• $h^*$-向量满足 $h^*_1 + \cdots + h^*_i \leq h^*_{j+1} + \cdots + h^*_{j+i}$ 对所有 $i,j \in \mathbb{N}$ 且 $i+j < s$ 成立，这推广了斯坦利的原始结果。
• 该证明依赖于在加权射影空间中提出的新版本均匀位置原理，确保通用超平面截面的曲线具有统一的 Hilbert 函数。
• 作者建立了半标准贝尔蒂尼型定理，表明加权射影空间中曲线的通用超平面截面保持了不可约性与点构型的均匀性。
• 推论 1.6 表明，对任意格多面体 $P$，有 $h^*_1(P) \leq h^*_j(P)$ 对所有 $1 \leq j < \deg \tilde{P}$ 成立，将希比的下界定理推广至所有格多面体。
• 该结果对非生成多面体不成立，反例为 $[0,3]$ 与 $r=2$ 的 Reeve 单纯形的并，其 $h^*$-向量为 $(1,2,1,2)$，且在 $i=j=1$ 时违反不等式。