[논문 리뷰] A Broken Circuit Ring

Nicholas Proudfoot, David E Speyer|ArXiv.org|2004. 10. 05.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 6

한 줄 요약

이 논문은 선형 부분공간 $ L \subset \mathbb{C}^n $에 관련된 계수를 가진 링 $ R(L) $을 제안하며, 기저 집합의 임의의 순서에 대해 이 링은 파손된 회로 복합체의 스탠리-라이즈너 링으로 분해된다. 링 $ R(L) $은 차원 $ d $를 가지며 코hen-맥컬레이 링이며, 그 힐베르트 급수는 파손된 회로 복합체의 $ h $-벡터를 계산한다. 이는 $ \operatorname{Spec}R(L) $의 기하학적 실현을 초평면 배치의 여집합의 변형으로 제공한다.

ABSTRACT

Given a matroid M represented by a linear subspace L in n-space (equivalently by an arrangement of n hyperplanes in L), we define a graded ring R(L) which degenerates to the Stanley-Reisner ring of the broken circuit complex for any choice of ordering of the ground set. In particular, R(L) is Cohen-Macaulay, and may be used to compute the h-vector of the broken circuit complex of M. We give a geometric interpretation of Spec R(L), as well as a stratification indexed by the flats of M.

연구 동기 및 목표

• 선형 부분공간 $ L \subset \mathbb{C}^n $에 관련된 새로운 계수 링 $ R(L) $을 정의하여, 파손된 회로 복합체의 스탠리-라이즈너 링을 일반화한다.
• $ R(L) $이 코헨-맥컬레이임을 보이고, 그 힐베르트 급수가 파손된 회로 복합체의 $ h $-다항식과 일치함을 보인다.
• $ \operatorname{Spec}R(L) $을 초평면 배열의 여집합의 변형으로서 기하학적 해석을 제공한다.
• 기초 매트로이드 $ M(L) $의 평면에 따라 인덱싱된 $ \operatorname{Spec}R(L) $의 분할을 구축하며, 각 조각이 초평면 배열의 여집합과 동형임을 보인다.

제안 방법

• $ \mathbb{C}[x,y] $를 $ x_i y_i = 1 $을 만족하는 라우렌트 다항식 링으로 하여, $ R(L) $을 $ (\mathbb{C}[L] \otimes_{\mathbb{C}[x]} \mathbb{C}[x,y]) \cap \mathbb{C}[y] $로 정의한다.
• $ t \mapsto t^{-1} $의 호환성에 의해 $ L \cap (\mathbb{C}^*)^n $의 폐포의 좌표 링으로서 $ R(L) $을 식별한다. 이를 $ \mathbb{C}^n $에 매립한다.
• 순환 $ C $에 대해 $ f_C = \sum_{c \in C} a_c \prod_{c' \in C \setminus \{c\}} y_{c'} = 0 $ 형태의 관계들이 유니버설 그뢰브너 기저를 이룬다는 것을 증명한다.
• 이 그뢰브너 기저를 사용하여, 임의의 순서에 대해 $ R(L) $이 파손된 회로 복합체의 스탠리-라이즈너 링으로 분해됨을 보인다.
• 기초 매트로이드 $ M(L) $의 평면 $ I $에 따라 $ \operatorname{Spec}R(L) $의 분할을 구성하며, 각 조각 $ A_I $는 국소화 $ L_I $에서의 초평면 배열의 여집합 $ A(L_I) $와 동형임을 보인다.
• $ R(L) $이 $ \mathbb{C}[L^\vee] $ 위에서 자유 모듈임을 보이고, 영차원 몫 $ R_0(L) $의 힐베르트 급수가 파손된 회로 복합체의 $ h $-다항식과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 기저 집합의 임의의 순서에 대해, 파손된 회로 복합체의 스탠리-라이즈너 링으로 분해되는 계수 링 $ R(L) $을 어떻게 구성할 수 있는가?
• RQ2 $ \operatorname{Spec}R(L) $의 기하학적 구조는 무엇이며, 초평면 배열의 여집합과 어떻게 관련되어 있는가?
• RQ3 $ \operatorname{Spec}R(L) $의 분할은 매트로이드 $ M(L) $의 평면에 따라 인덱싱될 수 있으며, 각 조각의 구조는 어떠한가?
• RQ4 $ R(L) $은 그 분해로부터 코헨-맥컬레이 성질을 물려받는가? 그리고 선형 매개변수 시스템을 통해 그 힐베르트 급수를 계산할 수 있는가?
• RQ5 자연스러운 선형 매개변수 시스템이 $ R(L) $에 존재하는가? 그리고 몫 $ R_0(L) $은 $ g $-원소를 가질 수 있는가?

주요 결과

• 링 $ R(L) $은 부분공간 $ L $의 차원인 $ d $를 가지며 코헨-맥컬레이 링이다.
• 모든 순환 $ C $에 대해 $ f_C = \sum_{c \in C} a_c \prod_{c' \in C \setminus \{c\}} y_{c'} = 0 $ 형태의 관계들이 $ R(L) $의 유니버설 그뢰브너 기저를 이룬다. 이는 파손된 회로 복합체의 스탠리-라이즈너 링으로의 분해를 보장한다.
• $ R(L) $의 힐베르트 급수, 그리고 최소 선형 매개변수 시스템에 대한 몫의 힐베르트 급수는 모두 파손된 회로 복합체의 $ h $-다항식과 일치한다.
• $ \operatorname{Spec}R(L) $은 매트로이드 $ M(L) $의 평면 $ I $에 따라 인덱싱된 분할을 가지며, 각 조각 $ A_I $는 국소화 $ L_I $에서의 초평면 배열의 여집합 $ A(L_I) $와 동형이다.
• $ R(L) $은 $ \mathbb{C}[L^\vee] $ 위에서 자유 모듈이며, 영차원 몫 $ R_0(L) $의 힐베르트 급수는 파손된 회로 복합체의 $ h $-다항식과 일치한다.
• 스탠리-라이즈너 링의 $ g $-정리에 대한 반례는 $ R_0(L) $에도 적용되며, 이는 $ R_0(L) $이 $ g $-원소를 가지지 않음을 보여준다.