[논문 리뷰] Some algebraic invariants of edge ideal of circulant graphs

Giancarlo Rinaldo|arXiv (Cornell University)|2017. 01. 05.

Commutative Algebra and Its Applications참고 문헌 5인용 수 8

한 줄 요약

이 논문은 $n$이 소수일 때 순환 그래프 $C_n(S)$의 에지 아이디얼의 대수적 불변량을 조사한다. Cohen-Macaulay 조건 하에서 정규성 지수와 Castelnuovo-Mumford 정규성을 계산하고, $C_n(\{1,\ldots,s\})$의 순차적 $S_2$ 성질을 증명하며, 크룰 차원 2인 Cohen-Macaulay 순환 그래프를 완전히 특성화하고, 조합론적 및 호모로지적 방법을 통해 그들의 Cohen-Macaulay 유형과 정규성을 계산한다.

ABSTRACT

Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2} ight floor\}$ and let $I(G)$ be its edge ideal in the ring $K[x_0,\ldots,x_{n-1}]$. Under the hypothesis that $n$ is prime we : 1) compute the regularity index of $R/I(G)$; 2) compute the Castelnuovo-Mumford regularity when $R/I(G)$ is Cohen-Macaulay; 3) prove that the circulant graphs with $S=\{1,\ldots,s\}$ are sequentially $S_2$ . We end characterizing the Cohen-Macaulay circulant graphs of Krull dimension $2$ and computing their Cohen-Macaulay type and Castelnuovo-Mumford regularity.

연구 동기 및 목표

• 순환 그래프의 에지 아이디얼에 대한 대수적 불변량—예를 들어, Castelnuovo-Mumford 정규성, Cohen-Macaulay 유형, 정규성 지수—를 연구하기 위해.
• 크율 차원 2인 Cohen-Macaulay 순환 그래프를 특성화하고 그 핵심 불변량을 계산하기 위해.
• 순환 그래프 $C_n(\{1,\ldots,s\})$가 $n$이 소수일 때 순차적 $S_2$임을 증명하기 위해.
• 특히 보완 그래프 $\bar{G}$ 를 통해 $C_n(S)$의 그래프 이론적 성질을 $R/I(G)$의 호모로지 불변량과 연결하기 위해.

제안 방법

• 에지 아이디얼 $I(G)$와 그래프 $G$의 독립 복합체 $\Delta(G)$ 사이의 관계를 설정하기 위해 Stanley-Reisner 대응을 사용한다.
• Hochster의 공식을 적용하여 유도된 부분복합체의 단순형 호모로지로 보티 수를 계산한다.
• 보완 그래프 $\bar{G}$를 활용하여 $\Delta(G)$의 구조를 분석한다. 이 보완 그래프 역시 순환 그래프이다.
• $n$이 소수라는 사실을 활용하여 $\Delta(G)$의 $k$-스켈레톤의 연결성을 증명함으로써 $S_2$ 성질을 확보한다.
• $h$-벡터와 오일러 지표를 사용하여 Cohen-Macaulay 유형과 정규성을 계산한다.
• Auslander-Buchsbaum 공식을 적용하여 최소 자유 해상에서 깊이와 보티 수 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 $n$이 소수일 때 $R/I(G)$의 정규성 지수는 무엇인가?
• RQ2 $R/I(G)$가 Cohen-Macaulay일 조건은 무엇이며, 그 경우 Castelnuovo-Mumford 정규성은 얼마인가?
• RQ3 $n$이 소수일 때 순환 그래프 $C_n(S)$ 중 $R/I(G)$가 순차적 $S_2$가 되는 경우는 언제인가?
• RQ4 크율 차원 2인 순환 그래프 중에서 Cohen-Macaulay인 것은 무엇이며, 그들의 Cohen-Macaulay 유형과 정규성은 얼마인가?
• RQ5 크율 차원 2인 Cohen-Macaulay 순환 그래프가 Gorenstein이 되는 조건은 무엇인가?

주요 결과

• $n$이 소수일 때 $R/I(G)$의 정규성 지수는 1이다.
• $R/I(G)$가 Cohen-Macaulay일 경우, 그 Castelnuovo-Mumford 정규성은 정규성 지수와 같으며, 이는 1이다.
• $n$이 소수일 때 순환 그래프 $C_n(\{1,\ldots,s\})$는 순차적 $S_2$이다.
• 크율 차원 2인 Cohen-Macaulay 순환 그래프의 경우, Castelnuovo-Mumford 정규성은 2이다.
• 이러한 그래프의 Cohen-Macaulay 유형은 $n$이 홀수일 경우 $\binom{n}{2} - n(s+1) + 1$, $n$이 짝수일 경우 $\binom{n}{2} - n(s + \frac{1}{2}) + 1$이다. (단, $\frac{n}{2} \in S$ 이면 해당 조건을 만족한다.)
• 크율 차원 2인 Cohen-Macaulay 순환 그래프가 Gorenstein이 되는 것은 보완 그래프가 $n \geq 4$ 인 해밀턴 $n$-사이클이며, 빠진 간선 $i$에 대해 $\gcd(n,i) = 1$ 인 경우에 국한된다.