[論文レビュー] Two poset polytopes are mutation-equivalent

Akihiro Higashitani|arXiv (Cornell University)|Feb 4, 2020

Advanced Combinatorial Mathematics参考文献 10被引用数 7

ひとこと要約

この論文は、$M_{\mathbb{R}}$ 内の有理的多面体および多面錐への組合せ的変異の理論を拡張し、原点を境界上に含む多面体に対しても変異を可能にする。任意の半順序集合の順序多面体と鎖多面体が、このような変異の系列によって変異同値であることを証明し、この二つの基本的な半順序集合多面体の間の深い組合せ的同値性を確立する。

ABSTRACT

The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in [1] that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar duals $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart series. For extending this framework, in this paper, we introduce the combinatorial mutation for the Minkowski sum of rational polytopes and rational polyhedral pointed cones in $N_\mathbb{R}$. We can also introduce the combinatorial mutation in the dual side $M_\mathbb{R}$, which we can apply for every rational polytope in $M_\mathbb{R}$ containing the origin (not necessarily in the interior). As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of the combinatorial mutation in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.

研究の動機と目的

• 原点を内部に含む格子多面体に限らない、$M_{\mathbb{R}}$ 内の有理的多面体および多面錐への組合せ的変異の枠組みを拡張すること。
• 原点が内部にある場合だけでなく境界上にある場合にも組合せ的変異を適用可能にするための枠組みを提供すること。
• 双対空間 $M_{\mathbb{R}}$ 内での変異操作を通じて、二つの主要な半順序集合多面体（順序多面体と鎖多面体）の間の関係を確立すること。
• 同じ半順序集合の順序多面体と鎖多面体が、組合せ的変異の系列によって変異同値であることを示すこと。
• マーク付きおよび拡張された半順序集合多面体における変異同値性の今後の研究の基盤を築くこと。これには、ゲルファンド＝ツェトリン多面体やフィーガイン＝フーラー＝リッターク＝ヴィンバーグ多面体が含まれる。

提案手法

• 格子多面体に限らない、$N_{\mathbb{R}}$ 内の有理的多面体および多面錐に対する一般化された組合せ的変異操作を導入し、[1] における元の定義を拡張する。
• 多面体の双対多面体に作用する区分線形写像 $\varphi_{w,F}$ を用いて、$M_{\mathbb{R}}$ 内での双対変異操作を定義する。
• 原点を含むが境界上にある有理的多面体に対しても、$M_{\mathbb{R}}$ 内の変異操作を適用可能にし、適用範囲を拡大する。
• $M_{\mathbb{R}}$ 内の変異の系列を構成し、半順序集合の順序多面体をその鎖多面体に変換する。
• 任意の原点を含む有理的多面体が、$\mathcal{P}_N$ 内の多面体の双対極であるため、変異フレームワークを適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 原点を内部に含むのではなく境界上に含む $M_{\mathbb{R}}$ 内の有理的多面体に対しても、組合せ的変異の枠組みを拡張できるか？
• RQ2 $M_{\mathbb{R}}$ 内の組合せ的変異の系列によって、半順序集合の順序多面体をその鎖多面体に変換できるか？
• RQ3 順序多面体と鎖多面体が変異同値であるため、Ehrhart 級数が等しいとされるが、これは正しいか？
• RQ4 双対空間内での区分線形変換を通じて、順序多面体と鎖多面体の間の変異同値性を確立できるか？
• RQ5 変異同値性の実現に寄与する双対変異写像 $\varphi_{w,F}$ の役割は何か？

主な発見

• 任意の半順序集合 $\Pi$ の順序多面体と鎖多面体は、$M_{\mathbb{R}}$ 内で変異同値であり、一連の組合せ的変異によって互いに変換可能である。
• 順序多面体と鎖多面体の双対極の Ehrhart 級数は同一であるが、それらの多面体自体はユニモジュラー同値ではない。
• $M_{\mathbb{R}}$ 内の変異操作は、区分線形写像 $\varphi_{w,F}$ として実現され、双対空間内の多面体に直接作用する。
• このフレームワークにより、原点を境界上に含む有理的多面体に対しても、組合せ的変異が拡張可能であることが示された。
• この結果により、既知の順序多面体と鎖多面体の Ehrhart 級数の等価性に対する新しい組合せ的解釈が得られ、変異同値性を通じた説明が可能になった。
• 本手法は、マーク付き半順序集合多面体や拡張された半順序集合多面体における変異同値性の証明に向けた道筋を示しており、近い将来の研究[5]で提示される。