9月27日（土）は１年ぶりに大栗博司先生による数学講座を聴講してきた。
素数の話、解の公式の話（朝日カルチャーセンター）
http://www.asahiculture.com/LES/detail.asp?CNO=257160&userflg=0
先生にお会いするのは昨年9月の「ブルーバックス創刊５０周年、特別記念講演会」以来である。久しぶりに科学ブログ仲間とも再会できることもあって、この日がくるのを楽しみにしていた。先生の今回の帰国（来日？）の目的のひとつには著書「大栗先生の超弦理論入門」が講談社科学出版賞を受賞されたこともあり、「講談社三賞授賞式」に出席することにあった。
朝日カルチャーセンター新宿教室で開催された大栗先生の講座は重力の話から、強い力と弱い力、そして超弦理論までひととおり完了している。続きはどうなることだろうとずっと思っていた。
ところが今回は物理学ではなく数学だった。昨年11月から半年間「幻冬舎plus」に連載されていた「数学の言葉で世界を見たら」という連載記事から特に人気の高かった「素数の不思議」と「難しさを測る、美しさを測る」の２つをまとめて「素数の話、解の公式の話」として昼食をはさんで合計４時間の講義にまとめたものだった。
素数の不思議 前編
http://www.gentosha.jp/articles/-/1554
素数の不思議 後編
http://www.gentosha.jp/articles/-/1662
難しさを測る、美しさを測る 前編
http://www.gentosha.jp/articles/-/2310
難しさを測る、美しさを測る 後編
http://www.gentosha.jp/articles/-/2311
僕の大学時代の専攻は応用数学だ。群論はカリキュラムに含まれていたし、この数年何冊かの教科書で学んでいた。しかし整数論やガロア理論は「数学科」では選択可能だったが「応用数学科」では学ぶことができなかった。ガロア理論は２年前に「数学ガール/ガロア理論：結城浩」を読んだのが初めてで、整数論については最近「素数夜曲―女王陛下のLISP：吉田武」を読み始めたばかりである。「整数論は数学の女王」と言われるものの、なぜ女王と呼ばれるにふさわしいのか数学を専攻していたにもかかわらず実感として理解できていないなさけない状態なのだ。今回の講座でほんの少しでもそれが実感できればよいのだけれどというのが正直な気持だった。
今年の夏も猛暑やゲリラ豪雨で相変わらず荒れた季節を過ごしてきたわけだが、幸いこの日はすがすがしい秋の晴天に恵まれた。いつものように開講30分前に新宿教室に到着。いつもだと机の上には先生が用意したスライドの印刷物が乗せられているのだが、今回は何もない。そのかわりに黒板２つとホワイトボード２つが教壇の横に置かれていた。板書しながら講義が進むのだとわかった。いつもの科学ブログ仲間数名に加えて、今回は僕の大学時代の同級生のI君も席についた。
先生が到着される頃までには教室は満席になる。「せっかくのお休みの日に、わざわざ数学の授業を聞きにいらっしゃるみなさんは立派です。」と笑いをとられてから講義が始まった。
板書を写した僕のB5版のノートは午前と午後の4時間で24ページになった。流れは次のようなものだった。
午前（10時から12時まで）：素数の話
- 幻冬舎plusで数学の記事を書くことになったいきさつ
- 自然数は素数と合成数に分かれる
- 素数をみつける方法、エラトステネスのふるい
- 素因数分解は一意（ユークリッド）
- 素数は無限個ある
- 素数の分布、密度分布をあらわす関数を求める
- 10の指数の話：日本のGDP(10^14円）、トヨタの売上(10^13円)、文教予算(10^12円）、東大の予算(10^11円)
- コイン投げによる確率の話
- ネイピア数、自然対数、常用対数の話
- 素数の判定、素数テスト
- 剰余類の話
- フェルマーの小定理
- パスカルの三角形
- フェルマーの小定理の帰納法による証明
- 新しいテスト方法では小定理が拡張され、合成数でも使えるテストになった
- RSA暗号、公開鍵のしくみ
- オイラー関数
- 量子コンピュータ、量子暗号理論
- 素数スマッシュ： http://panasonic.net/apps/jp/primesmash/
午後（13時から15時まで）：解の公式の話（ガロア理論）
- 1次方程式、2次方程式の解、因数分解
- リーマンのゼータ関数
- オイラーによるゼータ関数の素数を使った表現
- 古代ギリシアにおける２次方程式の解が求められた
- イスラム世界からヨーロッパに数学が入った
- 3次方程式の解、16世紀にデル・フェッロが解いた
- カルダーノの公式、アルスマグナ
- 4次方程式、フェラーリ
- ガウスの定理：どんな次数でも複素数で解があることを証明した。最終的に６つの方法で証明
- 「解けるとは？」：解を加減乗除とべき根で書けること
- 18世紀、ラグランジュは「なぜ解けるのか？」を研究
- アーベル、ガロア＝ビクトル・ユゴーのレ・ミゼラブルと同時代
- アーベル（1802-1828)：5次方程式は解けない
- 2次方程式の解の対称性、対称でないものを対称にするために２乗する
- 3次方程式の解の対称性
- 3つの解の入れ替え、群、アミダクジ（置換群）の話
- 正三角形の回転、左右反転
- 共通する性質＝群という性質、群の定義
- 3次方程式における解と係数の関係
- 4次方程式の場合も大丈夫
- 5次方程式の場合は無理
- 正20面体の話、20面体群、単純群の話
- モンスター群に至る散在群の話、Atlas of Finite Group
- 散在群の全体は1000ページに渡るいろいろな数学者による証明の合作。全体を通して証明を確認した人はいない。
- 5次方程式はべき根に制限しなければ楕円関数、超幾何関数を使って解ける
- クライン：「20面体群と5次方程式」という著書
- 代数->関数->幾何
- マシュー群は物理と関連があることがわかった
- プラトニックな世界
というわけで、講義はテンポよく進んだので4時間はあっという間だった。ノートをこれだけ集中して書いたのは大学生以来かもしれない。板書写しがいちばん忙しかったのは3次方程式の解と係数のあたり。ゼータ（ζ）の文字を書くのに慣れていないので手こずった。僕が書くζはどれも形がまちまちだ。すらすらと「美しいζ」を書いている大栗先生はやはり慣れていらっしゃると本筋とまったく関係ないところで僕は感心していた。
驚かされたのは「散在群の全体は1000ページに渡るいろいろな数学者による証明の合作。全体を通して証明を確認した人はいない。」という話。すべての散在群が見つかったというのがすごいことだし、恐ろしく深遠な世界が存在していることに感動した。やはり数学は発明ではなく発見だと僕は思うのだ。
コンウェイがまとめあげた「アトラス」の話についてだが、全ての有限単純群の数え上げを証明したのはゴーレンシュタインが率いる研究チームで、半世紀にわたり数百本の論文を発表し、全部合わせると数万ページになるという。
同級生のI君も「これだけ分かりやすい講義は素晴らしい。」と感激していた。今回の講座のポイントは「解と係数の関係」を導くことが「解けること」と直接関連していることを理解することにある。
先生がおっしゃっていたように群とは数学の世界のプラトニックな研究対象である。つまり群とは哲学者プラトンの仮想世界の存在なのだ。その話を聞いていたとき僕は「仮想恋愛のプラトニック・ラブも語源はプラトンなのだけど、プラトニック・ラブからプラトンを連想している人はきっと少ないに違いない。」などと余計なことを考えていた。余計な妄想をしているうちに、大切なところを聞き逃してしまうのが学生時代からの悪い癖である。
今回、僕は２つの質問をさせていただいた。
質問１） ガロア理論の本を読んで挫折する人はたくさんいるが、今回の話はガロア理論をどこまで理解したことになるのでしょうか？
先生の回答） それは今回の講義で何を省略したかという質問ですね？と笑いをとられたあと、次のように説明された。ガロア理論は群論の研究を進めて、正規部分群などをはじめ群の構造を理解し、ガロア群というものを理解することです。その部分は今回の講座には含まれず、今回の講座では「5次方程式は解けない」ということを理解するための最短ルートを解説しました。
質問２） 「群」は英語で「group」です。日常用語でもある「group」を使うと英語圏の初心者は群論を学ぶときに混乱しないでしょうか？
先生の回答） 混乱はしないと思います。英語では日本語にくらべて専門用語でも日常用語と同じものを使う場合が多いです。たとえば「強い力」や「弱い力」がそうですよね。
大栗先生、今回も素晴らしい講義をありがとうございました。
講座の後はいつものように銀座ライオン（西新宿店）でオフ会。今回は５人参加。途中から大学時代の同級生I君の奥さんも合流して６人になった。彼女も大学時代の同級生（数学専攻）で、卒業してから数年して付き合い始めて結婚した夫婦である。
関連書籍：
今回のテーマに沿った推薦図書や講座で先生が言及されていた本を紹介しておこう。
整数論入門としては、これがいちばん楽しそうだ。超お勧め。
「素数夜曲―女王陛下のLISP：吉田武」（紹介記事）
今の時点でガロア理論を学ぶのには、この本がいちばんだと思う。昨年刊行された。
「ガロア理論の頂を踏む：石井俊全」（紹介記事）
有限単純群については「有限群村の冒険 - あなたは数学の妖精を見たことがありますか？」という本を７年前に紹介したが、先生が講座で言及されていたのは原田先生のこの本だ。しかし絶版なので現在は9800円以上でしか買うことができない。
「モンスター―群のひろがり： 原田耕一郎」
現在入手しやすいのは次の本である。
「シンメトリーとモンスター 数学の美を求めて：マーク ロナン」（英語原書版）
有限単純群の分類について先生は「Atlas of Finite Groups」を紹介されていたが、リング製本版とペーパーバック版が刊行されている。しかしどちらも高価なので買うのにはとても勇気がいる。ウィキペディアの「モンスター群」や「有限単純群の分類」、「有限単純群のリスト」を読み、さらに2日以上考えてから購入ボタンをクリックすることをお勧めしたい。
「Atlas of Finite Groups（リング製本版）」
「Atlas of Finite Groups（ペーパーバック版）」
応援クリックをお願いします！
関連記事：
重力のふしぎ（朝日カルチャーセンター）
https://blog.goo.ne.jp/ktonegaw/e/243ec8bcf130122f0b25d7838a33b6a8
重力をめぐる冒険（朝日カルチャーセンター）
https://blog.goo.ne.jp/ktonegaw/e/0471486930f344c4daa7aaa5ba2fdcc4
ヒッグス粒子とは何か（朝日カルチャーセンター）
https://blog.goo.ne.jp/ktonegaw/e/f4a1756c8de4273487ffac8184c8b0c7
強い力と弱い力（朝日カルチャーセンター）
https://blog.goo.ne.jp/ktonegaw/e/59084db3bdfb94a2705989a51fcc37ab
超弦理論（朝日カルチャーセンター）
https://blog.goo.ne.jp/ktonegaw/e/ee9d62fa4bcd23fe49301d6b015ea52f
時空とは何か（朝日カルチャーセンター）
https://blog.goo.ne.jp/ktonegaw/e/fc17a69807d62016bae8da7ea3af7e6c
重力とは何か アインシュタインから超弦理論へ、宇宙の謎に迫る：大栗博司
https://blog.goo.ne.jp/ktonegaw/e/f63cdcd45ec542fa62d535b4cc715d69
強い力と弱い力：大栗博司
https://blog.goo.ne.jp/ktonegaw/e/06c3fdc3ed4e0908c75e3d7f20dd7177
大栗先生の超弦理論入門：大栗博司
https://blog.goo.ne.jp/ktonegaw/e/75dfba6307d01a5d522d174ea3e13863
素粒子論のランドスケープ：大栗博司
https://blog.goo.ne.jp/ktonegaw/e/5201583450c82ac59cb4d71efe52b3d9
素数夜曲―女王陛下のLISP：吉田武：（前半の紹介）
https://blog.goo.ne.jp/ktonegaw/e/3740cd7fde863f2aebd195e326488ff6
アクセス
トータル
ランキング
群が自然科学に与えた影響は甚大ですよね。分子構造、相対性理論、データ通信のエラー検出など広範囲に及びます。理論に対称性があるのではなく、対称性に理論が潜んでいるのですね。
コンウェイがまとめあげた「アトラス」の話がありましたが、全ての有限単純群の数え上げを証明したのはゴーレンシュタインが率いる研究チームで、半世紀にわたり数百本の論文を発表し、全部合わせると数万ページになるそうです。これでは誰も読む気にならないですよね。
コメントありがとうございます。
> これは「交換群が4次以下の一般代数方程式は可解だが、5次では非可解である」ということですよね。
はい、そのとおりです。
> 理論に対称性があるのではなく、対称性に理論が潜んでいるのですね。
おお！これは深いです！
> 全部合わせると数万ページになるそうです。これでは誰も読む気にならないですよね。
1000ページではなく数万ページになってしまったのですか！そのことを本文に追記させていただきますね。
英語の専門用語には、日常語が本当に多いですよね。日本ではわざと難しい漢語を充てがって、煙に巻くところがあるので、欧米の学会のこういうリベラル性は見習って欲しいです。もっとも、欧米も古典ギリシャ語、ラテン語偏重はあります。
とねさんの講義記録素晴らしいですね(^^)。今、ノートを見返しながら実はとね日記を読んで復習している所です。普段の業務から離れてこうしたアカデミックな事に触れるのはとても気持ちが良いです。大栗先生の講義もとても分かりやすく、こういう空気に時々触れていたいですね。また、機会がありましたら一緒に飲みたいです。
有限単純群の過不足ない数えあげの証明
http://en.wikipedia.org/wiki/Classification_of_finite_simple_groups
リンクを教えていただきありがとうございました。
専門用語に難しい漢語をあてがうのは一長一短ありますね。最近は特にカタカナ用語の多用が目につき、英語が苦手な人には読みにくい本がたくさん出版されています。漢語をあてる時間的猶予がないことと、無理に漢語にしてしまうと余計にわかりづらくなってしまうからですけれど。
復習に使っていただけるなんて光栄です。といっても僕の記事は講義の内容を箇条書きしただけですけれど。
これ以上細かく解説しだすと、記事が５倍、１０倍に膨れ上がりそうなのでやめておきました。
少なくとも年に２～３回はこのような講義を受講して、モチベーションを高めていきたいですね。
また、機会がありましたら飲みにいきましょう。
面白そうな講義ですね！
僕もこういう話を聴くのが好きなので、うらやましいです。
ブログ、たまに拝見させて頂いているのですが、
５次以上の解の公式について、丁度今日の講義で解説（と言っても雑談程度ですが）したところだったので、
思わずコメントしてしまいました。
B.Sturmfels
"Solving algebraic equations in term of \mathcal{A}-hypergeometric series"
Discrete Mathematics 210 171-181 (2000)
について触れたのですが、
2000年代に入ってからも、まだまだ色々研究されてるみたいです。
ガロア理論の本は、個人的には
リリアン・リーバー『ガロアと群論』みすず書房
が好きです。
これからも更新楽しみにしてます！
お久しぶりです。コメントありがとうございます。
ご紹介いただいた英語の本は（もちろん）知りませんでした。引き続き研究されている分野なのですね。洋書を読む時間とエネルギーはなかなかとれないので、とりあえず「ガロアと群論」みすず書房をチェックしてみます。
大栗先生のブログからこちらを知って、楽しく拝見させていただいています。
過去の講義録も読ませていただいて概略がわかってありがたいです。
他の記事もあれこれ読ませていただき、参考になります。リンクがたくさんあって助かります。
最も私のレベルでは読みこなせないもの多々あり、物理や数学、化学～
科学の本を夢中になって読み始めたのは6，7年前からです。
プリンシピアの美しさに感動し、ファインマン先生の講義録にワクワクし、大栗先生の文章の明解さに驚き、色々な本から自分への問いの答えを発見してはほくそ笑んでいる、そんな読書をしています。
蛇足ですが、ひとつ最近の私のお薦め本「ドミトリーともきんす」
webマガジンで連載していたものが単行本になったものです。湯川秀樹博士や朝永振一郎博士が初々しく登場します。高野文子さんのマンガなのですが、書店に出向いたときにでもご覧くださいませ。
これからも記事を楽しみにしてます。
どういたしまして。コメントありがとうございます。
ファインマン先生の講義録にワクワクとお書きになっているところをみるとはちまま様も物理学ファンでいらっしゃるのですね。
僕が物理学ファンになったのもはちまま様と同じ頃です。ブログの古い記事をご覧になるとわかりますが、ある日を境にして、物理学の記事ばかりになっています。
ご紹介いただいた「ドミトリーともきんす」をアマゾンで確認してみました。湯川先生、朝永先生が学生寮の寮生として登場するのですね。おもしろそうです。近いうちに買ってしまうと思います。たのしそうなマンガを紹介いただき、ありがとうございました。
もう見つけられているかどうかわかりませんが、「理系クン」というマンガを紹介したことがあります。
理系クン (文春文庫)：高世えり子
http://blog.goo.ne.jp/ktonegaw/e/d773113fd49fa599c3bbd9d2f9739b69