[論文レビュー] Regularity of joint-meet ideals of distributive lattices

Viviana Ene, Ayesha Asloob Qureshı+1 more|arXiv (Cornell University)|Jul 29, 2013

Commutative Algebra and Its Applications参考文献 4被引用数 4

ひとこと要約

本稿は、有限分配的ラティスに付随するヒビ環の正則性を計算し、平面的ラティスに対しては正確な公式を提示し、非平面的ラティスに対しては、互いに比較不能な結合的不可約元の集合の最大サイズといった組合せ的不変量を用いて境界を提示する。主な結果は、ヒビ環が線形分解を持つのは、ちょうど $2 \cdot 3^a$（$a \geq 0$）の約数ラティスである場合に限ることを特徴づける。これは、このクラスの環における線形分解の問題を解決するものである。

ABSTRACT

Let $L$ be a distributive lattice and $R(L)$ the associated Hibi ring. We compute $ eg R(L)$ when $L$ is a planar lattice and give a lower bound for $ eg R(L)$ when $L$ is non-planar, in terms of the combinatorial data of $L.$ As a consequence, we characterize the distributive lattices $L$ for which the associated Hibi ring has a linear resolution.

研究の動機と目的

• 有限分配的ラティス $L$ に対してヒビ環 $R(L)$ の正則性を特定すること。
• ラティスの組合せ論的性質に基づき、$L$ が平面的である場合の $\operatorname{reg}R(L)$ の正確な公式を確立すること。
• 互いに比較不能な結合的不可約元の集合の最大サイズを用いて、非平面的ケースにおける $\operatorname{reg}R(L)$ の境界を提供すること。
• すべての分配的ラティス $L$ を特徴づけること、その際 $R(L)$ が線形分解を持つ。
• ヒビ環が線形分解を持つかどうかを特定する未解決問題を、$2 \cdot 3^a$ の約数ラティスの構造に結びつけることによって解決すること。

提案手法

• 本稿は、$R(L)$ のヒルベルト級数が、順序複体 $\Delta(L)$ のスターリング＝ライスナー環のそれと一致することを用い、正則性を $\Delta(L)$ の $h$-ベクトルに関連付ける。
• $R(L)$ がコhen＝マカウルおよび線形形式の正則列をもつことから、恒等式 $\operatorname{reg}R(L) = \deg h_{R(L)}$ が成り立つことを適用する。
• $h$-ベクトルの係数は、与えられた下降集合 $S$ を持つ結合的不可約元の集合 $P$ の線形拡張の数として解釈され、式 (1): $h_{K[\Delta(L)]}(t) = \sum_{S \subset [d]} \beta(S) t^{|S|}$ を用いる。
• 平面的ラティスの場合、ELラベルリングと巡回部分ラティスを用いて、すべての最大鎖における下降集合サイズの最大値によって正則性が計算される。
• 非平面的ラティスの場合、比較的ブールラティスとの比較により、$\operatorname{reg}R(L)$ が $|Q| - 1$ 以上であることが境界づけられ、ここで $Q$ は互いに比較不能な結合的不可約元の最大集合である。
• 証明は、結合的不可約元の上に定義された順序 $\prec$ に依拠しており、これは順序を保存し、$\beta(S)$ の値を比較可能にする。これにより不等式 $\operatorname{reg}R(L) \geq \operatorname{reg}R(B_r)$ が導かれる。

実験結果

リサーチクエスチョン

• RQ1 平面的分配的ラティス $L$ に対して $\operatorname{reg}R(L)$ の正確な値は何か？
• RQ2 非平面的分配的ラティスに対して、その組合せ的構造に基づいて $\operatorname{reg}R(L)$ をどのように境界づけられるか？
• RQ3 どの分配的ラティス $L$ がヒビ環 $R(L)$ を線形分解持つのか？
• RQ4 互いに比較不能な結合的不可約元の集合の最大サイズと $R(L)$ の正則性の間にはどのような関係があるか？
• RQ5 ヒビ環における線形分解の特徴づけを、特定のクラスのラティスに還元できるか？

主な発見

• 平面的分配的ラティスでは、$\operatorname{reg}R(L)$ は、$L$ のすべての最大鎖における下降集合サイズの最大値に等しく、ELラベルリングを用いて計算される。
• 非平面的ラティスでは、$\operatorname{reg}R(L) \geq \max\{|Q| : Q \text{ は互いに比較不能な結合的不可約元の集合}\} - 1$ が成り立ち、等号が成立する可能性がある。
• ブールラティス $B_n$ の正則性は $n-1$ であり、これは非平面的ラティスの下界の基準として機能する。
• ヒビ環 $R(L)$ が線形分解を持つのは、$L$ が $2 \cdot 3^a$（$a \geq 0$）の約数ラティスである場合に限る。これは完全な特徴づけである。
• $R(L)$ の正則性は、結合的不可約元の集合 $P$ に対して $|P| - 1$ で上界づけられ、この境界は鋭い。
• 例 9 は、非平面的境界における両方の不等式が厳密である可能性を示している：$\operatorname{reg}R(L) = 3$ であるが、最大の比較不能集合のサイズは 3 であり、$|P| - 1 = 4$ であるため、$3 < 4$ かつ $3 = 3$ となる。