[논문 리뷰] Dimension, Depth and Zero-Divisors of the Algebra of Basic k-Covers of a Graph

Bruno Benedetti, Alexandru Constatinescu외 1명|arXiv (Cornell University)|2008. 01. 01.

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

한 줄 요약

이 논문은 이분 그래프 G의 기본 k-커버의 대수에 대해 연구하며, 대수 $\bar{A}(G)$의 크룰 차원을 유 bounds하기 위해 새로운 조합적 불변량인 '그래프 차원'을 도입한다. $\bar{A}(G)$가 도메인(따라서 Hochster의 정리에 의해 코hen-맥쿨레이)임을 완전히 조합적으로 특성화하며, $\bar{A}(G)$가 도메인임과 동치인 조건은 모든 고립하지 않은 정점 i에 대해, {i,j}가 간선이면서, {i,i'}와 {j,j'}가 간선일 경우 {i',j'}도 간선이 되는 간선 {i,j}가 존재함을 의미한다. 그래프 차원은 나무와 사이클의 경우 $\bar{A}(G)$의 차원과 일치한다.

ABSTRACT

We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank.

연구 동기 및 목표

• 이분 그래프 G의 기본 k-커버 대수 $\bar{A}(G)$가 도메인일 조건을 순수히 조합적인 조건을 통해 특성화하는 것.
• G의 새로운 불변량인 '그래프 차원'을 도입하여 $\bar{A}(G)$의 크룰 차원을 연구하는 것.
• $\bar{A}(G)$를 이용해 G의 간선 아이디얼의 앨리오크산더 쌍대 아이디얼의 산술 랭크와 캐스텔누오보-무디 포지티브 정규성을 유 bounds하는 것.
• $\bar{A}(G)$가 코hen-맥쿨레이, 고페르스타인, 또는 히비 링인지 결정하며, 특히 균형 잡힌 그래프의 경우를 다루는 것.
• $\bar{A}(G)$의 대수적 불변량과 G의 기하학적 또는 조합적 성질(예: 나무 또는 사이클 여부) 간의 관계를 탐색하는 것.

제안 방법

• 이분 그래프 G의 기본 k-커버를 정의한다. 이는 모든 간선 {i,j}에 대해 $a_i + a_j \geq k$를 만족하고, 음이 아닌 성분을 가지며 전부 0이 아닌 정수 벡터이다.
• 앨리오크산더 쌍대 아이디얼의 피버 코너로 $\bar{A}(G)$를 정의하며, 이는 표준 $\Sigma$-대수이다.
• 정점 커버와 간선 관계의 구조에서 유도된 이분 그래프의 새로운 조합적 불변량인 '그래프 차원' $\operatorname{gdim}(G)$를 정의한다.
• Hochster의 정리를 이용해 $\pi(G)$가 도메인이라면 $\pi(G)$는 코hen-맥쿨레이이자 정규임을 유도한다.
• $\pi(G)$가 G가 균형 잡힌 그래프일 경우 히비 링임을 증명하며, 관련 분포 랏의 랭크를 통해 고페르스타인 경우를 특성화할 수 있다.
• 국소 코hom로지와 캐스텔누오보-무디 포지티브 정규성 결과를 적용해 앨리오크산더 쌍대 아이디얼의 산술 랭크와 정규성을 유 bounds한다.

실험 결과

연구 질문

• RQ1 이분 그래프 G에 대해, 기본 k-커버 대수 $\pi(G)$가 도메인일 조합 조건은 무엇인가?
• RQ2 그래프 차원 $\operatorname{gdim}(G)$는 $\pi(G)$의 크룰 차원과 어떻게 관련되어 있으며, 일반적으로 등식이 성립하는가?
• RQ3 G의 간선 아이디얼의 앨리오크산더 쌍대 아이디얼의 산술 랭크는 무엇이며, $\pi(G)$를 통해 어떻게 유 bounds할 수 있는가?
• RQ4 $\pi(G)$가 코hen-맥쿨레이 또는 고페르스타인일 조건는 무엇이며, 특히 나무, 사이클, 또는 균형 잡힌 그래프의 경우는 어떻게 되는가?
• RQ5 $\pi(G)$의 캐스텔누오보-무디 포지티브 정규성을 $\operatorname{gdim}(G)$ 또는 기타 그래프 불변량으로 유 bounds할 수 있는가?

주요 결과

• $\pi(G)$가 도메인임과 동치인 조건은 모든 고립하지 않은 정점 i에 대해, {i,j}가 간선이면서, {i,i'}와 {j,j'}가 간선일 경우 {i',j'}도 간선이 되는 간선 {i,j}가 존재함을 의미한다 — 이는 '일부 방식으로 유도된 4사이클이 없는 이분 그래프' 개념을 일반화한 조건이다.
• 만약 $\pi(G)$가 도메인이라면, Hochster의 정리에 의해 $\pi(G)$는 코hen-맥쿨레이이자 정규이다.
• 나무 G에 대해 $\dim(\bar{A}(G)) = \lfloor n/2 \rfloor + 1$이며, $\operatorname{gdim}(G) = \dim(\bar{A}(G))$이다. 여기서 n은 정점의 수이다.
• 사이클 $C_{2a}$에 대해 $\dim(\bar{A}(G)) = a$이며, $\operatorname{gdim}(G) = \dim(\bar{A}(G))$이므로 이 경우 등식이 성립함을 보여준다.
• G가 나무일 경우, 앨리오크산더 쌍대 아이디얼의 산술 랭크는 $\operatorname{ara}(I) \leq \operatorname{gdim}(G)$를 만족하며, 표준 그림에서 아래에 있는 모든 정점의 차수가 s 이상일 경우 $\operatorname{ara}(I) \leq a - s + 2$이다.
• 균형 잡힌 G에 대해 $\operatorname{ara}(I) \leq \operatorname{rank}(\mathcal{L})$이며, 여기서 $\mathcal{L}$은 G에 관련된 분포 랏이다. 또한 간선 아이디얼의 캐스텔누오보-무디 포지티브 정규성은 $\operatorname{gdim}(G)$ 또는 $\operatorname{rank}(\mathcal{L})$로 유 bounds된다.