講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナーは「ラングランズ・プログラムとは何か？」という問いを中心に据え、現代数学における最も野心的な「大統一」プロジェクトの本質を、やさしい入門の視点から丁寧に解き明かしていきます。
ラングランズ・プログラムとは、1967年にロバート・ラングランズがアンドレ・ヴェイユへの一通の手書き手紙 [p.129] から始まった数学的ビジョンです。そのコアにある洞察は、「数論」「表現論」「保型形式」という一見まったく無関係に見える数学の分野が、実は深く絡み合っているという驚くべき予想です。Frenkelの言葉を借りれば、このプログラムは数学の「大統一理論」を目指すものと特徴づけられます [p.22]。
セミナーは、この壮大なプログラムを理解するための具体的な足がかりとして、まず楕円曲線とモジュラー形式の「奇跡的な一致」というEichlerの発見（1954年）から始めます。有限体上で楕円曲線の整数点を数えるという初等的な計算が、モジュラー形式の係数と完全に一致するという驚きの事実 [p.90] は、1955年の谷山・志村予想へと結実し、後にWilesによるフェルマーの最終定理の証明の核心となります。
2024年という年は、数理科学にとって「明暗二つの事件」が起きた転換の年でもあります。ラングランズ・プログラムの幾何学的予想が証明されるという明るいニュース [p.12] と、超弦理論の深刻な行き詰まりという暗いニュース [p.26] が重なり、数理科学が大きな転換期に差し掛かっていることを示しています。本セミナーはこの文脈の中で、数学の「大統一」への歩みを、計算の手を動かしながら体感的に追体験する構成となっています。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 1: はじめに
なぜ今、数学を語るのかという問いを立て、ラングランズ・プログラムが単なる純粋数学の営みを超え、21世紀の科学の未来に関わる意義を持つことを論じます。数学の「大統一」と物理学のSuper String理論の行き詰まりが交差する現在地点を描き出し、「数理科学の統一」というビジョンへの期待を示します [p.11, p.14]。
– **論理展開**:
– 2024年5月、幾何学的ラングランズ予想の証明が発表される [p.12]。
– Frenkelによる特徴づけ：ラングランズ・プログラムは数学の「大統一理論」であり、数論・調和解析・幾何学・表現論・数理物理学が深く絡み合う [p.22]。
– Super String理論の創始者Susskindが「We need to start over」と語るなど、物理学側の危機が顕在化 [p.27]。
– Witten（2024年北京講演）のブラックホール論などに新しい探索の萌芽が見られる [p.28]。
■ Part 2: 谷山・志村予想
楕円曲線の有限体上の整数点を「数える」という初等的作業を通じて、Eichlerが発見した「奇跡的な一致」を再現します。有理数体上の楕円曲線とモジュラー形式の間に深い対応がある、という谷山・志村予想の直観的意味を、実際の計算で体感的に理解させる構成が本パートの白眉です [p.35, p.90]。
– **論理展開**:
– 楕円曲線 $y^2+y=x^3-x^2$ の整数点を有限体 $\mathbb{F}_p$（$p=2,3,5,7,…$）上で数え、カウント数 $a(p)=p-\text{整数点数}$ を求める計算を実施 [p.49p.68]。
– Eichlerが発見：無限積 $q\prod(1-q^k)^2(1-q^{11k})^2$ を展開した係数 $b(p)$ が $a(p)$ と完全に一致する [p.90, p.93]。
– 谷山・志村予想（2001年にModularity Theoremとして証明）：有理数体上の任意の楕円曲線はモジュラーである [p.95, p.96]。
– データベースLMFDBを通じて、楕円曲線とModular formの対応がLanglandsプログラムの枠組みで整理されることを確認 [p.112, p.118]。
■ Part 3: Langlands Programの創世記
1967年にLanglandsがWeilへ送った手書きの手紙から始まるLanglands Programの創世を描きます。「新しいAutomorphic L-functionの発見」と「Functoriarity予想」という二本柱 [p.131, p.132] が、Euler積からArtin L-関数、そしてLanglandsのL-関数へと連なる歴史的系譜の中にいかに位置づけられるかを明らかにします。
– **論理展開**:
– Langlandsのオイラー積型L-関数：$L(s,\pi,\rho)=\prod_p \det(1-\rho_p(c(\pi_p))p^{-s})^{-1}$。HeckeのL-関数とArtinのL-関数を単一の定義に大幅に一般化 [p.135, p.136]。
– Weil予想（1949年）とGrothendieckによるétaleコホモロジーの構築（1965年）が、数論的代数幾何の現代的枠組みを提供した [p.161p.174]。
– Grothendieck（1967年）はベトナム戦争中に北ベトナムへ赴き数学を講義するなど、その生き方においても「慣習を気にしない」稀有な人物だった [p.175p.178]。
■ Part 4: Wilesによる「フェルマーの最終定理」の証明
1637年のフェルマーの余白の書き込みから358年越しに実現したWilesの証明を、谷山・志村・Weil予想との関係という観点から解説します。Frey（1985年）の着想、SerreとRibetによる理論的準備、そしてWilesによる半安定楕円曲線のモジュラー性証明という連鎖が、いかにLanglands Programの枠組みに根ざしているかを示します [p.219p.232]。
– **論理展開**:
– Frey（1985年）：フェルマーの反例 $a^p+b^p=c^p$ が存在するとすれば楕円曲線 $y^2=x(x-a^p)(x+b^p)$（Frey曲線）が構成でき、その最小判別式が $(a^pb^pc^p)^2$ という「ありえない形」をもつ [p.219, p.221]。
– Ribet定理（1986年）：Frey曲線はモジュラーになりえない。すなわち谷山・志村・Weil予想が真ならフェルマーの最終定理が証明される [p.228]。
– Wiles（1995年）：半安定楕円曲線に対する谷山・志村予想を証明し、Frey・Serre・Ribetの先行成果の系として「フェルマーの最終定理」を証明 [p.231, p.234]。
– 谷山・志村予想の完全証明は2001年にWilesの弟子たちによって達成され、現在は「Modularity Theorem」と呼ばれている [p.232]。
ページのナビゲート