[論文レビュー] Regularity and h-polynomials of binomial edge ideals

Takayuki Hibi, Kazunori Matsuda|arXiv (Cornell University)|Aug 21, 2018

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

ひとこと要約

本稿では、任意に指定されたカステルヌオーヴォ–マウムフォード正則性と h-多項式次数を示す有限単純グラフの族を構成し、任意の整数 $ r $ と $ s $ に対して $ 2 \leq r \leq s $ が成り立つとき、$ \operatorname{reg}(K[\mathbf{x},\mathbf{y}]/J_G) = r $ かつ $ \deg h_{K[\mathbf{x},\mathbf{y}]/J_G}(\lambda) = s $ を満たすグラフ $ G $ が存在することを証明する。この構成は、反復的スパニオンとスターリクなグラフを用いて、これらの不変量を独立に制御する。

ABSTRACT

Let $G$ be a finite simple graph on the vertex set $[n] = \{ 1, \ldots, n \}$ and $K[X, Y] = K[x_1, \ldots, x_n, y_1, \ldots, y_n]$ the polynomial ring in $2n$ variables over a field $K$ with each $\mathrm{deg} x_i = \mathrm{deg} y_j = 1$. The binomial edge ideal of $G$ is the binomial ideal $J_G \subset K[X, Y]$ which is generated by those binomials $x_iy_j - x_jy_i$ for which $\{i, j\}$ is an edge of $G$. The Hilbert series $H_{K[X, Y]/J_G}(λ)$ of $K[X, Y]/J_G$ is of the form $H_{K[X, Y]/J_G}(λ) = h_{K[X, Y]/J_G}(λ)/(1 - λ)^d$, where $d = \mathrm{dim} K[X, Y]/J_G$ and where $h_{K[X, Y]/J_G}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with each $h_i \in \mathbb{Z}$ and with $h_s eq 0$ is the $h$-polynomial of $K[X, Y]/J_G$. It is known that, when $K[X, Y]/J_G$ is Cohen-Macaulay, one has $\mathrm{reg}(K[X, Y]/J_G) = \mathrm{deg} h_{K[X, Y]/J_G}(λ)$, where $ \mathrm{reg}(K[X, Y]/J_G)$ is the (Castelnuovo-Mumford) regularity of $K[X, Y]/J_G$. In the present paper, given arbitrary integers $r$ and $s$ with $2 \leq r \leq s$, a finite simple graph $G$ for which $\mathrm{reg}(K[X, Y]/J_G) = r$ and $\mathrm{deg} h_{K[X, Y]/J_G}(λ) = s$ will be constructed.

研究の動機と目的

• 二項辺イデアルの正則性と h-多項式次数の任意の組み合わせを実現するという未解決問題を解決すること。
• 従来の単項式イデアルに関する結果を、より複雑な二項辺イデアルの設定に拡張すること。
• 正則性や h-多項式といった代数的不変量を制御できる明示的なグラフ論的構成を提供すること。
• 有限単純グラフの二項辺イデアルについて、正則性と h-多項式次数を独立に指定できることを示すこと。

提案手法

• スパニオン操作を用いて、正則性を保ちつつ h-多項式次数を段階的に増加させる。
• パスと中心頂点からなる t-スターリクなグラフを構成し、正則性に比して高い h-多項式次数を達成する。
• 完全グラフおよびパスグラフの二項辺イデアルに関する Hilbert 級数と h-多項式の既知の公式を適用する。
• [7]、[10]、[11] の結果を活用し、ジョイントおよびスパニオン操作における正則性と Hilbert 級数の性質を応用する。
• スパニオンされた頂点の数に関する帰納法を用いて、正則性が有界のままに保たれ、h-多項式次数が増加することを証明する。
• 二項辺イデアルの最小素イデアルの高さを分析し、特定の構成において Cohen–Macaulay 性が成り立たないことを示すが、望ましい不変量は保持される。

実験結果

リサーチクエスチョン

• RQ1 任意の整数 $ r, s $ に対して $ 2 \leq r \leq s $ が成り立つとき、それが二項辺イデアルの正則性と h-多項式次数として実現可能か？
• RQ2 どのようなグラフ構成が、$ K[\mathbf{x},\mathbf{y}]/J_G $ の正則性と h-多項式次数を独立に制御可能にするか？
• RQ3 スパニオン操作は、二項辺イデアルの正則性と h-多項式にどのように影響するか？
• RQ4 正則性と h-多項式次数を指定した非 Cohen–Macaulay な二項辺イデアルを構成可能か？
• RQ5 スターリクなグラフは、正則性と h-多項式次数の差を生じさせる役割を果たすか？

主な発見

• 任意の整数 $ r $ と $ s $ に対して $ 2 \leq r \leq s $ が成り立つとき、$ \operatorname{reg}(K[\mathbf{x},\mathbf{y}]/J_G) = r $ かつ $ \deg h_{K[\mathbf{x},\mathbf{y}]/J_G}(\lambda) = s $ を満たす有限単純グラフ $ G $ が存在する。これは主定理の証明に繋がる。
• t-スターリクなグラフ $ T_{p_1,\dots,p_t} $ は、$ \operatorname{reg}(K[\mathbf{x},\mathbf{y}]/J_G) = 2 + \sum p_i $ かつ $ \deg h_{K[\mathbf{x},\mathbf{y}]/J_G}(\lambda) = t + \sum p_i $ を満たし、$ t \geq 3 $ のとき正則性と h-多項式次数の間に厳密な不等号が成立する。
• パスグラフの反復的スパニオンは正則性を保存するが、各段階で h-多項式次数を1ずつ増加させるため、次数に細かく制御可能である。
• m+9 個の頂点を持つグラフ $ G_m $ は unmixed（したがって Cohen–Macaulay でない）であるが、$ \operatorname{reg}(K[\mathbf{x},\mathbf{y}]/J_{G_m}) = \deg h_{K[\mathbf{x},\mathbf{y}]/J_{G_m}}(\lambda) = m+6 $ を満たす。これは、非 Cohen–Macaulay な場合でも不変量が等しくなる可能性があることを示している。
• 反復的スパニオンとスターリクなグラフによる $ G $ の構成により、$ \operatorname{reg}(K[\mathbf{x},\mathbf{y}]/J_G) \leq \deg h_{K[\mathbf{x},\mathbf{y}]/J_G}(\lambda) $ が保証され、厳密な不等号が成立する可能性がある。
• 本稿では、Cohen–Macaulay 性が一般に正則性と h-多項式次数を結びつけるものではないことが示されており、等しい不変量を持つ非 Cohen–Macaulay な例によってそれが裏付けられている。