数学において、幾何学的ラングランズ対応(げんけいれんラングランズたいりょく)は代数幾何学と表現論を関連付ける。これは、ラングランズ対応を、元の数論的バージョンに現れる数体を函数体に置き換え、代数幾何学の手法を適用することで再定式化したものである。[ 1 ]この対応は、1960年代後半に元の形を定式化したカナダの数学者ロバート・ラングランズ にちなんで名付けられた。
幾何学的ラングランズ予想は、幾何学的ラングランズ対応の存在を主張します。
数学において、古典ラングランズ対応(らんぐらんずたい)は、数論と表現論を関連付ける結果と予想の集合である。1960年代後半にロバート・ラングランズによって定式化されたラングランズ対応は、フェルマーの最終定理を特別なケースとして含む谷山・志村予想など、数論における重要な予想と関連している。 [ 1 ]
ラングランズ対応は、大域体(および局所体)に対して定式化することができ、大域体は数体または大域関数体に分類されます。数体に対する古典的なラングランズ対応を確立することは非常に困難であることが証明されています。その結果、一部の数学者は、ある意味で扱いやすいことが証明されている、大域関数体に対する幾何学的なラングランズ対応を提唱しました。[ 2 ]
関数体上の一般線型群 に対する幾何学的ラングランズ予想は、1987年にウラジミール・ドリンフェルドとジェラール・ローモンによって定式化された。[ 3 ] [ 4 ]
幾何学的ラングランズ予想は1983年にピエール・ドリーニュによって証明され、ドリンフェルドによって証明された。 [ 5 ] [ 6 ]
2024年5月6日、デニス・ゲイツゴリーを含む数学者チームによって、圏論的非分岐幾何学的ラングランズ予想の証明が発表された。[ 7 ] [ 8 ]この証明は5本の論文に渡る1,000ページ以上に及び、「非常に複雑で、ほとんど誰も説明できない」と評されている。ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に困難で、ほぼ不可能」と評した。[ 9 ]
2007年の論文で、アントン・カプースチンとエドワード・ウィッテンは、幾何学的ラングランズ対応と特定の量子場の理論の特性であるS双対性との間の関連性について説明した。[ 10 ]
2018年にアーベル賞を受賞した際、ラングランズは彼のオリジナルのラングランズ対応に似たツールを使って幾何学計画を再定式化した論文を発表しました。[ 11 ] [ 12 ]ラングランズのアイデアはエティンゴフ、フレンケル、カジュダンによってさらに発展させられました。[ 13 ]