[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
664(1): 2019/12/04(水)22:38 ID:swnOwC2D(3/3) AAS
>>657
別に異議ではないんですが、IUTは単にマルチバースというかイデアのイデア、つまりメタユニバースみたいな
観点で考えているとも読めますね
これは第四論文で似たような話が出てくる。種の言語というのは実は色んな所にあると見なせて
それを徹底して突き詰めたものがIUTである。そういう話に加藤さんも貢献しているw
しかし何度も同じような事ばかり言ってあれだけども、ScholzeとKedlayaが納得してサーベイを書けないってのは
相当な事なので、来年度のプロジェクトイヤーにでもプレプリントすら出てこないようなら完全に終わりです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s