On the fourth power level of $\mathfrak{p}$-adic completions of biquadratic number fields

技術的要約：二次の複二次数体における $p$ 進完備化の第4次レベルについて

問題提起
本論文は、数体 $K$ の第4次レベル、すなわち $s_4(K)$ の計算を扱っている。第4次レベルとは、方程式 $x_1^4 + x_2^4 + \dots + x_g^4 = -1$ が $K$ において解を持つような最小の正の整数 $g$ と定義される。そのような整数が存在しない場合、$s_4(K) = \infty$ となる。著者は、$s_4(K)$ の境界を決定することは、体のワリング数（ピタゴラス数）を計算することに匹敵する、技術的に困難な問題であると述べている。

焦点は、4次数体（次数4）に置かれている。$s_4(K)$ の基本的な下界は、2で割り切れる素イデアル $p$ における $p$ 進完備化 $K_p$ から、不等式 $s_4(K) \geq s_4(K_p)$ を通じて導かれる。先行研究（[17]として引用）では、分岐指数 $e$ と慣性次数 $f$ のすべてのケースについて $s_4(K_p)$ が計算されていたが、$e=4$ かつ $f=1$ という特定のケースを除いていた。本論文は、この空白を埋め、二次の複二次数体 $K = \mathbb{Q}(\sqrt{m}, \sqrt{n})$ にこの結果を適用することを目的としている。

方法論
手法は、$p$ 進付値の性質とヘンゼルの補題に基づいている。

1. 有限環への還元： 素イデアル $p | (2)$、分岐指数 $e$、慣性次数 $f$ について、$s_4(K_p)$ の計算は、$\mathfrak{p}^{3e+1}$（または $\mathfrak{p}^{4e+1}$）を法とする「4乗の和が0となる」最小の数の探索へと還元される。特に $e=4, f=1$ の場合、これは $\mathfrak{p}^{13}$ を法とする和の解析を必要とする。
2. 付値によるケース分析： 著者は、元 $\tau \in \mathfrak{p} \setminus \mathfrak{p}^2$ を導入し、表現 $\tau^4 + 2$ の付値を分析する。$s_4(K_p)$ の値は、$\tau^4 + 2$ を割り切る最大の $\mathfrak{p}$ のべき乗に依存する。論文では、$\alpha$ が 5 から 13 まで変化する場合の $p^\alpha \parallel (\tau^4 + 2)$ について、体系的にケースを検討している。
3. 代数的計算： 証明には、剰余環 $\mathcal{O}_K/\mathfrak{p}^{13}$ における4乗の項の広範な代数的操作が含まれる。著者は「グッド・サム（good sums）」（$p$ で割り切れない項が偶数個ある和）を定義し、その余りを計算している。
4. 複二次数体への適用： 複二次数体 $K = \mathbb{Q}(\sqrt{m}, \sqrt{n})$ に一般定理を適用するために、本論文では環 $\mathcal{O}_K$ におけるイデアル $(2)$ の分解を決定している。これらの体は必ずしも単一生成ではないため、標準的なクンマー・デデキントの定理を直接適用することはできない。代わりに、著者は整数環を $\mathbb{Z}$ 上の多項式環の商として構成し、計算代数（Macaulay2）を用いて 2 を法とする剰余を解析することで、素イデアルの構造を分析している。

主要な貢献と結果

• 定理 2.5（主要な一般結果）： 本論文は、4次数体において $e(p)=4$ かつ $f(p)=1$ である任意の素イデアル $p | (2)$ に対する $s_4(K_p)$ の完全な分類を提供している。値 $s$ は $\{1, 2, 3, 4, 5, 6\}$ の集合に含まれることが示されている。具体的な値は、$\tau^4 + 2$ の付値と、$\tau$ に関する特定の多項式表現の $\mathfrak{p}$ のべき乗による $\tau$ の可除性（最大 $p^{13}$ まで）によって決定される。これは、4次体の他のすべての $e, f$ の組み合わせをカバーしていた [17] の結果を一般化するものである。
• 定理 3.1（複二次数体への適用）： 本論文は、$m, n$ の 4 および 8 を法とする合同類に基づき、複二次数体 $K = \mathbb{Q}(\sqrt{m}, \sqrt{n})$ の $s_4(K)$ の下界を計算している。結果は、$(2)$ の分解と、体のパラメータの特定の合同条件に応じて、$s_4(K_p)$ を $\{1, 2, 3, 4, 6, 15\}$ の値に分類している。
  • 例えば、$m \equiv n \equiv k \equiv 1 \pmod 8$ （ここで $k = mn/\gcd(m,n)^2$）の場合、$s_4(K_p) = 15$ である。
  • $m \equiv 3, n \equiv k \equiv 2 \pmod 4$ の場合、値は $n+k$ の 2 のべき乗による可除性と $nk/4 \pmod{16}$ の剰余に依存する。
• 具体的な例： 本論文は、$K = \mathbb{Q}(\sqrt{-2}, \sqrt{-6})$ について下界が 3 であることを指摘し、4つの4乗の和が 0 になる特定の和を通じて、$s_4(K) = 3$ であることを明示的に示している。

意義と主張
本論文は、4次数体において未解決であった $e=4, f=1$ のケースに対する、初の明示的な $s_4(K_p)$ の計算を提供したと主張している。この新しい定理を他の $e, f$ ペアの結果と組み合わせることで、著者は、整基底が既知であれば、あらゆる可能な4次数体の $p$ 進完備化の第4次レベルが計算可能であると断言している。

著者は、下界（$p$ 進完備化から得られるもの）と実際の体のレベルの両方が計算可能であったすべてのケースにおいて、それらが一致していることを強調している。この観察に基づき、著者は 予想 4.2 を提案している：有限の第4次レベルを持つ任意の数体 $K$ に対して、$s_4(K) = \max_{p|(2)} s_4(K_p)$ である。もしこれが真であれば、数体の第4次レベルの計算は、イデアル $(2)$ の分解を伴う有限のタスクへと簡略化されることになる。

結論として、本論文は $s_4(\mathbb{Q}(\sqrt{-2}, \sqrt{-6})) = 3$ が、第4次レベルが 3 であることが判明している最初の既知の数体であることに触れ、数体が取り得るすべての値 $s_4(K)$ を決定するという未解決問題を提示している。