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

**１３２人目の素数さん** · 2025/12/17(水) 20:59:24.41

前スレ：Inter-universal geometry と ABC予想 (応援スレ) 79
https://rio2016.5ch.net/test/read.cgi/math/1764578260/
詳しいテンプレは、下記旧スレへのリンク先ご参照
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理論から得られると発表した
・日仏遠アーベル共同研究 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

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

://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://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
In 2024, a 9-person collaborative project led by Dennis Gaitsgory announced a proof of the (categorical, unramified) geometric Langlands conjecture leveraging Hecke eigensheaves as part of the proof.[3][4][5][6]
つづく

**１３２人目の素数さん** · 2025/12/19(金) 17:50:43.56

>>114
>数学者がよく「ZFCだ ZFCGだ」と口にするけど
>分かって言っているか疑問だよ
Gは要らないけれどZFCはみな勉強はしてますよ
明示的には使わないけれど
あと
真クラスが登場する可能性がある当たりは
十分注意しますね
そんなのが必要な人は少ないけど
>なので、数学者の「ZFCだ ZFCGだ」は、基礎論屋さんの受け売りにすぎないことが多い
何が「なので」なのか意味不明
>因みに、Stix氏は "simplification"＝藁人形は分かっていると思う
分かってるって思うというのはかなり傲慢では？

**１３２人目の素数さん** · 2025/12/19(金) 17:51:42.61

>>122
歪めていると断定できるのはIUTとsholzeさんの指摘の両方を欲理解できている人だけです

**１３２人目の素数さん** · 2025/12/19(金) 17:55:32.58

>>113
ある人の数学が間違っていることを指摘するのに
単純化して話をすることはあると思いますね
延々と展開しているけれど結局必要なことを満たしてないとの指摘だとか
sholzeさんの指摘も多分そういうものなんだろうなと想像します

**１３２人目の素数さん** · 2025/12/19(金) 17:58:39.09

>>114
>また、1+2=３は ”{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}”となるが
>これだと圧倒的に視認性が悪い
>なので、数学者の「ZFCだ ZFCGだ」は、基礎論屋さんの受け売りにすぎないことが多い
「視認性」って
もしかして
基礎論屋は常に{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}と見てなくてはいけないと思い込んでますか？

**１３２人目の素数さん** · 2025/12/19(金) 18:04:32.74

>>114
>「ZFCだ ZFCGだ」
グロタン宇宙の存在公理をGと略しているようですが
どちらかというと
同値な強到達不能基数の存在公理もろともUと略してZFCUのが多いかも
まあ
どうも決まってもないようですけどね
（たぶん巨大基数は物凄く種類があるからではないかなと）

**１３２人目の素数さん** · 2025/12/19(金) 19:42:39.17

>>114
>また、1+2=３は ”{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}”となるが
>これだと圧倒的に視認性が悪い
脳みそ腐ってる？