[論文レビュー] Ehrhart polynomials and stringy Betti numbers

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

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

ひとこと要約

本稿は、オルビフォールドコホロジーとモチーフ的積分を用いて、ゴレンシュタイン特異点付きトーリック多様体のストリング的ベッチ数と多面体的領域のエーリヒャー多項式との間の関係を確立し、反射的多面体のδベクトルに対する組合せ的公式を導出する。主な貢献は、次元6におけるヒビのδベクトルの単調性に関する予想に対する反例を提示し、明示的な計算と偶数次元における一般化された構成により、非単調なδベクトルを示したことである。

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.

研究の動機と目的

• ゴレンシュタイン特異点付きトーリック多様体のストリング的ベッチ数と多面体的領域のエーリヒャー多項式との間の明確な関係を確立すること。
• オルビフォールドコホロジーとモチーフ的積分を用いて、反射的多面体のδベクトルに対する組合せ的公式を提供すること。
• 次元6におけるヒビの予想（反射的多面体のδベクトルの単調性）を反証するため、明示的な反例を構成すること。
• ストリング的不変量を用いて、δベクトルと三角形分割のhベクトルの間の関係を非クリープント解像に一般化すること。

提案手法

• モチーフ的積分を用いて、δベクトルをゴレンシュタイン特異点付きトーリック多様体のストリング的ベッチ数として解釈する。
• 多面体的複体 $Q \subset N_{\mathbb{R}}$ を $\{v \in N_{\mathbb{R}} \mid \Psi_K(v) \leq 1\}$ と定義する。ここで $\Psi_K$ は、標準的除数に関連する分離線形関数である。
• ボリソフ＝チアン＝ファンのオルビフォールドコホロジー公式を適用し、δ_Pの生成関数を、関連するファン $\Delta_F$ のhベクトルで重み付けされた、三角形分割の各面 F における和として表現する。
• 反射的多面体 $P$ の境界の正則三角形分割を用い、$\Psi_K(v)$ が重みを決定する $\operatorname{Box}(F)$ 内の格子点からの寄与を計算する。
• 格子点の錐内での分解を用いて、主公式 $(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以上での明示的反例を構成する。6次元の反射的多面体 $\delta_P = (1,6,8,6,8,6,1)$ を一般化し、非単調なδベクトルを明示的に示す。

実験結果

リサーチクエスチョン

• RQ1 ゴレンシュタイン特異点付きトーリック多様体のストリング的ベッチ数は、多面体的領域のエーリヒャー多項式の生成関数として表現可能か？
• RQ2 反射的多面体のδベクトルは、オルビフォールドコホロジーを用いて、単体的多面体のhベクトルの正の線形結合として生じるか？
• RQ3 ヒビの予想（反射的多面体のδベクトルの単調性）は、すべての次元で成り立つか？
• RQ4 次元 $d \geq 6$ における反射的多面体に対して、非単調なδベクトルを体系的に構成可能か？
• RQ5 δベクトルの正確な組合せ的構造は、三角形分割および面のボックス内の格子点寄与を用いてどのように記述できるか？

主な発見

• オルビフォールドコホロジーを用いて、反射的多面体のδベクトルが単体的多面体のhベクトルの正の線形結合として表現可能であり、これにより新しい組合せ的公式が得られた。
• 次元6におけるヒビの予想に対する反例が構成され、$\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}]$ 個の降下が存在することが示された。
• δベクトルの生成関数が、三角形分割の各面 $F$ における $t^{\Psi_K(v)} h_{\Delta_F}(t)$ の和に等しいことが示された。ここで $v \in \operatorname{Box}(F)$ である。これにより、幾何学と組合せ論の明確な関係が確立された。
• この公式は、代数的幾何（オルビフォールドコホロジーとモチーフ的積分）と、純粋な組合せ論的格子点分解の両方のアプローチで証明された。
• この構成により、次元 $d \geq 6$ における反射的多面体に対して非単調なδベクトルが存在することが確認され、ヒビの予想の未解決事例が解決された。