[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
863(1): 2019/12/21(土)20:48 ID:jmuA+gqL(1/4) AAS
充満多重同型の定義は原論文にちゃんとある
その上で、星の「ある(通常空でない)集合」は原論文の定義そのままのsubsetのこと
山下のサーベイでの多重射・多重同型の定義だが、これはこの同型がIUTで実際どう使われるかを先取りして書いた側面がある
つまり、“possibly empty”は忘却関手を指している
さらに、SSレポ脚注では“possibly indeterminate”とあり、これはエタール輸送不定性を指している
当たり前のことだが、定義だけ見てそれがどう使われるのか見なければ何も分からない
充満多重同型と書かれて、この「充満」って何？と思うのが普通
省6
865(1): 2019/12/21(土)21:13 ID:jmuA+gqL(2/4) AAS
>>864
う〜んとですね、もう自分で調べてくださいｗ
B本でもいいし、星入門でもいいですから……
上の充満多重同型だって論文やサーベイで語検索をかければすぐ出てきますよ
その上で、先ず自分で読む、考える、ほかの人の考えを訊く。当たり前のことだと思うんですけどね
まあ、IUT読むよりは他のことをやった方がいいですよ
私は暇潰しとは言え読んじゃったのでｗ 他にも幸か不幸か読んじゃった人がこのスレに少なくとも一人はいるので、
省1
868(1): 2019/12/21(土)22:09 ID:jmuA+gqL(3/4) AAS
>>813
バザードの考え方は彼のブログを読めば分かるので、IUTは彼からすれば（私もそうだし、ロバーツもそうでしょう）、
同型＝等式ではない、もっと厳密に注意深く取り扱わなければならないという警鐘に対する極端な逆張りですね
望月の考えは「同型⊂充満多重同型」ですよ。だから何でもできる
圏論の望月流の利用（濫用？悪用？私的流用？ｗ）ですかね
ショルツの件はご存じだと思っていました。彼の今年の大学での講義“Condensed Mathematics”ですね
ネット上にPDFもあるし、youtubeにMSRIでの講義もあります。バザードのチャットでも盛り上がっていたようです
省6
869: 2019/12/21(土)22:27 ID:jmuA+gqL(4/4) AAS
>>862
う〜ん、やはり私にはIUTは文学にしか見えませんね。つまり、ショルツのIUTに関する主な関心事である、
抽象vs.具象、「望月は抽象と具象と厳密に区別していない」という指摘ですね
そういう意味ではちょうど先に書いたマラルメなどはプラトニストかつヘーゲル主義者です
詩人、それも象徴派の最高峰に位置する詩人で、極めて抽象的な思考の持ち主ですが、詩は語(mot)の選択と組合せという
具体的で、即物的で、唯物論的なものです
彼の詩に「類推の魔」というものがあります。タイトルだけでいえばIUTにピッタリではないでしょうかｗ
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s