[논문 리뷰] Universal Groebner bases and Cartwright-Sturmfels ideals

Aldo Conca, Emanuela De Negri외 1명|arXiv (Cornell University)|2016. 08. 31.

Commutative Algebra and Its Applications참고 문헌 12인용 수 4

한 줄 요약

이 논문은 근본적 일반 초기 이상과 고유 생성 성질을 특징으로 하는 다중계수 다항식 이상의 두 가지 클래스인 Cartwright-Sturmfels 및 Cartwright-Sturmfels ∗ 이상을 도입한다. 이러한 이상들이 다중계수 초평면 절단에 대해 닫혀 있음을 증명하고, 다항식 형태의 다중계수 행렬의 최대 차수 미니어 및 2-미니어 이상이 이들 클래스에 속함을 보여, 이들이 근본적임을 보이고 선형 해상이 존재하며, 유계된 차수를 가진 보편 그뢰브너 기저를 갖는다는 것을 의미한다.

ABSTRACT

We describe the universal Groebner basis of the ideal of maximal minors and the ideal of $2$-minors of a multigraded matrix of linear forms. Our results imply that the ideals are radical and provide bounds on the regularity. In particular, the ideals of maximal minors have linear resolutions. Our main theoretical contribution consists of introducing two new classes of ideals named after Cartwright and Sturmfels, and proving that they are closed under multigraded hyperplane sections. The gins of the ideals that we study enjoy special properties.

연구 동기 및 목표

• 다중계수 이상의 두 가지 새로운 클래스인 Cartwright-Sturmfels 및 Cartwright-Sturmfels ∗ 이상을 정의하고, 그들의 일반 초기 이상의 성질을 연구한다.
• 이들 클래스가 다중계수 선형 형식에 대한 초평면 절단과 애너로그 연산을 취할 때 닫혀 있음을 증명한다.
• 다양한 다항식 형태의 다중계수 행렬의 최대 차수 미니어 및 2-미니어 이상이 Cartwright-Sturmfels임을 보여, 이들이 근본적임과 선형 해상이 있음을 암시한다.
• 이러한 이상에 대해 Castelnuovo-Mumford 정규성과 여기차원의 유계한 값을 확립한다.
• 이러한 이상의 보편 그뢰브너 기저가 다중차수에 대해 유계된 성분을 가지며, 열-그레이딩 및 행-그레이딩의 경우 명시적인 차수 유계값을 제시한다.

제안 방법

• 근본적 다중계수 일반 초기 이상을 갖는 이상을 Cartwright-Sturmfels 이상으로 정의한다.
• 각 다중차수에 대해 단일 변수만을 포함하는 생성자 체계를 갖는다는 성질을 통해 Cartwright-Sturmfels ∗ 이상을 정의한다.
• 이러한 이상의 일반 초기 이상이 항순서에 의존하지 않음을 증명하여, 그뢰브너 기저 계산에 대해 안정성을 확보한다.
• 귀납법과 제거 순서 기법을 사용하여, 다중계수 선형 형식에 대한 모듈로 및 애너로그 연산에 대해 닫혀 있음을 보인다.
• 기존의 결정식 이상에 관한 결과(예: [9], [8])를 적용하여, 변수 행렬의 최대 차수 및 2-미니어 이상이 이러한 클래스에 속함을 보인다.
• 다중계수 행렬의 상사상과 다항식 환의 몫 간의 동형을 활용하여, 변수 행렬의 성질을 일반적인 경우로 이행한다.

실험 결과

연구 질문

• RQ1 다양한 다항식 형태의 다중계수 행렬의 최대 차수 및 2-미니어 이상은 다중차수에 대해 유계된 성분을 가진 보편 그뢰브너 기저를 갖는가?
• RQ2 이러한 이상의 일반 초기 이상은 항순서에 독립적이며, 근본성과 선형 해상 성질을 유지하는가?
• RQ3 Cartwright-Sturmfels 및 Cartwright-Sturmfels ∗ 이상의 클래스는 다중계수 초평면 절단과 애너로그 연산에 대해 닫혀 있는가?
• RQ4 다중계수 설정에서 이러한 이상에 대해 Castelnuovo-Mumford 정규성과 여기차원의 유계한 값을 어떻게 확립할 수 있는가?
• RQ5 다양한 결정식 이상의 다중차수 일반 초기 이상은 폴라라이제이션과 아우거스터-다우얼리티에 의해 어떻게 행동하는가?

주요 결과

• 열-그레이딩 또는 행-그레이딩된 선형 다항식 형태의 다중계수 행렬의 최대 차수 미니어 이상은 Cartwright-Sturmfels이므로, 근본적이며 선형 해상이 존재한다.
• 이러한 행렬의 2-미니어 이상 역시 Cartwright-Sturmfels이므로 근본적이며, 모든 초기 이상 역시 근본적이다.
• 열-그레이딩의 경우, 최대 차수 미니어는 보편 그뢰브너 기저를 이루며, 모든 초기 이상은 다중차수 (1,…,1)에서 생성된다.
• 행-그레이딩의 경우, 최대 차수 미니어는 다중차수 ∑_{i=1}^m e_i를 가진 보편 그뢰브너 기저를 이룬다.
• ℤ^v-그레이딩된 Cartwright-Sturmfels 이상의 Castelnuovo-Mumford 정규성은 v로 유계되며, ℤ^v-그레이딩된 Cartwright-Sturmfels ∗ 이상의 여기차원 역시 v로 유계된다.
• 두 가족의 정규 단순 다항식 이상은 상호 아우거스터-다우얼리 관계를 가지며, 그들의 일반 초기 이상은 폴라라이제이션과 아우거스터-다우얼리티를 통해 관련되어 있다.