[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
656(1): 2019/12/04(水)20:00 ID:vzjCm2YG(1/4) AAS
>>650
ああ、それは今日もこのスレにいる人が言っていたことだと思う（間違っていたらゴメン）
私は圏論的な問題として「universal property v.s inter-universal」で、レベルが高いのか低いのか分からん論争と書いたことがあるｗ
立場が違うというのはちょっと違うかな。IUT側はSSの「嗜好・美学」＋勉強不足にして、立場の違いにしたいようだけど、
SSに限らず外野（IUTコミュ以外の人）にとっては理解可能で納得できる説明ができるのどうかが問題
IUTはマルチバースとは厳密にはちょっと違う。「母宇宙→子宇宙→孫宇宙→・・・」ではなく、オカルトというか笑い話で例えると、
母親の輪廻転生の物語になる。
省2
657(1): 2019/12/04(水)20:20 ID:vzjCm2YG(2/4) AAS
SSの単純化には2種類あって、radicalなものとdrasticなものがある
前者はアナロジーに頼らない普通の数学用語で書くということ
後者は充満多重同型とラベルの使用を「不必要・無意味」(望月レポによる)として採用しないということ
とくに後者はIUTの核心部分を損なうとSS自身が書いているが、面白いことに実はそれすら本質的な問題ではないと書いている
要するにSSにとって本質的な問題はpilot objectの抽象v.s.具象で、彼らが納得できなかったのが充満多重同型とラベルということ
つまり、原因を探ればこのような問題を生じさせているのは同型とラベルの問題で、それをクリアにするためには
drasticな単純化が必要であった、ということになる
省4
658: 2019/12/04(水)21:09 ID:vzjCm2YG(3/4) AAS
ユニバースv.s.マルチバースという対立について当てはまるとすれば、
スキーム論的な環論的枠組みv.s.遠アーベル的な群論的枠組み、ということはできるかな
まあ、実際SSはIUTを前者にして書き換えているわけだし。もはやIUTと呼べるシロモノではないけどね
望月がSSレポ5月版を読んだとき青天の霹靂だったんじゃないかな
望月が初夏に書いたらしい反論レポを読んだ上でのSSレポ8月版では、脚注などで強烈な皮肉を書いているしね
665(2): 2019/12/04(水)23:55 ID:vzjCm2YG(4/4) AAS
>>663
quotientですね。これだけでは何のこっちゃということになるので、mutationを持ち出しています
そういうことがガロア圏ではアナベリオイドや絶対遠アーベルを使えば可能であろうということでしょうね
>>664
以前何度も書いたんですが、IUT・?最終節を始めに持ってきて、全体の眺望を示したうえで本論に入ればいいと思うんですけどね
如何せん、この辺だけは（？）本人が謙虚で「専門家ではない」と断っているのでどうしようもありませんｗ
佐藤賢太郎氏にアドバイスを受けたと謝辞にありますが、佐藤氏も見解を発表していないしよく分かりません
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s