[論文レビュー] 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

ひとこと要約

本稿は、整数格子多面体の組合せ的不変量である離散混合体積と、複素代数的トーラス内の非コンパクトな完備交叉のモチーフ的算術 genus の間の明確な関係を確立する。キホフスキーの1978年の研究における脚注を明示することで、与えられたニュートン多面体を持つ一般のローラン多項式によって定義される完備交叉の離散混合体積が、そのモチーフ的算術 genus に一致することを証明し、Hodge-Deligne 不変量の主要なものの組合せ的解釈を提供する。

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.

研究の動機と目的

• Bihan が導入した離散混合体積の代数的幾何的意味を明確化すること。これは非負であることが知られているが、幾何的解釈を欠いている。
• 非コンパクトな完備交叉 $ (\mathbb{C}^*)^n $ 内のモチーフ的算術 genus として離散混合体積を解釈すること。
• この不変量が Hodge-Deligne 多項式に基づくモチーフ的算術 genus の定義と一致することを検証し、組合せ論と代数的幾何学を結びつけること。
• キホフスキーの1978年の公式が、コンパクト化された完備交叉の算術 genus を与えるが、本稿では非コンパクトな設定に拡張して、その幾何的実現を提供すること。
• 離散混合体積を用いてキホフスキーのコンパクトおよび非コンパクトな genus 公式を統合し、モチーフ的双対性定理を確立すること。

提案手法

• Hodge-Deligne 多項式（E-多項式）を用いて、モチーフ的算術 genus を $(-1)^{\dim Y} E(Y; 0, 1)$ として定義する。ここで $E(Y; u, v)$ は Hodge-Deligne 数の母関数である。
• Cayley のトリックを適用し、$(\mathbb{C}^*)^n$ 内の完備交叉 $Y \subset (\mathbb{C}^*)^n$ の E-多項式の計算を、$F = 1 + \sum y_i f_i$ で定義される $(\mathbb{C}^*)^n \times \mathbb{C}^k$ 内の超曲面 $\tilde{Z} \subset (\mathbb{C}^*)^n \times \mathbb{C}^k$ の計算に還元する。
• 各非空部分集合 $I \subseteq [k]$ に添付される、Cayley 多面体 $C_I$ 上の一般の超曲面に対応する、$\tilde{Z}$ の層化 $Z_I$ への分割を用いる。
• 格子錐上での超曲面の E-多項式の特殊化された公式（補題 2.1）を適用し、$p$-番目の $\chi_y$-特徴量 $e^{p,+}(Z_I)$ を計算する。
• 恒等式 $E(Y; u, v) = (uv-1)^n - (uv)^{-(k-1)} E(\tilde{Z}; u, v)$ を用いて、$Y$ の E-多項式と $\tilde{Z}$ の E-多項式を関連付け、$e^{p,+}(Y)$ の計算を可能にする。
• 二項係数の恒等式と Ehrhart 理論を組み合わせることで、$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 Bihan が導入した離散混合体積の幾何的またはモチーフ的解釈は何か？
• RQ2 離散混合体積は、非コンパクトな完備交叉の算術 genus のような既知の代数的幾何学的不変量と同一視できるか？
• RQ3 非コンパクトな完備交叉のモチーフ的算術 genus は、そのコンパクト化の古典的算術 genus とどのように関係するか？
• RQ4 キホフスキーのコンパクト化された genus 公式 $\operatorname{ME}(P_1,\dots,P_k; -1)$ と非コンパクトな genus $\operatorname{DMV}(P_1,\dots,P_k)$ を結ぶ双対性の法則は存在するか？
• RQ5 離散混合体積の非負性は、Hodge-Deligne 理論の文脈において、より深い幾何的起源を持つのか？

主な発見

• 離散混合体積 $\operatorname{DMV}(P_1,\dots,P_k)$ は、ニュートン多面体 $P_1,\dots,P_k$ を持つ一般のローラン多項式によって定義される非コンパクトな完備交叉 $Y \subset (\mathbb{C}^*)^n$ のモチーフ的算術 genus に等しい。
• $Y$ のモチーフ的算術 genus は、$$ (-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$ のとき離散混合体積と一致する。
• Bihan が示したように、離散混合体積は非負であるが、本稿ではそれが Hodge-Deligne 不変量としての解釈を通じて幾何的根拠を持つことを示す。
• 本結果はキホフスキーの1978年の論文の脚注を確認するものであり、$\operatorname{DMV}(P_1,\dots,P_k) = \operatorname{ME}(P_1,\dots,P_k; 1)$ が非コンパクトな完備交叉のモチーフ的算術 genus に一致することを示している。
• 本稿ではモチーフ的双対性定理を確立する：コンパクト化された genus は $\operatorname{ME}(P_1,\dots,P_k; -1)$、非コンパクトな genus は $\operatorname{ME}(P_1,\dots,P_k; 1)$ であり、両者は離散混合体積を通じて関連づけられる。
• 証明は Cayley のトリックと、層化されたトーリック多様体上の E-多項式計算に依拠し、最終的に二項係数と Ehrhart 理論を含む組合せ的恒等式に還元される。