Sums of squares on curves and surfaces

技術要約：曲線および曲面における平方和

問題設定
本論文は、実代数幾何学における特定の環に由来する高次のピタゴラス数の有限性を調査している。可換単位元を持つ可換環 $R$ と整数 $n > 0$ に対して、$2n$-ピタゴラス数（$p_{2n}(R)$ と表記）は、$2n$ 乗の和として表されるあらゆる要素が、高々 $g$ 個の当該べき乗の和として書けるときの最小の整数 $g$ と定義される。もしそのような $g$ が存在しない場合、$p_{2n}(R) = \infty$ となる。2-ピタゴラス数（平方和）はよく研究されており、次元1の実アフィン $\mathbb{R}$-代数では有限であることが知られている一方、次元3以上のエクセレント環では無限であることが知られている。これに対し、高次の偶数乗（$n > 1$ における $2n$）の挙動については、理解が進んでいない。著者らは、以下の3つの特定の文脈に焦点を当てている：特異平面曲線の座標環、多項式の平方根を付加することで定義される代数曲面の座標環、および0-レギュラス関数の環。

手法
著者らは、代数的技法、次数解析、および構成的な反例を組み合わせて用いている：

1. 次数の境界と射影： $x^M = y^m$ で定義される特異曲線に対して、著者らは座標環と $R[t^m, t^M]$ との間の同型性を利用する。著者らは、次数境界を保存しながら表現を特異曲線から多項式環 $R[x, y]$ へ持ち上げるための線形写像 $\psi$ を構成し、ピタゴラス数の下界を確立する。
2. 自己同型群と指標論： $R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]$ の形式の環に対して、著者らは自己同型群（平方根の符号変化）を分析する。指標の直交関係を適用することにより、多項式の表現の特定の成分を孤立させ、有限なべき乗の和の存在に関する矛盾を導き出す。
3. 重み付き次数関数： 曲面における高次のべき乗の無限性を証明するために、特定の代入（例：$y = x^{r_L}$）の下での項の成長を追跡するために、拡張された環上の特殊な次数関数 $\deg_A$ が定義される。これにより、下降議論が可能となる。
4. 0-レギュラス関数論： 0-レギュラス関数のために、連続有理関数の拡張特性に依拠する。著者らは、開連結集合上の厳密に正な0-レギュラス関数は単元であり、特定の連続性の条件下で全多様体へ拡張できるという事実を利用する。
5. 明示的な構成： 多項式を $2n$ 乗の和として表現する際の分母の共通零集合である「悪い集合（bad set）」を分析するために、著者らは特定の多項式の族を構成し、形式冪級数環におけるそれらの挙動を分析する。

主要な貢献と結果

• 特異平面曲線： 本論文は、$R[t^a, t^{2a-1}]$ の形式の環におけるピタゴラス数が非有界であるという既知の結果を一般化している。著者らは、互いに素なペア $(m_i, M_i)$ で $m_i < M_i$ かつ $m_i \to \infty$ である数列に対して、座標環 $R[X_{m_i, M_i}]$（ここで $X_{m,M} = \{x^M = y^m\}$）の $2n$-ピタゴラス数が $i \to \infty$ とともに無限大に発散することを証明する。これは任意の $n \ge 1$ について成立するが、$n=1$ の場合は固定された $m, M$ に対して有限であった。
• 曲面と付加された平方根： 著者らは、$\mathbb{R}^N$ 内の曲面に対応する環 $R[x, y, \sqrt{f_1}, \dots, \sqrt{f_n}]$ を研究している。$f_1, \dots, f_n$ が平方独立であり、共通の零点を持ち、かつ正の $y$-主要係数を持つ場合、この環の2-ピタゴラス数は無限であることを証明する。この結果は、同様の条件下で高次の偶数乗（$s > 1$ における $2s$）へと拡張され、$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$ であることを証明する。これは、（体や付値環を除いて）すべての高次の偶数ピタゴラス数が有限である既知の最初の非自明な環のクラスを提供している。証明は、開集合から全多様体へのべき乗の和の拡張能力に依存している。
• 高次の悪い集合： 著者らは、多項式 $f$ を有理関数の $2n$ 乗の和として表現する際の、考えられるすべての分母の零集合である「悪い集合 $Bad_{2n}(f)$」の余次元を調査している。非特異曲面上の $n=1$（平方和）の場合、余次元は少なくとも3であることが知られているが、著者らは $n > 1$ の場合、余次元が正確に2になり得ることを示す。彼らは、悪い集合が単一の点（$\mathbb{R}^2$ における余次元2）となる多項式の具体的な例を提示している。

意義と主張
本論文は、以下の点を通じて高次のピタゴラス数の理解を進展させると主張している：

1. 高次の不変数を無限に強制する特定の幾何学的条件（特異曲線、共通零点を持つ曲面）を特定し、次元1における2-ピタゴラス数の有限性と対比させている。
2. すべての高次の偶数ピタゴラス数が有限である（「一つの偶数乗の有限性はすべての偶数乗の有限性を意味する」という予想を支持する）最初の非自trivialな環のクラス（0-レギュラス関数）を提供している。
3. 二次形式のケースから得られる直感を修正し、高次においては「悪い点」の集合が（二次形式のケースの余次元 $\ge 3$ と比較して）より大きく（余次元2）なり得ることを示している。

著者らは、結論として $p_2(R)$ と $p_{2n}(R)$ の関係に関する未解決問題を提起しており、具体的には $p_2(R) \le p_{2n}(R)$ が一般に成り立つかどうかを問い、既知の例ではこの規則に従っているものの、一般的な証明は存在しないことを述べている。