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

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

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

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

＜2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですｗ （＾＾； ＞
＜IUT最新文書＞
・News – Ivan Fesenko https://ivanfesenko.org/?page_id=80
・望月新一＠数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論 ＜新展開＞ 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

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

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

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

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

>>151
誰も君が数学に集中できないようにしているわけではない
君が自分で数学に集中しない行動を取っているだけ

>>152
さようなら

>>153
それは分かるよ、そして真面目な話を最後にひとつ。
IUTについて批判的な人に言っておきたいが、1さんのスレで口論ばかりしてまともな結論を出せないのなら、批判する資格はないと思うよ。
まともな議論ができるようになってから、IUTの批判をすることをオススメするよ。

PBzETEIO
はよ消えろ　未練がましいぞ

>>156
こういうのが無くなれば消えるよ。
一切話題にしなくて良い。
実際過去に消えていた時期があるだろう？
私のことを忘れれば、私も自然に消えるから協力宜しくね。

しつこい

最後に静かに見送ろうとかいう概念は無いのかw
ついでだからROMらないと言ったけど、口論するだけで議論になっていないことが無いかどうかはチェックさせてもらうよ。
自分のことは棚に上げて、IUTの批判をするとかはやめてね。

sageて書くくらいだったら、書かんでええから。
他の人の迷惑も考えて、私に一切触れないように。

しつこい　気持ち悪い

>>140
>>もしくじに番号がついているとして
>>例えば46番のくじが当たりの確率が1/100
>>ということではない
>>あくまで当たりくじは46番に決まっていて
>>46番を選ぶ確率が1/100だというだけのこと

>>141
>数学の確率論での扱いは、同じだ
>つまり・・・
>”46番のくじが当たり”と決めておく （どこか紙に書いて袋に入れる）
>これを修正して、年末ジャンボのように 全部売れた事後に当たりを決めても
>数学の確率論での扱いは、同じ

残念ながら数学の確率論での扱いは全く違う

前者の場合、100人が皆それぞれくじを選ぶ
後者の場合、ある一人の自分が毎回ゲン担ぎで46番を選ぶが毎年あたり番号が異なる

箱入り無数目の記事は前者
間違ってると騒ぐ人が考えてるのは後者

46番目の列が単独最大決定番号を持つ確率なんて計算しようがない
しかし箱入り無数目はそんな計算していないからまったく関係無い

>>142
14巻　第76話　札付きの定理

ただこの話では
２列に分けた上で、「必ず第１列を全部開ける」、
としているので、そこが重大な勘違い

1列目2列目それぞれの決定番号n(1)とn(2)について
n(1)<n(2)となる確率が1/2以下という結論を
対称性から導く、としているが、それがアウト

箱の中身（マンガではさいころの目）をランダムとして
箱の中身同士が独立、としたならば、
もちろん対称性が証明できない

この話の真のトリックは、
実は確率変数が箱の中身ではなく列の選択
というところにあるので
列の選択を固定にしたら
手品としては台無し

そういう意味では
台無しの手品がアウトと言ってる点で
マンガの解説は正しい

まあ、この話の主旨は
「選択公理をつかうといろいろ残念なことがおきますよ」
ということなのだが、そんなこといっても選択公理を使わないと
例えば極大イデアルの存在が示せなくなって
代数ではエライことになってしまうわけだが・・・

>>161
マジでうるさいからやめろ。
何回も言わせるな。
綺麗に終わらせようとしている人を静かに見送れ、良いな？

>>143
記事を読んでないならそこもポール・エルデシュと同じか
>>144
箱入り無数目自体はタダの手品
つまり、実際には自明なレベルの問題を
何かすごく難しいことを実現したように語るトリック

ここで騒いでるのは手品のタネを明らかにしたのに
それが理解できない人だけ

>>151
数学やってると人格が悪くなる傾向がある
人格をよくしたいなら数学しないに限る
>>152
数学板だけじゃなく数学もやめたら？
数学やると精神狂うよ

>>153-154
まあ、いいじゃないの
数学しなくても死にはしない
むしろ幸せになれるんじゃないかな

>>167
私は数学をやることで、普段自分がいかに適当に考えているのかを思い知らされる。
私は真面目に数学をやれば、謙虚になれると信じているから良いんですよ。
たまに強迫性障害の数学者の話を聞きますが、そういう例も頭に入れているから大丈夫ですよ。
私なんかに構わずに、無数目の話に何らかの結論を付けて下さい。難しい話ですが、応援していますよ。

>>155
誤　IUTに批判的な人
正　望月新一の態度を不快と感じてる人

当人はろくに説明もせずただ読めと吠える
周りは逆らうと面倒なのかあたりさわりのないことしかいわない

さすがに加藤文元はこのままじゃいかんとおもったらしいから
まだ数学者の良心（？）があったといってもいいかもしれんが・・・

>>157
君、本当は数学好きじゃないんじゃない？

>>159
＞自分のことは棚に上げて、IUTの批判をするとかはやめてね

君は望月新一かい？
まあ、違うだろうけど

違うんならIUTのことなんか忘れなよ

>>171
それはいま答えることは不可能ですね。
もう少し時間が経ってみないと分からない。
どちらだったか報告できないのは残念ですが、いずれ自分の中で結論を出しますよ。

とりあえず、無数目の話を頑張って下さい。
私にはもうこれしか言うことが出来ませんから…。

>>172
忘れるというか、ステートメントも何もかも知らないんですよw
それくらいのことが分かれば、数学好きだと胸を張って言えますね。
それくらいのレベルを目指すくらいの心持ちで頑張ります。

>>169
＞普段自分がいかに適当に考えているのかを思い知らされる。
うん、普段みんなマラソンとかしないでしょ。そういうこと。

＞私は真面目に数学をやれば、謙虚になれると信じているから良いんですよ。
真面目に数学をやれば、謙虚になれる？
それは絶対にないな

数学者のどこが謙虚なんだい？反例だらけ
数学をやればやるほど謙虚さから遠ざかる
残念ながらそれが真実

＞たまに強迫性障害の数学者の話を聞きますが、そういう例も頭に入れているから大丈夫ですよ。
大多数の数学者がメンタルの不調を抱えている

＞私なんかに構わずに、無数目の話に何らかの結論を付けて下さい。
手品のタネは既にわかってるので、理解すればいいだけ

＞難しい話ですが、応援していますよ。
数学的には難しくない
ただ、パラノイアの人の固定観念をいかに無くすかは
数学と全く無関係だが難しい

>>174
＞ステートメントも何もかも知らないんですよ

じゃ、気にしないこと

実はみんなIUTなんて知らないよ
ただ望月新一の態度に腹立ててるだけ

でも数学者は程度の差はあれ
望月新一みたいな自己本位性がある
それが数学研究の動機という人もいるようだ
数学の研究なんて高尚でもなんでもないよ
それが現実

強迫観念くらい無ければ、出来ない学問なのかもしれませんね…。メンタル第一、数学第二でやっていきますよ。

無数目の話は少しずつ賛同者を増やすとか、工夫して頑張って下さい。前提も分かっていないような話によく手を出せるなと思いますが、何か勝算があってのことでしょう。賛同者が潜んでいるかもしれないから、頑張って下さい。

>>165
きしょい　はよ消えろ

>>176
ステートメントどころか、人間模様さえも知らないので、私は何も言えないです。
進捗は遅いかもしれませんが、一応leanとかの話までは進んだので、私は日本びいきで温かく見守っておきますよ。

>>178
無数目に集中しろ。
無駄口を叩いてる暇があったら、誰か一人でも納得させなさい。

>>166
>ここで騒いでるのは手品のタネを明らかにしたのに
>それが理解できない人だけ
憐れですな

>>169
ROMもしないと言ったそばからROMどころかしゃしゃり出て来る始末
誰も君なんか構ってない（消えて欲しいだけ）し、結論なんて10年以上前に出てるし、何も難しくないし、誰も君の応援を必要としてない

>>173
いつになったら消えるんだい？　消える消える詐欺か？

>>173
>>181

>>182
じゃあなんで揉めてるの？
一時は貴方に対して2人の反対者がいたが、あれは一体どういうことなの？
意見をまとめられないような人が、IUTに対して何か言うもんじゃないよ。
（そもそも貴方がIUTに対して、どのような立場なのか詳しく知らないが。）

>>147
は？この朝鮮人なんもわかってくてワラタ
IUT朝鮮人バカしかいねえw

>>177
>>181

>>165
きれい？何が
ハッタリで税金抜いてるクソダニどもがか？

>>179
じ　ゃ　何　も　言　う　な

>>180
>>181

>>185
>>181

>>188
いやいや、IUTを綺麗なんて一言も言ってないw
私はIUTに関して殆ど知らないのだから、変な捏造は辞めてくれ。

>>189
誰一人満足に納得させることも出来ない人に言われたかないね。
私に無駄なレスするくらいなら、反対者に納得のいくレスをしたまえ。

>この板も卒業するよ。
>もうROMることもない、さらばだ。
は　や　く　や　れ

>>194
何も言えないと言ったのはおまえ　俺ではない　勘違いすんな馬鹿

>>195
この先も誰一人納得させられないのだろう？
きちんと見ておいてあげるからね。

>>197
>もうROMることもない
と言った舌の根も乾かぬうちに言うことか？それ

>>196
納得していない人がいるのに、10年前に終わったと断言できるのが信じられないんだよ。
ぐうの音がでないほどにやりこめられたのなら、私も納得するよ。

>>198
確定していなさそうなことを断言するのが悪いよ。
責任のある言動を行なってほしい。

>>199
おまえ自身が理解してないのにどうやって
>ぐうの音がでないほどにやりこめられた
を判断するんだよ　バカですか？

>>200
じゃあROMもしないと断言したおまえが悪い。
責任のある言動を行なってほしい。

>>201
納得させるのは私のことじゃないよw
確か3人くらいで争っていただろう？
他の2人を無事納得させられたら、私はROMるのを辞める。
筋が通った話だと思うよ？

>>203
おまえ言葉わからん？
おまえが無数目を理解してないのにどうやって
>ぐうの音がでないほどにやりこめられた
を判断するんだ？と聞いている

ROMってるかどうかなんて証明しようが無いだろw
こんな不確定な話をするくらいなら、他の2人を説得することに時間を割いた方が良い。

>>203
>他の2人を無事納得させられたら、私はROMるのを辞める。
いつの間にか条件付きになってて草

>>205
こいつやっぱ言葉通じない　ダメだこりゃ　とっとと消えろ

>>204
言葉を補って正確に書くと、「私以外の他の2人をぐうの音が出ないほどやり込めることが出来たのなら」ということ。
これなら読み違えることもないだろう。

行間埋める訓練をしたのなら、それくらい雰囲気で分かれよ。
私は無数目のスレに出入りなんてしていなかっただろ。

だから無数目を理解してないおまえがどうやって
>「私以外の他の2人をぐうの音が出ないほどやり込めることが出来たのなら」
の完了を判断するんだ？と聞いている
言葉が通じないようなので小学校からやり直せ

>>209
つべこべ言わずとっとと消えろ
消えると言ったのはおまえだ　俺ではない

貴方の主張を理解しているのは、貴方一人ということではないのか？
IUTのことなんて批判できる立場じゃないだろ。

しつこい　うせろ

無数目に集中してくれたら消える。
2人を説得できる説明でも考えなさい。

消えると言ったのは　お　ま　え

んなこと分かってるからw
俺に構わず、やるべきことやれば良いんだよ。
エネルギーを使う方向を間違えているよ。

>この板も卒業するよ。
>もうROMることもない、さらばだ。
は　や　く　し　ろ

>>217
言葉が通じないのは貴方の方だろ。
貴方が向く方向は私じゃない。
無数目で揉めている2人の方だ。

無数目の話題を書きなさい。
あるいは新しい話題でも良い。
私に関する話題は一切不要だ。

しつこい　きえろ

>>220
貴方のその執着によって、信じられない汚点が出来てしまったのを忘れてしまったのかい、あぼーんさん。（たぶん貴方のことだろう。）
これ以上私に粘着するのなら、日本数学会にたてついたことをほじくり回すつもりでいるから。
悪いことは言わない、もうやめなさい。

なにこいつ　きもい

私はあぼーんにする方法は詳しくないけど、もう辞めときなよ。
相手をするのなら、帰納法のスレにいた人のような好戦的な人とやってくれ。
私がもう受け身のレスくらいしか書き込む元気が無いのが分からないかい？
お互いのためだ、もう辞めよう。
他のスレの人にも迷惑だから…。

キモチワルイ　さっさときえろ

>>179
数学と国家は無関係な

>>225
確かに。
だから「ひいき」と書いた。
察してくれ。

>他のスレの人にも迷惑だから…。

おまえが自分で言った
>この板も卒業するよ。
>もうROMることもない、さらばだ。
を自分で実行すればよいだけ　はやくしろ

数学者の国籍に注目しても無意味

一切察するな

>>226
何回目の消える消える詐欺？

>>227
消えてほしかったら触れないよね、普通…。
そんなに黒歴史をほじくり返されたいのか。
私にそんな趣味はない、辞めたまえ。

>>229
前に1さんが前に救ってくれなかったら、確実に消えていく流れが出来ていただろう？
あの流れで消えるということ。
重ねて言うが、私にマウントを取る趣味は無い。
私に触れるのを辞め、新しい話題を考えたまえ。

無数目スレでしつこく書いてるのはγの人だと思うが
彼が「素直」と考える前提がそもそもトラップなので
そこから抜け出すことが第一

手品は通常の意味で素直でないので
そこに気づけない限り手品は理解できない

１は自分の子分として使えそうな人は手なづける
１に親しくされることほど不快なことはない

>>230
はよ消えろよ構ってちゃん

>>233
こんなことを考える必要も無くなってしまう訳ですよ、残念ながら…。

>>234
触れるの辞めろよ、あぼーんちゃんw

>>231
気持ち悪いからはよ消えて

>>236
消えてほしいのに絡んでくる矛盾。
背理法って知ってる？w

>>235
触れなきゃ金輪際二度と書き込まない？

>>238
さっきからずっと言ってるんですけど…。
神に誓います。

>>239
それは勝手にどうぞ
居るも去るもご随意に

>>238
じゃあレスするかどうかを他人の判断に委ねるってことだね
まあそれもご随意に

綺麗に終わらせるかどうかもご随意に
終わっても終わらなくてもいいよ

>>164
>ということなのだが、そんなこといっても選択公理を使わないと
たしか集合論の宇宙Vの部分クラスである
ゲーデルの定義した構成可能宇宙Lでは選択公理とGCHが成立することが証明できるんじゃなかったっけ？違ったかも？自分覚えてるのはV=Lを公理として認めるとCとGCHが定理になるってこと
だからもうV=Lでイイじゃんって思うんだよな
選択小売りは自由に使えてGCH成り立つから到達不能基数みたいな訳ワカランものも無くてグロタン宇宙は存在しない
で平和じゃん
こうで無いモノを考えていけないわけではないが
それは非ユークリッド幾何みたいなもんで
オーソドクスはV=Lでイイじゃん

だって到達不能基数があったらRの濃度はℵ2で
直線の中に非可算だけどRと絶対に1対1にならない
ウスボンヤリな部分集合があるってことになるんだよ
キモチワルすぎ

>>164
>14巻　第76話　札付きの定理

ありがとうございます
スレ主です
それ読んでみるよ

久し振りに 高レベルの人が来たな （＾＾
このさいだから 当該頁をアップするよ
（あっちのスレにも後で貼るよ）
(参考)
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

さて、>>139より
”実は、記事では、箱には勝手な数を入れていい、としかいってない
箱の中身の確率分布については一切言及はない
また全ての箱が独立同分布ともいってない
いってないこと（箱の中身がランダム分布で箱同士は独立同分布）を読み取るのは幻聴
いってないことを前提して「非可測だから確率が定義できない」とかいうのは妄想”

えーと 下記の 重川一郎 確率論基礎みて
独立同分布 iid は、なんら特別の設定ではない
箱一つ サイコロの目 確率1/6
箱二つ サイコロの目 確率1/6＆1/6
　・
　・
箱ｎ個 サイコロの目 確率1/6＆1/6＆・・＆1/6
（ここまでは、高校の確率で 大学入試の範囲）
　・
　・
箱可算個 サイコロの目 確率1/6＆1/6＆・・＆1/6＆・・
（ここは、大学の確率で 可算→連続無限も可）

独立同分布 iid は
なんら特別の設定ではなく
普通の状態だってこと

(参考)箱入り無数目スレの>>8
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
Ｐ7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい．
Ω＝{1,2,・・・,6}^N∋ω＝{ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで，n回目に出た目を表す．
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)＝(1/6)^n
と定めればよい．これが実際にσ-加法的に拡張できることは明らかではないが，Kolmogorovの拡張定理と呼ばれる定理により証明できる．

https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN Inc. 2020
2020/04/14
非正則事前分布とは？〜完全なる無情報事前分布〜
ライター：古澤嘉啓
目次
1 非正則な分布とは？一様分布との比較
2 非正則分布は確率分布ではない！？
3 非正則事前分布は完全なる無情報事前分布
4 まとめ

まず
箱入り無数目は数列の組が与えられた場合ある方法でその方法に依存するある特定の項をかなりの高確率で当てられるという話
だから箱に入れるモノの分布を考えるのは
それ自体は面白い可能性があるが
箱入り無数目とは別の話

>>243-244
>到達不能基数みたいな訳ワカランものも無くて

でも、到達不能基数は 基礎論屋さんが 強制法を振り回す武器だからねｚ〜ｗ（＾＾
基礎論屋さんは、強制法がすきで 従って 到達不能基数支持派だ
”V＝L”には 同意しないみたいだ（下記）

(google検索)
数学公理 構成可能宇宙 批判 狭い
AI による概要
ゲーデルの構成可能宇宙（L）は、数学（集合論）の公理系において「構成可能な集合」だけを集めた、非常に制御されたモデルであり、現代の集合論においてはその「範囲の狭さ」が議論や批判の対象となっています。
構成可能宇宙に対する主な批判や、「狭い」とされる理由は以下の通りです。
1. 構成可能宇宙（L）とは何か
・定義: 空集合から出発し、すでに構成された集合の「定義可能な部分集合」だけを帰納的に追加して作られる集合の宇宙です（Vがすべての集合の宇宙なら、Lは構成可能な宇宙）。
・特徴: ゲーデルによって、構成可能宇宙
はZF集合論の公理に加え、選択公理（AC）および連続体仮説（CH）を満たすことが証明されました。
2. なぜ「狭い（限定的）」と批判されるのか
「構成可能宇宙」が狭いと言われる理由は、一般的な集合論の宇宙（V）が含む可能性のある集合の多くが、Lの中には存在しない（構成できない）ためです。
・大基数の不存在: 構成可能宇宙Lの中では、真に巨大な基数（到達不能基数など）の存在が証明できない、あるいは存在しにくいとされています。
Lはあまりに「秩序立ちすぎている」ため、複雑な無限の集合を捉えきれないと考えられています。
・選択公理との関係: Lにおいて選択公理が成立するのは、構成順序という「順序」が固定されているためですが、これは逆に「構成的ではない」手法で選ばれる集合を排除しています。
・V＝Lの批判: ゲーデルは「すべての集合は構成可能である（V＝L）」という公理（構成可能性公理）を提示しましたが、これはZF公理系を非常に強力に制限します。現代の多くの集合論者は、数学的現実は
Lよりもはるかに豊か（広大）であると考えており、V=Lは「美しすぎる（狭すぎる）」と見なされることが多いです。
3. 他の公理との対比（決定性公理など）
構成可能宇宙の限界を克服するために、異なるアプローチが取られます。
・決定性公理（AD）: Lとは異なり、決定性公理（AD）は「すべての集合が可測である」といった、より包括的な世界観を提供します（ただし、ADは選択公理と両立しません）。
・V≠Lの兆候: 現代の集合論では、大基数の存在を認めるとV≠Lとなる、つまり「構成可能宇宙以外にも多くの集合が存在する」という主張が主流です。
結論として、構成可能宇宙（L）は集合論の無矛盾性を証明する上で極めて重要なモデルですが、数学的に「あり得るすべての集合」を網羅するにはあまりに秩序正しく、狭すぎる（制限されすぎている）とみなされています。

>>246
真逆
箱入り無数目では
箱に入れる数は
完全に入れる側の自由のはず
勝手に制限することこそ
それ別の話だよ

到達不能基数が有れば何が言えるかを研究するのは自由だが
強制法には到達不能基数が必要と考えているとすればそれは間違い

>>248
それを入れてからの話なんですよ
どんな入れ方をしても
ある決め方で決めた箱の中身はある確率以上で特定できるわけです

独立で無いものを独立と誤解しているから
時枝さんの言う「独立性に関する反省」をしてないようですね

誰かが教えてくれた誰かの論文が
箱入り無数目のものネタのようで
そちらは正式に数学の定理として
証明していたと思いますね
さらにはまた別の設定で
完全に（つまり確率1で）当てることが可能という定理も乗っていたような