- Britta SpäthとMarc Cabanesが、群論における大きな未解決問題だったMcKay予想の証明を完成させ、複雑な有限群をはるかに小さい部分群から理解する道を広げた
- この予想は、有限群とその中のSylow正規化群が、特定の表現（representation）の個数で正確に同じ値を持つという意外な一致から出発する
- 2004年に有限群の分類が完成した後、Isaacs、Navarro、Malleは問題をより狭い群の集まりに関する強い命題へと還元し、最後の壁はリー型群だった
- SpäthとCabanesはリー型群の4つのカテゴリーを順に処理し、2018年に最後の1カテゴリーだけを残した後、さらに6年をかけて必要な表現対応の規則まで確認した
- これで数学者たちは、重要な群の性質をより扱いやすいSylow正規化群で研究できるようになったが、小さな部分集合がなぜ大きな群の情報をこれほど多く含むのかは、なお説明されていない
McKay予想が語ること
- McKay予想は、1970年代にJohn McKayが発見した数値的一致から始まった
- 対象は、有限個の要素を持つ**有限群（finite group）**である
- 群は、数学的システムの対称性を表す抽象的対象である
- 要素数が増え、構造が複雑になるほど、全体を直接研究するのは難しくなる
- McKayは、もとの群の小さな一部を見るだけでも重要な情報が得られると考えた
- 特に、もとの群の中にある特別なより小さな群であるSylow正規化群に注目した
- Sylow正規化群は、もとの群の要素のごく一部しか含まないこともあり、構造ももとの群と大きく異なりうる
- 予想の核心は、特定の種類の**表現（representation）**の個数が、もとの有限群とSylow正規化群で正確に等しいという点にある
- 表現とは、群の要素を行列として書き直す方法である
- この個数は、群の要素同士がどのように関係しているかを理解し、ほかの重要な性質を計算するのに使われる
なぜ驚くべき一致なのか
- McKayが見た一致は、単なる近似や傾向ではなく、完全な同一性である
- たとえば、要素が72個の群は2³ × 3²に分解できる
- 8要素を持つ部分群や、9要素を持つ部分群を見ることができる
- そこに特定の要素を加えて、2-Sylow正規化群と3-Sylow正規化群を作ることができる
- こうした小さな構造が、もとの群全体と正確に同じ表現個数を持つことに、明白な理由はなかった
- Gabriel Navarroはこれを、米国の選挙全体の得票率とモンタナの小さな町の得票率が「似ている」程度ではなく、完全に同じである状況になぞらえた
- 予想が真なら、数学者たちはより大きな有限群の代わりに、扱いやすいSylow正規化群を通じて群の性質を研究できる
分類定理と問題の還元
- 有限群の構成ブロックをすべて分類する巨大プロジェクトは100年以上続き、2004年に完成した
- すべての構成ブロックは3つのカテゴリーのいずれかに属するか、26個の例外リストに属する
- 数学者たちは、この分類がMcKay予想のような問題を単純化できると以前から予想していた
- 2004年、Marty Isaacs、Gabriel Navarro、Gunter Malleは、McKay予想をより狭い群の集まりに対する強い命題へと変換する方法を見つけた
- 単に表現の個数が等しければよいというだけでなく、表現同士が特定の規則に従って対応しなければならない
- この強い命題がその群たちで成り立てば、有限群全体に対するMcKay予想が従う
- この還元は、その後数年のあいだにMcKay予想のほとんどのケースを解くのに使われた
- 同じ方法は、全体の対象ではなく一部を通じて全体を研究する、ほかの関連予想を還元する青写真としても機能した
最後の難関だったリー型群
- 還元の後も、**リー型群（groups of Lie type）**という一群は未解決問題として残っていた
- リー型群は、ほかの群の最も一般的な構成ブロックであり数学的に重要だが、その表現は研究が非常に難しい
- Späthは2003年、University of KasselでMalleの博士課程学生としてMcKay予想に出会った
- その後、群の表現を深く研究しながら、この予想を追究し続けた
- 2010年、SpäthはParis Cité UniversityでCabanesと出会った
- Cabanesは、還元されたMcKay予想の中心にある狭い群の集まりの専門家だった
- 2人は一緒にこの問題に没頭し、Cabanesはこれを「私たちの執着」と呼んだ
- リー型群には4つのカテゴリーがあり、SpäthとCabanesは10年以上かけて各カテゴリーを順に証明した
- この過程で、いくつもの主要な結果を発表した
- 異なる数学分野の難解な理論を持ち込み、リー型群に対する深い理解を発展させた
最終証明と残された問い
- 2018年にはリー型群4カテゴリーのうち最後の1カテゴリーだけが残り、この最後のケースを解くのにさらに6年かかった
- SpäthとCabanesは、最後のカテゴリーでも表現の個数がSylow正規化群と一致し、必要な表現対応の規則も満たすことを示した
- 最後のケースが終わったことで、McKay予想全体が自動的に真となった
- 2人は2023年10月、100人を超える数学者が集まった場で証明を発表し、1年後にオンラインで公開した
- Radha Kessarはこれを「まったくもって輝かしい成果」と評価した
- これで数学者たちは、群の重要な性質をSylow正規化群だけを見て研究できるようになった
- もとの群よりも容易なアプローチである
- 実用的な応用の可能性もありうる
- ただし、小さな部分集合がなぜ大きな親群についてそれほど多くの情報を与えるのかは、依然として謎のままである
- Kessarは「これらの数字が同じであることには、構造的な理由があるはずだ」と述べた
- 予備的な研究はいくつかあるが、そのつながりはまだ理解されていない
- SpäthとCabanesは次に没頭する問題を探している
- Späthは、McKay予想ほど自分をとらえたものはまだないと語っている
1件のコメント
Hacker News のコメント
「このような難問を一途に追い続けることは学界でのキャリアに悪影響を及ぼすリスクがあったが、それでも Späth はすべての時間をこれに注ぎ込んだ」という一文が、ほぼどの記事にも入っているのには理由があるように思う
こういう粘り強い人たちがいてくれてよかったし、言及すらされない反事実的な可能性にも乾杯したい
パラダイムに従いながらパラダイムを変えることはできない。ダークホースの役割を過小評価すると大きな損失になると思う。失敗するケースは多く、おそらく大半は失敗するだろうが、影響力を考えれば、ごく一部が成功するだけでも十分に奨励する価値がある
ところが実際には、失敗への恐れなどを理由に、主流に逆らうことはしばしば止められる。研究では大半が失敗するが、学びのない失敗だけが本当の失敗だ。現状ではネガティブな結果を発表するのが非常に難しいため、そうした試み自体が減り、システムは本質的に漸進的にならざるを得ない「安全な」研究を奨励している。それでいて「新規性不足」を理由に多くの論文が却下されるのは皮肉だ
判断する視線は残るだろうが、無視できる。個人的には、政府は高リスク・高リターンのムーンショット型の個人／小規模チーム研究をもっと支援すべきだと思う。多くの人に分散すれば変動性が下がり、成果が出る可能性があるからだ。ただ、今の米国の研究費の流れは正反対に向かっているようで、楽観はしていない
最終的に成功し、彼を支えた経営陣をいつも高く評価していた
誰もが自分の存在をキャリア機会の最大化に捧げなければならないわけではないので、放っておけばいい
「その夫婦が結果を発表したとき、同僚たちは畏敬の念を抱いた。Stanford University の Persi Diaconis は『パレードが開かれてほしかった。何年にもわたる本当に、本当に、本当に厳しい作業の末に、彼女はやり遂げ、彼らはやり遂げた』と語った」という部分がよかった
組合せ論の問題に取り組むときに気に入っていた要素の一つが、こうした前向きな支援だった。Persi Diaconis や D.J.A. Welsh のような人たちがとても親切だったので、分野全体がより歓迎的な雰囲気に感じられた
そしてその波紋は、意図と行動に応じて、幸福として、あるいはその反対として、私たちの中に反響する
“Positive vibration, yeah.” --Bob Marley
McKay 予想が言っているのは、おおよそ次のようなことだと思う
ある群を複素数行列として表現したいとしよう。通常、その方法はいくつもあり、それぞれにはその表現の指紋のような**指標（character）**がある
一方、すべての群には、ある素数のべき乗の大きさを持つ大きな部分群があることが知られている。これを P としよう。この群には、P が正規部分群となる正規化群があり、これを N(P) と呼ぶ
驚くべき点は、G 全体の指標の数と、G の小さな一部にすぎない N(P) の指標の数が同じだということだ
技術的には、どちらの場合も次数が p の倍数である表現は除外する
予想が場合分け解析によって証明され、各場合ごとに異なる手法が必要だったという点が興味深い
すべての有限群がこの性質を持つというのは、ほとんど偶然のようにも見える。各群がそれぞれ異なる「理由」でその性質を持っているからだ
しかし記事によれば、数学者たちは今、この予想が成り立つより深い構造的理由を探している。結果が真であることが分かったので、より多くの数学者が本気で取り組めるようになったわけだ
関連するものに分割して、それぞれのまとまりごとに証明することはよくある。ある証明は簡単だが、あるものははるかに高度な手法を必要とし、何年も未解決問題として残ることもある
論文: https://arxiv.org/abs/2410.20392
偶然にも、最近HNに上がっていたあとで Infinite Napkin の群の部分を読んでいたところだった。
定義などは理解しているが、群がなぜそれほど中核的に重要なのかは、まだピンと来ていない。
例えば記事では位数72の群が50個あると言っていて、ChatGPTは非可換が50個、可換が5個だと言うのだが、これが何についての重要な洞察なのか分からない。
位数72の群は非可換が44個、可換が6個。この特定の数字がものすごく重要だとは思わないが、数字自体はこちらが正しい。
ある対象を変えない操作があるなら、例えば正三角形を回して、ある頂点を別の頂点の位置へ移す回転は可逆で、その逆操作も対象を変えない。そうした操作は合成してもなお不変性を保ち、恒等写像は常にすべてを不変にしておく。だから対称操作は群をなす。
もう少し厄介なのは、すべての群が何らかの対称操作の集合だという事実。だから群は対称性という概念を正確に捉えている。数学者にとって「群」と「対称性」は同義語に近い。
有限群は、分子内で原子を互いの位置へ移す対称性のように、分子構造・エネルギー準位・スペクトル・結合の可能性などを教えてくれるので興味深いし、無限群は物理学で、座標系を任意に回転したり平行移動したりしても物理法則は同じ、という形で現れる。対称性はほかの数学的対象を研究する方法としても出てくるし、数学者は可能なすべての群がどのような姿をしているのかも知りたがる。
誰も素数がなぜそのような間隔で並ぶのかを無理に説明しようとするというより、ある現象を説明するときに、特定のものが素数かどうかを指し示す。
例えば2次多項式を因数分解するきれいな公式、つまり解の公式があり、3次と4次にも公式はあるが、普通は暗記させない。ところが5次にはそうした公式がない。数学者たちがそのようなものが存在しないことを証明するには時間がかかったが、そうした公式には一定の大きさより小さい有限群が下に存在していなければならず、それらの群を列挙してみると5次公式に対応する群がないので、5次公式もない、という形で証明した。
だから群は、詳細な説明なしに参照できる一種の原初的な複雑さとして有用。小さな群の性質は手で確認できるし、分かってみると、かなり多くのものがその見方では群をなしている。
例えば、いま見ている問題は可換なのか。そうなら必ずXやYのような形でなければならない、という具合。
彼らの証明: https://arxiv.org/abs/2410.20392 (2024)
本当にすごい献身だ。記事中の個人的な経緯が特に気に入ったし、STEMの記事でいつも見られるものではない。
これで主な目標が達成された新しい現実の中でも、2人の関係がうまく適応していくことを願う。
最終結果だけを見せられると、彼らにとっては簡単だったように感じられて、ほかの人たちが理解したり貢献しようとしたりする試みすら諦めさせかねない。特に数学では、アイデアそのものは単純であるべきだ。ラマヌジャンのように頭の中で無限級数を足し合わせる人間ではないのだから。ただ、そのアイデアが大量の記号的な専門用語の背後に隠れている。
Patrick CousotとRadhia Cousot夫妻が一緒に作った抽象解釈を思い出す [1]
有用な手法で、形式検証の授業で学んだ。
[1] https://en.wikipedia.org/wiki/Abstract_interpretation
本当に素晴らしい記事だ。
関連する研究を何時間も探し回ることになり、その中にはJohn Conwayの仕事もあった。
ちなみに自分の数学力はBSEEレベル。それでも、大学教授たちが好んで参照していたワークブックの一つであるThe Algebraic Eigenvalue Problemは1冊持っていて、ときどき短く目を通している。