[論文レビュー] The Solution to Waring's Problem for Monomials

Enrico Carlini, Maria Virginia Catalisano+1 more|arXiv (Cornell University)|Oct 4, 2011

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.

研究の動機と目的

• 代数閉体上で特徴がゼロの多項式環における任意の単項式のワーリングランクを特定すること。
• 対称的構造と単位根を活用して、単項式の累乗の和分解を明示的に構成すること。
• 特定の単項式（例：$(x_1 \cdots x_n)^m$）におけるワーリングランクに関する先行研究を、任意の単項式へと一般化すること。
• 単項式のアポラリーイデアルにおける根基イデアルの多重度の上限を確立し、ランク計算を可能にする。
• 結果を、可約形式の多様体の研究に応用し、ヴェロネーゼ埋め込みのセカント多様体へ含まれることを示すこと。

提案手法

• ワーリングランクが形式 $F$ に対して、$F^\perp$ に含まれるゼロ次元の根基イデアル $I$ の存在と関連づけるアポラジー補題を用いる。
• $T = k[y_1, \dots, y_n]$ に対して、商環 $T/I$ のヒルベルト関数 $HF(T/I, i)$ を分析し、1次元の飽和イデアルに注目する。
• 完全交差イデアル $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 任意の単項式を $d$ 乗の和として表現するために必要な最小の線形形式の数は何か？
• RQ2 対称的構造と単位根を用いて、任意の単項式に対して明示的な累乗の和分解を構成できるか？
• RQ3 同じ次数の一般形式のワーリングランクと比較して、単項式のワーリングランクはどうなるか？
• RQ4 与えられた次数 $d$ の $n$ 変数単項式の中で、最大のワーリングランクは何か？
• RQ5 可約形式の多様体は、ヴェロネーゼ埋め込みのセカント多様体とどのように関係しているか？

主な発見

• 単項式 $x_1^{b_1} \cdots x_n^{b_n}$ で $1 \leq b_1 \leq \cdots \leq 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)$ 乗単位根である。
• 3 変数における次数 $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$ である。