一昨日にこんなツイートをしてみたら、思った以上に多くの方に面白がってもらえました。せっかくなので、この記事を通して「種明かし(?)」をしたいと思います。
√pの作り方 pic.twitter.com/qy2gzay6EW
— tsujimotter (@tsujimotter) 2020年3月31日
今回は3日連続で投稿する「ガウス和シリーズ」の第1回の記事となっています。よかったら続きもぜひご覧になってください:
tsujimotter.hatenablog.com
一昨日にこんなツイートをしてみたら、思った以上に多くの方に面白がってもらえました。せっかくなので、この記事を通して「種明かし(?)」をしたいと思います。
√pの作り方 pic.twitter.com/qy2gzay6EW
— tsujimotter (@tsujimotter) 2020年3月31日
今回は3日連続で投稿する「ガウス和シリーズ」の第1回の記事となっています。よかったら続きもぜひご覧になってください:
tsujimotter.hatenablog.com
今日は 四元数環 について考えてみましょう。tsujimotterのノートブックでは初登場ですね。
複素数体 は に虚数単位 を加えた体のことで、
と書けます。 上の2次拡大体となっています。
に「ある演算規則」をもった という新しい数を加えて
としたものが四元数環です。複素数体の4次元バージョンと思えます。
には、次のような関係が成り立ち、これが四元数環を定義する演算規則となっています:
この式は、ハミルトンがブルーム橋に刻んだ数式としても知られていますね。
先日、四元数環と群コホモロジーの意外な接点 について教えていただきました。とても面白かったので、ぜひ紹介したいというのが今日の目的です。具体的には、ある2-コサイクルを考えると、そこから四元数環を構成することができるというのです。
今回の内容は梅崎さんに教えていただきました。いつも楽しい話を教えてくださってありがとうございます。
なお、もし内容に誤りがあったとしても、それは私の理解不足によるところかと思います。見つけた方は私にTwitter等でご指摘いただけますと幸いです。
楕円曲線について本格的に勉強したいと思い、シルヴァーマンによる楕円曲線の本(タイトルは "The Arithmetic of Elliptic Curves"(通称:AEC))を読み始めました。
The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics)
その第1章を読んでいく中で、射影-空間(あとで定義します)の -有理点に関する命題が登場するのですが、その証明にはなんと昨日紹介した「ヒルベルトの定理90」が使われるのです。このつながりは想像できなくてとても意外なことでした。
実はこの命題の証明は、シルヴァーマンの本では演習問題になっていまして、本には証明のヒントが載っているだけでした。2年前くらいから問題自体は知っていて、気になっていたのですが、先日ようやく自分で理解できました。とても嬉しかったのでまとめたい、というのが今回の記事の動機です。
3/23の群コホモロジーについての記事も、実は今回の記事のために用意したものでした。この記事の内容を前提に進めたいと思います。
tsujimotter.hatenablog.com
まずは、今回の主題を説明するための、代数幾何の基礎的な事項について述べたいと思います。
続きを読む今回のテーマは 「群コホモロジー」 です。
整数論や諸々を勉強していると、群コホモロジーという言葉をよく耳にします。調べてみると、とても難しそうな定義が並んでいてよくわからない。少し前までの私はそんな感じでした。
一方で、難しい定義であっても、辛抱強く理解しようと試みれば、いつの間にか慣れてしまうこともあるようです。実際、今の私はそれなりに群コホモロジーを受け入れることができています。
まずは定義を受け入れてみることが大事なのかもしれません。というわけで、「定義をとにかく理解する」を目標に、群コホモロジーの定義について、私の理解できた範囲でまとめてみたいと思います。
記事の後半では、具体的な計算とともに「ヒルベルトの定理90」という重要な定理についても紹介します。
群コホモロジーの定義は、①コチェイン複体を用いた方法と②導来関手を用いた方法がありますが、今回は簡単のため①の方法で定義を紹介したいと思います。
最近、「素数と2次体の整数論」という本の読書会をはじめました。
主に数学デーというイベントの中で毎週1、2回程度開催して、少人数で濃い勉強をしています。「ゆるにじたい」という名前で開催しているのですが、基本的に全部の命題・定理の証明を追いかけるという感じでやっています。
先日は【有理整数環 が単項イデアル整域であること】を証明するパート(1.3節)を読みました。面白かったので紹介したいと思います。
といっても、本に書いてある証明をそのまま紹介はしません。本の証明は「有理整数環 」に限定された証明なのですが、実はこの証明は「一般のユークリッド整域 」に一般化することができます。
今日示したいことを図に表すと以下のようなイメージになります。
基本的な事項のおさらいをした後に、本題の証明を紹介したいと思います。
続きを読む今日は 3/14 、すなわち 「円周率の日」 ということで、円周率の一風変わった近似式を紹介したいと思います。
今回紹介したい式はこちらです:
ここで、 は自然対数です。
「なんじゃこりゃ」というような式ですが、実際に計算してみるとその精度の高さに驚きます。
Google電卓を使うと、簡単に計算できるのでやってみましょう。Googleの検索窓に数式を入れると、電卓としてその計算を実行してくれます。
以下の式を検索窓に打ち込んでみてください。
ln(640320^3+744)/sqrt(163)
この "ln" というのは自然対数を表す記号で、"sqrt" はルートの記号ですね。
それでは実行してみましょう。
計算結果は
3.14159265359
です!!
なんと、小数点以下10桁 まで一致しています。10桁というのはGoogle電卓の限界によるもので、実際はもっと先の桁まで一致します。
すごいですね。いったいどこからこんな式が出てきたのでしょうか。640320 とか 744 とか 163 という数は、どこからやってきたのでしょうか?
残念ながら、これらの質問にすべて答えることは簡単ではありません。一つだけヒントをいうと 「ラマヌジャンの定数」 が関係しています。
ラマヌジャンの定数については、以下の記事で紹介しています。
tsujimotter.hatenablog.com
もしかすると、ラマヌジャンの定数について既に知っている人がいるかもしれませんが、改めて紹介したいと思います。
ラマヌジャンの定数とは
という数のことです。この数は、計算してみると
という値となり、なんと小数点以下12桁まで9が並ぶことになります!
つまり、極めて整数に近い値をとるのですね。
では、なんで「ラマヌジャンの定数」と呼ばれているかというと、「ラマヌジャンならこんなこと考えてもおかしくない」というが由来です。笑
偶然にしたらよく出来すぎているなと思ってしまいますが、実はちゃんとした理由があります。
実際、複雑な計算によって
というような評価が得られ、小数点以下が十分に小さいので
という近似式が得られます。こうした事実が背景にあります。
あとは、両辺 をとると
という感じで、冒頭の近似式を得ることができるというわけです。
式 の近似において、小数点以下の数値が極めて小さい値になったことで、円周率の近似の精度もかなり高いものになったというわけですね。
いやー面白い。
今回は、円周率の日にちなんで、円周率を高精度で計算できる式を紹介しました。
このへんで終わりにしてもよいのですが、最後に「今回あえてこの式を紹介した理由」を話したいと思います。
上のカラクリの説明で「複雑な計算によって」と書いたところ、気になりませんか?
この部分を理解するためには 虚数乗法論 という(少なくとも今の私にとっては)相当難しい理論が必要になります。
ざっくりいうと、上の式の の部分は 関数 の特殊値に由来しています。虚数乗法を持つ楕円曲線について考えることで、 関数の特殊値が整数になることがわかり、これが に一致するのです。この事実と 関数の性質から、上記の近似式を導出することができるのです。
いつかこのブログで紹介したいなと思い、これまで虚数乗法について勉強してきました。そろそろまとめることに挑戦してみてもいいかもしれません。
というわけで、近々、虚数乗法についてのシリーズ記事を書いてみたいと思います。
もちろん、本当にかけるかどうかはわかりません。(執筆のために準備をしはじめたのですが、やっぱり難しくて少し心が折れ始めています。。。笑)
気長にお待ちいただければと思います。
それでは、今日はこの辺で。
昨日紹介した「モジュラー形式の本」にまたまた面白い話が載っていたので紹介したいと思います。
このブログでこれまでたくさん紹介してきましたが、4で割って1あまる素数は
のように「2つの平方数の和」として表すことができます。
一方で、たとえば4で割って3あまる素数はそのような和によって表すことができません。もちろん、平方数をもっと増やせば4で割って3あまる素数も表すことができて、実際4つあれば足りることが知られています。
より一般に 任意の自然数は4つの平方数があれば表すことができる ことが、ラグランジュによって示されています。
を満たす(非負の)整数 が存在する。
このラグランジュの定理は、平方数だけでなく3乗数、4乗数にも拡張されています。ラグランジュの定理は「任意の自然数 は4個の非負の平方数の和として表せる」でしたが、次のような事実が証明されています。
こんな風に、平方数(2乗数)だったら4個、3乗数だったら9個、4乗数だったら19個のように、べき乗の数と平方数の個数が対応しているわけです。
「これを一般化できるか?」というのが、ウェアリングの問題 です。すなわちウェアリングの問題とは次のような問題です。
任意の自然数 に対して は常に存在するか?
のときはそれぞれ という有限の値が求まったわけです。
しかしながら、一般に のときにも同じように有限の値 が存在するとは限らないですよね。もちろん、それがあることをウェアリングは期待しているわけですが。
実際、ヒルベルトによって、ウェアリングの問題は肯定的に解決されました。すごいですね。
さて、今回の記事は についてのお話なんですが、 を示すことはなかなか難しそうです。そこで、もう少し緩めた問題を考えます。
すなわち、高々53個の4乗数があれば、任意の自然数が表せる を示したいと思います。 ということですね。
キーになるのは次の恒等式です。
なかなかとんでもない恒等式ですね。
左辺は のそれぞれの2乗の和を2乗して6倍したもの、右辺は から2個ペアを選んで、それを足し引きしたものを4乗したものを全部足し合わせた式になっています。
この恒等式の証明は、かったるいですが、とにかく計算したらわかるというタイプの式です。「ブラハマグプタの恒等式」に似ています。
tsujimotter-sub.hatenablog.com
さて、左辺に「4つの平方数の和」があることに注目しましょう。ラグランジュの定理によると、任意の自然数 は の形で表せるわけです。
ということは、 という形の数は、12個の4乗数の和で表すことができることが一目瞭然というわけです。面白いですね。
ところで、任意の整数は (ただし )という形で表すことができますね。ラグランジュの定理を使って、この を再び4つの平方数の和で表すと
となります。
今日のキーポイントを使った議論により はそれぞれ、12個ずつの4乗数の和で表せます。よって、その和は48個の4乗数の和で表せるというわけです。
あとは の部分ですが、 についてすべて考えると次のようになります。
よって、任意の自然数は高々 個の4乗数の和で表せることがわかりました。
いやー、面白いですね!
ほとんど、上の恒等式一発で証明できてしまいましたが、こういうのはとても気持ちがいいですね。
それでは今日はこの辺で。