2020-04-26

訂正記事：前回の証明は第Ⅳ証明ではなかった

数学素数整数論ガウス和

ガウス和について勉強していくうちに、前回紹介した「平方剰余の相互法則の証明」の記事の内容に関して、誤解があることを発見しました。今回の記事は、その誤解についての訂正記事です。

f:id:tsujimotter:20200425183342p:plain:w300

私が誤解に気づいたきっかけは、以下のPDF記事でした。

アンドレ・ヴェイユ「円分 – 昔とこの頃」
~~http://www.math.s.chiba-u.ac.jp/~otsubo/article/cyclotomie.pdf~~（URLが変わりました↓）
cyclotomie.pdf - Google ドライブ

この記事において、次のような記述があり、その周辺を読んで何かおかしいと思ったのです。

6. 1818 年に Gauss は平方剰余の相互法則の第 6 の証明を出版した ([2 c]) — それもまた位数 2 の Gauss 和に基づいたものであるが, 厳密に代数数論的な観点から考察されている. ・・・（中略）・・・結局 Eisenstein が, 表現の差を除けばどれも Gauss の第 6 の証明とかわらないということを見てとった.

あれ？第Ⅵ証明って書いてありますよね。ガウス和の証明は第Ⅳ証明じゃなかったの？？

結論から言ってしまうと、私が紹介したのは第Ⅳ証明ではなく第Ⅵ証明だったのです。

本記事の前半では、私の勘違いした部分について、順を追って説明したいと思います。後半では、本当の第Ⅳ証明についても紹介したいと思います。

2020-04-04

平方剰余の相互法則の証明（ガウス和を用いた方法）

数学素数整数論ガウス和

３日連続ガウス和シリーズ、最終日の今回のテーマは「平方剰余の相互法則」です。平方剰余の相互法則は、整数論を勉強する人の多くが憧れる定理の一つで、いよいよここまできたかという感じがします。

なお、ガウス和シリーズの記事は、以下のタグで見ることができます：
tsujimotter.hatenablog.com

第２回の昨日は、次の定理を証明しました。

定理２（前回紹介）

$p\equiv 1 \pmod{4}$ のとき $p^* = p$ 、 $p\equiv 3 \pmod{4}$ のとき $p^* = -p$ とする。

このとき

$\displaystyle G_p^2 = p^*$

が成り立つ。

この定理２をうまく使うと、平方剰余の相互法則が証明できてしまいます。これを今回紹介したいと思います。

このガウス和を使った平方剰余の相互法則の証明は、~~第Ⅳ証明~~ 第Ⅵ証明と呼ばれています。ガウスは生涯で、平方剰余の相互法則の証明を７通り与えているのですが（ガウスすごいですね）、その~~４番目~~ ６番目にあたる証明です。

細かいことをいうと、今回紹介するのは第Ⅳ証明の特に「符号決定なし」の証明となっています。つまり、前回の定理２の主張で十分というわけですね。

ガウスは「符号決定あり」の証明も示しているのですが、今回の記事では扱いません。
（興味がある方は参考文献の本を参照ください。）

実は上記の記述について、誤解がありました。ここに書くのには難しい話になりますので、別の記事でまとめましたので、本記事をご覧になったあと確認いただければと思います：
tsujimotter.hatenablog.com

今回の証明は「円分体の理論」や「類体論」が背景にある証明となっています。

第Ⅳ証明は、ある意味でガウス以降の整数論の方向性を決めた、大変示唆的な証明となっています。整数論の歴史を追いかけるという意味でも、一度は理解したい証明です。

それではいってみましょう！

2020-04-03

ABC予想のよくある間違い

数学整数論おすすめの記事

望月新一先生の「宇宙際タイヒミュラー理論」に関する論文が、論文誌に採録されることが決まったというニュースが飛び込んできました。
mainichi.jp

論文の原稿は８年も前から発表されており、その内容の壮大さから、数学好きの間で度々話題になっていました。特に、この理論の系として「ABC予想」と呼ばれる未解決問題が導かれるということが、数学好きとは限らない数多くの人の興味を引きました。

論文の主張が正しいかどうかは、結果的には論文を読んで自分で確かめる他ありません。
（論文誌に掲載されたということは、関連分野の専門家に査読されたということを意味しますが、これは主張の正しさが証明されたことを意味しないからです。）

しかしながら、一数学ファンとしては、論文誌に掲載されるというニュースを聞いて、純粋に嬉しい気持ちになりました。

一つの節目として、せっかくなので、自分の中の理解の確認のためにも、ABC予想の主張ぐらいは理解しておきたいという気持ちになりました。それをブログにまとめておこうというのがこの記事です。

2021.03.05追記：望月先生の該当論文４編が掲載された論文誌PRIMSが、3/5付でpublish（出版）されたというニュースが入ってきました。
news.livedoor.com
https://this.kiji.is/740458703363735552?c=39550187727945729this.kiji.is

論文自体は以下で読むことができるようです：
www.ems-ph.org

ところがです。このABC予想の主張は、簡単そうな見た目に反して大変間違えやすいことで知られています。私自身も何度もこんがらがりました。勘違いしやすいポイントが色々隠れているというわけですね。

そこで、こうした勘違いしやすいポイントをあえて間違えつつ、修正しながら正しい主張に向かっていく、そんな記事にしたいと思います。

諸注意：
こんな記事を書いておいてなんですが、私自身が間違ったことを書いている可能性がありますので、気づいた方はご連絡いただければと思います。よろしくお願いします。

2020.04.04 途中の数値計算の箇所に誤りがありましたので、修正しました。以前のバージョンでは、 $3^{2^n}$ の計算をすべきところを、 $3^{2n}$ を計算してしまっておりました。

2020.04.04 「 $a, b, c$ が互いに素ならば $\newcommand{\rad}{\operatorname{rad}}\rad(abc) = \rad(a)\rad(b)\rad(c)$ 」という議論が誤りだったので、修正しました。

たとえば、 $a = 1, b = 2, c = 2$ のとき $a, b, c$ は互いに素ですが、 $\rad(abc) = 2$ であり、 $\rad(a)\rad(b)\rad(c) = 4$ なので等号は成り立ちません。 $a,b$ 、 $b,c$ 、 $a, c$ の各組が互いに素であれば、上記は成り立ちます。