[论文解读] Ehrhart polynomials and stringy Betti numbers

Mircea Mustaţă, Sam Payne|ArXiv.org|Apr 23, 2005

Advanced Combinatorial Mathematics参考文献 9被引用 4

一句话总结

本文通过轨道丛上同调与动机积分，建立了 Gorenstein 赋环塔希克流形的弦论贝蒂数与多面体区域的 Ehrhart 多项式之间的联系，推导出对偶多面体 $\delta$-向量的组合公式。关键贡献在于构造了维度 6 时 Hibi 关于 $\delta$-向量单峰性的猜想的反例，通过显式计算和偶数维度的一般构造，展示了非单峰的 $\delta$-向量。

ABSTRACT

We study the connection between stringy Betti numbers of Gorenstein toric varieties and the generating functions of the Ehrhart polynomials of certain polyhedral regions. We use this point of view to give counterexamples to Hibi's conjecture on the unimodality of delta-vectors of reflexive polytopes.

研究动机与目标

• 建立 Gorenstein 赋环塔希克流形的弦论贝蒂数与多面体区域 Ehrhart 多项式之间的精确联系。
• 利用轨道丛上同调与动机积分，为对偶多面体的 $\delta$-向量提供一个组合公式。
• 通过构造显式反例，否定 Hibi 关于对偶多面体 $\delta$-向量单峰性的猜想。
• 通过弦论不变量，将 $\delta$-向量与单纯剖分的 $h$-向量之间的联系推广至非共形解析。

提出的方法

• 利用塔希克几何，通过动机积分将 $\delta$-向量解释为 Gorenstein 赋环塔希克流形的弦论贝蒂数。
• 定义多面体复形 $Q \subset N_{\mathbb{R}}$ 为 $\{v \in N_{\mathbb{R}} \mid \Psi_K(v) \leq 1\}$，其中 $\Psi_K$ 是与典范除子相关联的分段线性函数。
• 应用 Borisov–Chiang–Huang 提出的轨道丛上同调公式，将 $\delta_P$ 的生成函数表示为剖分中各面 $F$ 的加权和，权重为相关扇形 $\Delta_F$ 的 $h$-向量。
• 通过反射多面体 $P$ 边界的正则剖分，计算 $\operatorname{Box}(F)$ 中格点的贡献，其中 $\Psi_K(v)$ 决定权重。
• 通过锥中格点分解，证明主公式 $$(1-t)^d \sum_{v \in N} t^{\Psi_K(v)} = \sum_{F \in \mathcal{T}, v \in \operatorname{Box}(F)} t^{\Psi_K(v)} h_{\Delta_F}(t)$$。
• 通过推广一个 6 维对偶多面体 $\delta_P = (1,6,8,6,8,6,1)$，在维度 6 及以上构造显式反例，展示非单峰 $\delta$-向量。

实验结果

研究问题

• RQ1 Gorenstein 赋环塔希克流形的弦论贝蒂数能否表示为多面体区域 Ehrhart 多项式的生成函数？
• RQ2 通过对偶多面体的轨道丛上同调，$\delta$-向量是否可表示为单纯多面体 $h$-向量的正线性组合？
• RQ3 Hibi 关于对偶多面体 $\delta$-向量单峰性的猜想在所有维度下是否成立？
• RQ4 能否系统地构造出维度 $d \geq 6$ 的对偶多面体的非单峰 $\delta$-向量？
• RQ5 在剖分与面的 box 中格点贡献的背景下，$\delta$-向量的精确组合结构是什么？

主要发现

• 通过对偶多面体的轨道丛上同调，$\delta$-向量被表示为单纯多面体 $h$-向量的正线性组合，提供了一个新的组合公式。
• 在维度 6 构造出 Hibi 猜想的反例，其中 $\delta_P = (1,6,8,6,8,6,1)$，由于 $\delta_2 = 8 > \delta_1 = 6$ 且 $\delta_3 = 6 < \delta_4 = 8$，该向量非单峰。
• 该反例被推广至 $2m$-维对偶多面体，其中 $\delta_P = (1,2m,2m+2,2m,2m+2,\ldots,2m,1)$，在向量前半部分出现 $[\frac{m-1}{2}]$ 次下降。
• 证明了 $\delta$-向量的生成函数等于对剖分中各面 $F$ 的 $t^{\Psi_K(v)} h_{\Delta_F}(t)$ 的求和，其中 $v \in \operatorname{Box}(F)$，从而建立了几何与组合之间的精确联系。
• 该公式既通过代数几何（利用轨道丛上同调与动机积分）又通过纯粹组合的格点分解论证得到证明。
• 该构造证实了在维度 $d \geq 6$ 时，对偶多面体存在非单峰 $\delta$-向量，解决了 Hibi 猜想的一个开放情形。