[论文解读] Discrete Mixed Volume and Hodge-Deligne Numbers

Sandra Di Rocco, Christian Haase+1 more|arXiv (Cornell University)|Sep 28, 2016

Algebraic Geometry and Number Theory参考文献 8被引用 3

一句话总结

本文建立了离散混合体积——一个格点多面体的组合不变量——与复代数环面中非紧完全交的动机算术亏格之间的精确联系。通过明确指出柯凡斯基1978年著作中的一则脚注，作者证明了：对于给定牛顿多面体的洛朗多项式所定义的通用完全交，其离散混合体积等于该完全交的动机算术亏格，从而为一个关键的霍奇-德利涅不变量提供了组合解释。

ABSTRACT

Generalizing the famous Bernstein-Kushnirenko Theorem, Khovanskii proved in 1978 a combinatorial formula for the arithmetic genus of the compactification of a generic complete intersection associated to a family of lattice polytopes. Recently, an analogous combinatorial formula, called the discrete mixed volume, was introduced by Bihan and shown to be nonnegative. By making a footnote of Khovanskii in his paper explicit, we interpret this invariant as the (motivic) arithmetic genus of the non-compact generic complete intersection associated to the family of lattice polytopes.

研究动机与目标

• 澄清比安提出的离散混合体积的代数几何意义，该不变量虽已知为非负，但缺乏几何解释。
• 将离散混合体积解释为 $(\mathbb{C}^*)^n$ 中非紧完全交的动机算术亏格。
• 验证该不变量与基于霍奇-德利涅多项式的动机算术亏格定义一致，从而建立组合学与代数几何之间的联系。
• 通过非紧情形下的离散混合体积，统一柯凡斯基1978年关于紧化完全交算术亏格的公式，实现其几何实现。
• 通过离散混合体积统一柯凡斯基的紧化与非紧化亏格公式，建立动机对偶定理。

提出的方法

• 使用霍奇-德利涅多项式（E-多项式）定义动机算术亏格为 $(-1)^{\dim Y} E(Y; 0, 1)$，其中 $E(Y; u, v)$ 是霍奇-德利涅数的生成函数。
• 应用凯利技巧，将 $(\mathbb{C}^*)^n$ 中完全交 $Y \subset (\mathbb{C}^*)^n$ 的 E-多项式计算，转化为由 $F = 1 + \sum y_i f_i$ 定义的超曲面 $\tilde{Z} \subset (\mathbb{C}^*)^n \times \mathbb{C}^k$ 的计算。
• 将 $\tilde{Z}$ 按非空子集 $I \subseteq [k]$ 索引的分层结构 $Z_I$ 进行分层，每一层对应于一个凯利多面体 $C_I$ 上的通用超曲面。
• 应用关于格点多面体锥的 E-多项式公式（引理2.1）的特例，计算 $e^{p,+}(Z_I)$，即第 $p$ 个 $\chi_y$-特征。
• 利用恒等式 $E(Y; u, v) = (uv-1)^n - (uv)^{-(k-1)} E(\tilde{Z}; u, v)$ 将 $Y$ 的 E-多项式与 $\tilde{Z}$ 的 E-多项式关联，从而实现 $e^{p,+}(Y)$ 的计算。
• 通过组合恒等式与艾赫勒特理论，推导出 $e^{p,+}(Y)$ 的闭式表达，最终证明 $e^{p,+}(Y) = (-1)^{n-p} \sum_{I \subseteq [k]} (-1)^{|I|} \sum_{\beta \in \mathbb{Z}_{\geq 0}^I} (-1)^{|\beta|} \binom{n+|I|}{p - |\beta|} \operatorname{ehr}(P_I + P_\beta; 1)$，该式与离散混合体积一致。

实验结果

研究问题

• RQ1 比安提出的离散混合体积具有何种几何或动机解释？
• RQ2 离散混合体积能否与代数几何中的已知不变量（如非紧完全交的算术亏格）相等同？
• RQ3 非紧完全交的动机算术亏格与其紧化版本的经典算术亏格之间有何关系？
• RQ4 是否存在一个对偶定律，将柯凡斯基关于紧化亏格 $\operatorname{ME}(P_1,\dots,P_k; -1)$ 与非紧亏格 $\operatorname{DMV}(P_1,\dots,P_k)$ 联系起来？
• RQ5 离散混合体积的非负性是否在霍奇-德利涅理论背景下具有更深层的几何根源？

主要发现

• 离散混合体积 $\operatorname{DMV}(P_1,\dots,P_k)$ 等于由牛顿多面体为 $P_1,\dots,P_k$ 的通用洛朗多项式定义的非紧完全交 $Y \subset (\mathbb{C}^*)^n$ 的动机算术亏格。
• 非紧完全交 $Y$ 的动机算术亏格为 $(-1)^{n-p} \sum_{I \subseteq [k]} (-1)^{|I|} \sum_{\beta \in \mathbb{Z}_{\geq 0}^I} (-1)^{|\beta|} \binom{n+|I|}{p - |\beta|} \operatorname{ehr}(P_I + P_\beta; 1)$，当 $p = 0$ 时，该式与离散混合体积一致。
• 离散混合体积为非负，如比安所证，本文通过其作为霍奇-德利涅不变量的解释，为其提供了几何依据。
• 该结果证实了柯凡斯基1978年论文中的一则脚注，表明 $\operatorname{DMV}(P_1,\dots,P_k) = \operatorname{ME}(P_1,\dots,P_k; 1)$ 是非紧完全交的动机算术亏格。
• 本文建立了动机对偶定理：紧化亏格为 $\operatorname{ME}(P_1,\dots,P_k; -1)$，而非紧亏格为 $\operatorname{ME}(P_1,\dots,P_k; 1)$，两者通过离散混合体积相互关联。
• 证明依赖于凯利技巧与分层环簇上 E-多项式的计算，最终归结为涉及二项式系数与艾赫勒特理论的组合恒等式。