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

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 75
https://rio2016.5ch.net/test/read.cgi/math/1757554210/
詳しいテンプレは、下記旧スレへのリンク先ご参照
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スレの中では このスレ立ては最初だったのです！
つづく

つづき
math_jinさん 情報早いな
https://x.com/math_jin/
math_jin
ICM2030招致委員会
ICM2030 (International Congress of Mathematicians 2030) の招致・開催に向けて設置されました．本ページでは招致に向けた活動について情報共有を行います．
https://mathsoc.jp
午前11:26 · 2025年7月30日

(参考)
応援スレ67 ://rio2016.5ch.net/test/read.cgi/math/1653712154/794
>二つの直線が交わるということが起こりながら交わらないとか。
>本来だったら矛盾が起こるようなことを、活用できないかと考えた

例えば、（下記）クラインの壺
3次元空間内では交わる
しかし、次元を上げ、4次元あるいは5次元なら交わらない

と、同様に、従来の数学では実現出来ないことが
望月の圏論幾何で実現できているってことでしょ

Hiraku Nakajima、Masaki Kashiwara, Akio Tamagawa氏らは分かっているんじゃない？
それを、不毛な対立を解いて、一般数学者に分かるようにするのが、新総裁の役割でもあるでしょ （＾＾

（参考）
://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%A4%E3%83%B3%E3%81%AE%E5%A3%BA
クラインの壺（クラインのつぼ、英: Klein bottle、独: Kleinsche Flasche）は、境界も表裏の区別も持たない（2次元）曲面の一種で、主に位相幾何学で扱われる。

ユークリッド空間に埋め込むには4次元、曲率0とすると5次元が必要である。3次元空間には通常の方法では埋め込み不可能だが、射影して強引に埋め込むと、自己交差する3次元空間内の曲面になる。その形を壺になぞらえたものである。
(引用終り)
つづく

つづき
(参考)
応援スレ67 ://rio2016.5ch.net/test/read.cgi/math/1653712154/866
>【検証】どうして望月新一はICM2022で何の賞もなかったの？
>「100%の自信をもって」アクセプトしたんだよね？
>「アリの這い出る隙間もないほど完璧な」査読を行ったんだよね？

１）囲碁将棋に例えると、難しい詰将棋があるとして、囲碁の人に説明しても理解されないが如し
（あるいは、逆に将棋の人に難しい詰碁を説明するが如し）
（一つ一つのロジックは単純でも、数十手以上とか長手数になると、その道のプロ以外には理解が難しいってこと）
２）21世紀の数学は専門が細分化されているから、遠アーベルというゲームのルールに疎いおっさん（ショルツェ氏）は
　遠アーベルの難しい詰将棋が理解できなかったんだ
　もっと言えば、説明の途中で時間切れになって、おっさん”プッツン”したんだ
（怒らせたやつが居たらしいね。どっちが先か知らんけどｗ）
３）で、中島氏は数年にわたる時間を、査読編集委員としてかけて、ようやく理解したんじゃないの？
　これを疑問に思うやつ、直接聞くか、聞ける知人にヒアリングしてもらえよ！ｗ
４）遠アーベルというゲームを、世界の一般数学者に分かってもらう努力が、求められる
　せめて、IUTの入口まで。そして、IUTに対する評価を確立すること
　これをオーガナイズするのが、中島総裁の仕事の一つだろう。それも含めての人選と見ている
追伸
・日本数学会が、5人論文に論文賞を！ 日本がリーダーシップ発揮を！！

つづく

つづき
://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明　斬新理論で数学界に「革命」　京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想　京大教授が証明　30年以上未解決 2020/04/03 FNNプライムオンライン

＜IUT国際会議 2つのシリーズ＞
1．
://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html
RIMS
Promenade in Inter-Universal Teichmüller Theory
Org.: Collas (RIMS); Dèbes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) — we refer to the Programme for descriptions of the talks and associated references. ://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf

2．
://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-japanese.html
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末〜9月初めの二つのIUT会議に出席したようです
つづく

つづき

参考
://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),

://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),

://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html
望月 過去と現在の研究
://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf
20211117
世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。

ここでの議論のために、用語を整理しましょう
宇宙：素朴集合論ベン図の宇宙Uを Uven、基礎論の宇宙をUfnd、望月氏独自用語の宇宙Umtz
（fnd：Foundations of mathematics）
＜以下 望月氏独自用語の宇宙Umtz について＞
https://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
ANABELIANARITHMETICGEOMETRY-ANEWGEOMETRYOF FORMSANDNUMBERS:Inter-universalTeichmüllertheoryor “beyondGrothendieck’svision” BenjaminCollas‡Version12/04/2024
P13 Fig. 13. Inter-universal Teichmüller theory.
注）Fig. 13の 右の端の図で 浮き輪が二つある。 間をθ-link がつなぐのです
この 左右浮き輪が 二つの宇宙で θ-link がつなぐから 宇宙際らしい（どこか別の文献にもあった気がするが 見つからないので これで代用）
同P13 で
”The category-theoretic approach of inter-universal Teichmüller geometry results in a rich and evocative language for guiding mathematical thinking25: objects exists in étale-like and Frobeniuslike flavors– depending on whether one regards an object as anabelianly reconstructed, e.g., from Galois groups, or, alternatively, as an object that is only defined relative to a particular ring or monoid structure.”
とあって、”category-theoretic approach”圏論やってます だ
つづく

つづき

https://www.kurims.kyoto-u.ac.jp/~yuichiro/introduction_to_inter-universal_teichmuller_theory.pdf
宇宙際Teichm¨uller 理論入門(Introduction to Inter-universal Teichm¨uller Theory)
星裕一郎 2010
p11
「“輸送” の例を観察するために,
§2 で考察した (Gk ↷ O▷kの同型物である) フロベニオイドを 2 つ
†G ↷ †M,‡G ↷ ‡M 用意しましょう. あえて大袈裟に言えば,
†G ↷ †Mや ‡G ↷ ‡M は, それぞれ 1 つの “数学の世界/宇宙” です.
“p 進局所体の乗法的な数論の研究” とは, 大雑把には,
この †G ↷ †M や ‡G ↷ ‡M の構造の研究に他なりません.
ここで, この独立した 2 つの “数学の世界/宇宙” の間に, エタール的な関連付け,
例えば, 位相群としての同型 α:†G∼→ ‡G を与えましょう.
この2 つの “数学の世界/宇宙”†G ↷ †M,‡G ↷ ‡M と
その間のエタール的な結び付き α:†G∼→ ‡Gというデータが,
“遠アーベル幾何学を用いたエタール的な結び付きによる対象の輸送”
という操作の, 典型的な設定となります. 」

https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月新一 出張・講演
[12] 宇宙際タイヒミューラー理論への誘（いざな）い　（京都大学数理解析研究所 2012年12月） PDF
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai.pdf
宇宙際タイヒミューラー理論への誘（いざな）い 望月新一（京大数理研）
P8
Θ-Link:
数体F のbadnonarch. な v においてΘ-linkの両側（＝定義域と値域）のそれぞれの環構造は、環準同型とならない（！）形で関連付けられる：
注: 「抽象的なモノイド等」を扱うようにしないと、log-, Θ-linkのような（通常の環・スキーム論の環構造に対する）「壁＝障壁」を定義することすらできない！
P9
注: 一方、対数・テータ格子の数論的基本群・ガロア群的な部分で構成される´etale-picture に登場する対象たちは、これらの「壁」をすり抜ける力がある！（下図を参照！）
P10
§4. 宇宙際性と遠アーベル幾何
log-link 及び Θ-link
略
は、定義域・値域の環構造と両立しないため、
環構造から生じるスキーム論的な「基点」や、
ガロア群　（　⊆Autfield(k) ！！　）
と、本質的に両立しない！　つまり、log-,Θ-linkの「向こう側」に移行するとき、
“Πv” や “Gv”
は、抽象的な位相群としてしか、「向こう側」のスキーム論に通用しない！
=⇒定義域・値域双方の環構造の間の関係を計算するためには、遠アーベル幾何を活用するしかない！
主定理：　Θ-link の左辺に対して、軽微な不定性を除いて、右辺の「異質」な環構造しか用いない言葉により、明示的なアルゴリズムによる記述を与えることができる。
P11
主定理のアルゴリズムの出力に対して、体積計算を行うと、
§1で解説したように次のような帰結が得られる。
系:　「Szpiro 予想」（⇐⇒ 「ABC予想」）
つづく

つづき

https://www.kurims.kyoto-u.ac.jp/~motizuki/Anabelioid%20no%20kikagaku%20(Meijidai%202002-03).pdf
Anabelioidの幾何学 望月新一（京都大学数理解析研究所）2002年3月
P2 大域的な乗法的部分群スキームを、元々の作業の場としていた集合論的な‘宇宙'
において構成することをひとまず諦め、全く別の、独立な宇宙における、
元の対象たちE､F、K等のコピーE◎､F◎、K◎に対する乗法的部分群スキームの構成を目指す

(https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6))
ノイマン宇宙：最初にErnst Zermelo 1930が提唱した宇宙Vorg (到達不能基数なし)
グロタンディーク宇宙：到達不能基数あり https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
クラス：ある公理系からは 集合と認められない 集まり（公理系が変われば 変わる）
(参考)>>469 より再録
https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
企画特別講演　2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
発表スライド『集合論の宇宙　Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である

https://elecello.com/
近藤 友祐 (KONDO, Yusuke) 生年： 1995 年 (平成 7 年) https://elecello.com/profile.html 自己紹介
https://elecello.com/works.html
集合論ノート

https://konn-san.com/
石井 大海
https://konn-san.com/2024-forcing-seminar-notes/00-introduction-to-set-theory-and-logic.pdf
強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
つづく