[논문 리뷰] Regular sequences of power sums and complete symmetric polynomials

Neeraj Kumar, Ivan Martino|arXiv (Cornell University)|2011. 10. 31.

Advanced Mathematical Theories인용 수 5

한 줄 요약

이 논문은 세 변수 및 네 변수 다항식환에서 거듭제곱 합과 완전 대칭 다항식의 정규 수열을 조사한다. $ m < n-1 $ 일 때 연속된 거듭제곱 합 $ p_a, p_{a+1}, \dots, p_{a+m-1} $ 가 정규 수열을 이룬다는 것을 증명하고, 네 변수에서 $ p_a, p_b, p_c $ 가 정규 수열을 이루는 조건을 제시한다. 주요 기여는 Conca, Krattenthaler, Watanabe의 $ (p_a, p_b) $ 의 소수성에 대한 추측으로, 특수 케이스와 계산적 증거에 의해 뒷받침된다.

ABSTRACT

In this article, we carry out the investigation for regular sequences of symmetric polynomials in the polynomial ring in three and four variable. Any two power sum element in $\mathbb{C}[x_1,x_2,...,x_n]$ for $n \geq 3$ always form a regular sequence and we state the conjecture when $p_a,p_b,p_c$ for given positive integers $a<b></b>

연구 동기 및 목표

• 세 변수 및 네 변수 다항식환에서 거듭제곱 합과 완전 대칭 다항식과 같은 대칭 다항식의 정규 수열을 특성화하는 것.
• 세 거듭제곱 합 $ p_a, p_b, p_c $ 가 $ \mathbb{C}[x_1,x_2,x_3,x_4] $ 에서 정규 수열을 이루는 조건을 조사하여, 쌍에 대한 기존 결과를 확장하는 것.
• Conca, Krattenthaler, Watanabe의 대칭 다항식 정규 수열에 대한 추측에 대한 증거를 제공하는 것.
• 연속된 거듭제곱 합 수열 $ p_a, p_{a+1}, \dots, p_{a+m-1} $ 가 $ m < n-1 $ 일 때 정규 수열을 이루는 조건을 설정하는 것.
• Hilbert 다항식과 뉴턴 항등식을 사용하여 대칭 다항식에 의해 생성된 아이디얼의 정규성과 소수성을 검증하는 것.

제안 방법

• Hilbert 다항식 기준을 사용: 수열 $ f_1, \dots, f_k $ 가 정규일 때, $ H_{S/I}(z) = \frac{\prod_{i=1}^k (1 - z^{d_i})}{(1 - z)^n} $ 를 만족하며, 여기서 $ d_i = \deg f_i $.
• 정리 2.2를 적용: 세 변수에서 $ f_i, f_j, f_k $ 가 정규일 때, $ f_k \notin (f_i, f_j) $ 이고 시스템의 중복도가 $ i+j+k $ 여야 한다.
• 뉴턴 항등식을 사용하여 거듭제곱 합 $ p_m $, 초급 대칭 다항식 $ e_m $, 완전 대칭 다항식 $ h_m $ 간의 관계를 유도한다.
• Serre의 정규성 기준을 사용하여 $ (p_1, p_{2m}) $ 와 같은 특정 아이디얼이 $ \mathbb{C}[x_1,x_2,x_3,x_4] $ 에서 소수임을 증명한다.
• CoCoA를 사용한 계산적 검증을 통해 $ (p_a, p_b) $ 의 소수성을 테스트하고, $ a, b $ 에 대한 추측된 조건을 도출한다.
• $ p_n $ 이 $ (p_1, p_2, p_3) $ 와 $ (p_1, p_2, p_4) $ 모odulo에서의 이미지를 분석하여, $ n $ 에 따라 0이거나 $ e_4 $ 또는 $ e_3 $ 의 거듭제곱이 됨을 보여준다.

실험 결과

연구 질문

• RQ1 세 변수 다항식환 $ \mathbb{C}[x_1,x_2,x_3,x_4] $ 에서 $ a < b < c $ 에 대해 거듭제곱 합 $ p_a, p_b, p_c $ 가 정규 수열을 이루는 조건은 무엇인가?
• RQ2 두 거듭제곱 합에 의해 생성된 아이디얼 $ (p_a, p_b) $ 가 $ \mathbb{C}[x_1,x_2,x_3,x_4] $ 에서 소수 아이디얼이 되는 조건은 무엇인가?
• RQ3 $ \mathbb{C}[x_1,x_2,x_3,x_4] $ 에서 수열 $ p_1, p_2, p_3, p_n $ 이 정규 수열이 되는 $ n $ 은 무엇인가?
• RQ4 $ \mathbb{C}[x_1,x_2,x_3,x_4] $ 에서 수열 $ h_1, h_2, h_4, h_n $ 이 정규 수열이 되는 조건은 무엇인가?
• RQ5 Conca, Krattenthaler, Watanabe의 대칭 다항식 정규 수열에 대한 추측의 조건들이 저차원 케이스에서 검증되거나 확장될 수 있는가?

주요 결과

• 모든 연속된 거듭제곱 합 수열 $ p_a, p_{a+1}, \dots, p_{a+m-1} $ 는 $ m < n - 1 $ 일 때 $ \mathbb{C}[x_1,\dots,x_n] $ 에서 정규 수열을 이룬다.
• 수열 $ p_1, p_2, p_3, p_n $ 이 정규 수열이 되는 것은 $ n = 4k $ 일 때에 한하여 성립하며, Hilbert 다항식과 $ (p_1, p_2, p_3) $ 모odulo에서의 모듈로 환원을 통해 증명되었다.
• 수열 $ p_1, p_2, p_4, p_n $ 이 정규 수열이 되는 것은 $ n = 3k $ 일 때에 한하여 성립하며, $ p_n $ 이 $ (p_1, p_2, p_4) $ 모odulo에서의 이미지를 분석하여 도출되었다.
• $ (p_1, p_{2m}) $ 아이디얼은 모든 $ m \in \mathbb{N} $ 에 대해 $ \mathbb{C}[x_1,x_2,x_3,x_4] $ 에서 소수이다. 이는 더 넓은 추측에 대한 지지를 제공한다.
• 수열 $ h_1, h_2, h_3, h_n $ 이 정규 수열이 되는 것은 $ n = 4k $ 일 때에 한하여 성립하며, $ h_n $ 이 $ (h_1, h_2, h_3) $ 모odulo에서 $ (-1)^k e_4^k $ 와 합동임을 보였다.
• 수열 $ h_2, h_3, h_4, h_n $ 이 정규 수열이 되는 것은 $ n = 5k $ 또는 $ n = 5k+1 $ 일 때에 한하여 성립하며, $ h_n $ 이 $ (h_2, h_3, h_4) $ 모odulo에서의 이미지를 분석하여 도출되었다.