Sums of squares on curves and surfaces

技术摘要：曲线与曲面上的平方和

问题陈述
本文研究了实代数几何中特定环的更高阶皮塔哥拉斯数（Pythagoras numbers）的有限性。对于一个含单位元的交换环 $R$ 和整数 $n > 0$，将 $2n$-皮塔哥拉斯数 $p_{2n}(R)$ 定义为：任何可表示为 $2n$ 次幂之和的元素，其最少需要的 $2n$ 次幂个数的最小整数 $g$。若不存在这样的 $g$，则 $p_{2n}(R) = \infty$。虽然 2-皮塔哥拉斯数（平方和）已有深入研究（已知对于 1 维实仿射 $\mathbb{R}$-代数是有限的，而对于维数 $\ge 3$ 的良好环则是无限的），但更高阶偶次幂（当 $n > 1$ 时，$2n$）的行为则较少为人所知。作者重点关注了三个特定的语境：奇异平面曲线的坐标环、通过添加多项式平方根定义的代数曲面的坐标环，以及 0-正则函数（0-regulous functions）的环。

研究方法
作者结合了代数技术、次数分析和构造性反例：

1. 次数界限与投影： 对于由 $x^M = y^m$ 定义的奇异曲线，作者利用该坐标环与多项式环 $R[t^m, t^M]$ 之间的同构关系。他们构造了一个线性映射 $\psi$，将表示从奇异曲线提升回多项式环 $R[x, y]$，并保持次数界限，从而建立对皮塔哥拉斯数的下界估计。
2. 自同构群与特征理论： 对于形式为 $R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]$ 的环，作者分析了自同构群（平方根的符号变化）。通过应用特征正交关系，他们分离出多项式表示中的特定分量，从而得出关于有限次幂和存在性的矛盾。
3. 加权次数函数： 在证明曲面上高阶幂的无限性时，作者在扩展环上定义了一个专门的次数函数 $\deg_A$，用于追踪特定代换（例如 $y = x^{r_L}$）下项的增长，从而实现下降论证。
4. 正则函数理论： 对于 0-正则函数，证明依赖于连续有理函数的扩张性质。作者利用了以下事实：在开构造集上的严格正 0-正则函数是单位元，并且在特定的连续性条件下可以扩张到整个簇。
5. 显式构造： 为了分析“坏集”（即在将多项式表示为 $2n$ 次幂之和时，分母的公共零点集），作者构造了特定的多项式族，并分析了它们在形式幂级数环中的行为。

主要贡献与结果

• 奇异平面曲线： 本文推广了关于 $R[t^a, t^{2a-1}]$ 型环的皮塔哥拉斯数无界的已知结果。作者证明，对于满足 $m_i < M_i$ 且 $m_i \to \infty$ 的互质对序列 $(m_i, M_i)$，坐标环 $R[X_{m_i, M_i}]$（其中 $X_{m,M} = \{x^M = y^m\}$）的 $2n$-皮塔哥拉斯数随 $i \to \infty$ 而趋于无穷。这对于任何 $n \ge 1$ 均成立，尽管对于固定的 $m, M$，情况 $n=1$ 是已知的有限情形。
• 曲面与添加的平方根： 作者研究了对应于 $\mathbb{R}^N$ 中曲面的环 $R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]$。他们证明，如果 $f_1, \dots, f_n$ 是平方独立、具有公共零点且具有正的 $y$-首项系数，那么该环的 2-皮塔哥拉斯数是无限的。这一结果在类似的条件下被推广到更高阶偶次幂（$2s$ 对于 $s > 1$），表明 $p_{2s}(R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]) = \infty$。
• 0-正则函数： 本文在不可约 0-正则簇 $X$ 上的 0-正则函数环 $R_0(X)$ 上建立了一个显著的有限性结果。作者证明对于所有 $n$，$p_{2n}(R_0(X)) < \infty$。这提供了第一个已知的非平凡环族（排除域和估值环），其中所有的更高阶偶次皮塔哥拉斯数都是有限的。该证明依赖于将幂之和从开集扩张到整个簇的能力。
• 高阶坏集： 作者研究了 $Bad_{2n}(f)$ 的余维数，其中 $Bad_{2n}(f)$ 定义为将多项式 $f$ 表示为有理函数之 $2n$ 次幂之和时，所有可能分母的零点集。虽然已知对于非奇异曲面上的 $n=1$（平方和）情形，其余维数至少为 3，但作者证明对于 $n > 1$，其余维数可以恰好为 2。他们提供了具体的例子，展示了坏集是一个单点（在 $\mathbb{R}^2$ 中余维数为 2）。

意义与主张
本文声称通过以下方式推进了对更高阶皮塔哥拉斯数的理解：

1. 识别了导致这些不变量为无限的特定几何条件（奇异曲线、具有公共零点的曲面），这与 1 维情况下 2-皮塔哥拉斯数的有限性形成了对比。
2. 提供了第一个非平凡环类（0-正则函数）的例子，其中所有的更高阶偶次皮塔哥拉斯数都是有限的，支持了“一个偶次幂的有限性意味着所有偶次幂的有限性”这一猜想。
3. 修正了从二次情形得出的关于“坏集”大小的直觉，表明对于更高阶，坏集（“坏点”集）可以更大（余维数为 2），而不仅仅是二次情形下的（余维数 $\ge 3$）。

作者最后提出了一个关于 $p_2(R)$ 与 $p_{2n}(R)$ 之间关系的开放问题，即询问 $p_2(R) \le p_{2n}(R)$ 是否普遍成立，并指出虽然已知实例遵循这一规则，但尚无通用的证明。