20年越しで数学者カップルが群論の主要問題を解決

• 2003年、ドイツの大学院生だった Britta Späth は、群論（Group Theory）分野の主要な未解決問題である McKay 予想に出会った。
• Späth はこの問題に魅了され、キャリアを懸けて研究を続けた。
• 彼女は Marc Cabanes と共同研究を進める中で恋に落ち、家庭を築くことになった。

McKay 予想

• McKay 予想は、群という複雑な数学的対象を理解するためには、その小さな部分だけを見ればよいという原理を示している。
• この予想は、有限群の構造を理解するうえで重要な役割を果たす。
• 有限群の特定の部分集合である Sylow 正規化群を通じて、群全体の重要な情報を得られるという内容である。

主要な進展

• 1970年代に提起されて以来、多くの数学者が McKay 予想の証明を試みてきたが、完全な証明は困難だった。
• Späth と Cabanes は 20年にわたる研究の末、この予想の証明に成功した。
• 彼らの結果は数学界に大きな衝撃を与え、同僚たちはその成果に敬意を表している。

素数の力

• McKay は、有限群の構造を理解するには、素数から成る小さな部分集合を見ることが重要だと主張した。
• Sylow 正規化群は有限群の構造理解において重要な役割を果たし、McKay はそれらが群の重要な量を計算する際に同じ役割を担うと予想した。

群論における大きな飛躍

• 有限群のすべての構成要素を分類するプロジェクトは 100年以上を要し、2004年に完了した。
• この分類は、McKay 予想を証明するうえで重要な役割を果たした。
• Isaacs、Navarro、Malle は McKay 予想を新しい形で再構成し、問題解決への道を開いた。

Späth と Cabanes の研究

• Späth は Malle の指導のもとで McKay 予想の研究を始めた。
• 彼女は Cabanes とともに Lie 型群に関する研究を進め、最終的に McKay 予想を証明した。
• この過程で、彼らは Lie 型群に対する深い理解を発展させた。

「壮大な業績」

• Späth と Cabanes は 2023年に McKay 予想の証明を発表した。
• 彼らの研究により、数学者たちは Sylow 正規化群だけを通じて群の重要な性質を研究できるようになった。
• それでもなお、McKay が見いだした奇妙な一致の理由は謎のまま残っている。

結論

• Späth と Cabanes は新たな研究テーマを探しているが、McKay 予想ほど彼らを魅了する問題を見つけるのは難しいと感じている。

[GN⁺]

Hacker Newsの意見

• Patrick と Radhia Cousot 夫妻が一緒に生み出した Abstract Interpretation を思い出す。この手法は有用で、形式検証の授業で学んだことがある
• 「このように難しい問題に没頭することが、彼女の学術的キャリアに害を及ぼす危険があったが、Späth はそのすべての時間をそれに捧げた」という一文は、理由があってあらゆる記事に入っているように思える。こうした執念深い人たちがいるのはありがたいし、言及されない反事実に乾杯したい
• 夫妻が結果を発表したとき、同僚たちは畏敬の念を抱いた。Stanford University の Persi Diaconis は「パレードが開かれてほしかった」と語った。「何年もの困難な作業の末に彼女はやり遂げ、彼らはやり遂げた」という前向きな支援は、組合せ論の問題に取り組むうえで私が本当に好きだった要素の一つだった。Persi Diaconis や D.J.A. Welsh のような人たちはとても親切で、この分野をより魅力的に見せてくれる
• McKay 予想は次のようなものだ。複素数上の行列として群を表現することに関心があるとする。そのやり方は複数あり、それぞれはそのような表現の指紋のようなキャラクターを持つ。別の側面として、すべての群は位数が素数の冪である大きな部分群を含むことが知られている。これを P と呼ぶ。この群には、P が正規部分群である正規化群がある。驚くべきことに、G のキャラクターの数と N(P) のキャラクターの数は等しい。ここで N(P) は G のより小さな部分である
  • 技術的な注意: どちらの場合も、次数が p の倍数である表現は除外する
• 昨夜 Apple TV で "Prime Target" を見始めたのだが、この話の前提に聞き覚えがあった。主人公が素数の問題に取りつかれている。関係のない話だが、この夫妻が形式数学の問題に AI ツールを使うことについてどう考えているのか気になる。この2年間でこの問題の解決に AI ツールを使ったのだろうか
• 論文: リンク
• 偶然にも、最近 HN に投稿されたあとで Infinite Napkin の群の部分を読んでいた。定義などは理解できるが、いまだに群の中心的重要性をつかめていない。たとえば記事では、位数 72 の群が 50 個あると書かれている（chatGPT は 50 個の非可換群と 5 個の可換群があると言っている）。これは重要な洞察のように思えるが、何についてのものなのか知りたい
• 大変な献身だ。個人的な物語が本当に気に入った。STEM 分野ではいつもこういう話が見られるわけではない。彼らの主たる目標が達成された今、彼らの関係がこの新しい現実にうまく対処していけることを願う
• 彼らの証明: リンク (2024)
• 一緒に数学する夫婦は一緒にい続ける