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

Inter-universal geometry と ABC予想 (応援スレ) 73 (772ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

454: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/10(日) 09:34:26.77 ID:f12p+Q2v

>>438 追加
さて、強制法でも 宇宙が出てきます
図解があると 分かり易い
それが、下記 石井大海氏 Boole 値モデルと強制法pdfのP7
なお、下記 ”google AI による概要”も、ご参照

要するに、例えば 連続体仮説 が、ZFCから独立ということを証明したいときに
強制法を ZFCに 適用することで、証明ができる
強制法とは、簡単には 下記 石井大海にあるように ZFCのノイマン宇宙Vを 独立を証明したい命題のGを添加した 新たな宇宙V[G]を作る手法
なので、出来る宇宙は Gによって異なる
だから、Grothendieck universe Uとは 発想が全く異なる。多分出来上がる宇宙V[G]も Uからはみ出す

＜google検索：強制法 図解＞
１）https://konn-san.com/
プロフィール konn-san.com 2011/04 早稲田大学基幹理工学部 数学科配属
https://konn-san.com/math/boolean-valued-model-and-forcing.pdf
Boole 値モデルと強制法 石井大海2022/06/11
概要
集合論における無矛盾性証明で用いられる主要な手法である強制法と，密接に関連するBoole値モデルの手法について，本稿では幾らか証明を省略しつつ概略を採り上げます．また，Hamkinsら [1]の説明に基づいて，超冪とBoole値モデルの関係についても簡単に解説します．
1 強制法の基本的な考え方とBoole値モデル
　直観的には，現在の集合の宇宙V に新しい元Gを付加した，新たな宇宙V[G]を得たい，というのが強制法のモチヴェーションです．
しかし，そうはいっても集合の全体は既にV で確定しているので，「新しい元」というのはそのままでは意味を成しません．
そこで，強制法では集合概念を拡張することを考えます．どういう事でしょうか？
まず，一般の集合x Vは，特性関数と同一視することで，部分関数x:V 2と見做すことが出来ます．
2というのは「各元がxに属すか？」という真偽値ですから，この真偽値を一般のBoole代数Bに一般化しようというというのが強制法の基本的なアイデアです．このように，所属関係の真偽値を完備Boole代数Bに一般化した集合のことを，B-nameと呼びます．
P7
以上から，VBをV[G]と同一視して，あたかもV 上のジェネリックフィルターGが取れているかのように考えても差し支えないということがわかります．
このような見方の下で，V とV[G]は，右図のような形をしています．
(注：図は引用できないので、各自PDFの原図を見てください)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/454

455: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/10(日) 09:34:48.60 ID:f12p+Q2v

つづき

２）google AI による概要
(AI の回答には間違いが含まれている場合があります)
強制法（forcing）は、ZFC公理系におけるモデルの拡大手法の一つです。与えられたモデルMに対して、特定の半順序Pを定義し、その極限であるジェネリックフィルターGをMの外側から取ってきて、Mに付け加えることで、Mの拡大モデルM[G]を構成します。この手法は、特に連続体仮説などの独立性証明に用いられます。
強制法の基本的な考え方:
1. 半順序の定義:
強制法では、まず、ZFCのモデルMの中で定義される半順序Pを考えます。半順序Pは、Mの中で「条件」を表す集合として定義されます。
2. ジェネリックフィルター:
次に、Mの外側から、PのジェネリックフィルターGを一つ取ってきます。ジェネリックフィルターとは、Pの要素の「良い」部分集合で、Mの中では定義できないようなフィルターです。
3. モデルの拡大:
最後に、MとGを組み合わせて、Mの拡大モデルM[G]を構成します。M[G]は、Mの要素とGの要素を組み合わせた新しい集合で構成されます。
4. 独立性証明:
強制法を用いることで、ある命題がZFCで証明可能かどうか、あるいは反証可能かどうかを調べることができます。具体的には、ある命題が真となるM[G]を構成し、その命題がZFCから独立であることを示します。
図解:
強制法の図解は、言葉で説明するのが難しいですが、以下のようにイメージできます。
M (元のモデル):
これは、ZFC公理系で定義された集合全体の集合で、例えば自然数や実数などの基本的な集合を含んでいます。
P (半順序):
これは、Mの中で定義された「条件」の集合で、例えば「ある集合の要素数がn以上である」といった条件を表します。
G (ジェネリックフィルター):
これは、Pの要素の中から「良い」ものを集めたフィルターで、Mの外側から取ってきます。
M[G] (拡大モデル):
これは、Mの要素とGの要素を組み合わせた新しい集合の集合で、Mよりも「大きい」集合になります。
例:
連続体仮説 (CH) の独立性証明では、CHが真となるM[G]と、CHが偽となるM[G']をそれぞれ構成することで、CHがZFCから独立であることを示します。
参考資料:
強制公理とΩ-論理 依岡輝幸 静岡大 2009 https://shizuoka.repo.nii.ac.jp/record/2874/files/090527001.pdf
連続体仮説 ja.wikipedia
補足:
強制法は、数学の中でも特に高度な概念であり、集合論の中でも非常に複雑な分野です。上記の説明はあくまで概要であり、詳細な説明は専門書や論文を参照する必要があります。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/455

458: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/10(日) 10:23:19.36 ID:f12p+Q2v

>>454 補足
さて、用語 宇宙が、極めて混乱した状態であることを説明します
それが、下記の ja.wikipedia到達不能基数の グロタンディーク宇宙U
もう一つが、檜山正幸氏の グロタンディーク宇宙の 二種類の説明

前者は、明らかに グロタンディーク宇宙U は、ZFCのノイマン宇宙Vより 大きい
後者の檜山正幸氏の グロタンディーク宇宙 二種類の説明は、SGAの1963年の論文がベース(多分)
望月IUTの”宇宙”も SGAの1963年の論文がベース(IUT論文では下記[McLn](1969)を引用している)

さて、グロタンディーク宇宙Uの意図は
下記”この公理系は、例えば全ての圏は 適切な米田埋め込みを持つ”
など、圏論を展開するのに便利なのです

いまどきの基礎論屋さんは、グロタンディーク宇宙Uは ノイマン宇宙Vより大きいと思う
どっこい、檜山正幸氏にあるように 元のグロタンディーク氏の発想は もっと素朴で
Vではクラスになって 不便だから Uの中での クラスを集合にしようと
だから、VのクラスはUの中で Vのクラスより大きいのです

が、望月先生は そういう細かい基礎論の話(クラスうんぬん)は、気にしていないようです
実際、その話は「グロタンディーク宇宙U ありま〜す！」と宣言さえすれば、どうでもいい話です
でも、中途半端に 21世紀における"クラス"と"宇宙"を知っている読者は 混乱させられるという オチです

(参考)
https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
到達不能基数
到達不能基数による真クラスの存在性
ZFCの下で、到達不能基数公理はグロタンディークとヴェルディエールのuniverse axiom「任意の集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。」と同値である。
ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される（これは ZFC に urelements を付け加えたものと混同しないように注意）。
この公理系は、例えば全ての圏は 適切な米田埋め込みを持つということを証明するのに役立つ

つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/458

459: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/10(日) 10:23:52.80 ID:f12p+Q2v

つづき

https://m-hiyama.ｈａｔｅｎａblog.com/entry/20180406/1522992414
檜山正幸のキマイラ飼育記 (はてなBlog)
2018-04-06
あなたはこの公理を信じますか
もう一度宇宙公理を述べますが、二種類に分けましょう。「ZFCの宇宙（ときに大宇宙と呼びます）のなかに、グロタンディーク宇宙（ときに小宇宙と呼びます）が少なくとも1つは存在する」という内容の命題をU（Univereseの'U'）とします。「いくらでも好きなだけグロタンディーク宇宙を取れる」という内容の命題のほうはMU（Multiple-Universe = Multiverse から）としましょう。
・[U 単一宇宙公理] ZFCの宇宙Vのなかにグロタンディーク宇宙Uが存在する。
・[MU 多宇宙公理] ZFCの宇宙Vの任意の集合x（x∈V）に対して、x∈U となるグロタンディーク宇宙Uが存在する。
宇宙公理（UにしろMUにしろ）を積極的に支持する気になれない／なれなかったのは、「あれば便利だ」以外に、「そうであるべき」理由が見つからないからです。でも、ここ二,三日で心境が変化して、「あれば便利だ」だけでも十分な理由のような気がしてきました。
ここは楽園か
ここから先のVは、ZFC+UまたはZFC+MUの宇宙とします。つまり、V内にグロタンディーク宇宙Uを取れます。通常の構成や議論はUのなかで行います。必要があれば、Uの外に出て、Uを外からいじってもかまいません。
Uの部分集合は、Uの観点からはクラスです -- U-クラスと呼びましょう。U-クラスが真クラス〈大きい集合〉のときもあるでしょう。しかし、Vから見れば、U-真クラスだろうが何だろうが単なる集合（小さい集合）で、U-クラスの全体Pow(U)もまた単なる集合です。U-クラスを集めたモノの全体Pow(Pow(U))だって単なる集合です。
何も気にすることなく、VのなかでUを操作できます。ZFC+MUを仮定するなら、なにか困ったことが起きてもUより上位の宇宙U'に移れば収拾できるでしょう。
まー、素敵。

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
The various ZFC-models that we work with may be thought of as [but are not restricted to be!] the ZFC-models determined by various universes that are sets relative to some ambient ZFC-model which, in addition to the standard axioms of ZFC set theory, satisfies the following existence axiom [attributed to the “Grothendieck school” — cf. the discussion of [McLn], p. 193]:
We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model.
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1753000052/459

475: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/10(日) 20:38:26.49 ID:f12p+Q2v

>>470
>そういやも一つ言い訳してたな。「IUTの推論は現行数学のそれと大差ないからわざわざする必要もない」とかなんとか

真逆だよ 下記
望月新一 感想・着想 2009年02月11日
の通り、”(a) Frobenioid I, IIの理論”、”(b) Etale Thetaの理論”など、現行数学とは全く異なるよ
そして、2009年02月から3年半の2012年8月30日に IUTのプレプリが公開された https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96

(参考)
https://www.kurims.kyoto-u.ac.jp/~motizuki/thoughts-japanese.html
望月新一 感想・着想
2009年02月11日
　・IUTeichの論文を昨年の7月から執筆しているが、最近の進捗状況について
　　報告する。まず、2008-03-25の報告（過去と現在の研究を参照）では、
　　この理論を二篇の論文に分けて書く予定であると書いたが、この半年
　　余りの間、（論文一篇の長さが100ページを大幅に超過しないように）
　　理論を三篇の論文に分割して書くことに方針を変更した。現時点で
　　考えている題名は次の通りである：
　　　IUTeich I: Construction of Hodge Theaters
　　　IUTeich II: Hodge-Arakelov-theoretic Evaluation
　　　IUTeich III: Canonical Splittings
　　このうち、IUTeich I は（イントロを除いて）一通り書き終わっていて、
　　IUTeich IIを書き始めているところである。これまでのペースで作業が
　　進めば、（2008-03-25の報告で予定した通り）2010年末までに一通り
　　書き終わる見通しであるが、もちろんこれについては現時点では何も
　　保障できない。
　　IUTeich I では、
　　　　　　　　　　　　　(a) Frobenioid I, IIの理論
　　の他、
　　　　　　　　　　　　　(b) Etale Thetaの理論
　　や
　　　　　　　　　　　　　(c) Absolute Topics IIIの理論
　　の、非自明ながら比較的表面的な部分を、本質的な形で利用したが、
　　IUTeich II では、(b)の最も深い部分を使う予定である。一方、
　　IUTeich III では、(c)の最も深い部分を適用する予定である。

http://rio2016.5ch.net/test/read.cgi/math/1753000052/475

479: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/10(日) 23:04:26.05 ID:f12p+Q2v

>>476-478

面白いやつらだなｗ　；ｐ）
スレ主です
そもそも このIUT応援スレと
あっちの Inter-universal geometry とABC 予想58 スレ
https://rio2016.5ch.net/test/read.cgi/math/1749926306/l50
とで、棲み分けしてんじゃなかったか？ うん？ ふっふ、ほっほ ｗｗｗ　（＾＾

>深いとか表面的とかそういうトラッシュトークではなくIUTの言語が一義的でないことに反省の弁を述べるべき

ガッハハ
”IUTの言語が一義的でない”？
それ証明できる？
証明できるならば、論文書きなよ 下記のChallenger Prize 100万ドル狙えるよ
まずは、arXive 投稿からな
arXive投稿できて 日付がついて 優先権が確保できたら 教えてくれや
その”IUTの言語が一義的でない”の立証論文を読むからよｗ
そして、それが正しいならば『MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載』を狙いって投稿しなｗ
査読者には、論文が通って 100万ドルゲットしたら 「半分渡す」と言え！ 通して貰える確率上がるからｗｗ
いや、そうでなくとも arXive投稿段階で 証明が正しければ 数学界で センセーショナルの話題になるぜよｗｗｗ
まあ、ありえんけどねｗｗｗ

>脳内デンパってどういう意味じゃゴミ

google検索：脳内デンパってどういう意味？
元々は「頭の中に何者かからの声、思考、指示、妨害が電波で届く」と訴える人のことを指していた。
こういう被害妄想の症状を発する者（統合失調症かつての精神分裂症患者に多い）は、かつて電波が一般的でなかった時代は「動物」や「霊」によるものともされ、「狐憑き」などと呼ばれていた。
「電波系」の意味や使い方 わかりやすく解説 Weblio辞書
https://www.weblio.jp/content/%E9%9B%BB%E6%B3%A2%E7%B3%BB

(参考)
https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。
これは京都大学数理解析研究所教授の望月新一教授によって創始された宇宙際タイヒミュラー理論（Inter-universal Teichmüller theory）の「本質的な欠陥」を明らかにした最初の論文に100万ドルを贈呈するというものです。
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたものに限ります。

http://rio2016.5ch.net/test/read.cgi/math/1753000052/479

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.044s