[論文レビュー] Proof of a conjecture of Sun on sums of four squares

Yue-Feng She, Hai-Liang Wu|arXiv (Cornell University)|Oct 5, 2020

Analytic Number Theory Research参考文献 8被引用数 2

ひとこと要約

この論文は、2016年にSunが提起した予想を確認している。すなわち、すべての正の整数 n は、非負整数 x, y, z, w を用いて x² + y² + z² + w² として表され、さらに x + 3y が完全平方であるというものである。証明は、3次形式の高度な算術論に依拠し、数論的手法を用いて、この予想がすべての正の整数に対して完全に解決されることを示している。

ABSTRACT

In 2016, while studying restricted sums of integral squares, Sun posed the following conjecture: Every positive integer $n$ can be written as $x^2+y^2+z^2+w^2$ $(x,y,z,w\in\mathbb{N}=\{0,1,\cdots\})$ with $x+3y$ a square. In this paper, we confirm this conjecture via some arithmetic theory of ternary quadratic forms.

研究の動機と目的

• 正の整数を特定の線形制約の下で4つの平方数の和として表すというSunの2016年の予想を解決すること。
• n = x² + y² + z² + w² を満たす整数解 (x, y, z, w) ∈ ℕ⁴ が存在するかどうかを調査すること。ただし、x + 3y は完全平方であること。
• 3次形式の算術論を応用して、この予想がすべての正の整数に対して成り立つことを証明すること。
• ラグランジュの4平方定理のような古典的結果を超えて、制約付きの整数の平方和表現の理解を拡張すること。

提案手法

• 3次形式の理論を用いて、x + 3y が平方数であるという制約の下で、ディオファントス方程式 x² + y² + z² + w² = n の可解性を分析すること。
• 元の問題を、所定の算術的条件を満たす特定の3次形式による整数の表現に関する問題に還元すること。
• 3次形式の算術における局所-大域原理と類数の考察を用いて、大域的可解性を確立すること。
• モジュラー形式とシータ級数の技法を用いて、表現問題を自動形式およびその係数と関連付けること。
• 3次形式の同値類および類の理論を用いて、与えられた制約の下での解を分類・分析すること。
• 制約 x + 3y = k² が、任意の正の整数 n が4つの平方数の和として表せることを妨げないことを確立すること。

実験結果

リサーチクエスチョン

• RQ1 すべての正の整数 n は、x, y, z, w ∈ ℕ かつ x + 3y が完全平方であるような x² + y² + z² + w² として表せるか？
• RQ2 線形条件 x + 3y = k² は、4平方和表現問題の可解性にどのような役割を果たすか？
• RQ3 この制約の下で整数を表現するにあたり、算術的障害が存在するか。もしあるならば、それらは排除可能か？
• RQ4 3次形式の理論は、このような表現の存在を証明するためにどのように応用できるか？
• RQ5 この予想はすべての正の整数に一様に成り立ち、数論における大域的手法によって検証可能か？

主な発見

• この予想は、すべての正の整数 n に対して真であることが確認された。つまり、任意の such n は、x, y, z, w ∈ ℕ かつ x + 3y が完全平方であるような x² + y² + z² + w² として表される。
• 証明により、制約 x + 3y = k² は局所的障害を生じさせず、ℤ 上での可解性が保証される。
• 3次形式理論の応用により、問題は常に満たされるような管理可能な算術的条件に簡略化された。
• 解は、3次形式の類数および類の理論の深い性質に依拠しており、制約付き表現の完全可解性が確認された。
• この手法は、平方和問題における他の線形制約に対しても応用可能な一般枠組みを提供する。
• この結果により、ラグランジュの4平方定理のような古典的結果が、追加の線形制約を組み入れても、表現可能性が失われないことが拡張された。