群論 と 19万6883次元のモンスター
概要
巨大な数として現れる「モンスター」の正体を、群論の入門からたどる回。対称性の操作、置換群、同型、単純群の分類を順に説明し、モンスター群がなぜ異様な対象なのかを示す。終盤ではモンストラス・ムーンシャインに触れ、群論、楕円関数、物理の予想外の接続へ進む。基本的な対象が必ずしも単純で美しいとは限らない、という教訓で締める。
要点
- 群は対称性を保つ操作の集まりとして導入でき、雪の結晶、立方体、点の置換などから自然に現れる。
- 抽象的な群は、具体的な対象への作用から離れ、要素の「組み合わせ方」だけを保存した構造として扱う。
- 置換群の構造は、5次方程式に一般の解の公式が存在しないことなど、別分野の事実を説明する。
- 有限群は単純群という「原子」に分解でき、有限単純群の分類は数学史上最大級の成果の一つ。
- 26個の散在型単純群のうち最大のものがモンスター群で、19万6883次元の表現を持つ。
- モンスター群はモジュラー形式や楕円関数と奇妙に結びつき、モンストラス・ムーンシャインとして証明された。
構造化サマリ
対称性から群へ
動画は、およそ8掛ける10の53乗という巨大な数を提示し、それがモンスター群の大きさだと明かすところから始まる。ただし大きさだけではなく、その数が群論の中でどのような意味を持つかが本題になる。
群は、対象を変えずに保つ操作の集まりとして説明される。顔の反転、雪の結晶の回転や反転、立方体の回転などは、それぞれ保存する構造に応じた群を作る。構造を緩めるほど許される操作は増え、点を自由に並べ替える置換群は急速に巨大化する。
置換群と応用
置換群は、点の並び替えだけを扱う単純な対象に見えるが、群論では中心的な役割を持つ。たとえば101個の点の置換群はモンスター群よりはるかに大きく、巨大な群そのものは珍しくないことが強調される。
群論の初期の大きな応用として、多項式方程式の解の公式が紹介される。2次、3次、4次方程式には解の公式があるが、5次方程式には一般の公式が存在しない。この事実は、根を入れ替える置換群、とくにS5の構造から理解できる。
抽象化と同型
動画は、ここまで扱ってきたものが厳密には群そのものではなく群作用だと補足する。群を抽象的に見るとは、具体的な図形や点から離れ、要素同士の掛け算表、つまり組み合わせ方だけに注目することを意味する。
立方体の回転群と4点の置換群は、一見まったく違う対象だが、組み合わせ方を保存する一対一対応を持つ。このような関係が同型であり、群論で最も重要な考え方の一つとして説明される。同じ群が異なる文脈に現れるとき、そこには意外な接続を見つける手がかりがある。
有限単純群の分類
群をすべて分類する問題は、同型を同じものと見なしたうえで「対称性がありうるすべての方法」を問う問題になる。有限群は、整数が素数に分解されるように、単純群へ分解できる。
有限単純群の分類は、数十年、何千ページもの証明、数百人の数学者、コンピューターの助けを経て完成した。結果として、18種類の無限系列と、どの系列にも入らない26個の散在型単純群が得られた。周期表のような分類を期待すると、散在型の存在はかなり異様に見える。
モンスター群とムーンシャイン
散在型単純群の最大のものがモンスター群であり、その自然な表現には19万6883次元が必要になる。要素一つを表すだけでも膨大なデータが必要で、単に「大きい」だけではない扱いにくさを持つ。
1970年代、ジョン・マッケイはモンスター群に現れる19万6883に1を足した数が、モジュラー形式や楕円関数に関連する別分野の関数展開に現れることに気づいた。ジョン・ホートン・コンウェイはこの偶然を「ムーンシャイン」と呼び、後にリチャード・ボーチャーズがその関係を証明した。終盤では、モンスター群が弦理論とも関係することに触れ、根本的な数学的対象が人間にとって理解しやすい形をしているとは限らないとまとめる。
登場エンティティ・コンセプト
- 3blue1brown — 数学の視覚化を得意とするチャンネルで、この動画の原典にあたる。
- john-horton-conway — モンスター群とモジュラー形式の奇妙な関係を「ムーンシャイン」と呼んだ数学者。
- group-theory — 対称性や操作の組み合わせ方を抽象化して扱う数学分野。
- monster-group — 散在型有限単純群の最大のもの。19万6883次元の表現で知られる。
- finite-simple-groups — 有限群を構成する「原子」にあたる群で、分類定理の中心対象。
- monstrous-moonshine — モンスター群とモジュラー形式の係数の間に現れる深い対応。
- elliptic-function — 動画終盤で、モジュラー形式とともにモンスター群との関係が示唆される関数領域。
印象的な引用
「群は特定の物体の対称性に注目しているわけではなくて、物事がそもそも対称的になれるような抽象的な方法に注目しています。」
「良いニュースは、数学者は全ての単純群を見つけたということです。」
「宇宙はその究極の答えが綺麗に見えるかはあまり気にしないみたいですね。」