[논문 리뷰] A Groebner basis for the secant ideal of the second hypersimplex

Seth Sullivant|ArXiv.org|2008. 04. 17.

Commutative Algebra and Its Applications참고 문헌 9인용 수 3

한 줄 요약

이 논문은 제2형 초단체 Δ(2,n)와 관련된 토닉 아이디얼의 시컨트 아이디얼에 대해 임의의 순환 단항순서에 대해 그뢰브너 기저를 계산하며, 초기 아이디얼이 차수 n까지의 홀수 차수 다항식을 필요로 함을 증명함으로써 순환 단항순서의 2-기쁨 성질을 확인한다. 이는 드론, 슈르프엘즈, 설리반트의 추측을 해결하며, 주요 다항식과 비대각선 행렬식을 이용하여 아이디얼의 기호 제곱에 대한 그뢰브너 기저를 추가로 확립한다.

ABSTRACT

We determine a Groebner basis for the secant ideal of the toric ideal associated to the second hypersimplex, with respect to any circular term order. The Groebner basis of the secant ideal requires polynomials of odd degree up to n. This shows that the circular term order is 2-delightful, resolving a conjecture of Drton, Sturmfels, and the author. The proof uses Groebner degenerations for secant ideals, combinatorial characterizations of the secant ideals of monomial ideals, and the relations between secant ideals and prolongations.

연구 동기 및 목표

• 제2형 초단체 Δ(2,n)와 관련된 토닉 아이디얼의 시컨트 아이디얼 $I_{n}^{ ext{\{2\}}}$에 대해 그뢰브너 기저를 계산한다.
• 순환 단항순서가 2-기쁨 성질을 갖는다는 추측을 해결하기 위해, 시컨트 아이디얼의 초기 아이디얼이 차수 n까지의 홀수 차수 다항식을 필요로 함을 보인다.
• 시컨트 아이디얼과 연장의 관계를 이용하여 기호 제곱 $I_{n}^{(2)}$에 대한 그뢰브너 기저를 확립한다.
• 단항식 아이디얼의 시컨트 아이디얼의 조합적 특성과 그뢰브너 분해를 통한 '기쁨' 전략을 적용한다.

제안 방법

• 스투르프엘츠와 설리반트의 '기쁨' 전략을 활용하여, 시컨트 아이디얼의 초기 아이디얼과 초기 아이디얼의 시컨트 아이디얼을 연결한다.
• 그뢰브너 분해를 이용하여 포함 관계 ${\rm in}_{\prec}(I_n^{ ext{\{2\}}}) \subseteq {\rm in}_{\prec}(I_n)^{\text{\{2\}}}$를 통해 $I_{n}^{ ext{\{2\}}}$와 초기 아이디얼 ${\rm in}_{\prec}(I_n)^{\text{\{2\}}}$를 연결한다.
• 길이가 5 이상인 홀수 길이의 허용 가능한 수열과 관련된 주요 다항식 $f_{\mathbf{i},\mathbf{j}}$를 정의하며, 이들의 주항등항은 $K_n$의 비교접 그래프에서 사이클 단항식이 된다.
• 순환 그뢰브너 기저 $I_n$에 대한 그뢰브너 환원을 통해 각 주요 다항식의 주항등항이 $\prod_{l=1}^{2k+1} x_{i_l j_{l+k-1}}$임을 보인다.
• 변수 행렬 $x_{ij}$의 3×3 비대각선 행렬식의 초기항이 $x_{i_1 i_6}x_{i_2 i_5}x_{i_3 i_4}$ 형태의 단항식이며, 이는 차수 3 생성자들의 초기항임을 보인다.
• 포함 관계 ${\rm in}_{\prec}(I_n)^{(2)} = {\rm in}_{\prec}(I_n)^2 + {\rm in}_{\prec}(I_n)^{\text{\{2\}}}$를 이용하여 $I_n^{(2)}$에 대한 그뢰브너 기저를 유도한다.

실험 결과

연구 질문

• RQ1 순환 단항순서는 제2형 초단체의 시컨트 아이디얼 $I_n^{\text{\{2\}}}$에 대해 2-기쁨 그뢰브너 기저를 제공하는가?
• RQ2 순환 단항순서 하에서 $I_n^{\text{\{2\}}}$의 그뢰브너 기저에 필요한 최소 차수의 다항식은 무엇인가?
• RQ3 기호 제곱 $I_n^{(2)}$는 동일한 단항순서를 사용하여 그뢰브너 기저로 기술될 수 있는가?
• RQ4 주요 다항식과 비대각선 행렬식은 초기 아이디얼 ${\rm in}_{\prec}(I_n^{\text{\{2\}}})$의 생성에 어떻게 기여하는가?
• RQ5 순환 임bedding된 $K_n$에서의 비교접 및 비교접 엣지에 대해 초기 아이디얼 ${\rm in}_{\prec}(I_n)^{\text{\{2\}}}$의 조합적 구조는 어떻게 되는가?

주요 결과

• 모든 순환 단항순서 하에서 시컨트 아이디얼 $I_n^{\text{\{2\}}}$는 그뢰브너 기저를 갖으며, 이는 3×3 비대각선 행렬식, 차수 3 주요 다항식, 2×2 행렬식의 곱으로 구성된 생성자들을 포함한다.
• 초기 아이디얼 ${\rm in}_{\prec}(I_n^{\text{\{2\}}})$는 차수 n까지의 홀수 차수 다항식을 필요로 하며, 이는 순환 단항순서가 2-기쁨 성질을 갖는다는 것을 확인한다.
• 형태 $x_{i_1 i_6}x_{i_2 i_5}x_{i_3 i_4}$의 각 차수 3 단항식은 변수 행렬 $x_{ij}$의 3×3 비대각선 행렬식의 초기항으로 나타난다.
• 길이 $2k+1 \geq 5$인 허용 가능한 홀수 수열과 관련된 주요 다항식 $f_{\mathbf{i},\mathbf{j}}$의 주항등항은 사이클 단항식 $\prod_{l=1}^{2k+1} x_{i_l j_{l+k-1}}$과 같다.
• 기호 제곱 $I_n^{(2)}$는 $I_n^{(2)} = I_n^2 + I_n^{\text{\{2\}}}$를 만족하며, 그 그뢰브너 기저는 $I_n^{\text{\{2\}}}$의 생성자와 동일하며, 2×2 행렬식의 곱을 추가로 포함한다.
• 초기 아이디얼 ${\rm in}_{\prec}(I_n)^{(2)}$는 비교접 그래프의 차수 3 사이클과 비교접 엣지 쌍의 곱으로 생성되며, 이는 $I_n^{(2)}$의 생성자들의 초기항과 일치한다.