[논문 리뷰] Degree and algebraic properties of lattice and binomial matrix ideals

Liam O’Carroll, Francesc Planas-Vilanova외 1명|arXiv (Cornell University)|2013. 03. 21.

Commutative Algebra and Its Applications참고 문헌 17인용 수 2

한 줄 요약

이 논문은 임의의 체 위에서 비동차 격자 아이디얼의 차수를 계산하기 위한 공식을 도출하며, 인수군의 토판과 격자 다각형의 상대 체적을 사용한다. 이는 Eisenbud-Sturmfels 이론을 임의의 체 위에서 격자 아이디얼의 근본 분해로 확장하고, 일반화된 양의 임계 이항형 행렬(GPCB 행렬)을 도입하여 그것이 전치에 대해 닫혀 있음을 증명하며, 그래프에서 라플라스 아이디얼과 토플링 아이디얼의 차수와 모래더미 군의 순서 사이의 연관성을 규명한다.

ABSTRACT

We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (PCB, GPCB, CB, GCB matrices) and the algebra of their corresponding matrix ideals. In particular, the family of generalized positive critical binomial matrices (GPCB matrices) is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of 1-dimensional binomial ideals. If G is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension 1 in 3 variables and for homogeneous lattices in Z^3 in terms of critical binomial ideals (CB ideals) and critical binomial matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve.

연구 동기 및 목표

• 임의의 체 위에서 비동차 격자 아이디얼의 차수에 대한 명시적 공식을 유도하는 것.
• Eisenbud-Sturmfels 이론을 이항형 아이디얼에 대해 대수적으로 닫힌 체 위의 근본 분해로 확장하는 것.
• 특정 정수 행렬 군열: PCB, GPCB, CB, GCB 행렬에서 유도된 행렬 아이디얼의 대수적 성질을 연구하는 것.
• GPCB 행렬이 전치에 대해 닫혀 있음을 증명하고 이전의 PCB 아이디얼에 대한 결과를 일반화하는 것.
• 결과를 1차원 이항형 아이디얼에 적용하고, 연결된 그래프에서 라플라스 아이디얼과 토플링 아이디얼의 차수와 모래더미 군의 순서 사이의 연관성을 규명하는 것.

제안 방법

• Z^s의 인수군의 토판을 사용하여 격자 아이디얼의 차수를 계산한다.
• 상대 체적을 기하적 도구로 사용하여 차수를 결정한다.
• 대수적으로 닫힌 체 위에서 이항형 아이디얼의 Eisenbud-Sturmfels 이론을 사용하여 근본 분해를 분석한다.
• 일반화된 양의 임계 이항형(GPCB) 행렬을 도입하고 그 대수적 성질을 특성화한다.
• 결과를 1차원 이항형 아이디얼에 적용하고, 3변수에서의 호모지너스 격자 아이디얼과 동차 격자에서의 차수 구조 정리(구조 정리)를 수립한다.
• 그래프에서 라플라스 아이디얼과 토플링 아이디얼의 차수를 차수 계산을 통해 모래더미 군의 순서와 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 군의 토판과 다각형 체적을 사용하여 임의의 체 위에서 비동차 격자 아이디얼의 차수를 계산할 수 있는가?
• RQ2 일반화된 양의 임계 이항형(GPCB) 행렬에서 유도된 격자 아이디얼의 대수적 성질은 무엇이며, 전치에 대해 닫혀 있는가?
• RQ3 임의의 체 위에서 격자 아이디얼의 근본 분해는 어떻게 행동하는가? 이는 Eisenbud-Sturmfels 이론을 어떻게 확장하는가?
• RQ4 3변수에서 차수 1인 호모지너스 격자 아이디얼은 어떤 구조를 가지며, 임계 이항형 아이디얼과 어떻게 관련되는가?
• RQ5 그래프의 라플라스 아이디얼의 차수와 그 모래더미 군의 순서 사이의 관계는 무엇인가?

주요 결과

• 비동차 격자 아이디얼의 차수는 Z^s의 특정 인수군의 토판에 의해 결정된다.
• 차수는 아이디얼과 관련된 격자 다각형의 상대 체적으로도 표현될 수 있다.
• 일반화된 양의 임계 이항형(GPCB) 행렬의 집합은 전치에 대해 닫혀 있다.
• 연결된 그래프의 모래더미 군의 순서는 그 라플라스 아이디얼과 토플링 아이디얼의 차수와 같다.
• 3변수에서 차수 1인 호모지너스 격자 아이디얼에 대해 임계 이항형 아이디얼을 이용한 구조 정리가 수립된다.
• Z^3에서의 동차 격자에 대해, 해당 격자 아이디얼의 구조는 임계 이항형 행렬을 통해 특성화된다.