[논문 리뷰] Universal Groebner bases for maximal minors

Aldo Conca, Emanuela De Negri외 1명|arXiv (Cornell University)|2013. 02. 18.

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

한 줄 요약

이 논문은 변수의 행렬의 최대 행렬식들이 보편 그뢰브너 기저를 이룬다는 간결한 증명을 제시하며, 열-중량 또는 행-중량 다중중량화된 다항식의 행렬으로 이 결과를 확장한다. 주요 기여는 다중중량 다항식환에서 근본적 보렐 고정 이상의 강성 정리이며, 이는 초기 이상이 동일한 베티 수와 선형 해상성을 갖는다는 것을 의미하여 고전적인 행렬식 이상 이론을 일반화한다.

ABSTRACT

A set of polynomials G in a polynomial ring S over a field is said to be a universal Groebner basis, if G is a Groebner basis with respect to every term order on S. Twenty years ago Bernstein, Sturmfels, and Zelevinsky proved that the set of the maximal minors of a matrix X of variables is a universal Groebner basis. Boocher recently proved that any initial ideal of the ideal of maximal minors of X has a linear resolution. In this paper we give a quick proof of the results mentioned above. Our proof is based on a specialization argument. Then we show that similar statements hold in a more general setting, for matrices of linear forms satisfying certain homogeneity conditions. More precisely, we show that the set of maximal minors of a matrix L of linear forms is a universal Groebner basis for the ideal I that it generates, provided that L is column-graded. Under the same assumption we show that every initial ideal of I has a linear resolution. Furthermore, the projective dimension of I and of its initial ideals is n-m, unless I=0 or a column of L is identically 0. Here L is a matrix of size m times n, and m is smaller than or equal to n. If instead L is row-graded, then we prove that I has a universal Groebner basis of elements of degree m and that every initial ideal of I has a linear resolution, provided that I has the expected codimension. The proofs are based on a rigidity property of radical Borel fixed ideals in a multigraded setting: We prove that if two Borel fixed ideals I and J have the same multigraded Hilbert series and I is radical, then I = J. We also discuss some of the consequences of this rigidity property.

연구 동기 및 목표

• 일반 행렬의 최대 행렬식이 보편 그뢰브너 기저를 이룬다는 고전적 결과에 대한 간결한 증명을 제공하는 것.
• 이 결과를 열-중량 또는 행-중량 다중중량화된 다중중량화된 선형 형식의 행렬으로 일반화하는 것.
• 이러한 행렬식 이상의 초기 이상이 선형 해상성과 원래 이상과 동일한 베티 수를 갖는다는 것을 확립하는 것.
• 다중중량 다항식환에서 근본적 보렐 고정 이상에 대한 강성 성질을 증명하는 것 — 이는 주요 결과들의 기초가 된다.

제안 방법

• 보편 그뢰브너 기저 성질을 힐버트 급수 비교로 감소시키기 위해 전문화 방법을 사용하는 것.
• 강성 정리의 적용: 두 보렐 고정 이상이 동일한 힐버트 급수를 갖고 하나가 근본적이라면, 이 둘은 동일하다.
• 다중중량 다중중량 다항식환에서의 이든-노스코트 복합체를 활용하여 행렬식 이상의 힐버트 급수 및 ${\mathcal{K}}$-다항식을 계산하는 것.
• 행-중량 다중중량화된 경우의 힐버트 급수 동치를 확립하기 위해 생성함수와 대칭 다항식 항등식을 활용하는 것.
• 다중중량을 유지하는 일반선형군의 곱 작용 하에서의 일반화된 초기 이상을 사용하는 것.
• 행-중량 다중중량화된 경우에서 $ I_m(L) $의 초기 이상이 보렐 고정 이상 $ I = (x_{1j_1} \cdots x_{mj_m} : j_1 + \cdots + j_m \leq n) $ 와 동일하다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 변수의 행렬의 최대 행렬식 집합은 어떤 항순서에 대해서도 보편 그뢰브너 기저를 이룬다?
• RQ2 이 결과는 다중중량화된 다중중량화된 선형 형식의 행렬로 확장될 수 있는가?
• RQ3 어떤 조건이 행렬식 이상의 초기 이상이 선형 해상성과 동일한 베티 수를 갖는지를 보장하는가?
• RQ4 특히 행-중량 다중중량화된 경우에서, 행렬식 이상의 힐버트 급수는 어떻게 행동하는가?
• RQ5 다중중량 다항식환에서 근본적 보렐 고정 이상에 대해 어떤 강성 성질이 성립하는가?

주요 결과

• 변수의 행렬의 최대 행렬식들은 짧은 전문화 방법을 통해 보편 그뢰브너 기저를 이룬다.
• 열-중량 다중중량 다항식환에서 선형 형식의 행렬에 대해, 최대 행렬식 이상의 모든 초기 이상은 선형 해상성과 원래 이상과 동일한 베티 수를 갖는다.
• 행-중량 다중중량 다항식환에서 기대되는 계수를 만족할 경우, 이상 $ I_m(L) $는 차수 $ m $의 원소들로 이루어진 보편 그뢰브너 기저를 가지며, 모든 초기 이상은 근본적이며 선형 해상성을 갖는다.
• ${\mathcal{K}}$-다항식 $ S/I_m(X) $는 보렐 고정 이상 $ I = (x_{1j_1} \cdots x_{mj_m} : j_1 + \cdots + j_m \leq n) $ 와 동일하며, 이는 힐버트 급수의 동치를 의미한다.
• 강성 정리에 의해, 근본적 보렐 고정 이상과 동일한 힐버트 급수를 갖는 모든 다중중량 다항식 이상은 근본적이며 코hen-맥컬레이임이 보장된다.
• 생성함수를 통해 항등식 $ \sum_{k=0}^{t} h_k(1+y_1,\dots,1+y_m) = \sum_{k=0}^{t} \binom{m+t}{m+k} h_k(y_1,\dots,y_m) $ 가 증명되었으며, 이는 힐버트 급수의 동치를 확인한다.