[论文解读] Cayley decompositions of lattice polytopes and upper bounds for h^*-polynomials

Christian Haase, Benjamin Nill+1 more|arXiv (Cornell University)|Apr 23, 2008

Advanced Combinatorial Mathematics参考文献 6被引用 8

一句话总结

本文通过高维格点多面体在大倍乘下无内点时必可分解为低维多面体的Cayley和这一强Cayley分解定理，建立了格点多面体归一化体积的上界，该上界仅依赖于其h*-多项式次数与首项系数，从而证实了Batyrev的猜想。该结果表明，此类多面体受维度与次数的约束，通过体积估计与Minkowski分解技术导出显式上界。

ABSTRACT

We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem which says, roughly speaking, that any lattice polytope with a large multiple that has no interior lattice points has a nontrivial decomposition as a Cayley sum of polytopes of smaller dimension. In an appendix, we interpret this result in terms of adjunction theory for toric varieties.

研究动机与目标

• 解决Batyrev的猜想：格点多面体的归一化体积可由其h*-多项式次数与首项系数界定。
• 利用Cayley分解，对高维格点多面体在大倍乘下无内点的结构进行分类。
• 将格点多面体的组合结构与toric代数几何中的伴随理论联系起来。
• 为h*-次数与首项系数固定的格点多面体提供一个有效且与维度无关的体积上界。

提出的方法

• 提出强Cayley分解定理：任意h*-次数为d且维度足够高的格点多面体，必可分解为低维格点多面体的Cayley和。
• 利用(n−d)P中无内点格点的事实，推导出该多面体可进行非平凡Cayley分解，且因子数至多为(d² + 19d − 4)/2。
• 通过Minkowski和与坐标宽度估计应用体积界，利用Lagarias–Ziegler等人关于格点多面体体积的结果。
• 运用Hölder不等式与积分几何，将多面体体积作为坐标宽度单项式之和进行有界。
• 依赖于Cayley和与代数几何中toric线丛和的投影化之间的对应关系。
• 将组合结果转化为toric代数簇的伴随理论陈述，与Fujita的分类结果建立联系。

实验结果

研究问题

• RQ1 格点多面体的归一化体积能否仅由其h*-多项式次数与首项系数界定？
• RQ2 高维且h*-次数有界的格点多面体是否必然具有非平凡的Cayley分解？
• RQ3 格点多面体的Cayley分解在多大程度上反映了adjoint丛的nef性等几何性质？
• RQ4 能否从Cayley分解结构中导出格点多面体体积的有效界？
• RQ5 Cayley分解定理与toric代数簇的伴随理论有何关联？

主要发现

• 对于h*-多项式次数为d、首项系数为k的格点多面体P，其归一化体积上界仅依赖于d与k，与维度无关。
• 任意h*-次数为d、维度大于(d² + 19d − 4)/2的格点多面体，必可非平凡地分解为至少两个低维格点多面体的Cayley和。
• 该体积界是有效的，通过Minkowski和的宽度估计与积分体积分解导出，其数量级为q!·C^q，其中C依赖于d与k。
• Cayley分解定理表明，此类多面体可视为某个维度至多为(d² + 19d − 4)/2的toric代数簇上若干线丛和的投影化。
• 该结果证实了Batyrev的猜想，并给出有限分类类型结果：在unimodular等价与格点锥体意义下，对固定的d与k，仅存在有限多个此类多面体。
• 建立了伴随理论解释：若K_X + (n−d)L无非平凡全局截面，则X双有理等价于某个低维toric代数簇上若干线丛和的投影化。