[论文解读] 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

一句话总结

本文通过确定将任一单项式表示为幂之和所需的最少线性形式数量，解决了单项式上的Waring问题。利用Apolarity引理和多项式环中理想Hilbert函数分析，证明了在满足 $1 \leq b_1 \leq \cdots \leq b_n$ 条件下，单项式 $x_1^{b_1} \cdots x_n^{b_n}$ 的Waring秩为 $\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.

研究动机与目标

• 确定代数闭域上特征为零的多项式环中任意单项式的Waring秩。
• 利用对称结构和单位根，为单项式提供显式幂和分解构造。
• 将此前关于特定单项式（如 $ (x_1 \cdots x_n)^m $）的Waring秩结果推广至任意单项式。
• 建立单项式其对偶理想中根式理想重数的界限，以支持秩的计算。
• 将结果应用于可约形式的代数簇研究，证明其包含于Veronese嵌入的秩-secant簇中。

提出的方法

• 使用Apolarity引理，将形式 $F$ 的Waring秩与存在零维根式理想 $I \subset F^\perp$ 的关系联系起来。
• 分析商环 $T/I$ 的Hilbert函数 $HF(T/I, i)$，其中 $T = k[y_1, \dots, y_n]$，重点关注一维饱和理想。
• 应用完全交理想 $J = (y_1, y_2^{a_2}, \dots, y_n^{a_n})$ 的Hilbert函数计算，以限制对偶理想中点的数量。
• 推导关键公式 $\sum_{i=a_2}^{\tau} HF(T/J, i) = \left(\prod_{i=2}^n a_i\right) - \binom{a_2 + n - 2}{n - 1}$，以控制理想重数。
• 构造 $\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})$ 定义，其坐标为 $[1 : \epsilon(2) : \cdots : \epsilon(n)]$，其中 $\epsilon(i)$ 为单位根。
• 利用由此产生的 $\prod_{i=2}^n (b_i + 1)$ 个不同点的构型，通过求解线性系统确定系数 $\gamma_j$，构造出幂和分解。

实验结果

研究问题

• RQ1 将任一单项式表示为线性形式的 $d$ 次幂之和，所需的最少线性形式数量是多少？
• RQ2 能否利用对称结构和单位根，为任意单项式构造显式幂和分解？
• RQ3 单项式的Waring秩与同次一般形式的Waring秩相比如何？
• RQ4 在 $n$ 个变量中，给定次数 $d$ 的单项式中，最大可能的Waring秩是多少？
• RQ5 可约形式的代数簇与Veronese嵌入的秩-secant簇之间有何关系？

主要发现

• 在满足 $1 \leq b_1 \leq \cdots \leq b_n$ 条件下，单项式 $x_1^{b_1} \cdots x_n^{b_n}$ 的Waring秩为 $\prod_{i=2}^n (b_i + 1)$，从而解决了所有单项式的Waring问题。
• 任意单项式均存在显式幂和分解，其中线性形式为 $x_1 + \epsilon_j(2)x_2 + \cdots + \epsilon_j(n)x_n$，且 $\epsilon_j(i)$ 为 $(b_i + 1)$ 次单位根。
• 在三个变量中，次数为 $d$ 的单项式最大Waring秩渐近为同次一般形式Waring秩的 $\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$ 包含于Veronese簇 $V_{n,d}$ 的 $r$ 阶secant簇中，其中 $r = \prod_{i=2}^n (d_i + 1)$。
• 对于理想 $J = (y_1, y_2^{a_2}, \dots, y_n^{a_n})$，商环 $T/J$ 的Hilbert函数导出关键恒等式 $\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$。