[論文レビュー] Some Algebraic Properties of Lecture Hall Polytopes

Petter Brändén, Liam Solus|arXiv (Cornell University)|Nov 27, 2019

Advanced Combinatorial Mathematics参考文献 13被引用数 5

ひとこと要約

本稿では、すべての $s$-lecture hall 順序多面体が整数分解性質を満たすことを確立し、$0,1$-差分列を持つ列 $s$ に対しては、関連するトーリックイデアルが平方自由な初期項をもつ二次的グレブナー基底をもつことを示した。これは、このような $s$-lecture hall単体に対して正則かつユニモジュラーな三角形分割が存在することを意味し、代数的組合せ論における2つの予想を解決する。

ABSTRACT

In this note, we investigate some of the fundamental algebraic and geometric properties of $s$-lecture hall simplices and their generalizations. We show that all $s$-lecture hall order polytopes, which simultaneously generalize $s$-lecture hall simplices and order polytopes, satisfy a property which implies the integer decomposition property. This answers one conjecture of Hibi, Olsen and Tsuchiya. By relating $s$-lecture hall polytopes to alcoved polytopes, we then use this property to show that families of $s$-lecture hall simplices admit a quadratic Gröbner basis with a square-free initial ideal. Consequently, we find that all $s$-lecture hall simplices for which the first order difference sequence of $s$ is a $0,1$-sequence have a regular and unimodular triangulation. This answers a second conjecture of Hibi, Olsen and Tsuchiya, and it gives a partial answer to a conjecture of Beck, Braun, Köppe, Savage and Zafeirakopoulos.

研究の動機と目的

• Hibi, Olsen, Tsuchiya が提起した $s$-lecture hall 順序多面体の整数分解性質に関する予想を解決すること。
• トーリックイデアルが $s$-lecture hall 単体に対して二次的グレブナー基底と平方自由な初期項をもつことを確立すること。
• $s$-lecture hall 単体のユニモジュラー三角形分割に関する Beck, Braun, Köppe, Savage, Zafeirakopoulos の予想に対する部分的解答を提供すること。
• $s$-lecture hall 多面体をアラクソイド多面体と関連付けることで、代数的道具を幾何的性質に応用すること。
• $s$-lecture hall 単体の $h^*$-多項式の単調性が、背後にある代数的構造によって裏付けられていることを示すこと。

提案手法

• $s$-lecture hall 順序多面体を、$s$-lecture hall 単体と順序多面体の共通の一般化として定義する。
• 格子点の多重集合に対する最小性の議論を用いて、$s$-lecture hall 順序多面体の整数分解性質を証明する。
• $s$-lecture hall 多面体をアラクソイド多面体と関連付けることで、既知のグレブナー基底および三角形分割に関する結果を適用する。
• 多重集合の和が等しいものに対する最小代表元を用いて、多項式環 $K[{f x}]$ に辞書式項順序を構成する。
• 多重集合 $I$ と $J$ に対して、$I^-$ と $J^-$ を同じ和を持つ多重集合の最小代表元とする、二項式のマーク付き集合 $G = \{x_I x_J - x_{I^-} x_{J^-} \}$ を定義する。
• ネーター的還元性質と正規形の特徴づけを用いて、$G$ が平方自由な初期項をもつ削減済みグレブナー基底であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての $s$-lecture hall 順序多面体は整数分解性質を満たすか？
• RQ2 $s$ が $0,1$-差分列を持つとき、$s$-lecture hall 単体のトーリックイデアルは平方自由な初期項をもつ二次的グレブナー基底をもつか？
• RQ3 $s$ の一次差分列が $0,1$-列である場合、$s$-lecture hall 単体に対して正則かつユニモジュラーな三角形分割が存在するか？
• RQ4 $s$-lecture hall 多面体の代数的性質は、その $h^*$-多項式の単調性とどのように関係するか？
• RQ5 グレブナー基底を通じて、一様な代数的メカニズムが、このクラスの多面体における三角形分割のユニモジュラリティと正則性を説明できるか？

主な発見

• すべての $s$-lecture hall 順序多面体は整数分解性質を満たし、Hibi, Olsen, Tsuchiya の予想を確認した。
• $0,1$-差分列を持つ任意の $s$ に対して、$s$-lecture hall 単体 $P_n^s$ のトーリックイデアルは、平方自由な初期項をもつ二次的グレブナー基底をもつ。
• このグレブナー基底は純粋に辞書式であり、同じ和を持つ多重集合の最小代表元を用いて構成されており、重複する単項式が生じない。
• このグレブナー基底の構造から、$s$ の一次差分列が $0,1$-列であるとき、$P_n^s$ が正則でフラッグ的かつユニモジュラーな三角形分割をもつことが導かれる。
• この結果は、Beck, Braun, Köppe, Savage, Zafeirakopoulos が提起した $s$-lecture hall 単体のユニモジュラー三角形分割に関する予想に対する部分的解決を提供する。
• この構成により、トーリックイデアルの代数的構造が、ユニモジュラリティや正則性といった幾何的・組合せ的性質を直接支持していることが確認された。