x^2-15y^2で表される素数について【後編】

前回こんな予想を立てていました。

後編では，この予想を解決するために，代数的整数論の立場から攻めていきます。

二次体$\mathbb{Q}(\sqrt{15})$

$x^2-15y^2=p$というのは，$\mathbb{Z}[\sqrt{15}]$上で因数分解して$$(x+\sqrt{15}y)(x-\sqrt{15}y)=p$$
を考える，すなわち二次体$\mathbb{Q}(\sqrt{15})$上の整数について考える方が都合よいでしょう。この節では，以後の議論に用いる命題や定理の結果を記述していきます。この節の内容は$[高木]$の第5章が詳しいです。

以後，簡略のために$K=\mathbb{Q}(\sqrt{15})$とします。

$\mathbb{Q}(\sqrt{d})$上の整数環

一般に次の命題があります。

今回はこれを示すことが目標ではないので，結果として認めることにします。証明は，例えば$[雪江1]$の第8章や，$[数論1]$の第4章，その他インターネット上のpdfなどで容易に見つけられると思います。つまり$K=\mathbb{Q}(\sqrt{15})$上における整数環${\mathcal{O}}_K$は，${\mathcal{O}}_K=\mathbb{Z}[\sqrt{15}]$です。

共役イデアル

イデアルには共役イデアルなるものが定義され，それを用いることで“イデアルのノルム”を定義できます。

共役イデアルの生成元として，生成元の共役をとったもの全体を取ることが出来ます。例えば，$I=(2,1+\sqrt{5})$ならば，$I^{\prime }=(2,1-\sqrt{5})$です。

$n$は正であると仮定しても良く，この時$I$のノルムは$n$であると言うことにします。

今回考えている問題において，$p=(x+\sqrt{15}y)(x-\sqrt{15}y)$という分解を考えているため，$(p)=I{I}^{\prime }$と表示できれば嬉しいですね。

代数体の判別式

一般に代数体（$\mathbb{Q}$の有限次拡大）には判別式という量を定義できます。特に二次体の判別式は，以下のように計算が出来ます。このあたりの話は，例えば$[雪江2]$の第1章を参照ください。

広義，狭義の類数

整数環${\mathcal{O}}_K$に対して，類数なる量を定義することが出来ます。ここでは広義の意味での類数，狭義の意味での類数を思い出しておきます。やはり$[高木]$の附録部分に詳しいです。

例でも示しましたように，$\mathbb{Q}\mathbf{(}\sqrt{\mathbf{15}}\mathbf{)}$についてはもっと掘り下げていかなければなりません。

今回の議論において，最も重要な結果が次です。

ここで狭義の類数について簡単に捕捉します。（広義の）類数が$2$なので，狭義の類数はそれを$2$倍して$4$となります。説明のために完全代表系として挙げた（${\mathcal{O}}_K$の）イデアルをそれぞれ，
$$\begin{array}{rl}P& =(11,2+\sqrt{15})=(2+\sqrt{15})\\ Q& =(7,8+\sqrt{15})\\ R& =(17,7+\sqrt{15})\end{array}$$
と置きます。まず$P$は単項イデアルです。しかし狭義の意味では$(1)$と正に対等ではありません。（対等ではあります。）しかし$P^2$は$(1)$と正に対等です。
$Q$については，$(8+\sqrt{15})(8-\sqrt{15})=7^2$が成り立つことから，$Q^2=(8+\sqrt{15})$であることが分かり，$Q^2$は$(1)$と正に対等です。
$R$についても同様に$R^2=(32+7\sqrt{15})$ですので，$R^2$と$(1)$が正に対等であることが分かります。
そして$P,Q,R$はそれぞれ対等ではありません。

さて，一般に次の結果が知られています。

今回考えている$\mathbb{Q}(\sqrt{15})$においては，$${\mathrm{\Delta }}_K=60=2^2\cdot 3\cdot 5$$
でしたから，$t=3$です。すなわち$(1),P,Q,R$で両側類は代表されます。ということは，狭義の両側類によって，狭義のイデアル類が類別されるのです。

イデアルの指標系

イデアルに対して“指標”を考えてあげます。今回は$K=\mathbb{Q}(\sqrt{15})$の場合の指標系を与えることにとどめます。

${\mathrm{\Delta }}_K=2^2\cdot 3\cdot 5$でした。そこで，$${\chi }_1(n)=\left({\displaystyle \frac{n}{2}}\right),{\chi }_2(n)=\left({\displaystyle \frac{n}{3}}\right),{\chi }_3(n)=\left({\displaystyle \frac{n}{5}}\right)$$
と定めます。ただし右辺はすべてルジャンドルの記号であり，$\pm 1$の値を取ります。例えば，$${\chi }_3(n)=\left({\displaystyle \frac{n}{5}}\right)=\{\begin{array}{ll}1& (x^2\equiv n(\mathrm{mod}5)\text{が解を持つ})\\ -1& (x^2\equiv n(\mathrm{mod}5)\text{が解を持たない})\end{array}$$
という定め方です。（もちろんこれは$\mathbb{Z}$上での話です。）

さて，$4$つのイデアル$(1),P,Q,R$に対して，そのイデアルのノルムを考え，それを今定義した${\chi }_i$に代入してみます。すると，以下のように纏まります。

$$\begin{array}{ccccc}\text{代表するイデアル}& \text{イデアルのノルム}& \text{指標}{\chi }_1& \text{指標}{\chi }_2& \text{指標}{\chi }_3\\ (1)& 1& 1& 1& 1\\ P& 11& -1& -1& 1\\ Q& 7& -1& 1& -1\\ R& 17& 1& -1& -1\end{array}$$

この計算は，$[高木]$の§56に倣っています。

つまるところ，狭義のイデアル類は，３つの指標によって完全に決定されます。この事実が，後の“必要十分条件”の根拠となってきます。（これ，$m=15$だから言えることで，例えば$m=79$とかだと言えないんですよね。つらい。）

解決に向けて

というわけで$x^2-15y^2=p$（$p$は正の素数）で表されるときに話を落とし込んでみましょう。

$p$がある単項イデアル$J=(\alpha )$（$\alpha \in {\mathcal{O}}_K$，$N(\alpha )>0$）によって$p=J{J}^{\prime }$と分解できるとき，$$x^2-15y^2=p$$
は解を持ちます。（ある元$\beta \in J$が存在して，$\beta \bar{\beta }=p$となるように定めることが出来るから）
これを指標系の言葉で言い換えますと，${\chi }_1(p)={\chi }_2(p)={\chi }_3(p)=1$の時に$x^2-15y^2=p$が解を持つことになります（必要十分条件です）。あとは初等的に$p$が満たすべき条件を求めればよく，$p\equiv 1,49(\mathrm{mod}60)$のとき，$x^2-15y^2=p$は整数解を持つことが分かります。

同様に$x^2-15y^2=-p$の時も考えてみます。これについてイデアルの言葉で言い換えますと，$p$がある単項イデアル$J=(\alpha )$（$\alpha \in {\mathcal{O}}_K$，$N(\alpha )\mathbf{<}0$）によって$p=J{J}^{\prime }$と分解できるとき，$$x^2-15y^2=-p$$
は解を持ちます。
そんな単項イデアルあったかなーというと，$P=(2+\sqrt{15})$のイデアル類がこれに該当します。すなわち指標の言葉で言えば，${\chi }_1(p)=-1,{\chi }_2(p)=-1,{\chi }_3(p)=1$の時に$x^2-15y^2=-p$が解を持つことになります（必要十分です）。これについても計算をすれば，$p\equiv 11,59(\mathrm{mod}60)$のときに$x^2-15y^2=-p$は解を持つことが分かります。

というわけで長かったですが，結論です。予想は必要十分条件でした。

合成数ではどうなの？

イデアル$QR$と$P$は正に対等であることが計算できます。また，$$N(QR)=7\cdot 17$$
ですので，方程式$x^2-15y^2=-7\cdot 17$は解を持つことになります。（例えば$x=11,y=4$）

先ほどの指標を考えたことで，次の副産物が示されます。（それほど証明は難しくありません。$[高木]$の§56に倣うだけです。）

まとめ（感想）

回り道しておいてなんですが，$m=15$と限定して話をしています。ここに書いた内容の半分ぐらいは一般の$m$でも成り立ちますが，狭義イデアル類の完全代表系を具体的に求めていかなければならず，一般論で語ることは難しいのではないかと思っています。

そもそも僕は，$m=79$のときに同様の議論が出来ないかで手づまりしているので，まずはそこから解決しなきゃですね。

ところで，$\mathbb{Q}(\sqrt{d})$を考えているときは，やたらと$(\mathrm{mod}|4d|)$を用いて必要十分条件が記述されますね。今回あげた例は，$d=-1,2,3,15$の時に帰着される例で，いずれも判別式が$4d$になるタイプの場合です。なにかこういった気づきから一般論に持ち込めないだろうか。。。今後の課題です。

ここまで見ていただきありがとうございました。