[논문 리뷰] Cohen-Macaulayness of triangular graphs

Hernán de Alba, Walter Carballosa외 2명|arXiv (Cornell University)|2016. 01. 19.

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

한 줄 요약

이 논문은 삼각형 그래프 $T_n$의 Cohen-Macaulay 성질을 조사한다. 여기서 $T_n$은 Johnson 그래프 $J(n,2)$ 또는 $K_n$의 2토큰 그래프로 정의된다. Reisner의 기준과 계산적 검증을 통해 저자들은 $T_2$, $T_3$, $T_5$가 Cohen-Macaulay임을 증명하고, $T_4$, $T_6$, $T_8$, 그리고 $n \geq 10$인 $T_n$은 그렇지 않음을 보였다. 특성 0을 갖는 체에서는 $T_7$와 $T_9$ 역시 Cohen-Macaulay임을 입증하여 $n \leq 9$에 대해 완전한 분류와 $n \geq 10$에 대해 부분적인 분류를 확립하였다. 또한 독립 집합 위에서 기본 대칭 다항식을 사용한 동차 다항식계의 일반적 구성법을 제안하였다.

ABSTRACT

We study the Cohen-Macaulay property of triangular graphs $T_n$. We show that $T_2$, $T_3$ and $T_5$ are Cohen-Macaulay graphs, and that $T_4$, $T_6$, $T_8$ and $T_n$ are not Cohen-Macaulay graphs, for $n\geq 10$. Finally, we prove that over fields of characteristic zero $T_7$ and $T_9$ are Cohen-Macaulay.

연구 동기 및 목표

• 어느 필드 또는 특성 0을 갖는 필드에서 삼각형 그래프 $T_n$이 Cohen-Macaulay가 되는 $n$의 값이 무엇인지 규명하는 것.
• 호모로지 기준을 사용하여 작은 $n$과 $n \geq 10$에 대해 $T_n$의 Cohen-Macaulay 성질을 분류하는 것.
• 임의의 단순 그래프의 간선 부분환에 대해 독립 집합 위에서 대칭 다항식을 사용한 동차 다항식계의 일반적 구성법을 제공하는 것.
• $T_n$의 독립 집합의 구조와 그 간선 부분환 내 정규수열의 존재 간의 관계를 설정하는 것.

제안 방법

• 삼각형 그래프 $T_n$의 독립 집합의 단순 복합체에 대해 Reisner의 기준을 적용하여 Cohen-Macaulay 성질을 검증하는 것.
• 간선 부분환 $R/I(G)$의 Krull 차원이 $G$의 독립 수와 같다는 사실을 이용하는 것.
• 독립 집합의 크기가 $k$인 $T_n$에 대해 $k=1,\dots,d$($d$는 독립 수)에 대해 기본 대칭 다항식을 사용하여 명시적인 정규수열을 계산하는 것.
• 특성 0을 갖는 체에서 컴퓨터 대수 시스템을 사용하여 $T_7$과 $T_9$의 Cohen-Macaulay 성질을 검증하는 것.
• 임의의 그래프에 대해 크기가 $k$인 독립 집합 위에서 기본 대칭 합의 수열이 동차 다항식계의 구성 요소가 되도록 보이는 것.
• 근본적 등식 $\sqrt{\langle F_1,\dots,F_d \rangle} = \langle x_1,\dots,x_N \rangle$에 기반하여 이 h.s.o.p.가 정규임을 증명하는 것.

실험 결과

연구 질문

• RQ1 어느 값의 $n$에 대해 삼각형 그래프 $T_n$이 임의의 필드에서 Cohen-Macaulay인가?
• RQ2 특성 0을 갖는 필드에서만 Cohen-Macaulay인 특정한 $n$이 존재하는가?
• RQ3 그래프의 독립 집합에서 동차 다항식계의 일반적 구성법을 유도할 수 있는가?
• RQ4 독립 집합 위에서의 대칭 다항식은 Cohen-Macaulay 성질을 결정하는 데 어떤 역할을 하는가?
• RQ5 $T_n$의 독립 집합의 구조는 그 간선 부분환 내 정규수열의 존재에 어떤 영향을 미치는가?

주요 결과

• $T_2$, $T_3$, $T_5$는 임의의 필드에서 Cohen-Macaulay이다.
• $T_4$, $T_6$, $T_8$, 그리고 모든 $n \geq 10$에 대해 $T_n$은 임의의 필드에서 Cohen-Macaulay가 아니다.
• 특성 0을 갖는 필드에서 $T_7$과 $T_9$는 명시적인 정규수열의 계산을 통해 Cohen-Macaulay임이 확인되었다.
• $T_n$의 독립 수는 $\lfloor n/2 \rfloor$이며, 이는 간선 부분환의 Krull 차원을 결정한다.
• 임의의 단순 그래프의 간선 부분환에 대해 크기가 $k$인 독립 집합 위에서의 기본 대칭 합을 $k=1$부터 $d$까지 사용하여 동차 다항식계를 구성할 수 있다.
• 이 h.s.o.p.는 그래프가 Cohen-Macaulay일 때에만 정규이며, 그 근이 몰대수를 생성한다.