[논문 리뷰] On the Eisenbud-Green-Harris Conjecture

Abed Abedelfatah|arXiv (Cornell University)|2012. 12. 11.

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

한 줄 요약

이 논문은 각 $ f_i $ 가 선형 인수로 분해되는 정규열을 포함하는 동차 아이디얼에 대해 Eisenbud-Green-Harris (EGH) 추측을 증명한다. 등급을 갖는 동형사상 $ \alpha: S \to S $ 를 사용하여 단항식으로의 축소를 통해, 원래 아이디얼과 동일한 Hilbert 함수를 갖는 lex-plus-powers 아이디얼을 구성함으로써, 차원 증가 분석과 Hilbert 함수 재귀를 통해 이 특수 케이스에서 추측을 확인한다.

ABSTRACT

It has been conjectured by Eisenbud, Green and Harris that if $I$ is a homogeneous ideal in $k[x_1,...,x_n]$ containing a regular sequence $f_1,...,f_n$ of degrees $°(f_i)=a_i$, where $2\leq a_1\leq ... \leq a_n$, then there is a homogeneous ideal $J$ containing $x_1^{a_1},...,x_n^{a_n}$ with the same Hilbert function. In this paper we prove the Eisenbud-Green-Harris conjecture when $f_i$ splits into linear factors for all $i$.

연구 동기 및 목표

• 정규열의 각 $ f_i $ 가 선형 인수로 분해되는 경우 Eisenbud-Green-Harris 추측을 해결하기 위해.
• 모든 동차 아이디얼 $ I \ni f_1,\dots,f_n $ 이 $ \deg(f_i) = a_i $ 이고 $ f_i $ 가 선형 인수로 분해되는 경우, $ x_1^{a_1},\dots,x_n^{a_n} $ 을 포함하는 아이디얼과 동일한 Hilbert 함수를 갖는다.
• Clements-Lindström 정리의 일반화를 통해 비단항식 정규열에 대한 몐드-몫환에서의 Hilbert 함수 결과를 확장하기 위해.
• Chen 가 제기한 질문에 답하기 위해, $ f_i = x_i l_i $ 이고 $ l_i \in S_1 $ 일 때 EGH 추측이 성립하는가를 확인하기 위해.

제안 방법

• 각 $ f_i $ 를 나누는 $ p_i $ 에 대해 $ \alpha(x_i) = p_i $ 를 만족하는 등급을 갖는 동형사상 $ \alpha: S \to S $ 를 사용하여, 문제를 $ f_i = x_i l_i $ 인 경우로 축소하고 Hilbert 함수를 유지한다.
• $ p_1,\dots,p_n $ 이 $ k $-선형 독립임을 이용하여 $ f_i = x_i l_i $ 이고 $ l_i \in S_1 $ 이라고 가정함으로써 아이디얼의 구조를 단순화한다.
• $ x_1 l_1,\dots,x_n l_n $ 을 포함하는 아이디얼의 차원 증가를 $ I + \langle x_n \rangle $ 과 $ (I : x_n) $ 를 통한 재귀적 분해를 통해 분석한다.
• 하나의 낮은 차원의 링 $ R = k[x_1,\dots,x_{n-1}] $ 에서의 단항식 생성자를 올려서 $ S $ 에서의 목표 아이디얼 $ K $ 를 구성한다. 이때 $ \operatorname{Mon}(L_0) \cup \{w x_n\} \cup \{w x_n^2\} \cup \{x_n^3\} $ 를 사용하며, $ L_0, L_1, L_2 $ 는 lex-plus-powers 아이디얼이다.
• Macaulay2 를 사용하여 직접 계산을 통해 $ K $ 의 Hilbert 함수가 $ I $ 와 일치함을 검증한다. 이때 재귀 공식 $ H(S/I,t) = H(S/(I + \langle x_n \rangle),t) + H(S/(I : x_n),t-1) $ 을 사용한다.
• Clements-Lindström 정리를 활용하여 $ S/\langle x_1^{a_1},\dots,x_n^{a_n}\rangle $ 에서의 모든 Hilbert 함수가 lex-plus-powers 아이디얼에 의해 실현됨을 보장한다.

실험 결과

연구 질문

• RQ1 정규열의 각 $ f_i $ 가 선형 인수로 분해되는 경우 Eisenbud-Green-Harris 추측이 성립하는가?
• RQ2 $ f_i = x_i l_i $ 이고 $ \deg(f_i) = a_i $ 를 만족하는 동차 아이디얼 $ I $ 의 Hilbert 함수가 $ x_1^{a_1},\dots,x_n^{a_n} $ 을 포함하는 lex-plus-powers 아이디얼과 일치하는가?
• RQ3 Chen 가 제기한 바에 따르면, $ l_i \in S_1 $ 이고 $ f_i = x_i l_i $ 인 형태의 아이디얼에 대해 EGH 추측이 성립하는가?
• RQ4 $ I + \langle x_n \rangle $ 과 $ (I : x_n) $ 의 재귀적 구조를 사용하여 $ I $ 와 동일한 Hilbert 함수를 갖는 목표 아이디얼을 구성할 수 있는가?

주요 결과

• 정규열의 각 $ f_i $ 가 선형 인수로 분해되는 경우 EGH 추측이 참으로 증명되었으며, 이는 이전 결과를 이 클래스로 확장한 것이다.
• $ I = \langle f_1,\dots,f_n \rangle $ 이고 $ f_i = x_i l_i $, $ l_i \in S_1 $ 일 때, $ H(S/I) = H(S/K) $ 를 만족하는 lex-plus-powers 아이디얼 $ K $ 가 존재함을 보여, 이 경우 추측을 확인한다.
• $ I $ 의 Hilbert 함수는 등급을 갖는 동형사상 $ \alpha $ 에서 유지되며, 이는 $ l_i $ 가 선형 형식인 단항식 케이스 $ x_i l_i $ 로의 축소를 가능하게 한다.
• 낮은 차원의 lex-plus-powers 아이디얼 $ L_0, L_1, L_2 $ 에서의 단항식 생성자를 올려서 구성된 $ K $ 는 정확한 Hilbert 함수를 갖는다. 이는 Macaulay2 계산을 통해 검증되었다.
• 예제 4.6 에서는 $ H(S/I) = (1,5,8,3,0,\dots) $ 이 $ H(S/K) $ 와 일치하며, 예제 4.7 에서는 $ H(S/I) = (1,6,14,13,2,0,\dots) $ 가 $ H(S/K) $ 와 일치함을 확인하여 구성이 성공적임을 입증한다.
• 재귀적 구조 $ H(S/I,t) = H(S/(I + \langle x_n \rangle),t) + H(S/(I : x_n),t-1) $ 는 $ I $ 와 동일한 Hilbert 함수를 갖는 $ K $ 를 구성하는 데 효과적으로 사용되었다.