[论文解读] 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

一句话总结

该论文构建了有限简单图，其对应的二项式边理想展现出任意指定的 Castelnuovo–Mumford 正则性与 h-多项式次数，证明了对于任意满足 $ 2 \leq r \leq s $ 的整数 $ r $ 和 $ s $，存在一个图 $ G $，使得 $ \operatorname{reg}(K[\mathbf{x},\mathbf{y}]/J_G) = r $ 且 $ \deg h_{K[\mathbf{x},\mathbf{y}]/J_G}(\lambda) = s $。该构造依赖于迭代悬垂操作与星形图，以独立控制这些不变量。

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 是否每个满足 $ 2 \leq r \leq s $ 的整数对 $ r, s $ 都可作为某个二项式边理想的正则性与 h-多项式次数实现？
• RQ2 何种图构造可实现 $ K[\mathbf{x},\mathbf{y}]/J_G $ 的正则性与 h-多项式次数的独立控制？
• RQ3 悬垂操作如何影响二项式边理想的正则性与 h-多项式？
• RQ4 能否构造出具有指定正则性与 h-多项式次数的非 Cohen–Macaulay 二项式边理想？
• RQ5 星形图在实现正则性与 h-多项式次数之间差距方面起到何种作用？

主要发现

• 对于任意满足 $ 2 \leq r \leq s $ 的整数 $ r $ 与 $ s $，存在一个有限简单图 $ G $，使得 $ \operatorname{reg}(K[\mathbf{x},\mathbf{y}]/J_G) = r $ 且 $ \deg h_{K[\mathbf{x},\mathbf{y}]/J_G}(\lambda) = s $，从而证明了主定理。
• 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 $ 不是无混合图（因而不是 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) $，且严格不等式可能成立。
• 本文表明，正则性与 h-多项式次数在一般情况下并不受 Cohen–Macaulay 性质的约束，如非 Cohen–Macaulay 例子中不变量相等所示。