[논문 리뷰] Regularity and h-polynomials of binomial edge ideals

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

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다항식 공식을 적용한다.
• 합성 및 스펙트럼 작용에 따른 간선 아이디얼의 정규성과 Hilbert 급수에 관한 [7], [10], [11]의 결과를 활용한다.
• 스페어드된 정점의 수에 대한 귀납법을 적용하여 정규성이 유지되면서도 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다항식 차수를 한 단계씩 증가시켜 차수를 세밀하게 제어할 수 있다.
• $ 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 예시를 통해 확인된다.