[논문 리뷰] The Solution to Waring's Problem for Monomials

Enrico Carlini, Maria Virginia Catalisano외 1명|arXiv (Cornell University)|2011. 10. 04.

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

한 줄 요약

이 논문은 다항식환에서의 단항식에 대한 워링의 문제를 해결하며, 임의의 단항식을 거듭제곱의 합으로 표현하기 위해 필요한 최소 선형형식의 수를 결정한다. 다항식환의 아이디얼에 대한 아폴로지아 렘마와 힐베르트 함수 분석을 사용하여, $1 \leq b_1 \leq \cdots \leq b_n$인 단항식 $x_1^{b_1} \cdots x_n^{b_n}$의 워링 랭크가 $\prod_{i=2}^n (b_i + 1)$임을 증명하고, 단위근과 선형형식을 사용하여 명시적인 거듭제곱 합 분해를 제공한다.

ABSTRACT

In the polynomial ring $T=k[y_1,...,y_n]$, with $n>1$, we bound the multiplicity of homogeneous radical ideals $I\subset (y_1^{a_1},...,y_n^{a_n})$ such that $T/I$ is a graded $k$-algebra with Krull dimension one. As a consequence we solve the Waring Problem for all monomials, i.e. we compute the minimal number of linear forms needed to write a monomial as a sum of powers of these linear forms. Moreover, we give an explicit description of a sum of powers decomposition for monomials. We also produce new bounds for the Waring rank of polynomials which are a sum of pairwise coprime monomials.

연구 동기 및 목표

• 대수적으로 닫힌 체에서 특성 0인 다항식환의 임의의 단항식의 워링 랭크를 결정하기 위해.
• 대칭적 구조와 단위근을 활용하여 단항식의 거듭제곱 합 분해를 명시적으로 구성하기 위해.
• 이전에 알려진 특정 단항식, 예를 들어 $ (x_1 \cdots x_n)^m $의 워링 랭크 결과를 일반 단항식으로 일반화하기 위해.
• 단항식의 아폴로지아 아이디얼 내에서 루트 아이디얼의 다중성을 제한하여 랭크 계산을 가능하게 하기 위해.
• 결과를 이용하여 분해 가능 형식의 다양체를 연구하고, 버로네제 매bedding의 시컨트 다양체에 포함됨을 보여주기 위해.

제안 방법

• 형식 $F$의 워링 랭크를 $F^\perp$에 포함된 0차원 루트 아이디얼 $I \subset F^\perp$의 존재와 연결하기 위해 아폴로지아 렘마를 사용한다.
• 다항식환 $T = k[y_1, \dots, y_n]$에 대해 몫환 $T/I$의 힐베르트 함수 $HF(T/I, i)$를 분석하며, 일차원 포화 아이디얼에 중점을 둔다.
• 완전교차 아이디얼 $J = (y_1, y_2^{a_2}, \dots, y_n^{a_n})$의 힐베르트 함수 계산을 적용하여 아폴로지아 아이디얼 내 점의 수를 제한한다.
• 아이디얼의 다중성을 제어하기 위해 핵심 공식 $\sum_{i=a_2}^{\tau} HF(T/J, i) = \left(\prod_{i=2}^n a_i\right) - \binom{a_2 + n - 2}{n - 1}$을 유도한다.
• 좌표가 $[1 : \epsilon(2) : \cdots : \epsilon(n)]$인 $\mathbb{P}^{n-1}$ 내의 점들로 구성된 명시적 집합을 $I = (y_2^{b_2+1} - y_1^{b_2+1}, \dots, y_n^{b_n+1} - y_1^{b_n+1})$로 구성한다. 여기서 $\epsilon(i)$는 단위근이다.
• 얻어진 $\prod_{i=2}^n (b_i + 1)$개의 서로 다른 점들의 구성으로, 계수 $\gamma_j$가 선형계를 풀어 결정되는 거듭제곱 합 분해를 구성한다.

실험 결과

연구 질문

• RQ1 임의의 단항식을 거듭제곱의 합으로 표현하기 위해 필요한 최소 선형형식의 수는 얼마인가?
• RQ2 대칭적 구조와 단위근을 활용하여 임의의 단항식에 대해 명시적인 거듭제곱 합 분해를 구성할 수 있는가?
• RQ3 동일한 차수를 가진 일반 형식과 비교할 때 단항식의 워링 랭크는 어떻게 되는가?
• RQ4 주어진 차수 $d$의 $n$변수 단항식들 중에서 워링 랭크가 최대일 수 있는 경우는 무엇인가?
• RQ5 분해 가능 형식의 다양체는 버로네제 매bedding의 시컨트 다양체와 어떻게 관련이 있는가?

주요 결과

• 조건 $1 \leq b_1 \leq \cdots \leq b_n$을 만족하는 단항식 $x_1^{b_1} \cdots x_n^{b_n}$의 워링 랭크는 $\prod_{i=2}^n (b_i + 1)$이며, 이는 모든 단항식에 대한 워링의 문제를 해결한다.
• 임의의 단항식에 대해 명시적인 거듭제곱 합 분해가 존재하며, 선형형식은 $x_1 + \epsilon_j(2)x_2 + \cdots + \epsilon_j(n)x_n$이며, 여기서 $\epsilon_j(i)$는 $(b_i + 1)$-번째 단위근이다.
• 세 변수에서 차수 $d$의 단항식 중 최대 워링 랭크는 일반 형식의 랭크의 약 $\frac{3}{2}$배이며, $d$가 홀수일 때는 $x_1 x_2^{(d-1)/2} x_3^{(d-1)/2}$와 같은 단항식에서 최대가 된다.
• $1 \leq d_1 \leq \cdots \leq d_n$인 단항식 $x_1^{d_1} \cdots x_n^{d_n}$에 대해, 차수 $d_i$의 형식들의 곱으로 분해 가능한 형식의 다양체 $\mathbb{X}_\lambda$는 버로네제 다양체 $V_{n,d}$의 $r$-번째 시컨트 다양체에 포함되며, 여기서 $r = \prod_{i=2}^n (d_i + 1)$이다.
• 아이디얼 $J = (y_1, y_2^{a_2}, \dots, y_n^{a_n})$에 대해 몫환 $T/J$의 힐베르트 함수는 핵심 항등식 $\sum_{i=a_2}^{\tau} HF(T/J, i) = \left(\prod_{i=2}^n a_i\right) - \binom{a_2 + n - 2}{n - 1}$을 유도하며, 이는 아폴로지아 아이디얼 내 점의 수를 제한한다.
• 단항식 $x_1 x_2 x_3$의 랭크는 4이며, 명시적 분해는 $x_0x_1x_2 = \frac{1}{24}(x_0+x_1+x_2)^3 - \frac{1}{24}(x_0+x_1-x_2)^3 - \frac{1}{24}(x_0-x_1+x_2)^3 + \frac{1}{24}(x_0-x_1-x_2)^3$이다.