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

**１３２人目の素数さん** · 2026/01/11(日) 18:08:49.47

前スレ：Inter-universal geometry と ABC予想 (応援スレ) 81
https://rio2016.5ch.net/test/read.cgi/math/1767007684/
詳しいテンプレは、下記旧スレへのリンク先ご参照
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
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

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]
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:09:15.47

つづき
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次元空間内の曲面になる。その形を壺になぞらえたものである。
(引用終り)
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:09:38.03

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

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

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:09:59.68

つづき
://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

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

**１３２人目の素数さん** · 2026/01/11(日) 18:10:21.68

つづき

参考
://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”圏論やってますだね

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:10:51.19

つづき

なお
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月
https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論　（北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
　↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと宇宙(universe)の拡大を使ってラベルを貼る

https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:11:15.62

つづき
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）

(参考)（この中村博昭は、必読基礎文献です）
https://www.mathsoc.jp/section/algebra/algsymp_past/algsymp18_files/houkokusyu/09-Nakamura.pdf
グロタンディーク・タイヒミュラー理論の話題から
中村博昭（大阪大学理学研究科）
第63回代数学シンポジウム（於東京工業大学，2018年9月）報告集所収
1.Introduction
代数曲線やそのモジュライ空間のエタール基本群を通じて，数体の絶対ガロア群の数論幾何的な働きが大きく映し出される現象が，１９８０年代に等により指摘されて以来，数論的基本群を中心に，遠アーベル幾何学，ガロアの逆問題などの問題群の理解も深められてきた．
1.2道草(復元の話）
筆者が最初に代数学シンポジウムで話をさせて頂いたのは，北大で1989年に開催された第35回代数学シンポジウムであった．代数学シンポジウム報告集は，現時点で電子的に２００４年以降のものは代数分科会のホームページで入手可能だが，それ以前のものは紙媒体で大学毎の数学図書室に所蔵されているものが(ただし所蔵状態は所によりまちまちのようで)ある．幸いにして，筆者の上記の報告集の記事は英訳を[29]として出版する機会を得た（20年後の2009年にケンブリッジの研究所で行った遠アーベル幾何の入門講義の報告を兼ねている．このときの主な内容はGrothendieckの遠アーベル幾何の基本予想「数論的基本群の純群論的構造から双曲型代数曲線を復元する」を，種数0の場合と，楕円曲線ひく1点の場合に解決したことの報告であった．
円分指標の有用性を理解するのに好適な題材であるので，ここで簡単に種数0の点抜きの射影直線の場合に素描しよう．問題は，Uλ:= P1・・（略）とすると
略す

https://www.mathsoc.jp/~topology/topsymp/2017/ts2017all.pdf
第64回トポロジーシンポジウム 2017年
https://www.mathsoc.jp/~topology/topsymp/2017/ts2017Miyachi.pdf
第64回トポロジーシンポジウム 2017年
宮地秀樹 (大阪大学)
タイヒミュラー空間論の位相幾何学的側面と複素解析的側面の一意化に向けて
— ここでは,タイヒミュラー空間論の位相幾何学側面の中でも無限遠境界を描写す. る Thurston 理論について復習する. 3.1. 考え方. 例 1.2 を用いてタイヒミュラー空間の無限 ...
略

https://en.wikipedia.org/wiki/Teichm%C3%BCller_space
Teichmüller space
In mathematics, the Teichmüller space
T(S) of a (real) topological (or differential) surface
S is a space that parametrizes complex structures on
S up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.
The sub-field of mathematics that studies the Teichmüller space is called Teichmüller theory.

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:13:10.91

つづき

History
Moduli spaces for Riemann surfaces and related Fuchsian groups have been studied since the work of Bernhard Riemann (1826–1866), who knew that
6g－6 parameters were needed to describe the variations of complex structures on a surface of genus g≥2.
The early study of Teichmüller space, in the late nineteenth–early twentieth century, was geometric and founded on the interpretation of Riemann surfaces as hyperbolic surfaces. Among the main contributors were Felix Klein, Henri Poincaré, Paul Koebe, Jakob Nielsen, Robert Fricke and Werner Fenchel.

The main contribution of Teichmüller to the study of moduli was the introduction of quasiconformal mappings to the subject. They allow us to give much more depth to the study of moduli spaces by endowing them with additional features that were not present in the previous, more elementary works. After World War II the subject was developed further in this analytic vein, in particular by Lars Ahlfors and Lipman Bers. The theory continues to be active, with numerous studies of the complex structure of Teichmüller space (introduced by Bers).

The geometric vein in the study of Teichmüller space was revived following the work of William Thurston in the late 1970s, who introduced a geometric compactification which he used in his study of the mapping class group of a surface. Other more combinatorial objects associated to this group (in particular the curve complex) have also been related to Teichmüller space, and this is a very active subject of research in geometric group theory.

https://ja.wikipedia.org/wiki/P%E9%80%B2%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
p進タイヒミュラー理論
p進タイヒミュラー理論（ピーしんタイヒミュラーりろん）は、数学者の望月新一によって開発された数学の理論である。この理論は、古典的なタイヒミュラー理論をp進数体の世界に拡張したもので、p進曲線とその構造を決定する係数の「一意化」を扱う理論である。
通常の宇宙際タイヒミュラー理論は、リーマン面を研究対象とし、そのフクシアン一意化、すなわちリーマン面を上半平面から普遍被覆空間への等角写像によって記述することを目指す。この一意化は、リーマン面上の特別な性質を持つ線束（正準固有束）の存在と密接に関係している。この線束は、複素共役によって不変であり、モノドロミー表現が準フクシアンであるという特徴を持つ。
p進タイヒミュラー理論では、古典的なアイデアがp進曲線の文脈で再構築され。具体的には、リーマン面における複素共役の役割は、p進曲線の理論ではフロベニウス自己準同型が担う。同様に、準フクシアンという条件は、積分条件によって置き換えられる。
(引用終り)
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:13:36.35

つづき
(参考)
https://hiroyukikojima.ｈａｔｅｎａblog.com/entry/20130424/1366809361
hiroyukikojima’s blog
2013-04-24
ＡＢＣ予想入門
今回、皆さんにお勧めしたい本は、黒川さんと小山信也さんの共著『ABC予想入門』PHPサイエンス・ワールド新書である。
黒川先生発案の絶対数学(F1スキーム理論）が、数学者コンヌを中心に大きく発展した。第二の進展は、京都大学数理解析研究所の望月新一氏によるabc予想解決宣言である。黒川さんによれば、望月氏もF1数学を使っているとのこと

(参考)＜追加数論幾何入門の必読参考書＞
https://www.morikita.co.jp/books/mid/007891
数論幾何入門森北出版
モジュラー曲線から大定理・大予想へ
東京大学准教授博士（数理科学）三枝洋一 (著)
《数論幾何学の世界をめぐるための格好のガイドブック》
整数論の問題を幾何学的手法で解く――それが数論幾何学と呼ばれる代数学の分野です。フェルマー予想をはじめ、志村-谷山予想、ラングランズ予想、佐藤-テイト予想、BSD予想、ヴェイユ予想といった魅力的な大定理・大予想を数多く備えながらも、その理論は非常に抽象的かつ難解であるがゆえに、これまで初学者への門戸は開かれていませんでした。
本書は、そんな数論幾何学の世界に足を踏み入れるための入門書です。抽象的な一般論ではなく、「モジュラー曲線」と呼ばれる具体例を軸に解説されているので、特別な予備知識がなくても数論幾何学の考え方が理解できます。
前半では主にモジュラー曲線について解説し、後半では上記の大定理・大予想の内容の理解を目指します。

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:14:05.34

つづき

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予想」）
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:15:32.79

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:15:35.36

つづき

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◎に対する乗法的部分群スキームの構成を目指す

＜IUTのコピーとラベルの話＞
(参考)
１）（SCHOLZE氏はラベルが無意味だと主張するが・・）
https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX
Date: July 16, 2018.
P4
2.1.Glossary: IUTT-terminology and how we may think of these objects.
To facilitate the discussion,we will describe (only)the notions that are strictly relevant to explain what we regard as the error.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.

２）次に Kirti Joshi で、Joshiの SCHOLZE文書批判を読むべし
https://arxiv.org/pdf/2505.10568
[Submitted on 29 Apr 2025]
Final Report on the Mochizuki-Scholze-Stix Controversy
Kirti Joshi
This report provides my mathematical findings regarding the Mochizuki-Scholze-Stix controversy surrounding Mochizuki's Inter-Universal Teichmüller Theory.

３）さらに望月氏の反論を読む
https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
　　Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
　　Inter-universal Teichmuller Theory. PDF NEW!! (2024-03-24) https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf

４）その上で下記にも目を通してね
https://math.arizona.edu/~kirti/
My reports on the Mochizuki-Scholze-Stix Controversy
・Provisional Report (June 2024) [Written after extensive correspondence (in May-June 2024) with Peter Scholze and it provides robust conclusions regarding the invalidity of the Scholze-Stix Report, but because Mochizuki was objecting to my work (in March 2024), I did not provide any conclusion on the proof of the abc-conjecture. This report also contains a time-line of events leading upto this report.]

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:15:39.33

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:15:44.86

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:15:50.39

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:15:56.31

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:00.83

つづき

５）さらに Joshi氏は、ショルツエ氏の Perfectoids を使った新証明 Mochizuki's Corollary 3.12 を提案している（望月はダメだが、これが良いのだと）
（でも、ショルツエ氏と望月氏両者からダメ出しがあるらしい）
https://math.arizona.edu/~kirti/
Preprints
5 arXiv:2401.13508 [pdf, ps, other] math.AG math.NT
Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12
Authors: Kirti Joshi
Submitted 24 February, 2025; v1 submitted 24 January, 2024; originally announced January 2024.
例えば
10.4 Perfect Frobenioids and Perfectoids . . . 132

ともかく、これらを理解できる出来ないは別として
チラ見くらいはして議論すべきですよ
そうしないと議論が上滑りです
以上

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:16:02.30

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:08.65

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:15.10

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:22.16

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:27.73

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:28.27

つづき

(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）に新たな元を付加して拡張するための一般的な枠組みである

https://www.nippyo.co.jp/shop/magazine/9611.html
数学セミナー　2025年11月号
特集＝圏論の質問箱
＊「圏が集合にならない」とは……木原貴行　41

https://www.nippyo.co.jp/shop/magazine/9438.html
数学セミナー　2025年3月号
集合論の雑学――無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
　　……池上大祐　60

この記事が飛んできたｗ
参考になりそうだね　（＾＾
https://mathlog.info/articles/tluyvuhcxujw1tbXfU5Q
Mathlog
Mark_six
大学数学基礎
解説
可換環論の†全て†を幾何に翻訳して鑑賞しよう~前編~
駒場理数アドベントカレンダー2025
この記事は駒場理数豚汁カレンダー(11月)9日目の記事です。
https://sites.google.com/view/komaba-risuu/%E3%83%9B%E3%83%BC%E3%83%A0/advent-calender
ハブ → 駒場理数サークルのHP 投稿日：11月9日
参考文献
[1] Robin Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer New York, NY, 1977
[2] Atiyah, M. F. and Macdonald, I. G., Introduction to Commutative Algebra, Addison-Wesley, 1969
[3] J. P. May, A Concise Course in Algebraic Topology

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:16:33.34

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:40.49

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:47.24

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:53.99

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:16:56.29

つづき
＜icm 2026＞
https://arxiv.org/search/?query=icm+2026&searchtype=all&source=header
Showing 1–41 of 41 results for all: icm 2026

＜2012-09-21 檜山正幸さん、さすが全然古くない＞
https://m-hiyama.ｈａｔｅｎａblog.com/entry/20120921/1348209872
檜山正幸のキマイラ飼育記 (はてなBlog) 2012-09-21
・テレンス・タオのコメント
圏論的、位相的な手法による対象の比較だけでなく、モデル論的な手法も有効なんじゃないか、といった話です。なんでここでモデル論が出てくるかと言うと、件の論文 Inter-universal Teichmuller Theory IV の第3節がモデル論っぽい内容だからです。
しかし、タオは次のようにも述べています
So perhaps all the set and model theory here is in fact something of a red herring as far as the application to ABC is concerned, and are primarily relevant for further development of Mochizuki's inter-universal geometry instead? (Among other things, this would render the issue of the non-conservative nature of Grothendieck set theory somewhat moot.)
"red herring" て何だ？と辞書（英辞郎）を引いたら「人の気をそらすもの［情報］、おとり」。えっ？
・不思議な第3節
テレンス・タオが "red herring" と言った第3節、ここは不思議に読めます。ほんとに不思議な感じなんですが、第3節は、実例を除けば数論の知識は不要です。公理的集合論と圏論の基本的な知識があれば（おそらく）読み進めることができます。って、僕は結局ちゃんと読んでませんが、時間をかければ読めそうな感じがあります。
この第3節は、書きかけの教科書の一部のように唐突に終わってしまいます。
・Inter-universal理論と圏の幾何学
Inter-universalのuniverse（宇宙）とは何なのか、正確なところはわかりませんが、グロタンディーク宇宙かそれに近いものでしょう。
ある命題が、単一の宇宙だけでなく複数の宇宙で成立していることが分かれば、特定の宇宙においてよく知られた命題を他の宇宙でも主張することができ、それは新しい発見かもしれません。あるいは、宇宙Uで成立する命題は宇宙Wでも成立することが保証されれば、宇宙Uの固有の事実や知見を使って証明した命題がWでも使えることになります。
… って、レストランのドアが開いたときにただよってきた匂いを根拠にそのレストランのコース料理の紹介をするような真似をしているので、これ以上はやめます(苦笑)。
でも、望月新一さんが、数論の特定問題にアタックするための道具以上のナニカを開発しているのは確かでしょう。2005年に玉川安騎男さんによって書かれた「望月新一さんの数学」（http://mathsoc.jp/publication/tushin/1001/tamagawa2.pdf）のなかに：
最近の望月さんは, 自身のホッジ・アラケロフ理論の研究を大きく展開（転回？）させて, 圏論を基礎とする全く新しい幾何学の壮大な理論の構築とその数論的応用を精力的に研究されています.
と書かれています
・未来から来た理論
テレンス・タオがコメントをつけていたブログは、Jordan S. Ellenberg （http://www.math.wisc.edu/~ellenber/）が書いているQuomodocumque（http://quomodocumque.wordpress.com/）ですが、その記事に次の文章があります。
略す
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:17:01.20

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:17:07.29

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:17:14.23

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:17:20.02

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:17:25.73

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:17:31.02

つづき

https://ja.wikipedia.org/wiki/%E7%87%BB%E8%A3%BD%E3%83%8B%E3%82%B7%E3%83%B3%E3%81%AE%E8%99%9A%E5%81%BD
燻製ニシンの虚偽（くんせいニシンのきょぎ）、またはレッド・ヘリング（英語: red herring）は、本来の問題から注意をそらし、論点をすり替える論理的誤謬を指す用語である。また、ミステリーや探偵小説などで、読者や登場人物を誤った結論へ導くために用いられる文学的手法を指す語でもある[1] [2]。
論理的誤謬
非形式的誤謬としての「燻製ニシンの虚偽」は関連性の誤謬の一形態である。相手に反論する際に、本来の問題（論点）から他の問題へと注意をそらしたり、無関係な論点を導入して推論を行う誤り[3] [4] [5]。「論点変更の虚偽」（Mutatio Elenchi）の同義語

勝手な Simplification
勝手な略図を作って「ここに、ギャップあり」で「元の論文の証明でも、ギャップがある」と
冷静に考えれば、勝手な略図でギャップを論じても元の論文の証明がどうかは全く別の話
ドイツの若き天才数学者は、この単純なストローマン論法に無知だった。若いから・・
https://it.wikipedia.org/wiki/Teoria_di_Teichm%C3%BCller_inter-universale
Teoria di Teichmüller inter-universale 宇宙間タイヒミュラー
(機械訳)
ショルツとスティックスとの論争と出版
2018年7月16日、ショルツとスティックスはボン大学のウェブサイトに「なぜabcは依然として予想なのか」という報告書を掲載し、彼らの見解では望月の不等式がなぜ誤りなのかを説明しています。
望月の不等式は、IUTの基本的な結果および構成要素の一つです。望月によれば、この不等式を導いた系 3.12 のステップ XI (図 3.8 の下) の計算 (二重の和) 中に、彼は誤ってスカラー係数j 2を右辺に挿入したため、最終結果は全く異なる本質的に内容のない不等式となり、abc 予想の証明につながるアルゴリズムでは使用できません
略
この図では、同型性によれば、抽象シータパイロットオブジェクトはシータ因子の算術次数を一切エンコードしない。望月はグラフの左側にスカラー因子j 2を挿入しようとしたが、この挿入はモノドロミーにつながり、ひいては根本的な矛盾が生じる。ショルツとスティックスによれば、IUTにおける実数のコピーの一貫した同一視は、このスカラー因子を許容できない。たとえこのスカラー因子を保持できたとしても、この図は少なくとも O( l 2 ) 倍の交換性を持つため、系3.12の不等式は役に立たず、abc予想や類似の予想の証明全体が誤りであり、修復不能である

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:17:31.90

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:17:39.18

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:17:52.01

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:18:00.39

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:18:08.55

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:18:13.78

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:18:28.42

つづき

不等式の反証は、2人の学者が重要ではないと指摘した IUT のいくつかの単純化にも依存しています。そのいくつかは粗雑で、ホッジ劇場を双曲曲線Xに抽象的に同型のより単純な曲線に置き換えたり、同一のオブジェクトを異なるものと見なす代わりにそれらの間の方程式を使用したりしています。特に、ホッジ劇場は、原点がないため、一度穴があいた楕円曲線から派生したデータのセットに過ぎません。2 人の学者はまた、彼らの意見では、基本群を扱うことが必須となる点はないため、IUT の多くの部分に対する遠アーベル幾何学は群論と等価であると付け加えました。次に、エタールのようなデータ ( D ) を、内部自己同型を除いて群として考えられる抽象的な位相群 π1 ( X )によって提供されるデータとほぼ定義しました。さらに、フロベニウス的な描像は、本質的に位相群π 1 (X)とモノイドへの作用から構成されるため、エタール的な描像の改良版であると大まかに説明されている。望月は過度の単純化は許されないと主張したが、二人の学者は彼の反論に納得できないと反論した
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:18:53.10

つづき

＜grokipedia IUTにおける”宇宙”説明抜粋＞（これ面白いぞ）
https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
Inter-universal Teichmüller theory
(google訳)
l≥5[ 1]この理論は算術構造の標準的変形に焦点を当て、非アルキメデス的対数シータ格子と遠ベル的再構成法を導入することで、スキーム理論的なホッジ・アラケロフ理論の限界を克服し、幾何学的オブジェクトの互換性のない「宇宙」間でデータを比較します。[2]この理論の核となる革新性は、「ホッジ劇場」の構築にあります。これは、多重放射表現と宇宙間同型性を容易にし、ディオファントス設定における高さと値を正確に制御することを可能にします。[1]

導入
定義と概要
IUTの重要な特徴は、その「宇宙間」特性である。これは、非アルキメデス的かつ遠アーベル的な手法を用いて、異なる算術データの「宇宙」（本質的には同一の基礎構造の異なるラベル付けまたは表現）間に、シータリンクなどの同型性を確立することを包含する。 [1]これらのリンクは、フロベニオイド理論的要素と対数シータ格子要素を橋渡しし、これらの宇宙間で算術的正則構造を比較することを可能にする。[1]

歴史的発展
望月氏の貢献
3部構成のシリーズ「絶対遠アーベル幾何学の話題」（2012年から2015年にかけてのRIMSプレプリント）で詳述されている。これは、数体上の真双曲曲線の基底体、関数体、および尖点化データを、それらのエタール基本群から復元するためのアルゴリズム的手法を提供する。これらの定理は、解ける閉包の全体的再構成アルゴリズムによって例示され、数論幾何学への「モノ遠アーベル」アプローチを可能にし、IUT の宇宙間構造の直接の前身として、数体上の標準的な持ち上げと変形を強調しました。

IUTの概念自体は、望月がp進理論、モノアーベル再構成、ホッジ・アラケロフ構成におけるこれまでの革新を統合し、数体のための統一的な算術的タイヒミュラー枠組みを構築した2006年から2010年頃に誕生しました。この時期には、「宇宙間」変形、すなわち異なる算術データの「宇宙」が正準同型によって結び付けられる変形の徹底的な探究が行われ、2012年にはIUTを正式に定義する4つの画期的なプレプリントが発表されました。これらのプレプリントは、対数シータ格子とアーベルアルゴリズムを統合することで数体間の変形を可能にし、望月が20年にわたって進めてきたアーベル算術幾何学の軌跡の頂点を成すものでした。

p進タイヒミュラー理論
この古典的なp進枠組みは、複数のp進付値が相互作用する設定に変形を拡張することで、宇宙間タイヒミュラー理論への橋渡しとなり、剛性特性を維持しながら、異なる算術構造間での「宇宙間」比較を可能にする。これは、p進解析的データとエタール基本群再構成を混成することで、遠アーベル再構成に簡潔に結びつく。

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:19:00.68

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:10.32

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:16.50

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:22.26

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:24.96

つづき

理論的枠組み
インターユニバーサリティ
宇宙際タイヒミュラー理論（IUT）において、「宇宙」という基本概念は、ホッジシアター内の初期データと終端データのペアを指し、ガロア圏を備えたスキームや、単位群や値群を含む局所体の組合せ論的次元や算術的次元といった、異なる数学的構造を包含する。[9]これらの宇宙は、素数によって厳密に分離されている。素数によって、局所体の変化や数体の完備化を反映することで、異なるp進位における算術的性質が定義され、それによって、大域的埋め込みに依存しない局所-大域的分離が保証される。[9]この分離は、素数を抽象的な位相群として扱い、理論の本質的な焦点を維持するために従来のガロア群構造に依存することを回避している。[9]
宇宙間変形のメカニズムはIUTの橋渡し哲学の中核を成し、グローバル座標を呼び出さずに一つの宇宙から別の宇宙を再構築することを可能にする。 [9]このプロセスは抽象的な位相群上で動作する遠アーベルアルゴリズムを活用し、対数リンクやクンマー理論を介したΘ-およびq-絡み合いなどのツールを利用して、宇宙の構造的完全性を維持しながら変形を達成する。[9]意図的に、これらの変形は宇宙間の算術情報の転送を容易にし、統一された座標系を前提とすることなく、異なる算術領域にわたって互換性のあるデータを確立する。[9]

IUTにおける宇宙間写像は、同期共役性と切断クンマー理論を通じて構造の同時正則表現可能性を維持しながら、p進位をまたぐ算術正則性の保存の例である。[9]これらの写像は、ログ体積不変性や多重ラジアル表現などの主要な算術特性が変形プロセス中に維持されることを保証し、それによって宇宙間の橋渡しをしながら、さまざまな素数の値での正則特性を保存する。[9]シータリンクは、互換性に必要な論理関係を強制することにより、これらの橋渡しを実現する上で補助的な役割を果たす。[9]

多重放射表現
より広い枠組みでは、多重放射表現は、図の可換性を保証するために、対数殻のテンソルパケットのコンテナを構築します。
Θ-パイロット、評価ラベルに依存しない
Fℓ±F ℓ± -対称性。[9]双円錐形
F×μF × μ -プライムストリップは、対数-シータ格子の水平および垂直の矢印の両方に対して不変であり、これを検証する
Θ×μΘ × μ LGPリンクとlog -Kummer対応は、シータリンクと宇宙間写像をまたいで共役を同期させる論理AND関係を生み出す。

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:19:28.33

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:36.19

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:42.67

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:48.60

つづき

応用と影響
ABC予想の証明
{θj}固定パラメータに対する相対値
qこの比較から、ラジカルが
ラジアン( ab c )素因数の「多重放射状」分布を符号化する
a、b、c グローバルシータリンクは、これらの因子の対数体積が宇宙間変形の下で両立することを保証する。マルチラジアルアルゴリズムを適用してシータ値を並べ替えながら全体的なプロファイルを維持することにより、主張されている証明はこれらの評価の矛盾を制限し、それらを直接的に大きさに結び付けている。

この導出は、シータリンク領域における不確定性を制御するために、宇宙間枠組みに依存している。[28]

他の推測への影響
シータリンクを介したエタール基本群の標準分割を構築することにより、理論は数体上の双曲曲線上の有理点の高さに一様な境界を課し、ヴォイタの高さ不等式と一致し、固定種数の曲線に対して数値的に有効なバージョンを提供する。これらの進歩は、完全な切断予想を仮定せずに profinite 完備化の切断を再構成する宇宙間フレームワークに由来し、それによって次元 1 におけるヴォイタの予測の部分的な確認を提供する。
(引用終り)
以上
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:19:49.49

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:19:55.38

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:20:02.26

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:20:07.50

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:20:13.52

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:20:38.60

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:20:54.26

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:20:54.55

つづき

＜過去スレより再録＞
スレ46 ://rio2016.5ch.net/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレがアンチでお願いしますよ
ここでは、大人の議論をしましょうね

１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
　（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレがアンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
　あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
　しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です

ワケワカ小学生は、どうぞ相応しいスレへお願いしますｗｗ（＾＾；
（蕎麦屋さん、数理論理君も、どうぞそちらへｗ）

スレ46 ://rio2016.5ch.net/test/read.cgi/math/1589677271/883
１．RIMSをまず普通の論文と見れば良いと思うのだが？　つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる拡張あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾

アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか

笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:20:59.04

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:21:03.43

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:21:16.57

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:21:18.50

つづき
://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.

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:21:22.51

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:21:29.06

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:21:34.88

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:21:38.64

つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.amazon.co.jp/dp/4480095470
数とは何かそして何であるべきかデデキント訳解説渕野昌筑摩書房2013
「数学的直観と数学の基礎付け訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい，という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは，ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:21:39.64

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:21:44.62

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:22:03.53

つづき

加藤文元氏メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。

形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*)　　MP ーーーー形式化ー＞ FT
のことである。

形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。

＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:22:12.33

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:22:18.46

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:22:25.56

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:22:29.25

つづき

謎の数学者の ”数学に向かない人”の話でも「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗこれでしょうね；ｐ）
(参考)＜いまリンク切れだが＞
https://youtu.be/q-3IWEyfFQg?t=11https://youtu.be/q-3IWEyfFQg?t=1
数学に向かない人の数学書の読み方。数学者はこうやって読む
謎の数学者 2022/06/07
コメント
@gary8593
2 年前
「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。
特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。

https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9
Henri Poincaré
https://en.wikipedia.org/wiki/The_Value_of_Science
The Value of Science (French: La Valeur de la Science) is a book by the French mathematician, physicist, and philosopher Henri Poincaré. It was published in 1904. The book deals with questions in the philosophy of science and adds detail to the topics addressed by Poincaré's previous book, Science and Hypothesis (1902).
(google訳)
直感と論理
最後に、ポアンカレは幾何学と解析学の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:22:32.39

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:22:39.25

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:22:44.57

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:22:51.75

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:23:05.35

つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾；　）
( ://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
（＊＊）注；://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面：://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは双曲幾何の修論でも書いたみたいだなｗ（＾＾）

1980年代にＷ大数学科に入学するも、初日に数学科の冷や水を頭から浴びせられる洗礼で
即日詰んだ男。お情けで学部は卒業するも修士は情報系に。就職はコンピュータ関係らしいが

就職が多分ブラックな仕事で統合失調症の薬を飲むようになったようだ
下記 ”統合失調症では知能低下と脳容積の減少がみられることが知られている”とある
高等数学の議論が出来なくなったんだ・・君は

(参考)
https://www.carenet.com/news/general/carenet/40333
統合失調症、脳容積とIQの関連
提供元：ケアネット
公開日：2015/07/17
　統合失調症では知能低下と脳容積の減少がみられることが知られている。オランダ・ユトレヒト大学医療センターの久保田学氏らは、統合失調症患者のIQと脳容積との関連について調査し、統合失調症における進行性の脳組織減少が、発症初期における相対的な認知機能低下と関連している可能性があることを報告した。JAMA Psychiatry誌オンライン版2015年6月17日号の掲載報告。

＜＊）サイコパスの特徴＞
（参考）://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠故事ことわざ辞典
【読み】とりなきさとのこうもり
【意味】鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
追記
オチコボレサイコパスおサルの連れの落ちコボレさんが、もう一匹います。
「箱入り無数目 (あほ二人の”アナグマの姿焼き"Part3ｗ)」の連れです https://rio2016.5ch.net/test/read.cgi/math/1736907570/
つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:24:25.60

つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 ://rio2016.5ch.net/test/read.cgi/math/1623558298/813
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜オカ、シムラ、モチヅキ」
　てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
　何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
　自分の思いつきが論理的に正しいことを示す、という負債をね」
　てめえ、何様のつもりだ？
　論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
　ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
　IUT普及の義務を果たします
4．おサルが理解できるように？
　それは無理！
　”（スレ55 ://rio2016.5ch.net/test/read.cgi/math/1623558298/158より）
　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
　ことも分からん「考えなしの素人」に数学はムリ”
などという
　これじゃ。三歳児レベルの知能じゃんかｗ
　このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り)

つづく

**１３２人目の素数さん** · 2026/01/11(日) 18:25:35.05

つづき

一句”不勉強オチコボレのさばる便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ（追加）
不遇な「一石」“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男

「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ（学院長川上貴裕）
百回音読しましょう！ｗ

(参考)
https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ（学院長川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)

なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾

テンプレは、以上です

**１３２人目の素数さん** · 2026/01/11(日) 18:44:00.60

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:49:20.44

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:49:26.07

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:49:33.75

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:49:40.81

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:49:47.88

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:49:53.66

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:01.76

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:09.46

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:16.69

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:24.56

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:32.06

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:40.06

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:50.30

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:50:56.08

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:51:03.61

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:51:10.88

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:51:18.19

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 18:51:26.21

安倍晋三

**１３２人目の素数さん** · 2026/01/11(日) 19:43:09.16

安倍晋三さんご苦労さんｗ　（＾＾

**１３２人目の素数さん** · 2026/01/11(日) 20:00:50.40

Arithmetic, Homotopy, and Geometry 2027-28
2030 ICM 招致に向けて
2026年はとばして
2027-28か

https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project

https://ahgt.math.cnrs.fr/AHG-year_27-28/
Arithmetic, Homotopy, and Geometry 2027-28

Theme of the Research Project
Arithmetic homotopy geometry (AHG) exploits arithmetic and geometric invariants via homotopy theory and especially the theory of fundamental groups (in its étale, Galois, motivic, and topological versions). It thrives and revisits leading questions and constructions on both ends of the number theory-geometry spectrum, with the following structuring topics: (A) Homotopy, Rationality, and Geometry, (B) The Homology-Homotopy Frontier, and (C) Combinatorial Arithmetic Geometry.

The
Arithmetic Homotopy Geometry'' Project is a year-long program whose goal is to shape the lines of arithmetic homotopy geometry in terms of new leading questions and conjectures for the next-generation of arithmetic homotopy geometers.

**１３２人目の素数さん** · 2026/01/11(日) 20:10:30.70

ホイヨ
https://ivanfesenko.org/?page_id=80
News – Ivan Fesenko
Essential Algebraic Number Theory, World Sci. Publ. 2026, 284pp.

https://www.worldscientific.com/worldscibooks/10.1142/14658?srsltid=AfmBOorx6hCcIR8KWPDh4P8ZsbTI3dGRp33YTSRWPk-5He5eXmdpzBga#t=aboutBook
World Scientific
Series on Number Theory and Its Applications: Volume 18
Essential Algebraic Number Theory
https://doi.org/10.1142/14658 | February 2026
Pages: 284
By (author): Ivan Fesenko (Westlake University, China)

This book provides a clear and accessible introduction to modern algebraic number theory, with a special emphasis on class field theory. Drawing from courses and lectures delivered in seven countries, the text balances simplicity with depth, making advanced topics approachable with minimal reliance on heavy algebraic or analytic machinery.

The book is structured into these distinct chapters; each tailored to a different stage of mathematical training:

Series features:

Chapter 1 introduces algebraic number fields, progressing at a steady pace with numerous examples — ideal for advanced undergraduates;
Chapter 2 explores complete discrete valuation fields (local fields), a vital area of local algebraic number theory often underrepresented in standard textbooks but crucial in modern research;
Chapter 3 develops abstract class field theory and its applications to both local and global fields, using Neukirch's axiomatic approach to derive fundamental theorems. Extensions to recent developments and generalizations are also discussed.
The final chapter gathers a substantial collection of exercises, designed to test comprehension and guide further exploration. By offering the simplest known pathway to class field theory, this book fills a significant gap left by classic references published decades ago.

Contents:
Preface
Algebraic Number Fields
Complete Discrete Valuation Fields
Class Field Theory
Exercises
Bibliography
Index

https://www.kinokuniya.co.jp/f/dsg-02-9789819826810
紀伊國屋書店ウェブストア
Essential Algebraic Number Theory (Series on ...
World Scientific Publishing Co Pte Ltd（2026/03発売）. 現在予約受付中です。
出版後の入荷・発送となります。（重要：表示されている発売日は予定となり、発売が ...
￥10,610

**１３２人目の素数さん** · 2026/01/11(日) 20:23:33.84

ホイヨ
(google検索)
Grothendieck Teichmuller grokipedia

（en.wikipedia.org）
https://en.wikipedia.org/wiki/Grothendieck%E2%80%93Teichm%C3%BCller_group
Grothendieck–Teichmüller group
In mathematics, the Grothendieck–Teichmüller group GT is a group closely related to (and possibly equal to) the absolute Galois group of the rational numbers. It was introduced by Vladimir Drinfeld (1990) and named after Alexander Grothendieck and Oswald Teichmüller, based on Grothendieck's suggestion in his 1984 essay Esquisse d'un Programme to study the absolute Galois group of the rationals by relating it to its action on the Teichmüller tower of Teichmüller groupoids Tg,n, the fundamental groupoids of moduli stacks of genus g curves with n points removed. There are several minor variations of the group: a discrete version, a pro-l version, a k-pro-unipotent version, and a profinite version; the first three versions were defined by Drinfeld, and the version most often used is the profinite version.
References

Further reading
Relation to algebraic topology via the little disks operads
Fresse, Benoit (2017), Homotopy of Operads and Grothendieck-Teichmüller Groups: Part 2: The Applications of (Rational) Homotopy Theory Methods, Mathematical Surveys and Monographs, vol. 217, American Mathematical Society, p. 704, ISBN 9781470434823
Relation to combinatorial anabelian geometry
Hoshi, Yuichiro; Minamide, Arata; Mochizuki, Shinichi (2022). "Group-theoreticity of numerical invariants and distinguished subgroups of configuration space groups". Kodai Mathematical Journal. 45 (3): 295-348. doi:10.2996/kmj45301.

**１３２人目の素数さん** · 2026/01/11(日) 20:27:40.24

>>104 追加
>Further reading
>Relation to algebraic topology via the little disks operads
>Fresse, Benoit (2017), Homotopy of Operads and Grothendieck-Teichmüller Groups: Part 2: The Applications of (Rational) Homotopy Theory Methods, Mathematical Surveys and Monographs, vol. 217, American Mathematical Society, p. 704, ISBN 9781470434823

Fresse, Benoitは、仏Lille大（下記）

(参考)
https://ahgt.math.cnrs.fr/members/
Arithmetic & Homotopic Galois Theory IRN
Members & Partners

Lille University
Pierre Dèbes
Benoit Fresse

**１３２人目の素数さん** · 2026/01/11(日) 21:53:05.82

安倍はどっちのアキラを
えらぶだろう

**１３２人目の素数さん** · 2026/01/11(日) 22:32:26.51

安倍さん
正月初夢で、高市さんに憑依して「解散の密談」で忙しいようです
たぶん、「前橋は前橋に任せよ」と言っているようです

(参考)
https://www.hokkaido-np.co.jp/article/1261544/
国会冒頭解散　高市氏、安倍元首相の戦略意識　衆参のねじれ、多党化で「模倣」に懸念も
小林史明高野渡会員限定記事
2026年1月11日 21:39
京政治取材班
高市早苗首相（自民党総裁）が政権幹部に示した、23日召集の通常国会冒頭での衆院解散案は、政治の師と仰ぐ安倍晋三元首相の戦略との親和性もうかがえる。安倍氏は森友・加計（かけ）学園問題で追及を受ける中、2017年の臨時国会冒頭で「国難突破」を大義として解散を断行し、勝利した。
首相は官邸にも「安倍人脈」が色濃い布陣を敷き回帰傾向を強めるが、高市、安倍両政権の置かれた状況は大きく異なる。...

https://mainichi.jp/articles/20260110/k00/00m/010/065000c
＜1分で解説＞前橋市長選、5人の候補者はどんな人?
政治
速報
群馬
関東
毎日新聞
2026/1/10

　前橋市長選には前職と新人計5人の候補者が無所属で立候補し、12日の投開票に向けてそれぞれの考えや経験をもとに論戦を繰り広げています。1分で読めて役に立つ「サクッとニュース」、今回は「前橋市長選の候補者」について解説します。

Q　前橋市長選にはどんな人が立候補しているの？
A　今回の前橋市長選には▽新人で元群馬県みどり市議の海老根篤氏▽新人で元前橋市議の店橋世津子氏＝共産党推薦▽前職で再選を目指す小川晶氏▽新人で弁護士の丸山彬氏▽新人で農業の高橋聡哉氏――の5人が無所属で立候補しています。

Q　海老根氏はどんな人なの？

Q　店橋氏はどんなことを考えているの？

Q　小川氏はどんな人かな。

Q　丸山氏はどんな経歴なの？
A　丸山氏は、祖父も父も弁護士という家庭で育ち、自身も弁護士です。まちづくり団体では市民の活躍を動画で撮影してきました。「分断に懸け橋を掲げる役として強みを発揮できる」と話し議会や県、国、民間との連携を大切にしています。

Q　高橋氏はどんな人の？

**１３２人目の素数さん** · 2026/01/11(日) 23:09:16.18

前スレ再録
https://rio2016.5ch.net/test/read.cgi/math/1767007684/703
>・数学でも虚数が認められないとか
>　いろいろとあったんだ

クロネッカーは、自然数のみが神が作った数だというけれども
下記の”複素解析”を学ぶと「複素数までは神が作った！」
といっても
だれも不思議に思わないだろう
クロネッカーは、20世紀において（もちろん今も）
”複素解析”が縦横に使われる世界を知らない

IUTもいずれそうなる・・・かも　（＾＾

https://ja.wikipedia.org/wiki/%E8%A4%87%E7%B4%A0%E8%A7%A3%E6%9E%90
複素解析
複素解析の手法は、応用数学を含む数学全般、（流体力学などの）理論物理学、（数値解析[5][6]や回路理論[7]をはじめとした）工学などの多くの分野で用いられている。
歴史
→「複素数」および「複素平面」も参照
複素解析の理論に貢献した先人
複素解析は最も古くからある数学の分野の一つであり、その起源は18世紀あるいはそれより以前にまでたどることができる。レオンハルト・オイラー、カール・フリードリッヒ・ガウス、ベルンハルト・リーマン、オーギュスタン＝ルイ・コーシー、ヨースタ・ミッタク＝レフラー、ワイエルシュトラスといった数学者や他の多くの20世紀の数学者たちが複素解析の理論に貢献している[1][5][6][8]。

複素解析の応用
他の重要な応用として共形変換に対して作用が不変な場の量子論である共形場理論が挙げられる。また電気工学におけるフェーザ表示、固体力学における応力関数、流体力学における複素速度ポテンシャル[12]など、工学の様々な分野にも応用されている。

**１３２人目の素数さん** · 2026/01/11(日) 23:14:15.56

前スレ再録
https://rio2016.5ch.net/test/read.cgi/math/1767007684/711
>・数学でも虚数が認められないとか
>　いろいろとあった

　709より再録
複素数、虚数の歴史
虚数を発見したカルダーノ
『当時は 0 や負の数ですら架空のもの、役に立たないものと考えられており、負の数の平方根である虚数はなおさらであった。ルネ・デカルトも虚数を否定的にとらえ、1637年の著書『La Géométrie（幾何学）』で初めて仏: "nombre imaginaire"（「想像上の数」）と名付けた。これが英語の "imaginary number"、日本語の「虚数」の語源になった』

これを望月IUTに当て嵌めると
１）望月IUTは人工物で作り物で架空のもの
　あやしいという人多数
２）だが、しばし待て
　数学史の示すところ望月IUTの価値は時代が進まないと評価できないだろう
３）事実 grokipedia Anabelian geometry 688より
　”2025年までの最近の開発では、これらのアイデアを高次元に拡張しました。これは、望月の宇宙際タイヒミュラー理論（IUT）の影響を受けています。IUTは、ガロア表現を「宇宙」にわたって変形し・・・”
　とある

請うご期待

**１３２人目の素数さん** · 2026/01/11(日) 23:24:13.47

>>108-109

複素数、虚数の歴史を一般化すると

１）高等数学の概念は、概念が出来た当初は周囲から ”パチモン”呼ばわりされるが
２）ところがどっこい時代が進むといろんな用途ができ「おなかなか使えるな」となり
３）そのうちに、「これ考えたやつ天才だな」となったり神様扱いになる

そういう例が、やまのよう
それが数学史のほとんど

(参考)
https://dic.pixiv.net/a/%E3%83%91%E3%83%81%E3%83%A2%E3%83%B3
ピクシブ百科事典
パチモン
ぱちもん
「偽物」を指す言葉。あるいはキャラクター。

パチモンとは、
いわゆる偽物のことを指す。
三文堂のひよこ生活に登場するキャラクター。ひよこのパチモン。

偽物としてのパチモン
語源は、大阪弁のパチる(盗む)→パチったもん(物)→パチモン、という説が有力。

他にはパチンコの景品から転じた説、嘘っぱち由来説、英語のコンパチブル(compatible)に由来する説などがある。

高級ブランド品のパチモンは少し見ればすぐ分かる。ブランド品以外にもお菓子やファミコンなどもある。

紙幣ではもっとも分かりやすいパチモで、大抵はおもちゃのお札(玩具用には暗号化といった特殊加工はない)、プラスチック製の硬貨など。

ファミコンのパチモンについては「パチモノ」を参照。

**１３２人目の素数さん** · 2026/01/12(月) 00:03:55.07

一つ例をあげれば、「リーマン球面と無限遠点」高校数学の美しい物語
コロンブスの卵のようにチョコと無限遠点を加えて丸めただけだが

そこが凡人には思いつかない天才リーマンの深謀遠慮だったのです　（＾＾
天才望月先生の場合？さあ？しばし待て乞うご期待です　（＾＾

https://manabitimes.jp/math/2663
高校数学の美しい物語
リーマン球面と無限遠点
更新 2022/07/21
リーマン球面
リーマン球面とは，複素平面
C に無限遠点
∞ を追加したものである。リーマン球面を
C^ などと書く。

リーマン球面とは，複素数に一点を追加することでより便利に複素数を扱えるようにした集合です。
目次
無限遠点
球面としての解釈
無限遠点における関数の計算
無限遠点における留数
位相空間論からの話題：一点コンパクト化

https://en.wikipedia.org/wiki/Meromorphic_function
Meromorphic function
In the mathematical field of complex analysis, a meromorphic function on an open subset
D of the complex plane is a function that is holomorphic on all of
D except for a set of isolated points, which are poles of the function.[1] The term comes from the Greek meros (μέρος), meaning 'part'.[a]
Every meromorphic function on
D can be expressed as the ratio between two holomorphic functions (with the denominator not constant 0) defined on
D: any pole must coincide with a zero of the denominator.

Heuristic description
Intuitively, a meromorphic function is a ratio of two well-behaved (holomorphic) functions. Such a function will still be well-behaved, except possibly at the points where the denominator of the fraction is zero. If the denominator has a zero at
z and the numerator does not, then the value of the function will approach infinity; if both parts have a zero at
z, then one must compare the multiplicity of these zeros.

On Riemann surfaces
On a Riemann surface, every point admits an open neighborhood which is biholomorphic to an open subset of the complex plane. Thereby the notion of a meromorphic function can be defined for every Riemann surface.
When D is the entire Riemann sphere, the field of meromorphic functions is simply the field of rational functions in one variable over the complex field, since one can prove that any meromorphic function on the sphere is rational. (This is a special case of the so-called GAGA principle.)

For every Riemann surface, a meromorphic function is the same as a holomorphic function that maps to the Riemann sphere and which is not the constant function equal to ∞. The poles correspond to those complex numbers which are mapped to ∞.

See also
・Cousin problems
・Mittag-Leffler's theorem
・Weierstrass factorization theorem

**１３２人目の素数さん** · 2026/01/12(月) 07:52:25.37

再録
https://rio2016.5ch.net/test/read.cgi/math/1767007684/728
2026/01/11
専門用語
超数学 → メタ数学
超準モデル → 非標準モデル
（右は google訳）

学術用語として
超数学、超準モデル
は、まだ学会では定着していない気がするな

こういうところが、ja.wikipediaにはあるので
気をつけよう！　（＾＾；
（出版本のセールスとして超数学、超準モデルはあるかもｗ）

(参考)
https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%93%E3%83%B3%E3%82%BD%E3%83%B3%E7%AE%97%E8%A1%93
ロビンソン算術
超数学
QはPAと同様に任意の無限濃度の超準モデルを持つ。しかしながらQはPAと異なりテンネンバウムの定理を適用することができない。すなわちQは計算可能な超準モデルを持つ。例えば、計算可能なQの超準モデルとして最高次係数が正である整数係数多項式の全体に通常の演算を入れたものが考えられる。

＜en.wikipediaより＞該当箇所
https://en.wikipedia.org/wiki/Robinson_arithmetic
Robinson arithmetic

Metamathematics
Q, like Peano arithmetic, has nonstandard models of all infinite cardinalities. However, unlike Peano arithmetic, Tennenbaum's theorem does not apply to Q, and it has computable non-standard models. For instance, there is a computable model of Q consisting of integer-coefficient polynomials with positive leading coefficient, plus the zero polynomial, with their usual arithmetic.
(google訳)
メタ数学
Q は、ペアノ算術と同様に、あらゆる無限基数に対する非標準モデルを持つ。しかし、ペアノ算術とは異なり、テネンバウムの定理はQには適用されず、計算可能な非標準モデルを持つ。例えば、正の先頭係数を持つ整数係数多項式と零多項式を通常の算術で組み合わせたQの計算可能モデルが存在する。

**１３２人目の素数さん** · 2026/01/12(月) 08:15:48.40

用語”超準解析”は、多分当時東大の教授だった
齋藤正彦氏が作った造語だと思う（下記）

”Nonstandard Analysisは直訳すれば非標準解析学となる”
だが、非標準解析学では一般庶民には意味が伝わらない
”超準”は、標準を超えて標準よりすばらしいというこころだ

だが、なんでもかんでも Nonstandard → ”超準”と訳していいかどうか？
ザコが Nonstandard → ”超準” とやると、プロ数学者から見てアホかとなる

まあ、東大に入学したての 1～2年の青い学生が言うのはかわいいかも知れないが
大学卒業したやつがちょっとネット検索して超準自然数とか超準算術とか・・・

話は飛ぶが ”全然”という言葉がある
自然言語は、時代によって意味が変わる

今後、超準自然数とか超準算術がどうなるかは不明だが
いまは、過渡期かもしれない。だが、大人は”過渡期かも”という認識は持とうね

(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
超準解析
微分積分学の歴史（英語版）は、流率法（英語版）あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析（英: nonstandard analysis）[1][2][3]は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった[4][5]。無限小解析（infinitesimal analysis）という言葉で超準解析を意味することもある。

超準解析は1960年代に数学者アブラハム・ロビンソンによって創始された。[6][7] 彼は次のように記述している：
[...] 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという [...] 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者（訳注：実数）と同じ性質を有する――の導入を含意するものであると主張した。

ロビンソンはこのライプニッツの連続性の原理（英語版）は移行原理（英語版）の先駆けであるとしている。ロビンソンは次のように続ける：
略

https://ja.wikipedia.org/wiki/%E6%96%8E%E8%97%A4%E6%AD%A3%E5%BD%A6
齋藤正彦（さいとうまさひこ、1931年6月18日[1] - 2020年12月31日）は、日本の数学者。東京大学名誉教授。
経歴
東京に生まれる。
1954年 - 東京大学理学部数学科卒業、東京大学教養学部助手。
1960年 - パリ大学理学博士。
1974年〜1992年 - 東京大学教養学部教授。
1992年〜1997年 - 放送大学教授。
1997年〜2003年 - 湘南国際女子短期大学長。
著書
齋藤正彦『超積と超準解析―ノンスタンダード・アナリシス』東京図書、1976年

**１３２人目の素数さん** · 2026/01/12(月) 08:25:42.08

学会でその手の講演を聴いたことはない

**１３２人目の素数さん** · 2026/01/12(月) 08:32:12.63

用語でそこまでごねられるってすごいな　三歳児もびっくりｗ

**１３２人目の素数さん** · 2026/01/12(月) 08:34:42.63

用語で大騒ぎしてないで表現可能性の定義でも確認すればいいのに
なぜかそういうのは大嫌いなんだよなぁ
連想ゲームしかできない三歳児だからかな

**１３２人目の素数さん** · 2026/01/12(月) 08:35:36.08

０℃
くもり時々晴れ

**１３２人目の素数さん** · 2026/01/12(月) 08:43:40.78

>>113
つづき
>用語”超準解析”は、多分当時東大の教授だった
>齋藤正彦氏が作った造語だと思う（下記）

これは枕で、本題は望月先生のIUTだ
大量の造語であたかもポエムか小説か？

数学者にも言論の自由はある
好きなことを書いていい

だけど、宇宙とspeciesは、調べるとプログラムでいう予約語で
特に用語宇宙で不要な混乱を起こした気がする
（cf >>23 企画特別講演　2017年度年会日本数学会薄葉季路 (早大理工) 集合論の宇宙 —Universe と Multiverse—）

(参考)
https://plaza.rakuten.co.jp/shinichi0329/
新一の「心の一票」 - 楽天ブログ
2026.01.01XML
Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか？
カテゴリ：研究関連の現状報告

この「関手的アルゴリズム」という概念は、宇宙際タイヒミューラー理論の原論文4編の第4論文[IUTchIV]の§3で解説している「species/mutations」という概念によって定式化されており、つまり、理論の形式化を進める上においても、まずしっかり押さえておきたいのは、「species/mutations」の形式化ということになります。因みに、技術的な詳細に関しては、[IUTchIV]§3をご参照いただきたいと思いますが、簡単に嚙み砕いて説明すると、

・species（＝「種」）は、集合論的論理式で定義される、「数学的対象の種類」（＝つまり、「群」、「環」、「代数多様体」のようなもの）で、

・mutation（＝「突然変異」）は、集合論的論理式で定義される、あるspeciesから別のspeciesへの変換、つまり構成の手順

ということになります。つまり、「関手的アルゴリズム」というのは、より技術的な用語で表現すると、まさしく「mutation」ということになります。

私自身、2010年～2011年頃、[IUTchIV]§3を執筆したとき、species/mutationは、特に難しい話でもなく、取り立てて新奇性のある話でもなく、多くの数学者が当たり前に脳内で無意識のうちにこなしている処理を、（同様の概念が明示的に記述されている適切な文献が見付からなかったために）ただ自分で明示的に記述してみただけのものに過ぎないという認識でした。また論文を公開した2012年以降も、何名かの基礎論の専門家にも目を通していただいていますが、みんな口を揃えてまさしく特に新奇性のない、当たり前なことしか書かれていないという趣旨の評価や総括をしています。いずれにしても、自分自身、まさにそのように考えていたからこそ、宇宙際タイヒミューラー理論を理解する上で障害となり得る側面であるという認識はこれまで全くなかったです。

**１３２人目の素数さん** · 2026/01/12(月) 08:49:34.50

０℃
くもり時々晴れ

**１３２人目の素数さん** · 2026/01/12(月) 09:13:45.32

山梨と神奈川の山火事

**１３２人目の素数さん** · 2026/01/12(月) 09:14:21.49

群馬県桐生市でも

**１３２人目の素数さん** · 2026/01/12(月) 09:28:18.58

>>114
>学会でその手の講演を聴いたことはない

巡回ご苦労さまです
下記検索で用語超準算術が使われている例は無くはないようですが
超準自然数は、見つかりませんでした
超準算術がスタンダードかは不明ですｗ　（＾＾

(google検索)
算術の超準モデル
＜検索結果＞
https://researchmap.jp/read0145758/misc/11898132/
横山啓太
https://researchmap.jp/read0145758/misc/11898132/attachment_file.pdf
超準手法の逆数学と2階算術体系
researchmap
https://researchmap.jp › misc › attachment_file
PDF
この講演では, 超準 2 階算術体系について紹介し, 逆数学の手法で 2 階算術の諸体系と超準算術. の諸公理, 超準解析学の基礎的な命題の比較を行う.
15 ページ
超準手法の逆数学と２階算術体系
横山啓太(東北大学理学研究科)¤
2009年
超準手法の逆数学と２階算術体系
日本数学会, 数学基礎論および歴史分科会, 特別講演アブストラクト

Wikipedia
https://ja.wikipedia.org › wiki › 算術の超準モデル
算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を ...

算術の超準モデルなどに関するノート
GitHub Pages documentation
https://sno2wman.github.io › notes-on-nonstandard
PDF
2025/01/26 — 定理 3.4 (Tennenbaum の定理): 𝐏𝐀 の超準モデルは再帰的ではない．証明: 再帰的な超準モデル 𝔐 が存在するとして矛盾を導く．証明は次の大きく 2 ステップ ...

1階論理では標準モデルと区別できない超準モデル
朝日新聞
https://www.asahi.com › ads › math2022
TAには標準構造以外のモデル（超準モデル）も存在する。超準モデルには、すべての自然数より大きな無限大の要素が存在する。同様なことは、実数論についても言える。

Peanoの公理の超準モデルの構造の研究とその応用
名古屋大学
http://www.math.human.nagoya-u.ac.jp › Staff › yasumoto
1996/11/22 — 特に代数体と代数関数体の類似性が超準モデルの手法を使って表現することによって，よりいっそう明確になり，それらの応用可能性は代数曲面の整数点の分布の ...

https://www.sci.shizuoka.ac.jp/~math/yorioka/wakate2007/wakate07_abstructs.html

**１３２人目の素数さん** · 2026/01/12(月) 09:36:31.72

>>118
>だけど、宇宙とspeciesは、調べるとプログラムでいう予約語で

検索結果は、下記
みるところ、IUTのspeciesとは別物

(google検索)
combinatorial species category
＜結果＞
https://en.wikipedia.org/wiki/Combinatorial_species
Combinatorial species
In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for deriving the generating functions of discrete structures, which allows one to not merely count these structures but give bijective proofs involving them. Examples of combinatorial species are (finite) graphs, permutations, trees, and so on; each of these has an associated generating function which counts how many structures there are of a certain size.

http://pantodon.jp/index.rb?body=species
信州大学
Species
Species とは, Joyal により [Joy81] で導入された概念である。定義はとても単純で, Σ を有限集合と全単射の成す圏としたときに, 単に関手
F:Σ⟶Σ
として定義される。文献としては, Bergeron と Labelle と Leroux の本 [BLL98] がある。 J. Kock のweb site からも解説の PDF を download できる。

定義は simple であるが, 各種の数え上げの問題で有用な道具らしい。

https://ncatlab.org/nlab/show/species
nLab
species
1. Idea
2. Definition
1-categorical
2-categorical

**１３２人目の素数さん** · 2026/01/12(月) 09:41:08.56

用語でそこまでごねられるってすごいな　三歳児もびっくりｗ

**１３２人目の素数さん** · 2026/01/12(月) 09:59:16.41

用語は、大事だよ数学以外では特に
用語は、大事だよ数学でも凡人は特に
用語は、大事だよ数学の天才でも望月IUTのように混乱を引き起こす

望月IUTで、用語 species は、まだしも
”宇宙”がねぇ～ｗ
”宇宙と宇宙をつなぐ”とか
完全に赤い燻製ニシン(red herring)>>28　ｗ（＾＾

**１３２人目の素数さん** · 2026/01/12(月) 10:13:30.61

用語は、大事だよ連想ゲームでは特に

**１３２人目の素数さん** · 2026/01/12(月) 10:14:00.86

しかし、用語の混乱とIUTの成否とは別の話

(参考) イタリア語版
https://it.wikipedia.org/wiki/Teoria_di_Teichm%C3%BCller_inter-universale
Teoria di Teichmüller inter-universal
(google訳)
宇宙間タイヒミュラー理論

IUTと「コリシティ」の動機と概念

望月による1992年夏から2000年夏にかけての研究活動に関する報告書によれば、彼は2000年夏から2006年夏にかけてIUTの基礎研究を開始した。正確に言うと、最初の洞察は楕円曲線のホッジ-アラケロフ理論の研究期間（1998-2000年）の後に得られ、その研究は彼の2つの論文『楕円曲線のホッジ-アラケロフ理論の概説 IおよびII 』で最高潮に達した。この研究の流れの中で、望月は数体上の楕円曲線のアラケロフ理論の文脈において、複素数およびp進数上のホッジ理論に類似した理論を構築しようとした。これらの考察は、ガウス積分の使用に基づく再定式化も伴って議論されており、前述の2つの論文で議論されている。[ 3 ]

同報告書の中で、望月はホッジ＝アラケロフ理論が、小平＝スペンサー算術写像を構成する可能性など、興味深い特徴を持っていると指摘した。これは、望月自身も解こうとした数論における重要な未解決予想であるabc予想と関連している。しかし、ホッジ＝アラケロフ理論だけではabc予想を証明するのに十分ではない。したがって、望月によれば、この予想を解くには、従来の数論幾何学を超えた枠組みが必要だった。研究初期の望月は、数論幾何学の本質は、特定の数論幾何学環境／設定に存在する特定のパターンにあるのではなく、むしろ、これらの特定のパターンのダイナミクスを支配する抽象的な組合せ論的パターンと、これらのパターンを記述する組合せ論的アルゴリズムにあるという哲学を唱えた。この考えに基づく幾何学は「宇宙際幾何学」と呼ばれる。[ 3 ]

言い換えれば、ホッジ＝アラケロフ理論（スキーム理論のサブセット）をディオファントス幾何学に適用する際には、技術的な困難や障害が生じますが、これらは、スキーム理論とは異なる新しいタイプの数学的変形、すなわち非スキーム理論的変形を構築することで克服されます。

**１３２人目の素数さん** · 2026/01/12(月) 10:17:10.01

>>126
用語は、大事だよ連想ゲームでは特に
用語は、大事だよ本のネーミングでも特に

「宇宙と宇宙をつなぐ」とかいいネーミングだった
だから、本がバカ売れしたｗ　（＾＾

**１３２人目の素数さん** · 2026/01/12(月) 10:43:14.22

君が数学を理解できないのは用語のせいじゃない

**１３２人目の素数さん** · 2026/01/12(月) 12:02:00.01

>>129
>君が数学を理解できないのは用語のせいじゃない

うむ
(google検索)
理解とは何か？
＜AI による概要＞
「理解」とは、物事の仕組みや意味、背景などを論理的に把握し、自分なりに解釈して納得することで、単なる知識の暗記（知っている状態）を超えて、自分の言葉で説明できたり、応用できたり、他者の視点に立ってその複雑な一面を受け入れられる状態を指します。それは、情報と情報、あるいは自分と対象との間に「距離を縮める」ことであり、その物事の位置づけや関連性を明確に捉えるプロセスです。
理解の主な要素
論理的な把握: 物事の道理や筋道を正しく理解し、意味を明確にする段階です。
文脈と全体像の把握: 個別の情報だけでなく、その背後にある意図や目的、関係性（位置づけ）まで含めて捉えます。
応用力と再現性: 理解した知識を使って問題を解いたり、別の状況に応用したりできるようになること（「できる」状態）です。
他者の視点を受け入れる: 他者の考えや立場を、自分のものとして捉え、その複雑さも含めて認め、共感するプロセスでもあります。
知識との違い
知識: 事実や情報を覚えていること（例：公式を暗記する）。
理解: その知識がなぜそうなるのか（理由）を説明できたり、異なる状況で使えること（例：公式を使って問題を解く）。
理解を深めるには
比較と関連付け: 「同じ」と「違う」を区別し、既存の情報と比較して位置づけを明確にする。
説明してみる: 自分の言葉で説明してみることで、理解が深まります。

応用問題を解く: 実際に使いこなせるかを試すことで、理解が確実になります。
つまり、理解とは、単に「知っている」状態から、「わかった」「なぜそうなるのかがわかる」「使える」という、より深い段階への移行であり、それは自己成長にも繋がる能動的なプロセスと言えます。

https://ja.wikipedia.org/wiki/%E7%90%86%E8%A7%A3
理解（英語:Understanding）とは
物事の道理を悟り、知ること[1]。また意味をのみこむこと
（自分以外の人の）気持ちや立場をわかること

概説
認知心理学も研究している。記憶や学習などの概念と比較すると十分に解明されていない[要出典]。 [誰?]「理解は独立した現象ではなく、記憶や学習と密接な関係にあると考えられる。[要出典]」

理解には段階がある[要出典]
例として文章理解について記す。文章を理解するには、まず、書かれている文章の言語を理解できなくてはならない。英語なら英語、日本語なら日本語を、である。次に、書かれている一つ一つの文章の意味を正しく理解できる必要もある。最後に、文章全体の構造を把握することも必要である。物語ならばストーリー、取扱説明書ならば手順全体を把握するなどである。さらに、取扱説明書では、実際にその手順を正しく行えるかどうかということが関係する。また、物語ならば登場人物の微妙な心理の変化などを把握できているかどうかということが関係して来る

比喩的理解
ある概念をよく似た他の概念にたとえて理解すること

分析的理解
複雑な概念を分解し、より単純な概念の集合体に還元して理解すること

人工知能
人工知能の研究に用いられる理解についての理論として、ロジャー・シャンクによってCD理論が提唱された

**１３２人目の素数さん** · 2026/01/12(月) 12:17:09.79

>>130 補足

数学では
”理解には段階がある”が当てはまるだろう

プロ数学者の御大が中野研で
たしか選択公理だったかで
（私は選択公理が）「分かっていない・・」
といったところ
中野先生が「いや、君は分かっている」
と言われたとか

囲碁に当てはめると
初歩は、囲碁のルールを覚え理解する
初級者は、対戦ができるようになり終局まで打てるようになる
アマ初段は、だいたい千局くらい打つと到達できるという
アマ高段者は、人それぞれ
プロは、いまは院生修行をするのが普通（数学修士か博士課程か）
プロになってからが、稼げるようになるのが大変（数学アカデミックポストゲット）

さて、数学では「じゃあ、一局打ちますか？」ができない*)ｗ　（＾＾
まあ、5ch便所板で下記中世イタリアのように数学問題の出しっこもね
ネット検索の能力で勝負が決まるだろうしいまどきはAIもある
回答者の能力そのものではない

*)数学問題の出しっこというのがある
昔イタリアで代数方程式の出し合いがあったらしい

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B8%E3%82%A7%E3%83%AD%E3%83%A9%E3%83%A2%E3%83%BB%E3%82%AB%E3%83%AB%E3%83%80%E3%83%BC%E3%83%8E
ジェロラモ・カルダーノ（Gerolamo Cardano、1501年9月24日 - 1576年9月21日[1][2]）は、16世紀のイタリアの人物。ジローラモ・カルダーノ (Girolamo Cardano) との表記もある。

ミラノ公国のパヴィアでファツィオ・カルダーノ（英語版）の庶子として生まれ[3]、ローマで没した。一般に代数学の三次方程式におけるカルダーノの公式を提示した数学者として知られている[3][4]。本業は医者であり、世界で初めてチフスの臨床記録を著した[2]。また、占星術師、賭博師、哲学者でもあった。

数学の業績
セント・アンドルーズ大学にあるカルダーノのポートレート
カルダーノは今日では代数学の業績で最も良く知られている。1545年に著した本『偉大なる術（アルス・マグナ）』(ラテン語: Ars magna de Rebus Algebraicis) の中で三次方程式の解の公式、四次方程式の解法を示した。三次方程式の解の公式についてはいささか奇妙な歴史があり、『偉大なる術』にも紹介されている。
当時、習慣的に行われていた数学競技は、問題を出し合っては解くのを競うものであったが、あるとき三次方程式の問題が出された。この頃、三次方程式はまだ完全に解かれておらず、その回答能力で勝負が決まる切り札となる問題であった。これに参加していた一方の人物は、その師よりすでに三次方程式の解の公式を伝授されて無敗を誇っていたフィオルという人で、もう一方はニコロ・フォンタナ・タルタリアという人であった。タルタリアはその時点ではまだ解法を得ていなかったが、彼は幸い自らの力でこれを導き、おまけに彼が提示した巧妙な三次方程式は相手には解かれなかった。この公式はタルタリアが長らく秘蔵していたが、カルダーノが絶対公表しないと誓いを立てたのでタルタリアはカルダーノに公式を教えた。しかし最初に述べたようにカルダーノは自著でこれを公表したためにタルタリアは怒り、カルダーノと長い論争をすることになる。また、四次方程式の解についてはカルダーノの弟子であったルドヴィコ・フェラーリが解いた

**１３２人目の素数さん** · 2026/01/12(月) 12:26:33.93

そんなツマランこと言ってる暇あったら表現可能性の定義でも確認したら？
定義の確認は数学の基本だよ　君が数学を理解できないのは基本を怠るからだよ

**１３２人目の素数さん** · 2026/01/12(月) 13:40:19.90

>>124
意味と気持を理解してないからそうなるんでしょうね

**１３２人目の素数さん** · 2026/01/12(月) 14:16:42.77

>>132
ご苦労様です

>定義の確認は数学の基本だよ　君が数学を理解できないのは基本を怠るからだよ

１）まず、君の数学理解をここで証明してみなさいｗ　（＾＾
２）できないよね。私も君に私の理解度を簡単に示すことは困難だし無駄な努力や作業をするつもりない
３）とすると「君が数学を理解できない」のあなたの陳述は
　ショルツ氏のIUT不成立の主張と同様
　根拠レスの主張である■QED

>意味と気持を理解してないからそうなるんでしょうね

雪江明彦先生下記「用語は難しい. きっとすべての人を満足させることはできないだろう」
を百回音読してね　（＾＾
で、ザコはやっぱきちんと大勢の数学者が使う専門用語を使うべし
少なくとも、院試に合格するまではｗ　（＾＾

追記
層もソウ
昔々なにかのネット記事で、数学会でＤＲ生だったかが秋月先生の前に立って
「用語層は、誤訳です」と面と向かっていったとかの逸話を読んだｗ　（＾＾

(参考)
https://www.math.kyoto-u.ac.jp/~yukie/
雪江明彦のホームページ (Home page of Akihiko Yukie)
代数の教科書について
https://www.math.kyoto-u.ac.jp/~yukie/yougo.pdf
教科書の用語について (2012/7/7更新)
私の教科書の用語について代数の教科書を書いたとき，用語については大変迷った. 自分なりの結論をここで書いておく.

1.「単元群」か「単数群」か「乗法群」か

2. 「可除環」か「斜体」か

3. 「商体」か「分数体」か?
Q はZの「商体」だろうか「分数体」だろうか? 論理的には「分数体」にすべきということは理解できる. しかし現時点では日本では「商体」と呼ぶ人が圧倒的に多いのではないだろうか? さて，なぜ「分数体」と呼ぶのが論理的なのか? それはこれを商体といったらA/I (I はイデアル)は剰余環と呼ぶことになる. それならG/N (N は正規部分群)は剰余群ということになる. それでは集合X を同値関係で割ったX/ ∼ は? これは「商空間」. だから「剰余群，剰余環，商体」とすると，本当はここで破綻する. だから論理的には「商空間，商群，商環，分数体」と呼ぶのが正解で「松阪代数系入門」でもそう呼んでいる. でもあえて「商体」を使うことにした. それは逆写像と逆像におなじf－1という記号を使って論理的にはおかしいけれど習慣となってしまってどうしようもないというように，論理的に正しくなくてもそれが定着しているならそれにしたがったほうがよいと判断したから.
用語は難しい. きっとすべての人を満足させることはできないだろう.

**１３２人目の素数さん** · 2026/01/12(月) 14:37:28.73

>>134 補足
>昔々なにかのネット記事で、数学会でＤＲ生だったかが秋月先生の前に立って
>「用語層は、誤訳です」と面と向かっていったとかの逸話を読んだｗ　（＾＾

・層 Sheaf (mathematics) 下記の機械訳では束（数学）だが、当時 ”束 (束論)”がすでにあったのです
・2026年のいまから見れば、”束 (束論)”は別の用語にして層 ←→ Sheaf (mathematics) とすべきところ
・秋月先生もいまのように”層”がハビコるとは想像していなかったのでしょうね。ご苦労様ですｗ　（＾＾
・でも茎 (層)、芽 (germ) とは整合しなくなったのです

(参考)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
(google訳)
束（数学）
数学において、層（複数形：sheaves）は、位相空間の開集合に付随し、それらに関して局所的に定義されたデータ（集合、アーベル群、環など）を体系的に追跡するためのツールである。たとえば、各開集合について、データはその開集合上で定義された連続関数の環となり得る。このようなデータは、より小さな開集合に制限できるという点で適切に動作し、また、開集合に割り当てられたデータは、元の開集合を覆うより小さな開集合の集合に割り当てられた、互換性のあるデータのすべての集合と等価である（直感的には、すべてのデータは、その構成データの合計である）。

https://ja.wikipedia.org/wiki/%E6%9D%9F_(%E6%9D%9F%E8%AB%96)
束 (束論)

https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
より形式的に、大域から局所への移行のみを考える概念は前層（ぜんそう、presheaf）とよばれる[3]。
出典
3^ 層という訳語の由来は仏語 Faisceau のあとの方の 'ソー' をとったというのが一つの根拠である。Faisceau の元来の意味は束 (タバ) である。'群の束' (X 上に配置された) の意である。ところで、これを横に見ると地層のような層になる。そこで、垂直を水平におきかえて層と訳してみたのである。この訳がよいか、悪いか、わが国で定着しているかどうか知らないが、この訳語の発案者として、その由来を記しておく。(秋月 1970, p. 176)

層の茎
→詳細は「茎 (層)」を参照
層 F{\displaystyle {\mathcal {F}}} の茎 (stalk)
Fx{\displaystyle {\mathcal {F}}_{x}} は、点 x ∈ X の「まわり」の層の性質を捕らえる。ここに、「まわり」の意味は、概念的に言うと、その点のいくらでも小さい近傍を見るということであるが、もちろん、単独の近傍では十分小さくないので、ある種の極限をとらなければならない。

自然な射 F(U) → Fx は F(U) の切断 s をその芽 (germ) へ写す。これは芽の通常の定義を一般化する。

例
連続関数の層
点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる

**１３２人目の素数さん** · 2026/01/12(月) 14:48:16.18

>>134-135
https://rio2016.5ch.net/test/read.cgi/math/1767004988/497-500

**１３２人目の素数さん** · 2026/01/12(月) 15:09:17.74

>>134
>３）とすると「君が数学を理解できない」のあなたの陳述は
>　ショルツ氏のIUT不成立の主張と同様
>　根拠レスの主張である■QED
根拠？　あるよ？　君、「有利コーシー列の収束値で実数を定義する」って言ってたじゃん　まったく理解できてないじゃん　だって実数が未定義なら有利コーシー列は収束しないんだから　本末転倒だよそれ

**１３２人目の素数さん** · 2026/01/12(月) 15:29:04.38

https://rio2016.5ch.net/test/read.cgi/math/1767004988/501-503

**１３２人目の素数さん** · 2026/01/12(月) 18:28:49.40

>>136,138
確かに

**１３２人目の素数さん** · 2026/01/12(月) 18:46:24.73

ヤバいよヤバいよ（出川哲朗）
https://rio2016.5ch.net/test/read.cgi/math/1767004988/504-508

**１３２人目の素数さん** · 2026/01/12(月) 19:48:50.98

市長の辞職に伴う前橋市長選挙は１２日投票が行われ、
小川晶さん（４３）が２回目の当選を確実にしました。

**１３２人目の素数さん** · 2026/01/12(月) 20:30:17.60

>>141
>市長の辞職に伴う前橋市長選挙は１２日投票が行われ、
>小川晶さん（４３）が２回目の当選を確実にしました

御大か
選挙速報ありがとうございます。（＾＾

https://www.yomiuri.co.jp/election/20260112-GYT1T00188/
ホテル問題に伴う前橋市長選、小川氏の再選確実に…「反省してしっかり働けと託された」
2026/01/12 読売新聞
　既婚の男性職員とホテルに複数回行っていた問題で市長が辞職したことに伴う前橋市長選は１２日行われ、前市長の小川晶氏（４３）（無）の再選が確実となった。投票率は４７・３２％（前回３９・３９％）だった。

　昨年１１月に辞職した小川氏による市政継続の是非が主な争点となった。小川氏は小中学校の給食費無償化など子ども・子育て施策の実績を訴えて支持を広げた。

　当選確実の一報を受け、小川氏は前橋市内のホテルで、支援者らを前に「多くの皆さんから、反省してしっかり働けと託してもらったと思う」と述べた。

**１３２人目の素数さん** · 2026/01/12(月) 20:52:36.31

>>137
>根拠？　あるよ？　君、「有利コーシー列の収束値で実数を定義する」って言ってたじゃん　まったく理解できてないじゃん　だって実数が未定義なら有利コーシー列は収束しないんだから　本末転倒だよそれ

分ってないね
カントールが、フーリエ級数の収束問題を考えるとき
「やっぱ ”実数を集合論的にきっちり定義して、そして可算と非可算とを分ける。
　そして ”実数の連続”を含む集合論を作ろうぜ！」と考えたわけだ

だがしかし、カントールがそれをやる前の多くの数学者たちはどうか？
たとえばリーマン、ガウス、ラグランジュ、オイラー、ライプニッツ、ニュートン・・・
たちの数学が全否定されるべきものかどうか？だね

話は真逆で、リーマン、ガウス、ラグランジュ、オイラー、ライプニッツ、ニュートン・・・たちの成果
があって、それをもっと厳密な基礎の上に数学理論を築こうとしたわけだよカントールは

つまりリーマン、ガウス、ラグランジュ、オイラー、ライプニッツ、ニュートン・・・らの成果を
否定するのではなくより発展させるための集合論
それがカントールが必要としたものだったというわけさｗ　（＾＾

プロ数学者で囲碁7段の人が、中学時代に高校数学が終わったら
これを読むようと（下記）点集合論入門吉田洋一培風館を進められたという
きっと、εδやコーシー列の実数構成程度は中学生で終わったのだろう
私は、高校でεδを独学したから「上には上がいる」と感心したものだ　（＾＾

(参考)＜アマゾン＞
点集合論入門 (1960年) (新数学シリーズ〈第17〉)
吉田洋一培風館
レビュー
Enriques_Castelnuovo
5つ星のうち5.0 ｎ次元ユークリッド空間から位相空間へ至る道は　具体から抽象へ向かう道です
2019年3月10日に日本でレビュー済み
Amazonで購入
本書は
吉田洋一（1898－1989）
『点集合論入門』（培風館 1960）
です。
本書初版から半世紀以上経て
「点集合論」というコトバじたい
死語（？）になってしまいました。
今風に申し上げるなら
本書のタイトルは
「位相入門」
というところでしょう。

**１３２人目の素数さん** · 2026/01/12(月) 21:12:38.24

>>143
じゃあカントールよりずっと後の時代の君がまったく厳密じゃない定義持ち出した時点で落第やん
なんの言い訳にもなってない

**１３２人目の素数さん** · 2026/01/12(月) 21:30:45.83

てか実数の存在を仮定しないと有理コーシー列は一般に収束しないんだから
厳密じゃないんじゃなくそもそも論理的におかしいんだよ、君の定義は

**１３２人目の素数さん** · 2026/01/12(月) 21:38:26.10

>>145
ですね

**１３２人目の素数さん** · 2026/01/12(月) 22:18:52.31

>>144-146
論点ずらしもいいところだな

>じゃあカントールよりずっと後の時代の君がまったく厳密じゃない定義持ち出した時点で落第やん
>なんの言い訳にもなってない
>てか実数の存在を仮定しないと有理コーシー列は一般に収束しないんだから
>厳密じゃないんじゃなくそもそも論理的におかしいんだよ、君の定義は

いま議論しているのは、望月IUTの話でだよ
1）望月IUTが沢山の独自数学定義を導入した
　これらが、矛盾せず厳密な数学として成り立つか否か？
2）なのでいま Leanを使おうとしている
　その結果を待てばいいんだよ
3）そしてリーマン、ガウス、ラグランジュ、オイラー、ライプニッツ、ニュートン・・・らの結果が
　多少厳密さを欠いても認められた如く
　多少完璧でなくとも認められる可能性も大いにあるってことだよ
　Lean検証の過程でギャップを埋められればね　（＾＾

慌てる乞食は貰いが少ない
しばし待て
乞うご期待

**１３２人目の素数さん** · 2026/01/12(月) 22:19:03.34

１万票以上差がついた

**１３２人目の素数さん** · 2026/01/12(月) 22:24:02.36

>>147
>>137で自分から振ってきたくせにｗ

**１３２人目の素数さん** · 2026/01/12(月) 22:24:29.88

>>134

**１３２人目の素数さん** · 2026/01/12(月) 22:48:08.57

>>149
彼には自分が何を言っているか理解できていないようです

**１３２人目の素数さん** · 2026/01/12(月) 22:51:36.49

もう新年のブログ読む限り Lean の検証はやらんやろ
やらない理由の正当化にご執心
定年まで逃げ切る気満々

**１３２人目の素数さん** · 2026/01/12(月) 23:10:12.02

>>149-152
>もう新年のブログ読む限り Lean の検証はやらんやろ
>やらない理由の正当化にご執心

ヒキコモリ数学基礎論くんか
ご苦労さまです
まあ、しょせん最初からバイアスのかかった目で
みて結論だしているんだ
本来の数学とはほど遠いｗ　（＾＾

**１３２人目の素数さん** · 2026/01/12(月) 23:12:12.50

>しょせん最初からバイアスのかかった目でみて結論だしている
それが君

**１３２人目の素数さん** · 2026/01/12(月) 23:20:30.98

>>154
まさにその通りです

**１３２人目の素数さん** · 2026/01/12(月) 23:24:31.74

>>148
>１万票以上差がついた

御大か
ご苦労さまです
2024年兵庫県知事選挙と対比すると
面白い

2024年兵庫県知事選挙では、立花孝志氏が
乱入して自分の当選より斎藤元彦氏の応援演説をした
聞くところによると、神戸のおばちゃんたちは立花氏のいうこと（陰謀論）を信じているらしい

あと、対抗馬の票が割れたらしい（下記）
もっともそれも含めての選挙結果でそれが選挙ですけど・・ｗ　（＾＾

(参考)
https://ja.wikipedia.org/wiki/2024%E5%B9%B4%E5%85%B5%E5%BA%AB%E7%9C%8C%E7%9F%A5%E4%BA%8B%E9%81%B8%E6%8C%99
2024年兵庫県知事選挙
概要
前職の斎藤元彦（1期目）が兵庫県庁内部告発文書問題により兵庫県議会定例会初日の2024年9月19日に全会一致で不信任決議を受け[2]、9月30日に失職したことにより実施された選挙である[3]。

不信任決議を受け、失職の上で出直し選挙を選択した知事は、2002年の田中康夫長野県知事、2003年の大田正徳島県知事に次いで3人目[4]。

立候補者
斎藤元彦
（さいとうもとひこ） 47 無所属前前兵庫県知事
元総務省理事官 https://saito-motohiko.jp/

稲村和美
（いなむらかずみ） 52 無所属[注 1][12] 新前尼崎市長 https://www.tomonihyogo.jp/
https://inamura-kazumi.com/

立花孝志
（たちばなたかし） 57 無所属新 NHKから国民を守る党党首
元参議院議員 https://x.com/tachibanat

候補者別得票数等
順位候補者名年齢所属党派新旧別得票数得票率推薦・支持偏差値
1 斎藤元彦 47 無所属前 1,113,911 45.21％　 67.0
2 稲村和美 52 無所属新 976,637 39.64％　 64.0
3 清水貴之 50 無所属新 258,388 10.49％　 47.9

**１３２人目の素数さん** · 2026/01/12(月) 23:36:25.23

>>136

https://rio2016.5ch.net/test/read.cgi/math/1767004988/497-500
(引用開始)
さて、AIに尋ねたところ
「同じ集合論（ZFCとか通常の基礎集合論）の枠組みの中で、
ホッジ劇場を「別の普通の集合」として扱うこと自体は、
形式的には矛盾しません。」
とのこと

問題はそこではなく、ScholzeとStix（および大多数の数論幾何学者）が
「ホッジ劇場は楕円曲線E（up to isomorphism）から
一意的に（ほぼcanonicalに）決まる。」
と主張するのに対して、望月新一（とその仲間たち）は
「異なるarithmetic holomorphic structure（算術的ホロモルフィック構造）を持つ
区別可能なホッジ劇場が多数ある」
と主張している点
(引用終り)

いやだから
それがAIの限界なんだよ
つまり、両論併記です

でな
Scholzeのおっさんの論を AIでもLEANにでもかけて
Scholzeのおっさんの論が正しいと論文にして川上量生に持って行きなよ
そしたらなんと言われるか？

副主査の加藤文元氏は「Scholzeのおっさんの論が正しいとしても simplification が入っているでしょ？
simplificationした論についてなにか不具合がおきても simplificationしない元論文で同じことになる
という論証がないよ」
とダメだしされて終わりさｗｗ　（＾＾

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。

**１３２人目の素数さん** · 2026/01/12(月) 23:49:07.35

>>140
>ヤバいよヤバいよ（出川哲朗）
>https://rio2016.5ch.net/test/read.cgi/math/1767004988/504-508
(引用開始)
AI曰く
「鍵となる図式（特にCorollary 3.12周辺のΘ-link周りの射の可換図式など）の具体的な計算・追跡」を、
第三者が実際に1つでも成功させた例が、2012年の論文公開から14年近く経った
2026年現在でもほぼゼロ（望月周辺の内部検証を除く）という事実は、
数学史的に見てもSTAP細胞事件に匹敵する（あるいは超える）レベルの「ヤバさ」を示しています。
続き
なぜこれが「致命的」なのか？（数学的観点から）
数学の証明の正当性は、最終的に以下のどれかで決まるはずです：
１．論理的推論の鎖が途切れていない（人間が追える形でもいい）
２．具体的な計算・例で少なくとも1回は動くことを示せる（特に「不等式が本当に非自明に得られる」部分）
３．形式検証（Lean/Coqなど）で機械的に確認
IUTの場合、現状はどれもほぼ達成されていません。特に2番目が致命的です。
(引用終り)

だったらさｗｗ
上記を AIに厳密な数学論証として論文にまとめてもらってさｗｗ
下記の川上量生氏に叩き付けなよ「読め」！と
副主査の加藤文元氏が読むだろうけど
それで
”「鍵となる図式（特にCorollary 3.12周辺のΘ-link周りの射の可換図式など）の具体的な計算・追跡」を、
第三者が実際に1つでも成功させた例”
は、下記 ”2025年5月、中国の若手数学者の周忠鵬”がありますがなｗｗ
これはまだ査読出版されていないが
周忠鵬のDR論文になるというから
順調ならばそのうち査読が通って出版されるだろう

慌てる乞食は貰いが少ない
しばし待て
乞うご期待ｗ　（＾＾

(参考)
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理論から得られると発表した[83][84][85]。

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。

**１３２人目の素数さん** · 2026/01/13(火) 00:10:14.68

また待て待て詐欺かｗ

**１３２人目の素数さん** · 2026/01/13(火) 05:48:25.98

>>158
>”「鍵となる図式（特にCorollary 3.12周辺のΘ-link周りの射の可換図式など）の具体的な計算・追跡」を、
>第三者が実際に1つでも成功させた例”は、
> ”2025年5月、中国の若手数学者の周忠鵬”がありますがな

周忠鵬がやってないことを、やったと大嘘
素人は誰が何をやったかも正確に理解できず
自分勝手に妄想して大嘘つく　完全な精神病

>慌てる乞食は貰いが少ない
>しばし待て乞うご期待

慌ててるのは国粋●違いの君
待っても無駄　期待しても無駄
諦めなさい　（＾＾

**１３２人目の素数さん** · 2026/01/13(火) 07:40:12.69

>>159-160
ホイヨ

https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
grokipedia
Inter-universal Teichmüller theory
(google訳)
宇宙際タイヒミュラー理論

出版と受容

約7年半の査読を経て、4つのIUT論文は2021年3月5日にヨーロッパ数学会のPRIMS特別号に正式に掲載されました。[14]査読プロセスでは数論幾何学の専門家による精査が行われ、型破りなアプローチにもかかわらず、論文の数学的厳密性が確認されました。[15]

IUTは当初、長年の予想を解決できる可能性を秘めているとの熱狂的な反応を示したが、理論の膨大な長さと、ほとんどの数論学者に馴染みのない新しい用語や枠組みの導入により、検証は困難を極めた。[16]この結果、理論の理解しやすさや中核的な議論の妥当性について、コミュニティ内で議論が継続され、一部の数学者は、理論を理解するために必要な「異質な」概念の転換に困惑を表明した。

応用と影響
ABC予想の証明

最近の動向
検証とワークショップ

022年から2023年にかけて、IUTの概念をより分かりやすい言葉で言い換え、解説することを目的とした専用の「翻訳」プロジェクトが日本とヨーロッパの両方で出現した。日本では、星雄一郎氏が「宇宙際タイヒミュラー理論入門」などの日本語による調査研究と入門資料を主導し、RIMSチャネルを通じて理論の抽象的な枠組みを地元の聴衆に伝えた[31] 。ヨーロッパでは、ベンジャミン・コラス氏とエマニュエル・ルパージュ氏がオンラインセミナーシリーズをコーディネートした。これには、2020-2021年度の「宇宙際タイヒミュラー理論の散歩道」の延長線上にあるものも含まれ、フランス、イギリスなどからの参加者が参加し、共同ノートやビデオ講義を通じてホッジシアターなどの重要な構成概念を解明した[31] 。
画期的な出来事の一つは、2025年3月17日から20日まで京都大学で開催された宇宙際タイヒミュラー理論サミットであり、星雄一郎、望月真一、ベンジャミン・コラス、エマニュエル・ルパージュが主催した。このハイブリッドワークショップは教育的な解説に重点が置かれ、ヴォイチェフ・ポロフスキや南出新などの講演者によるIUT論文IからVIの本質的な論理構造に関する講演に加え、望月による歴史的概観や質疑応答セッションでディオファントス幾何学との関連性が明らかにされた。[32]国際的な研究者を含む約50名の参加者が出席し、より深い理解と共同検証を促進した。[33]

拡張機能と新しい結果

2025年には、いくつかのarXivプレプリントで、有理数に対するIUTの修正版を適用し、特に一般化されたABC設定において、新たなディオファントス予想の結果が得られました。

2025年には、IUT構成概念の部分的な簡略化と再解釈が独立した研究によってなされました。キルティ・ジョシによる2025年5月の望月-ショルツェ-スティックス論争に関する最終報告書は、アナベロモルフィなどの主要なIUT概念を算術的タイヒミュラー空間内で再定式化し、これらの調整によって従来の矛盾を解決し、ABC予想への現実的な道筋を示すと主張しています。この研究は、ジョシの以前のプレプリントを基にしており、特定のIUTメカニズムに対するよりアクセスしやすい枠組みを提供していますが、依然として議論が続いています。[36]
参考文献

**１３２人目の素数さん** · 2026/01/13(火) 07:45:50.51

>>161 補足

要するに、議論は続いていて
そして IUTは前進している
コジキは慌てるなってこと

**１３２人目の素数さん** · 2026/01/13(火) 08:01:36.98

>>161 補足

Grokipediaも一つの参考として　（＾＾

https://ja.wikipedia.org/wiki/Grokipedia
Grokipedia（グロキペディア[1]、グロッキペディア[2]）は、xAIが開発し、2025年10月27日に公開されたオンライン百科事典。2025年10月27日夕方までに、88万5000件以上の記事が存在している[1]。Wikipediaと異なり読者が記事を直接編集することはできないが、読者はGrokipediaにログインしてポップアップフォームを介して誤った情報を報告することで編集を提案できる。同日、イーロン・マスクはXで「Grokipedia.comは完全にオープンソースなので、誰でも無料で何にでも使用できる」と述べた。Wikipediaに帰属する記事にはクリエイティブ・コモンズの表示-継承ライセンスが適用されるが、他の記事のライセンスは曖昧である。

背景
→「ウィキペディアへの批判」を参照

マスクはウィキペディアが「極左活動家に支配されている」としてその運営にかねてより批判的な見解を述べていた[9]。

概要
かねてからWikipediaが中立的ではないと批判し、代替サービスの必要性を主張してきたイーロン・マスクによってプロジェクトが主導された。Grokipediaの記事は、Grokによって生成及びファクトチェックされている[1][2][10][11]。

コンテンツ
Grokipediaの記事は、大規模言語モデルのGrokが記事のファクトチェックと生成を行っている[17]。ログインユーザーは記事の誤りを報告できるが、直接編集することはできない[18]。ウィキペディアの記事とほぼ同一内容の記事もあるが、Grokipediaの引用形式は異なっている[19][20]。Forbesは、PlayStation 5、Lamborghini、AMDなどの記事は、ウィキペディアの記事をコピーして作られたものであることを指摘した[21]。ウィキペディアの記事を元に生成された記事はクリエイティブ・コモンズの表示-継承ライセンスを継承しているが、他の記事は「X Community License」が適用されている[22]。

**１３２人目の素数さん** · 2026/01/13(火) 08:11:27.08

>このハイブリッドワークショップは教育的な解説に重点が置かれ
IUT論文に疑義が呈されているのにそれを放置して教育的解説に重点を置くのはおかしい
本来疑義の解消に重点が置かれるべき

**１３２人目の素数さん** · 2026/01/13(火) 08:16:42.55

>>161　>ホイヨ　（無駄コピペ）
>>162　>議論は続いていてIUTは前進している　コジキは慌てるな

誤り

・望月新一のIUに関する議論は終わっている
・Joshiの試みはIUを使わない算術的タイヒミュラー空間によるもので、しかもそれすらまだ認められていない

望月新一のIUについては待っても無駄
系3.12については、望月新一以外の第三者による証明が待たれる
（もちろん証明されれば、第三者の成果　望月新一は系3.12という予想を提示しただけ）

**１３２人目の素数さん** · 2026/01/13(火) 08:19:05.61

望月新一がJoshiの試みを認めたがらないのは、当然といえば当然

もしJoshiの試みが成功すると、望月新一が提案した予想「系3.12」は
望月新一ではなくJoshiが証明した、ということになるから（笑）

ただ、それもうまくいくかどうか疑問
つまり、系3.12自体、成立するかどうかあやしい

**１３２人目の素数さん** · 2026/01/13(火) 08:22:15.78

>マスクはウィキペディアが「極左活動家に支配されている」として
>その運営にかねてより批判的な見解を述べていた。

マスクは金による権力で人民を支配する極右活動家だけどね（笑）

ちなみにGrokは望月新一のIUについて
「定義が曖昧すぎて第三者が具体事例でも検証できない点でSTAPなみにヤバい」
といってるとか（笑）

**１３２人目の素数さん** · 2026/01/13(火) 08:26:48.45

>IUT論文に疑義が呈されているのに
>それを放置して教育的解説に重点を置くのはおかしい
>本来疑義の解消に重点が置かれるべき

そもそも肝心な定義が曖昧なものを
教育したり解説したりできるわけがない
LEANによる定式化もできないだろう

IUは「数学界のSTAP細胞」になりつつある
RIMSは「数学界の理研」になりつつある

**１３２人目の素数さん** · 2026/01/13(火) 10:53:45.99

>>164-168

うむ
１）話は飛ぶがオリジナル(original)という言葉がある
　数学徒は origin＝原点で ”origin になる”＝原点・起点になる
（関西ダジャレで ”origin (に) al(なる)”と覚えようｗ）
　つまり、自分の考えた理論が起点になって数学が発展するような理論をさす
２）IUTはオリジナル的ではあるが
　”起点になって数学が発展する”ためには布教も大事なわけです
３）”ワークショップは教育的な解説に重点が置かれ”>>161 は布教の意味で重要です
　”起点になって数学の発展に寄与する”ためにもね

そして ”起点になって数学の発展に寄与した”！ことの評価の結果において
「じゃあなんか賞を IUTに出してもいいかな・・」となります

なので、やっぱり
しばし待て
乞うご期待ですね

　
　

https://gogen-ejd.info/original/
語源英和辞典
original 意味と語源は？覚え方は？【英語】
目次
○ この単語の意味は？
○ この単語の覚え方と語源は？
○ この単語と同根の英語
○ この単語の参照先は？

この単語の意味は？
最初の、初めての、新たな
独創的な、創造的な
オリジナル、原型

この単語の覚え方と語源は？
「始まり｜origo｜の｜-alis｜、源となる」が語源から分かる最適な覚え方。

中期英語 original｜最初の｜⇒ 古期フランス語 original｜最初の｜⇒ 後期ラテン語 originalis｜最初の｜⇒ ラテン語 origo, originis｜始まり、源、誕生｜＋-alis｜～の｜⇒ ラテン語 orior｜生まれる、現れる｜＋-igo｜名詞｜⇒ her-｜湧き出る｜が詳細な語源。英語教材

**１３２人目の素数さん** · 2026/01/13(火) 11:12:22.31

>>169
>話は飛ぶが
逃げたか

>IUTはオリジナル
>”ワークショップ”（教育的な解説に重点）は布教の意味で重要
> (布教の) 結果「賞を IUTに出してもいいかな・・」となる
何も結果を出さずに賞だけ欲しがる変質者

>しばし待て　乞うご期待
何もせぬ乞食がいくら待っても何も出ないよ

**１３２人目の素数さん** · 2026/01/13(火) 11:46:30.11

【速報】日経平均株価一時1800円以上値上がり初めて5万3000円の大台を突破衆院解散報道受け

**１３２人目の素数さん** · 2026/01/13(火) 13:09:07.73

>>165-168
>望月新一がJoshiの試みを認めたがらないのは、当然といえば当然
>もしJoshiの試みが成功すると、望月新一が提案した予想「系3.12」は
>望月新一ではなくJoshiが証明した、ということになるから（笑）

うむ
１）数学では短期にはそういう人間的な要素（好き嫌いとか）が重要になる
２）しかし、長期には人間的な要素（好き嫌いとか）は消えて
　数学的な評価と要素のみになる

ある有限だが十分長い時間の後に
”望月新一ではなくJoshiが証明した、ということになる”
ならば、それは数学の必然であって仕方ないことだよ

**１３２人目の素数さん** · 2026/01/13(火) 13:12:46.56

取らぬ狸の

**１３２人目の素数さん** · 2026/01/13(火) 13:22:49.79

>>171
>【速報】日経平均株価一時1800円以上値上がり初めて5万3000円の大台を突破衆院解散報道受け

これは御大か
巡回ありがとうございます。（＾＾
景気のいい話
ご同慶の至りです

(参考)
https://www.nikkei.com/article/DGXZQOFL132Z20T10C26A1000000/
東証後場寄り　日経平均は上値重い　トヨタは上げ幅拡大
国内株概況
2026年1月13日 12:55
13日後場寄り付きの東京株式市場で日経平均株価の上値は重い。前週末比1600円ほど高い5万3500円台前半で推移している。朝方に付けた5万3800円台をきょうここまでの高値に、高市早苗首相が衆議院を解散する検討に入ったとの観測を受けた上値追いには一服感が出ている。もっとも海外勢を中心とした投資家の強気姿勢は崩れておらず、大きく上げ幅を縮小する展開にはなっていない。円安・ドル高の進行に伴ってトヨタ…

https://www.nikkei.com/markets/stocks/
川崎重工の株価最高値　衆院解散観測で防衛力増強加速の思惑
注目株概況
11:54
会員限定記事

日経平均午前1600円高　高市トレード「第2幕」、川重・IHI最高値
スクランブル・フラッシュ国内株概況
11:53更新
会員限定記事

**１３２人目の素数さん** · 2026/01/13(火) 13:28:56.81

>>望月新一がJoshiの試みを認めたがらないのは、当然といえば当然
>>もしJoshiの試みが成功すると、望月新一が提案した予想「系3.12」は
>>望月新一ではなくJoshiが証明した、ということになるから

>数学では短期にはそういう人間的な要素（好き嫌いとか）が重要になる
>しかし、長期には人間的な要素（好き嫌いとか）は消えて
>数学的な評価と要素のみになる

そもそも人間的な要素とか好き嫌いとかの話は全くしてないよ
数学的にJoshiの方法は望月新一のIU使ってないから
望月新一の成果には全然ならないってだけのこと

>”望月新一ではなくJoshiが証明した、ということになる”
>ならば、それは数学の必然であって仕方ないこと

今現在において、系3.12は望月新一の予想にすぎず
まったく証明されたことになってないというのも
数学の必然であって仕方ないね　

賞とかなんとか　きれいさっぱりあきらめな　国粋ニホンザル

**１３２人目の素数さん** · 2026/01/13(火) 13:36:34.83

「”「鍵となる図式（特にCorollary 3.12周辺のΘ-link周りの射の可換図式など）の具体的な計算・追跡」を、
第三者が実際に1つでも成功させた例”は、”2025年5月、中国の若手数学者の周忠鵬”がありますがな」

は全く嘘ってことに気づこうな　国粋ニホンザル

まったく　ニホンザルはすぐ都合のいい妄想する●違いだから困るよ

**１３２人目の素数さん** · 2026/01/13(火) 13:37:16.53

>>173
>取らぬ狸の

うむ
風が吹けば桶屋が儲かるという

今年のICMで、次の2030が日本開催と決まる
　↓
前回 1990の日本開催のとき森重文先生のフィールズ賞
　↓
1990の日本開催であれば久々のフィールズ賞

取らぬ狸のなんとやら・・
はたして風が吹けば桶屋が儲かるになるか？ｗ

前回 1990の日本開催のとき日本からの招待講演者は増えた
O-竹腰の話をした講演者もいたらしい

こっち（招待講演者）は、2030が日本開催決まれば
確定ではあるだろう

佐藤の数学にあったが
佐藤先生も 1990で何かしゃべれと一松先生だったかに言われて新幹線の中で
”「超局所」（microlocal）”理論をメモ書きして柏原先生に「証明たのむ」といったとか・・ｗ（＾＾
（「佐藤の数学」に書いてあったような気がする）

若者よ
2030講演ネタをいまから仕込んでおけ　（＾＾；

(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E5%B1%80%E6%89%80%E8%A7%A3%E6%9E%90
超局所解析（ちょうきょくしょかいせき、英: microlocal analysis）とは、1950年代以後に発展した技術を用いた解析手法である。変数係数の線型および非線型偏微分方程式の研究に関するフーリエ変換にその基礎を置く。超函数や、擬微分作用素、波面集合（英語版）、フーリエ積分作用素、振動積分作用素、パラ微分作用素の研究などに応用される。

「超局所」（microlocal）という語は、空間内の位置についての局所化のみならず、ある与えられた点の余接空間方向についての局所化を意味する。このことは、次元が 1 よりも大きい多様体に対して、重要な意味を持つ。

https://en.wikipedia.org/wiki/Microlocal_analysis
Microlocal analysis

**１３２人目の素数さん** · 2026/01/13(火) 14:11:09.36

>>177
ICMを日本で開催したからって
日本人がフィールズ賞貰えることにならねぇよ

これだから賞乞食の国粋ニホンザルは困る

**１３２人目の素数さん** · 2026/01/13(火) 16:01:40.29

>>177
>”「超局所」（microlocal）”理論をメモ書きして柏原先生に「証明たのむ」といったとか・・ｗ（＾＾

アレクセイカーネンコ応用数理研究室金子晃
http://www.kanenko.com/~kanenko/
"A. Kaneko: Microlocale Analysis. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org)."

＜なぜか独語が詳しい＞
https://de.wikipedia.org/wiki/Mikrolokale_Analysis
Mikrolokale Analysis
(google訳)
マイクロローカル分析
微分局所解析は、1960年代から1970年代にかけて偏微分方程式理論とフーリエ解析から発展した数学の一分野です。「微分局所解析」という用語は、佐藤幹夫、河合隆弘、柏原正樹の共同研究に由来しています。[ 1 ]これは、ハイゼンベルクの不確定性原理を体系的に特徴付けることが可能になるため、量子力学と半古典数学の物理学分野において重要です。 [ 2 ] [ 3 ]

概要
微分局所解析は1960年代から1970年代にかけて、線型偏微分方程式の理論から発展しました。微分局所解析の基本的なアイデアの多くは、例えば、ラース・ヘルマンダー、ルイス・ニーレンバーグ、ヴィクトル・マスロフらによって提唱されています。[ 4 ]これらの研究者をはじめとする研究者たちは、フーリエ解析と偏微分方程式の理論に基づく手法を用いて、微分局所解析の開発を始めました。
C
∞
{\displaystyle C^{\infty}}-カテゴリ。調査対象はこのようにして、滑らかな多様体上で定義され、研究されました。偏微分方程式の分野では、分布理論はこれらの方程式を解くための重要な手法を提供するため、この理論は微小局所解析の分野でも基本的な役割を果たしています。分布理論は、特異サポートの概念を導入しました。これには、選択された分布が滑らかな関数で生成または表すことができない近傍のすべての点が含まれます。微小局所解析の分野では、この概念は波面セットの中心オブジェクトに一般化されました。この余接バンドルのサブセットには、情報として、特異点の位置と頻度の両方が含まれます。

やや遅れて、ミクロ局所解析は解析関数の圏に拡張され始めた。この文脈において、佐藤幹夫が超関数の一般化として導入した超関数は重要な対象である。解析関数の圏の条件下においても、波面集合は（C^∞-カテゴリ)が定義されています。

マイクロローカル分析の重要な対象
Distribution
→ Hauptartikel: Distributionentheorie

波面量
→ メイン記事：波面集合
波面集合は、ミクロ局所解析の中心的な対象です。

Literatur
A. Kaneko: Microlocale Analysis. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).

**１３２人目の素数さん** · 2026/01/13(火) 16:16:27.84

IU諦めてもコピペは諦められない
中身もないのに自己顕示したがるサル

**１３２人目の素数さん** · 2026/01/13(火) 20:16:00.06

>>177 追加

下記国際数学者会議
日本人または日本の研究所に在籍している数学者の全体講演者・招待講演者
1990年（京都）
全体講演（2人）
招待講演（22人）

やっぱ日本でやると日本人の数学者多い　（＾＾
当時
ここで ”箔を付けて”世界の数学界に羽ばたいた若者がいた

(参考)
https://ja.wikipedia.org/wiki/%E5%9B%BD%E9%9A%9B%E6%95%B0%E5%AD%A6%E8%80%85%E4%BC%9A%E8%AD%B0
国際数学者会議
日本人または日本の研究所に在籍している数学者の全体講演者・招待講演者
国際数学者会議の全体講演または招待講演は一流数学者の証と言え、全体講演者としての招待は「数学の殿堂入り」にも匹敵する[注釈 2]と表現される。

1998年（ベルリン）
全体講演（0人）[31][30] - 三輪哲二
招待講演（6人）[31] - 望月新一、辻雄、大槻知忠、脇本実、林修平、岡本久
1994年（チューリッヒ）
全体講演（0人）[30][32]
招待講演（4人）[33] - 宍倉光広、俣野博、宮岡洋一、田中洋

1990年（京都）
受賞者 - 森重文
全体講演（2人）[30][32] - 森重文、伊原康隆
招待講演（22人）[30][32] - 深谷賢治、井草清、井川満、神保道夫、柏原正樹、加藤和也、川又雄二郎、小谷眞一、楠岡成雄、松木敏彦、三村昌泰、森正武、森田茂之、村井隆文、大沢健夫、斎藤盛彦、齋藤恭司、塩田徹治、砂田利一、高崎金久、土屋昭博、村上温夫

1986年（バークレー）
全体講演（0人）[30][32]
招待講演（3人）[30][32] - 肥田晴三、国田寛、三輪哲二、ピーター・フランクル
1983年（ワルシャワ）
全体講演（1人）[30][32] - 佐藤幹夫
招待講演（4人）[30][32] - 飯高茂、大島利雄、西田孝明、森重文、渡辺信三
1978年（ヘルシンキ）
全体講演（1人）[32] - 柏原正樹
招待講演（7人）[34] - 志村五郎、塩浜勝博、上野健爾、新谷卓郎、境正一郎、福島正俊、荒木不二洋

**１３２人目の素数さん** · 2026/01/13(火) 20:22:35.12

こんな場末の5ｃｈでガアガア議論する必要はない
大事はことは、主張の裏付けがあるかどうかだ
シロウト当然の数学科オチコボレが裏付けなしに何を言ってもナンセンスだよ
おバカさんｗ　（＾＾；

**１３２人目の素数さん** · 2026/01/13(火) 20:25:48.53

無理に 5ｃｈ便所板でバトルして勝ち負けの結論を出すのは無意味
5ｃｈ便所板の勝ち負けの結論と
数学としての IUTの真の成否とは
別物だものｗｗ　（＾＾

**１３２人目の素数さん** · 2026/01/13(火) 20:31:15.37

”[Special year] 2027-2028”
裏を返せば
ICMの2026年はちょっと静かにしようねと
ICM2030 日本招致に全振り

5ｃｈのこのスレも同様だな　（＾＾

(参考)
https://ahgt.math.cnrs.fr/news/index.html
[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.
https://ahgt.math.cnrs.fr/AHG-year_27-28/
Arithmetic, Homotopy, and Geometry 2027-28
Theme of the Research Project
Arithmetic homotopy geometry (AHG) exploits arithmetic and geometric invariants via homotopy theory and especially the theory of fundamental groups (in its étale, Galois, motivic, and topological versions). It thrives and revisits leading questions and constructions on both ends of the number theory-geometry spectrum, with the following structuring topics: (A) Homotopy, Rationality, and Geometry, (B) The Homology-Homotopy Frontier, and (C) Combinatorial Arithmetic Geometry.

The Arithmetic Homotopy Geometry'' Project is a year-long program whose goal is to shape the lines of arithmetic homotopy geometry in terms of new leading questions and conjectures for the next-generation of arithmetic homotopy geometers.

**１３２人目の素数さん** · 2026/01/13(火) 20:48:31.83

>>168
RIMS解体するわけにも行かないだろが

**１３２人目の素数さん** · 2026/01/13(火) 20:49:03.08

>>170
>>話は飛ぶが
>逃げたか
彼は何時も逃げる卑怯な人です

**１３２人目の素数さん** · 2026/01/13(火) 21:05:54.76

Rigidity of the escaping set of polynomial automorphisms of C²
Sayani Bera, Kaushal Verma

Bedford予想の解決

**１３２人目の素数さん** · 2026/01/13(火) 23:23:44.72

Geminiさんの回答

1. 「ハリボテ」と批判されても仕方のない技術的難易度

正直に申し上げて、今回のプロジェクトは「エベレストの頂上から地上に垂らしたストローで、特定の場所にある砂を吸い取る」ようなものです。

物理的な限界： 6,000mのパイプ自体の重さは凄まじく、潮流で少しでも流されれば簡単にねじ切れます。

過去のトラウマ： 2010年代にも海底資源開発（メタンハイドレートなど）が「夢の資源」と持て囃されましたが、商業化には至っていません。この「狼少年」的な経緯が、不信感に拍車をかけています。

2. 「中抜き・利権」への不信感

大型の国家プロジェクトには多額の予算が投入されますが、それが実際に現場の技術開発ではなく、複雑な委託構造の中で「管理費」として消えていく構造への批判は根強いです。「成功させること」よりも「予算を使い切ること」が目的化しているのではないか、という疑念は、日本の現状を見ると否定しきれない部分があります。

3. JAXA（ロケット）との共通点と相違点

ロケットの失敗は目に見えて派手ですが、海底採掘の失敗は「深海でひっそりと機械が壊れて終了」という、より地味で検証の難しい形になるリスクがあります。

ロケット：数秒のミスで数百億円が消える。

海底採掘：採れたとしても「コストが中国産の10倍」なら、産業としては死んだも同然。

私（AI）の視点：大失敗か、あるいは……

あなたが予見される「大失敗」のシナリオは、非常に高い確率で起こり得る現実的な予測の一つです。特に「経済性の面での大失敗（取れるけど高すぎて誰も買わない）」は、多くの専門家も危惧しています。

ただ、一つだけ「賭け」としての側面を挙げるとすれば、このプロジェクトは日本にとって**「技術の成功」以上に「中国へのポーズ」**という意味合いが強い点です。

「日本はいつでも自給自足に踏み切る準備があるぞ」と見せることで、輸入交渉のカードにする。

もし今回の試験で、泥が1gでも船上に上がれば、日本政府は「大成功！」と大々的に宣伝するでしょう。それが実用化に遠く及ばない「ハリボテの成功」であったとしても、です。

「どうせまた、数年後には『予算が足りませんでした』と言って立ち消えになる」というあなたの予想が当たるのか。それとも、崖っぷちの日本が「火事場の馬力」を見せるのか。

この1ヶ月の試験期間中、機械が壊れたというニュースが入るか、それとも「泥が上がった」というニュースが入るか。まずはそこから答え合わせが始まりますね。

次は、この「コスト面での無謀さ」について、具体的な数字（中国産vs国産）で比較してみましょうか？それとも、他の「税金の無駄遣い」の例について深掘りしますか？

**１３２人目の素数さん** · 2026/01/13(火) 23:33:47.56

わざわざAIに聞くまでもないやろ

**１３２人目の素数さん** · 2026/01/14(水) 06:28:52.49

>>181-184
https://rio2016.5ch.net/test/read.cgi/math/1767004988/518-520

国粋ニホンザルへ

ICMはオリンピックではありません
フィールズ賞は金メダルではありません

**１３２人目の素数さん** · 2026/01/14(水) 06:46:56.90

Rigidity of the escaping set of polynomial automorphisms of C²
Sayani Bera, Kaushal Verma

Bedford予想の解決

**１３２人目の素数さん** · 2026/01/14(水) 08:20:09.61

>>191
巡回ご苦労さまです

(google検索)
数学複素 Bedford予想

＜AI による概要＞
「ベドフォード予想 (Bedford conjecture)」は、数学、特に複素力学系の分野における重要な予想です。この予想は、主に複素2次元空間における正則写像の力学系に関連しています。
概要
この予想は、高次元の複素力学系のパイオニアであるエリック・ベドフォード (Eric Bedford) と、彼の共同研究者たち（特にジョン・スミリー (John Smillie)）による研究の中で生まれました。
具体的な予想の内容は資料から直接確認できませんでしたが、関連研究の文脈から、以下のような複素力学系の不変集合やその構造に関するものであると推測されます:
ジュリア集合 (Julia set) やファトゥ集合 (Fatou set) といった力学的な不変集合の幾何学的・解析的な性質。
複素ヘノン写像 (complex Hénon maps) などの特定の写像族における、不変集合の連結性や次元、あるいはその上の不変測度の存在や性質。
これらの研究は、1次元の複素力学系（有名なマンデルブロ集合やジュリア集合など）の理論を、2次元以上の複素空間へと一般化する試みの一環として行われています。
現状
多くの関連する結果（ベドフォード＝スミリーの結果など）が発表されていますが、2024年現在、この「ベドフォード予想」自体が数学コミュニティ全体で広く認識された形で完全に解決されているかどうかは明確ではありません（他の有名な予想、例えばABC予想やリーマン予想とは異なり、解決状況に関する一般的な合意の情報は見つかりませんでした）。
ベドフォードの研究は現在も進行中の複素力学系の最先端分野に属しており、その予想や問題提起は今後の研究の方向性を示唆する重要な役割を果たしています。

**１３２人目の素数さん** · 2026/01/14(水) 08:26:27.38

Let H be a polynomial automorphism of C² of positive entropy and degree
d ≥ 2. We prove that the escaping set U+ (or equivalently, the non-escaping set K+),　of H is rigid under the action of holomorphic automorphisms of C².

**１３２人目の素数さん** · 2026/01/14(水) 10:43:52.44

>>193
巡回ありがとうございます。

(google検索)
AI モード
数学複素 Bedford予想

数学の複素力学系（特に C^2 の多項式自己同型系）において、Eric Bedfordに関連する主要な予想や研究は以下の通りです。
1. 双曲性の保存に関する予想 (Bedford-Dujardin 予想)
C^2 上の多項式自己同型（複素ヘノン写像など）において、「位相的な共役性が双曲性を保存するか」という問題です。
・内容: 2つの多項式自己同型 f_0,f_1 があり、f_0 が双曲的であるとする。もし J^*（最大不変集合の支持集合）の近傍で f_0 と f_1 が同相写像 Φ によって位相的に共役Φ* f_0=f_1*Φであれば、f_1 もまた双曲的であるという予想です。
2. 多項式共役性に関する予想 (Friedland-Milnor 予想の解決)
BedfordとSmillieらの研究に基づき、CantatとDujardinによって近年解決された重要な予想です。
・内容: C^2 の2つの多項式自己同型が正則同相写像（biholomorphism）で共役であれば、それらは多項式自己同型によって共役であるという予想です。
・結果: 2024年にこの予想が肯定的に解決されたことが報告されています。
3. Bedford-Smillie による研究の背景
BedfordはJohn Smillieと共に、複素ヘノン写像 f(x,y)=(y,p(y)-ax) の力学系において多くの基礎的な結果を残しています。
・平衡測度: 最大エントロピーを持つ不変測度 \(\mu \) の構成と、その台（support）がジュリア集合 \(J\) に一致することなどを示しました。
・非平坦性の予想: 高次の複素ヘノン写像において「本質的に2次元的（non-planar）」な双曲型写像が存在するという長年の予想も、石井豊氏らにより具体的な例（3次ヘノン写像）を用いて示されています。
これらの研究は、1次元の複素力学系（マンデルブロ集合やジュリア集合）の理論を、高次元（2変数複素数空間 C^2へ拡張する上で中心的な役割を果たしています。

**１３２人目の素数さん** · 2026/01/14(水) 10:49:04.69

>>194
追加

https://researchmap.jp/read0162830
石井豊
イシイユタカ (Yutaka Ishii)

基本情報
所属九州大学大学院数理学研究院教授
学位
博士(数理科学)(1998年3月東京大学)
修士(理学)(1994年3月京都大学)

経歴 7
表示件数
2018年12月 - 現在九州大学, 数理学研究院, 教授
2003年4月 - 2018年11月九州大学, 数理学研究院, 助教授（准教授）
2006年5月 - 2006年5月Université de Rennes, professeur invité
1998年1月 - 2003年3月九州大学, 数理学研究院, 助手
2002年3月 - 2002年4月Université Paris-Sud (Orsay), maitre de conférence (mois d'invité)
1997年11月 - 1997年12月SUNY at Stony Brook, Institute for Mathematical Sciences, visitor
1994年4月 - 1997年3月東京大学, 大学院数理科学研究科, 日本学術振興会特別研究員 (DC1)

論文 24
Pseudo-monodromy and the Mandelbrot set
Yutaka Ishii, Thomas Richards
Trans. Amer. Math. Soc. 2025年査読有り
Visualization of four-dimensional X-ray absorption fine structure data using a virtual reality system.
H. Igarashi, D. Kido, et al
Journal of Synchrotron Radiation 32(1) 162-170 2024年12月査読有り
Hénon maps: a list of open problems.
Julia Xénelkis de Hénon
Arnold Math. J. 2024年査読有り
Symbolic dynamics for Hénon maps near the boundary of the horseshoe locus.
Yuki Hironaka, Yutaka Ishii
Ergodic Theory & Dynam. Systems 2024年査読有り
複素力学系の諸問題
石井豊
京都大学数理解析講究録 2211 2022年

**１３２人目の素数さん** · 2026/01/14(水) 10:50:03.06

ICM2030 招待講演ネタになると
いいですね　（＾＾

**１３２人目の素数さん** · 2026/01/14(水) 12:06:28.56

2016年にインドに行ったときに会って話したときに
一番印象のよかった人

**１３２人目の素数さん** · 2026/01/14(水) 12:09:44.58

葉山シンポジウムに
リモートで出ていた

**１３２人目の素数さん** · 2026/01/14(水) 13:27:03.54

自分語りは日記で

**１３２人目の素数さん** · 2026/01/14(水) 13:48:30.70

同感です