Inter-universal geometryとABC予想(シン応援スレ) 92

前スレ：Inter-universal geometryとABC予想(シン応援スレ) 91
https://rio2016.5ch.io/test/read.cgi/math/1777882286/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

（2030 ICM 日本開催に向け 力をためようということか）
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts

https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops

＜2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですｗ （＾＾； ＞
＜IUT最新文書＞
・News – Ivan Fesenko 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理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://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”

このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
つづく

sage

つづき
://www.youtube.com/watch?v=0VaEAVbTwhw
【世界で2番目のIUT理論研究拠点 誕生】新しいオンライン大学「ZEN大学」設立に関する発表会｜IUGC 宇宙際幾何学センター
N高等学校・S高等学校 2023/06/06

公益財団法人日本財団と株式会社ドワンゴは、新しいオンライン大学「ZEN大学」を設立します。
2023年6月6日（火）に発表された『IUT理論研究拠点の設立』をご紹介する動画です。

◆Inter Universal Geometry Center
（所長：加藤文元／副所長：イヴァン・フェセンコ）
日本発の世界的な数学理論であるIUT理論を推進・普及し、数学の未来を切り開いていくための研究施設「IUGC（宇宙際幾何学センター）」を設立します。全てのコースに合格すれば、世界中のあらゆる大学の数学科の学生よりもIUT理論の知識が備わります。また、世界初となる、IUT理論を理解する数学者の裾野を広げるためのオリジナル入門講座も開設します。

◆ZEN大学とは
ZEN大学は、すべての人たちを対象にした、グローバル社会で活躍するための素養や教養を身に付けることができる “日本発の本格的なオンライン大学” です。
最先端のテクノロジーと最前線で活躍するプロフェッショナルの教員によって創り出される、質の高いオンデマンド授業を自分のペースで学べ、オンラインだけで大学卒業資格を取得することができます。
また、地域･企業と連携したフィールドワークや国際交流など多様なプログラム活動もあり、実社会で活躍するための実践力を養えます。
ZEN大学 公式サイト：://zen-univ.jp

://www.icbs.cn/en/web/index/18009_1553670__
ICBS Satellite Conference on Algebraic and Arithmetic Geometry
2023 July 12th

Ivan Fesenko (Warwick University and Tsinghua University)
Higher adelic approach to the Tate-BSD conjecture
I will first present basics of two adelic structures on relative elliptic surfaces over Spec of the ring of integers of a number field or a smooth projective irreducible curve over a finite field and of the higher adelic zeta integral. Then I will concentrate on the higher adelic program to prove the equality of the arithmetic and analytic ranks of the generic fibre.

つづく

つづき
転載
https://rio2016.5ch.io/test/read.cgi/math/1774529018/326
慌てる乞食は貰いが少ない 2026年7月17日を待て
https://zen.ac.jp/news/zmcpostevent0331
2026/03/31 プレスリリース ZEN大学
IUT(宇宙際タイヒミューラー)理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 世界3大学による国際共同研究として始動
2026年7月17日 LANAプロジェクトに関して、活動の中間報告記者発表を予定しています。IUT理論の検証について、その時点での検証結果を詳しく公表する計画です

https://youtu.be/2jgBBw6XjQ4?t=218
ZEN数学センター IUT理論の計算機検証に関する新プロジェクト「LANA」発表 ニコニコニュース 2026/03/31
【概要】
日時：2026年3月31日 若山正人(ZEN大学長)、加藤文元(ZEN大学教授)他
コメント
@saburousaitoh
3 週間前
素晴らしい研究計画ですね。　真相が明かにされるのは　時間の問題と期待されますが、是非に及ばず、方法が　今後の数学のあり様に　甚大な貢献がなされると期待されますね。これを機会に　日本の数学界が　新しい時代に後れを取らないように期待したい

https://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html
望月新一
https://www.kurims.kyoto-u.ac.jp/~motizuki/Formalization%20of%20IUT%20(2026-04).pdf
ON THE FORMALIZATION OF IUT: A PRELIMINARY PROGRESS REPORT [JOINT WORK IN PROGRESS WITH Y. HOSHI, G. YAMASHITA, Y. YANG, ] Shinichi Mochizuki (RIMS, Kyoto University) April 2026
P2
§1. Lean formalization ( LeanForm) as a communication tool
P4
§2.First steps toward the LeanForm of IUT
The main strategy for the LeanForm of IUT:
Stage 1: [IUTchIII] Theorem 3.11 => Corollary 3.12 (since this has received the most public attention!)
Stage 2: Proof of [IUTchIII] Theorem 3.11 modulo [IUTchI-II]
Stage 3: [IUTchI-II] modulo earlier results (1995- 2015) on anabelian geometry/Frobenioids/theta functions, etc.
Stage 4: Earlier results (1995- 2015): [pGC], [GeoAn], [AbsAnb], [NCBel], [AbSc], [SemiAn], [QuCnf], [CbGC], [Con g], [FrdI-II], [EtTh], [GenEll], [NodNon], [AbsTopI-III]
Stage 5: Numerical aspects ([IUTchIV], [ExpEst])
(We are currently in the early skeletal portion of Stage 1.)
P6
§3.Brief review of inter-universal Teichmuller theory (IUT)
P9
§4.Skeletal Lean code for 3.11.5 => 3.12
P11
We chose to concentrate on this aspect of the theory rst since this aspect of the theory i.e., Stage 1: [IUTchIII] Theorem 3.11 => Corollary 3.12 (cf. the discussion at the beginning of 2) hasreceived the most public attention. Indeed, this aspect corresponds to the essential nontrivial content of the theory, i.e., that the height of the elliptic curve under consideration is equal to N times the height of the elliptic curve (where N is a large positive number), up to a small discrepancy (arising from (Ind1,2,3) + hull), thus implying a bound on the height.
つづく