닫힌 이웃집 아이디얼의 동형불변량과 코헨마칼라우스성

초록

본 논문은 유한 단순 그래프 G의 닫힌 이웃집 아이디얼 NI(G)에 대해 Castelnuovo‑Mumford 정규화(reg), 사영 차원(projective dimension), 그리고 코헨‑마칼라우스성(Cohen‑Macaulayness)을 그래프의 정점 피복수 τ(G), 매칭수 a(G), 독립수 α(G) 등과 연결한다. 특히 모든 chordal 그래프에 대해 reg (S/NI(G)) = τ(G)임을 증명하고, bipartite 및 very‑well‑covered 그래프에서는 reg ≥ τ(G)임을 보인다. 또한 몇몇 그래프 군에 대한 사영 차원을 구하고, very‑well‑covered 그래프에서 S/NI(G)의 코헨‑마칼라우스성을 완전히 특성화한다.

상세 분석

논문은 먼저 닫힌 이웃집 아이디얼 NI(G)의 정의와 최소 지배 집합과의 관계를 상기한다. NI(G)의 최소 소극은 최소 지배 집합 D에 대응하는 원시 아이디얼 (x_i : i∈D)이며, 따라서 dim (S/NI(G)) = n − γ(G)임을 얻는다. 핵심 결과는 Theorem 3.2로, chordal 그래프 G에 대해 정규화(reg (S/NI(G)))가 정점 피복수 τ(G)와 정확히 일치한다는 것이다. 증명은 단순 정점(z)을 이용한 귀납법과 Lemma 3.1의 정규화 부등식을 반복 적용한다. 특히 (NI(G):x_i) = NI(G \ x_i)임을 이용해 τ(G \ x_i)+1 = τ(G)임을 보이고, 매핑 콘을 이용해 하한을 확보한다. 이 과정에서 τ와 a가 일치하는 Kőnig 그래프(특히 bipartite와 very‑well‑covered 그래프)에서는 reg ≥ τ(G)라는 일반적인 부등식을 얻는다. Proposition 3.4는 이를 명시적으로 증명한다.

다음으로 사영 차원에 대해 α(G) ≤ pdim (S/NI(G))임을 보이며, 특정 그래프(예: m‑book, 완전 다분할 그래프)에서는 이 하한이 정확히 달성됨을 Theorem 3.6, Proposition 3.8을 통해 제시한다. 또한 Theorem 3.11에서는 S/NI(G)의 곱셈량을 최소 지배 집합의 개수와 연결시켜 combinatorial 해석을 제공한다.

코헨‑마칼라우스성 부분에서는 먼저 well‑dominated 그래프와 very‑well‑covered 그래프의 정의를 정리하고, Leaman의 결과를 활용해 높이(height) (NI(G)) = n/2인 경우를 조사한다. Theorem 4.4는 very‑well‑covered 그래프 G에 대해 S/NI(G)가 Cohen‑Macaulay가 되기 위한 필요충분조건을 γ(G)=α(G)와 함께 제시한다. 이는 기존에 bipartite 그래프에 대한 Leaman의 특성화와 일치하며, 추가적으로 γ(G)=α(G)만으로는 충분하지 않음을 예시를 통해 강조한다. 마지막으로 Corollary 4.8에서는 chordal 그래프 중 γ(G)=α(G)인 경우를 완전히 분류하여, 이전에 block 그래프에 대해 알려진 결과를 일반화한다.

전체적으로 논문은 그래프 이론의 전통적인 파라미터와 닫힌 이웃집 아이디얼의 호몰로지 불변량 사이의 정확한 수식 관계를 다수 제공한다. 특히 chordal 그래프에 대한 정규화와 very‑well‑covered 그래프에 대한 Cohen‑Macaulay성 특성화는 기존 연구를 확장하는 중요한 기여이며, 정규화와 사영 차원에 대한 하한·상한이 그래프 구조에 의해 어떻게 결정되는지를 명확히 보여준다.