Inter-universal geometry と ABC予想 (応援スレ) 77

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 76
https://rio2016.5ch.net/test/read.cgi/math/1759924222/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
https://www.kurims.kyoto-u.ac.jp/~motizuki/
望月新一＠数理研
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
＜新展開＞
・2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

　>>537より 追加
https://en.wikipedia.org/wiki/Geometric_Langlands_correspondence
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]

Breakthrough Prize なんだね（下記）

https://en.wikipedia.org/wiki/Dennis_Gaitsgory
Dennis Gaitsgory (born 17 November 1973) is an Israeli-American mathematician. He is a mathematician at Max Planck Institute for Mathematics (MPIM) at Bonn and is known for his research on the geometric Langlands program.
Honors and awards
In 2025, he received the Breakthrough Prize in Mathematics.[3]

（Scholzeさん）
https://www.quantamagazine.org/monumental-proof-settles-geometric-langlands-conjecture-20240719/
Quanta magazine
Monumental Proof Settles Geometric Langlands Conjecture
Erica Klarreich July 19, 2024
The proof represents the culmination of three decades of effort, said Peter Scholze(opens a new tab), a prominent mathematician at the Max Planck Institute for Mathematics who was not involved in the proof. “It’s wonderful to see it resolved.”
Dennis Gaitsgory (left) and Sam Raskin led the nine-person team that proved the geometric Langlands conjecture.

https://breakthroughprize.org/News/91
Breakthrough Prize 2025 April 5, 2025 – Los Angeles
Mathematics
Dennis Gaitsgory wins the Breakthrough Prize in Mathematics for his central role in the proof of the geometric Langlands conjecture. The Langlands program is a broad research program spanning several fields of mathematics. It grew out of a series of conjectures proposing precise connections between seemingly disparate mathematical concepts. Such connections are powerful tools; for example, the proof of Fermat’s Last Theorem reduces to a particular instance of the Langlands conjecture. These Langlands program equivalences can be thought of as generalizations of the Fourier transform, a tool that relates waves to frequency spectrums and has widespread uses from seismology to sound engineering.

つづく

つづき

In the case of the geometric Langlands conjecture, the proposed one-to-one correspondence is between two very different sets of objects, analogous to these spectrums and waves: on the spectrum side are abstract algebraic objects called representations of the fundamental group, which capture information about the kinds of loop that can wrap around certain complex surfaces; on the “wave” side are sheaves, which, loosely speaking, are rules assigning vector spaces to points on a surface. Gaitsgory has dedicated much of the last 30 years to the geometric Langlands conjecture. In 2013 he wrote an outline of the steps required for a proof, and after more than a decade of intensive research in 2024 he and his colleagues published the full proof, comprising over 800 pages spread over 5 papers. This is a monumental advance, expected to have deep implications in other areas of mathematics too, including number theory, algebraic geometry and mathematical physics.

2025 New Horizons in Mathematics Prize
Sam Raskin, Yale University
For contributions to the geometric Langlands program, including the theory of the Whittaker model and the proof of the geometric Langlands conjecture in characteristic 0.

https://people.mpim-bonn.mpg.de/gaitsgde/GLC/
Proof of the geometric Langlands conjecture
This page contains five papers, the combined content of which constitutes the proof of the (categorical, unramified) geometric Langlands conjecture.
This is a collaborative project of D. Arinkin, D. Beraldo, J. Campbell, L. Chen, J. Faergeman, D. Gaitsgory, K. Lin, S. Raskin and N. Rozenblyum.
Papers:
GLC I: Construction of the functor
GLC II: Kac-Moody localization and the FLE
GLC III: Compatibility with parabolic induction
GLC IV: Ambidexterity
GLC V: The multiplicity one theorem
(引用終り)
以上