[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
353(1): 2019/06/09(日)19:44 ID:n8y5kut9(1/7) AAS
>>342
非可換性というのは究極的には全ての宇宙を同一視できないという理論内容に対応するもので、
安直リンクの説明に関係しますね。また、これの処理は充満多重同型にも関わりますが、等価な理由としては
log-schemeと同じで、対数写像が単解と両立する性質を用いて、抽象的にまとめて考えています
これが剛性とroots of unityによって制御されているという部分にはかなり感心します
この辺は個人的には宇宙の区別を系列として構成する点が明確になれば問題ないと思います
もちろんショルツが何を問題にしていたかはわかりませんが
log-schemeのような一般化とホモトピー的な写像は矛盾せず扱う事はできますが、不定性のようなものは
ホモトピーをトポス理論によって特殊に処理しなければ理解できないでしょう
しかしながら、群の作用により引き起こされる宇宙間の不定性はやはりホモトピー射の一種として
省2
358(3): 2019/06/09(日)21:19 ID:XNG4QO4R(4/9) AAS
>>353
星の入門１に関しては本人が「無数の不正確な記述」と述べている通りですね
例えば、単遠アーベル的復元についても双遠アーベル的な復元のような説明をしています
対数テータ格子の非可換性に関しても上記と同様、視覚的に分かりやすい説明を選んだということでしょうか
まあ、本人が英訳してUPしない気持もよく分かります
で、実際IUTでは何が起こっているかというと、ロバーツだけでなく望月本人が書いているのですが（エイリアン・コピー論文）、
“categories of categories”と言っても2-categoriesではないんですよ（ルーリーなら何と言うか分かりませんが）
はっきりと“various "general nonsense" techniques”と書いています（同上p.121）
つまり、グロタンディーク宇宙をラッセルのパラドックスから始めているわけです（本来は真のクラスを回避するためのものだったのですが）
ループ状入れ子式宇宙を構成するために単遠アーベルを用い、各宇宙を操作するためには区別が必要で、ラベルが必要となる
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.605s*