[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 34 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
207(2): 2018/11/04(日)21:45 ID:OnLKqmHG(7/8) AAS
>>195
これ、エタール的対象である絶対ガロア群の話だよね
抽象的な位相群から同型物を取る時に元の「操作の履歴」を「忘れる」ということなんだけど、
S・Sだって忘却関手のことを忘れるような初歩的なミスをしているわけでもない
不定性があっても充満忠実であれば普通に同型でいいんだ、というようなことを言っている
ここが議論の分かれ目なんだよね。本当に泥仕合だよ
213(1): 2018/11/04(日)23:37 ID:CISXclXD(4/4) AAS
>>207
誰であってもなかなか確信を持って実名で割り込めない話だと思うけど、
「まとめて見たら同じだけども、各々はよく見たら違う」逆に「各々はよく見たら違うけども、まとめて
見たら同じ」という見方はこの理論の重要なモチーフになってる
対象とは何か、何を捨象してよく捨象してはならないのか。変形というくらいなんだから、理論の肝が
そういう問題に直結している
個人的にはもっと直接的な証明の可能性に興味があるけども
277(2): 2018/11/06(火)22:28 ID:kac0nyl0(2/3) AAS
>>267
まあ確かに俺も５ｃｈでは大雑把な話しでいいと思っているんだけどｗ、同型の話は避けて通れないからね
大雑把に言うと、>>207と同じで充満多重同型の話だけど、忘却関手を充満(full)にしているんだから普通に同型でいいでしょって話
望月としては操作の履歴(histories of operations)を忘れた(forget)状態だから、それで結びつけたフロベニオイド達も異質ですよ、
あとから再初期化(re-initialization)しますよ、それで問題ないじゃないですか！それに、
あとから操作の履歴を思い出したら（recall back）、対称性やアルゴリズムを破壊しますよ、ということなんだろうけど、なんだかなあ
あと、望月は頑なに通常の数学用語を避けるよね。忘却関手と言えばいいのに「操作の履歴を忘れる」とかね
もうお互いメンドクサイから関心のある人はロバーツのPDFでも読んで各自の判断に任せるとしますか（笑）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.429s*