[論文レビュー] On cubic equations over $P-$adic field

Farrukh Mukhamedov, B. A. Omirov+1 more|arXiv (Cornell University)|Apr 8, 2012

advanced mathematical theories参考文献 20被引用数 5

ひとこと要約

本稿は、p進体 $\mathbb{Q}_p$、$\mathbb{Z}_p$、および $\mathbb{Z}_p^*$ 上でのデプレッセッド・キュービック方程式の可解性基準を確立し、古典的なカルダーノの方法がp進的文脈では常に適用可能ではないことを示している。p進的評価および $p$ を法とする残差条件に基づき、p進的カルダーノの公式が有効となる場合の完全な特徴付けが行われ、セールとスンの $\mathbb{F}_p$ 上の結果を一般化している。主な貢献は、p進的文脈における可解性およびカルダーノの方法の適用可能性の体系的分類であり、リーマン記号および $p$ を法とする乗法的位数を含む明示的条件が含まれる。

ABSTRACT

We provide a solvability criteria for a depressed cubic equation in domains $\bz_p^{*},\bz_p,\bq_p$. We show that, in principal, the Cardano method is not always applicable for such equations. Moreover, the numbers of solutions of the depressed cubic equation in domains $\bz_p^{*},\bz_p,\bq_p$ are provided. Since $\bbf_p\subset\bq_p,$ we generalize J.-P. Serre's \cite{JPSJ} and Z.H.Sun's \cite{ZHS1,ZHS3} results concerning with depressed cubic equations over the finite field $\bbf_p$. Finally, all depressed cubic equations, for which the Cardano method could be applied, are described and the $p-$adic Cardano formula is provided for those cubic equations.

研究の動機と目的

• デプレッセッド・キュービック方程式の完全な可解性基準を、$\mathbb{Q}_p$、$\mathbb{Z}_p$、および $\mathbb{Z}_p^*$ のp進的領域で確立すること。
• 古典的なカルダーノの方法がp進的文脈でいつ適用可能となるかを特定すること。これは、解をもつにもかかわらず、カルダーノの公式が $\mathbb{Q}_p$ で適切に定義されない場合があるためである。
• セールとスンが $\mathbb{F}_p$ 上で得た、キュービック方程式に関する先行結果を、$\mathbb{Q}_p$ の完全なp進体へ一般化すること。
• 特定の評価および残差条件の下で、p進的カルダーノの公式の類似を導出すること。
• p進的性質に基づき、$\mathbb{Z}_p^*$、$\mathbb{Z}_p$、および $\mathbb{Q}_p$ におけるデプレッセッド・キュービック方程式の解の個数を数えること。

提案手法

• 著者たちは、p進的評価 $|\cdot|_p$ およびp進的順序 $\text{ord}_p(x)$ を用いて、$\mathbb{Q}_p$ 上でのデプレッセッド・キュービック方程式 $x^3 + ax + b = 0$ の可解性を分析する。
• 彼らは、$|a|_p^3$ と $|b|_p^2$ の相対的な大きさに基づき、解を分類し、主に3つのケースに分ける：$|a|_p^3 < |b|_p^2$、$|a|_p^3 = |b|_p^2$、$|a|_p^3 > |b|_p^2$。
• 各ケースについて、$\sqrt[3]{\frac{b}{2} + \sqrt{\left(\frac{a}{3}\right)^3 + \left(\frac{b}{2}\right)^2}} + \sqrt[3]{\frac{b}{2} - \sqrt{\left(\frac{a}{3}\right)^3 + \left(\frac{b}{2}\right)^2}}$ という式が $\mathbb{Q}_p$ 内で適切に定義される条件を導出する。
• カルダーノの公式の有効性は、特定の式が $\mathbb{Q}_p$ 内で完全な平方または立方であるかどうかに依存し、リーマン記号条件およびヘンゼルの補題を用いて決定される。
• 立方根の存在性を判定するため、$x^3 \equiv c \pmod{p}$ が $c^{(p-1)/\gcd(3,p-1)} \equiv 1 \pmod{p}$ を満たすことで、$\mathbb{Q}_p$ 上で解けるかどうかを判断する。
• 解の個数は、係数の評価および残差類に基づき、$\mathbb{Z}_p^*$、$\mathbb{Z}_p$、$\mathbb{Q}_p$ における解集合の構造を分析することで数え上げられる。

実験結果

リサーチクエスチョン

• RQ1 デプレッセッド・キュービック方程式 $x^3 + ax + b = 0$ が $\mathbb{Q}_p$、$\mathbb{Z}_p$、$\mathbb{Z}_p^*$ で可解となる条件は何か？
• RQ2 古典的なカルダーノの方法は、いつ $\mathbb{Q}_p$ 上での立方体方程式の解法に適用可能となるか？
• RQ3 キュービック方程式の可解性は、係数 $a$ および $b$ のp進的評価にどのように依存するか？
• RQ4 $\mathbb{Z}_p^*$、$\mathbb{Z}_p$、$\mathbb{Q}_p$ におけるデプレッセッド・キュービック方程式の解の個数は何か？
• RQ5 セールとスンの $\mathbb{F}_p$ 上での立方体方程式に関する結果を、$\mathbb{Q}_p$ の完全なp進体へどのように一般化できるか？

主な発見

• カルダーノの方法は $\mathbb{Q}_p$ 上で普遍的に適用可能ではない。解をもつにもかかわらず、$\mathbb{Q}_p$ 内でカルダーノの公式が適切に定義されない立方体方程式が存在する。
• p進的カルダーノの公式が有効であるのは、$a$ および $b$ のp進的評価およびそれらの先頭係数の $p$ を法とする残差類に関する特定の条件を満たす場合に限る。
• $|a|_p^3 < |b|_p^2$ の場合、$3 \mid \log_p |b|_p$ および $b_0^{(p-1)/\gcd(3,p-1)} \equiv 1 \pmod{p}$ が成り立つとき、公式は有効である。
• $|a|_p^3 = |b|_p^2$ の場合、3つの部分ケースに分けられる：$D=0$ で $(4b_0)^{(p-1)/\gcd(3,p-1)} \equiv 1 \pmod{p}$、$0 < |D|_p < 1$ で追加のリーマン記号および立方根条件、$|D|_p = 1$ で $\Delta_0$ を含む条件。
• $|a|_p^3 > |b|_p^2$ の場合、$2 \mid \log_p |a|_p$ および $(3a_0)^{(p-1)/2} \equiv 1 \pmod{p}$ が成り立つとき、公式は有効であり、これにより $\frac{a}{3}$ が $\mathbb{Q}_p$ 内で完全な平方であることが保証される。
• $\mathbb{Z}_p^*$、$\mathbb{Z}_p$、$\mathbb{Q}_p$ における解の個数は、評価および残差条件に基づき明示的に決定されており、$\mathbb{F}_p$ 上での先行結果を一般化している。