第26回日曜数学会(2023.2.11)で発表する(した)資料です。ご関心のある方はご覧いただけると嬉しいです。
この記事は、「日曜数学 Advent Calendar 2022」の12月13日(火)の記事として書きました。
1.はじめに
第25回日曜数学会で の解を実2次体で求めた例を発表した。この中で以下の に関する2元2次不定方程式の解を用いた。
(1)
ここで
発表の中で用いた解は
(2)
というものであった。
上の不定方程式を の定める 上の代数曲面と考えれば、この解は以下のパラメータ表示を有する代数曲面上の有理曲線と考えられる。
この代数曲面は を固定すれば、有理曲線を表わすので、有理曲面と思えるが、代数曲面についての知識がないので、この代数曲面が分類上どのような曲面であり、その上の有理曲線などの代数曲線がどのくらいあるのかやその求め方については皆目わからない。一方で、5乗和を2通りに表わす有理解を求める上で、上の2元2次不定方程式の解を求めることが重要と考えていた。このため、極めて初等的な方法で2元2次不定方程式の解を求める試みを続けていた。
ここでは、代数曲面上の有理点を無限個有する有理曲線として、その結果を記しておく。
なお、一時、さまざまな無数の有理点をもつ有理曲線が見つかったと思って、日曜数学アドベントカレンダーに登録したが、あたりまえの結果しか出なかったのは残念である。
2.解を の代数式と想定して、2元2次不定方程式 を解く
不定方程式(1)において、 は偶数乗の形でのみ現れる。また、既に知られている解が
であったので、まず、 と は の多項式として表わせると仮定して解くこととした。
が の6次式、 が の4次式であることから、
とおき、 となるよう を定めることとした。
のとき、
(3)
という解が得られた。これは既に知られている解である。
のとき、
(4)
という解が得られた。
(3) の解において の絶対値としてはピタゴラス数の3組の数のうち、最大でない数を最大数で割った数のみ可能である。例えば、3/5,4/5,5/13など。
(4) の解においてはピタゴラス数の3組の数のうち、最大数を最大でない数で割った数のみ可能である。例えば、5/3,5/4,13/5など。
ところが、 に具体的な有理数を与え、不定方程式 (1) の解があるかないか、平方剰余の相互法則を用いて調べると、 など (3),(4) に当てはまらないが、(1)の解となる が多数出てくる。
そこで、 と を の多項式ではなく有理式と想定すれば、他の解が出てくるはずと考え、 を以下のような有理式として解くこととした。
ところが、未知数がたくさんの線形でない方程式が得られるだけで、具体的な解は得られそうもなかった。他にもいくつかの有理式を想定して試みたがすべてうまくいかなかった。
3. を定数と考え、 と に関する代数曲線と考えて解く
解(2)が の代数式であったので、これまで を定数と考え、や を の多項式や有理式で次数が小さなものと想定して解を求めようとしてきた。不定方程式(1)は について6次式であり、 を未知数と考えるのはすこし難しいと考えたからである。
しかし、他に手もないので、ダメもとで を定数と考え、 と の2元不定方程式と考えることにした。 を明示的に示すと(1)は以下のとおりとなる。
左辺を の項のみとし、 の次数についての降順で整理すると
となり、超楕円曲線が出てくる。この解など簡単に求まりそうもないなと思った。しかしよく見ると、右辺は の偶数乗しか出てこないので、 と に関する曲線と考えれば、楕円曲線になるではないか。そうすれば、 に具体的な値を与えればsagemathで有理点が求まる場合がある。個々の について有理点を求めてもあまり意味はないかもしれないが、一応やってみようと思った。
上式を変形すると
より とおくと、 と に関する楕円曲線のWeierstrass標準形
(5)
が得られる。ここでsagemathにより
とすると、有理点群の rank が 3 であることがわかった。
としても rank が 3、3 とすると rank が 4 、4 とすると rank が 2,5 とすると rank が 4 であることがわかった。分数にすればどうかと思い、 とするとrank が 4,2/3 とすると rank が 3 であった。
試した範囲では、どんな を代入しても、最低でも rank が 2 、ほとんどの場合rank が 3 か 4 になった。
これは何かあるに違いない。3乗和の場合には有名なラマヌジャンの恒等式があるので、この場合にも、 と を の多項式とする解があるかもしれないと期待した。
と の次数が等しいと考え、 と は以下の形と仮定した。
すると
より、左辺は の 6 次式となるが、その係数がすべて 0 となることから、 に関する以下の式が成立する。
一見すると解けそうもないが、①より、
とすると、 ③式より これを満たす有理数は のみ。
すると、⑥より とすると⑤式より
これを満たす有理数はない。
したがって、 すると、⑦より
これを満たす有理数は のみ。このとき ⑤より
これを満たす有理数はない。よって、
よって としてよい。 ここで とおくと
また、⑦式を書き直すと
と、楕円曲線であることがわかり、SageMathにより有理点を求めると、
の3点であることがわかる。以下、この3つに場合分けする。
②~⑥は以下のとおりとなる。
⑥'より したがって、④'より である。
とすると ⑤’より すると ③'より
よって、 は解。このとき
であるので、
これは 解(3)と同一である。
とすると であるので、⑤'より これを③'に代入して
のとき
のとき
したがって、 のとき すなわち、
よって、 は解。つまり、
であるので、
この解は(4)と同一である。
の場合と の場合にも同様の手法で解を求めていくが新しい解は得られなかったので省略する。
そこで以下の形の解も探してみたが、有理数解を求められそうもない超楕円曲線が出てきたりするだけでめざす解は見つからなかった。
4.まとめ
結局、(3)、(4)の解以外は見つからなかった。ではなぜピタゴラス数ではない の解がたくさん出てくるのだろう。
考えてみれば当たり前のことであるが、有理数 を具体的に与えて、
が一つでも有理数解を持てば、それが有理点を無数に有する 上で定義された代数曲面上の有理曲線である。
最初に解(2)を見つけたので、解は を の関数としてあるはずと思い込んでしまったのが誤りであった。
まとめると、有理数体上で定義された次の代数曲面
ここで
において、有理点を無限個含む有理曲線として下表に示すものがある。これ以外のものがあるかどうかについては不明である。
\begin{array}{l|l} x=\pm 20(1-r^{2}) & r:3/5, 4/5,5/13,etc \\ y=\pm 4\sqrt{(1-r^{2})} & \\ \hline x=\pm 20/11\cdot (r^{2}+3) \sqrt{(r^{2}-1)} & r:5/3,5/4,13/5,etc \\ y=\pm 8/11\cdot \sqrt{(r^{2}-1)} & \\ \hline x^{2}-my^{2}=-a & r:fix \\ & if \ this \ equation \ has \ a \ solution \end{array}
2022年10月15日の第25回日曜数学会で、 の実2次体での整数解を求める発表を行いました。その際、なぜ実2次体なのかという質問をうけ、虚2次体であれば簡単に例が求まるので実2次体とした旨の回答をしました。ここでは、その虚2次体の例を記しておきます。
(1)
とすると
かつ (2)
または
かつ (3)
は(1)の解である。
(2)を解くと
(3)を解くと
である。
したがって、 とおき、(1) を に関する方程式とみて、左辺-右辺を整理すると
したがって、 かつ として を満たす をとれば(1)の解である。
を解くと
が実数であれば、根号の中は負であるので は虚数となる。
よって、
となり、虚2次体整数で5乗和を2通りに表わす例が得られた。
例えば とすると であるので
である。
第25回日曜数学会(2022.10.15)で発表する(した)資料です。ご関心のある方はご覧いただけると嬉しいです。
1.はじめに
Silverman Tate のRational Points on Elliptic Curves(以下,[Sil]と記す)の第4章の練習問題を(未解答を含め)解いてみた結果を記したメモの(その3)です。その2で問題4.8と4.10に言及したので今回はその解答の試みをメモしました。
2. 問題
---------------------------------------------------------------------------------
【問題4.8】
を素数、 とする。このとき、以下を示せ。
(a) は 個の解 を有する。
(b) が(a)の解であれば、
は楕円曲線 の点である。
(c) (b)で定義される曲線 について である。
---------------------------------------------------------------------------------
解答の流れ
(a) より
とおくと、 なので であり、 となる。
また、 なので、 を与えれば(a)の解が2個あるか、1個もないことになる。
が同じ を定めるのは、
とすると より、 である。 とすれば つまり、同じ を与えるのは のみである。
が を動くとき、 も を動く。 とならなければ、 を与える解 が2つ定まるが、 も同じ を与えるので解の個数は となる。 となるのは のときである。つまり のときである。この解の個数は0か2である。0のときは、すでに与えられた方程式の解の個数が 個であることを示した。解が2個のときは、解でない 個の については、それぞれ2個解があるが、 と でダブルカウントするので結局解の個数は である。 のときは で解は一つであるが、 なので、 について解が一つづつ、計 個の解がある。
(b) として の式の値を計算すると
であるので(b)がいえた。
(c) であるので したがって、 である。
とすると であり、 となる。したがって、 は単射である。 の解は のみであるので、原点である無限遠点を加え である。
---------------------------------------------------------------------------------
【問題4.10】
を素数、 とする。このとき、以下を示せ。
曲線 について
---------------------------------------------------------------------------------
解答の流れ
は乗法に関し位数 の巡回群をなし、 なので、 のとき、 は の同型写像。したがって、 が を動くとき は 全体を動く。また、 は から への全単射。 の元の個数は 個であるが、その内訳は、0と に関する平方剰余が 個、平方非剰余が 個であり、 が平方剰余のときに解が2個、平方非剰余のとき解は0個である。
したがって、 の場合の の 点は 個である。 となる場合は解が一つ。これに原点を加え である。
1.はじめに
Silverman Tate のRational Points on Elliptic Curves(以下,[Sil]と記す)の第4章の練習問題を(未解答を含め)解いてみた結果を記したメモの(その2)です。解答におかしなところがあれば、是非ご連絡下されば嬉しいです。また、なんとも、ごちゃごちゃした解答なのですっきりした解答をご教示いただければ幸いです。
(以下青字部分追記:2022-8-8、修正:8-12)
有限体上の楕円曲線の有理点の章の問題なのに、その結果を使わないのも変だと思っていましたが、法pでの還元定理を使えば比較的容易に解決することがわかりました。
そのヒントは問題4.8と問題4.10にありました。前者は問題4.9、後者は問題4.11のヒントになります。ここでは後者を使った問題4.11の解答の流れを簡単に示します。
問題4.10の主張は以下のとおりです。
問題4.10
を素数、 を の元とする。このとき、曲線 に対し
この結果を用いると、問題4.11において、 の判別式の 倍を割らない素数 について となります。法p還元定理を用いると
は 単射準同型となるので は の約数となります。今、ディリクレの算術級数定理により、このような素数 をとります。 とすると、は奇数となるので、 と置き直します。すると、 となります。次に、 と は素であるとします。すると、算術級数定理により の形の素数がとれます。 に を足すと、 となります。 は と の最大公約数 の約数になります。
と が素でない場合、 は を素因数として含みます。それ以外の の素因数の積を とおきます。このとき、 と は互いに素となります。よって、算術級数定理により の形の素数がとれます。 に を足すと、 となります。このとき、 の 以外の素因数と は互いに素となります。 が で割り切れるとすると、 となります。したがって、 の 以外の素因数の中に で と合同でない素数 が存在します。 を改めて とおき、上の議論を繰り返せば、 と は互いに素であることがわかります。したがって、 と の最大公約数 は となることがわかります。
これで問題4.11の がいえたことになります。後は、位数2の元と位数3の元を具体的に定めることで解答が得られます。
2.問題
------------------------------------------------------------------------------------
【問題4.9】
を 4乗素因数のない0でない整数とする(つまり、 となる素因数 が存在しないこと)。また、 を以下で定義される楕円曲線とする。
さらに、 を有限位数の有理点からなる群とする。このとき、以下を示せ。
は4を割る。
より正確には、 は以下で与えられる。
\begin{eqnarray}
\Phi
\cong
\begin{cases}
\mathbb{Z} / 4\mathbb{Z} & ( b=4 ) \\
\mathbb{Z} / 2\mathbb{Z} \oplus \mathbb{Z} / 2\mathbb{Z} & ( -b= square ) \\ \mathbb{Z} / 2\mathbb{Z} & (otherwise)
\end{cases}
\end{eqnarray}
------------------------------------------------------------------------------------
解答の流れ
をまとめて解答する。
をいうには、 には奇数位数の元及び4より大きい2のべき乗位数の元が存在せず、位数4の元は最大1つ、位数2の元は最大3つしか存在しないことをいえばよい。
① に奇数位数の元及び4より大きい2のべき乗位数の元が存在しないこと
そのような元 が存在すると仮定する。 が奇数位数とすると、自然数kが存在して、
よって、 である。 また、 が より大きい のべき乗位数の元とすると、 を何倍かすると位数 の元 となる。このとき、 は位数 の元であり、その 座標は ではない。
したがって、①をいうには、有理点 の 座標は でない で となるペアは存在しないことをいえばよい。
今、有理点 について とする。(*)
楕円曲線の点の 倍の公式から
の判別式は であるので、Nagell-Lutzの定理より とすると である。したがって、 が 以外の素因数 を含むとすると である。
より である。
が奇数とすると、 より は奇数で、 は偶数。また、 は整数であることから は を割るので は奇数。これは、矛盾。
が偶数とする。 を奇数とすると は4の倍数なので よって 一方、 は の倍数であるので、4の倍数でもある。よって、 これは矛盾。よって は のべき乗である。
より 、または、 である。また、 である。
は整数であり、 なので、
ならば ①
ならば ②
①より、 よって、 また、の素因子2の指数は3以下なので、 となることはない。したがって、 のみ可能。 のとき、 より 、さらに これは矛盾。 のときは、 が2のべき乗とならないためありえない。
②より、 よって このとき である。bは4乗因子を含まないのでこのケースもない。
② 位数 の元は最大1つしか存在しないこと
を位数 の元とすると、 である。 なので
または である。
のとき、 より である。よって、 である。 とも整数であるので、 である。 とすると、 である。
のとき、 より、 つまり、 の素因数の指数はすべて 以上である。したがって、 及び は を素因数として含まない。よって、 は奇数である。 であるので は偶数、しかも で割れる。したがって、 である。一方、 は を素因数として含まず、 は で割れるので、 これは矛盾。したがって、位数 の元が存在するのは、 のときのみである。
③ 位数 の元は最大3つしか存在しないことをいう。
位数 の有理点の 座標は したがって、 よって、 または、である。
したがって、位数 の有理点は、 及び が平方数のとき である。
------------------------------------------------------------------------------------
【問題4.11】
を 6乗素因数のない0でない整数とする(つまり、 となる素因数 が存在しないこと)。また、 を以下で定義される楕円曲線とする。
さらに、 を有限位数の有理点からなる群とする。このとき、以下を示せ。
は6を割る。
より正確には、 は以下で与えられる。
\begin{eqnarray}
\Phi
\cong
\begin{cases}
\mathbb{Z} / 6\mathbb{Z} & ( c=1) \\
\mathbb{Z} / 3\mathbb{Z} & ( c \neq 1 \ is \ \ square \ or \ c = -432)\\ \mathbb{Z} / 2\mathbb{Z} & (c \neq 1 \ is \ cube) \\ 0 & (otherwise)
\end{cases}
\end{eqnarray}
------------------------------------------------------------------------------------
解答の流れ
をまとめて解答する。
以下の順序で解答する。
① を素数とする。 を の奇数位数の有理点で とする。このとき、 ならば 。また、 ならば 。ここで は、有理点 の 座標、 座標である。
② を素数とする。 を の奇数位数の有理点とするとき、 と の 座標、 座標を素因数分解したときの の指数は同一である。
③ 奇数位数の原点でない有理点があるとすると は平方、もしくは であり、その有理点の位数は3である。
④ 位数3の点は存在してもせいぜい二つ。
⑤ 位数2の元が存在するのは、 が立方数のときに限りただ一つ存在する。また、位数4の点は存在しない。
⑥ が立方数のとき である。また、 のとき
①の解答の流れ
より、 ならば であるので である。 は整数、 なので である。 より である。
ならば はよい。 ならば 。したがって、すぐ上で示したことより のとき である。 の位数を とすると、フェルマーの定理より ここで は と素な 以下の自然数の数である。よって、 は で割れないことになるが、これは矛盾。したがって、 (解答終)
②の解答の流れ
を素数とする。 とする。 の判別式 なので、Nagell-Lutzの定理より したがって、 である。 とすると より が で割り切れることになり矛盾。したがって、 の素因数 の指数はちょうど1である。 は整数であるので、このとき、 は で割り切れる。 は で割り切れるので は で割り切れる。 は で割り切れることになり、 となり矛盾。したがって、 はせいぜい で割り切れるだけである。
整数 について を を素因数分解したときの素因数 の指数とする。 今、 とする。Nagell-Lutzの定理により である。 のとき とすると、 したがって、 このとき、 より である。 のとき である。 とすると であり、 より となり矛盾。したがって、 であり、 である。つまり、 のとき、②は成り立つ。とする。Nagell-Lutzの定理により である。また、 より である。よって、 である。したがって、2倍の公式を考えて、 であり、 これより、 である。よって、 のときでも、②は成り立つ。
また、 であれば、Nagell-Lutzの定理により である。①より とすると であり、矛盾。したがって、 が の 座標、 座標の素因子であれば必ず の素因子である。
つぎに とする。 とする。Nagell- Lutzの定理より よって したがって である。 とすると より となり矛盾。 とすると である。①より したがって、 また、 であるので、 したがって、 これは矛盾。したがって、 はせいぜい で割れる。
のとき、Nagell-Lutzの定理より よって、 さらに である。 のとき とすると、 である。よって、 である。 とする。このとき である。①より、 である。 より、 である。 とすると となり矛盾。よって
のとき に対し とすると である。よって、 かつ となる。
また、 のとき であれば、 であり、 となる。また、 である。 であれば、 とすると である。また、 とすると、、よって であり、 また、 より である。以上より、 の場合でも②がいえた。 (解答終)
③の解答の流れ
を奇数位数の点とする。そうすると より、 である。 とおけば なので 倍の公式より
かつ、
である。 は整数なので を奇数とすると、 も奇数となり矛盾。よって、 である。
:奇数とすると より も奇数。このとき、 で奇数である。
について同じことを繰り返せば、 は の倍数、かつ は奇数。これを繰り返せば、Cの有限位数有理点のx座標で2の任意のべき乗の倍数となる点が存在することになる。これはどこかで または となることを意味する。
となるのは が平方のときである。 (★)
となるのは、 が立方数のときである。このとき、ある自然数 について よって、 は、平方数でもある。 は6乗因子を有しないので である。
を偶数とすると、 かつ となる。 とすると、 のときは、 の2の指数は-2以下となり矛盾。 かつ とすると は奇数。Yも奇数。したがって、である。 について、 座標の の指数を考えると整数であることに矛盾が生じる。よって、 である。
ここで とすれば となり矛盾。したがって、 は か で割り切れるだけで, では割り切れない。
とすれば であり、 は の倍数、 となる。 であれば について同じことを行い、 の有限位数有理点で2の任意のべき乗の倍数となる点が存在することになる。よって上の議論と同様に、 は平方数か立方数の場合は となる。
残りは、 かつ のケースである。このとき である。 とすると である。このとき である。つまり、すべての素数について、 と の 座標と 座標の指数は同じである。これは、
または を意味する。
のとき(★★)、これを とおくと
よって、
したがって、
または
であれば は平方数である。
であれば、 ( :立方数) なので ここで は正奇数、 は 以上の整数である。 は 乗因子を持たないので である。また、 なので は平方数。これを満たすのは のみである。
のとき、これを とおくと
よって、
したがって、
または である。
であれば 、 は平方数である。
であれば、 (:立方数) 一方、 は平方数である。したがって、 (:平方数)。これらを満たす は存在しない。
以上より、奇数位数の零でない有理点 があるとすると は平方数、もしくは であることがわかった。(★)、(★★)より、ある自然数 について を意味する。 の零でない有理点 で 座標が 、 座標が でないの場合、 となるので、 である。これは を意味する。つまり奇数位数の元が存在すればその位数は3である。 は位数 の例である。
④の解答の流れ(位数3の元はせいぜい2つしか存在しない)
③より、位数3の元 が存在するのは、 が平方数、もしくは のときである。そのとき、 なので 、かつを意味する。 よって について
よって または が (:立方数)でなければならない。 のとき の2つである。
[tex:c=2c’ \cdot c'] のとき、 が平方数とすると、 は 乗因子を持たないので、c’は2以外の素因子を有しない。2についてもそのような場合はありえない。したがって、 は平方数ではありえない。 のとき、 である。 (解答終)
⑤の解答の流れ
が立方数の場合、 は位数2の元である。また、位数2の元は 座標が であるので 、 が立方数のときのみ唯一存在する。また、位数 の元が存在すれば となる有理点 が存在する。 とすれば、 である。よって、
これを満たす有理数解はない。よって、位数 の元は存在しない。
⑥の解答の流れ
③④⑤より が立方数かつ平方数で 乗因子を有しない、すなわち の場合を除き、 である。
また、 のとき である。
以上で、解答を終わる。
Silverman Tate のRational Points on Elliptic Curves(以下,[Sil]と記す)の第4章は有限体上の楕円曲線を扱っている。章末の練習問題に取り組み始めたので、備忘録としてメモしておく。解答が不完全であったり、誤りがあったりする可能性はありますことご注意ください。誤りにお気づきの節はご連絡いただければ幸いです。
※7月17日に4.2【問題】の解答の流れを追加した。
4.1【問題】
を素数、 、 を円錐曲線
とする。このとき、(a),(b)を示せ。
ならば
ならば または
また、これらの例をあげよ。
【解答の流れ】
を変形して
したがって、最初から としてよい。
次の①、②の順に説明する。
① この円錐曲線上に有理点 が存在するとして を示す。
② この円錐曲線上に有理点 が存在することを示す。
① 円錐曲線上に有理点 が存在するとして を示す。
のとき:
同次座標での解を求めるので とする。
以外の解は、円錐曲線と を通る直線との交点 として得られる。
直線の方程式 を円錐曲線の式に代入すると
がこの方程式の解なので、
このように、解 は の有理式として表される。
が 平方剰余のとき:
の解となる2つの 以外の に対応する 個の解、および の計 個の解がある。
が 平方非剰余のとき:
に対応する 個の解および の計 個の解がある。
のとき:
が 平方剰余のとき:
の解が2個ある。
が 平方非剰余のとき:
の解はない。
以上の より、①がいえた。
② この円錐曲線上に有理点 が存在することを示す。
が 平方剰余のとき:
が存在し、 よって、
とおけば
となり解があることがわかる。
が 平方非剰余のとき:
または が平方剰余であれば、 または、 とする解があることは容易にわかる。
も も平方非剰余とするとき、 が 全体を動くとき、 の値域を考える。
は0、平方剰余、平方非剰余の3種類の共通部分のない集合の和である。また、平方剰余の集合と非平方剰余の集合の元の数は等しい。
が を動くとき は、 であれば 、平方剰余の集合は平方非剰余に、非平方剰余の集合は平方剰余に写される。これに を足すと は平方非剰余に、平方非剰余(もともとの平方剰余)のうちの一つは0になるので、平方剰余(もともとの平方非剰余)のうちの一つは平方剰余になることがわかる。これは、 が解を有することを意味する。
以上で②がいえた。
ならば円錐曲線の式は
が平方非剰余ならば、解は の一つのみ。
平方剰余ならば、 のとき の解が一つある。
のとき とするとき を満たす解が2p個ある。よって、計 個の解がある。
例について
とする。
の例: の斉次座標での解は、
の が平方非剰余の例: の斉次座標での解は、 のみ
の が平方剰余の例: の斉次座標での解は、 の7個
4.2【問題】
素数 について、有限体上の楕円曲線 の有理点群 を求めよ。
【解答の流れ】
係数の多項式 について
である。
次に の値を で平方剰余かどうか考えて を求める。
・ のとき
であり、 は で平方非剰余。したがって、集合として である。 の点は1点のみなので、群として
・ のとき
であり、 は で平方非剰余。したがって、したがって、集合として である。有理点 の 座標を とすると、 である。 とすると よって、 これより、群として
・ のとき
であり、 は平方非剰余。したがって、集合として
である。また、群として、
・ のとき
であり、 は平方非剰余。 したがって、集合として
群として、
・ のとき
であり、 は平方非剰余。したがって、集合として、
である。 とすると である。また、点 の 倍の 座標は、それぞれ である。したがって、位数が の元は しかない。よって、 である。