[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
346(1): 2019/06/09(日)04:04 ID:Du8fpnv/(1) AAS
> 仮に遠い未来に結果的に（事後的に）正しいとされても、途中の説明が抜けているとは言えますね
このシナリオだったとした場合
望月の実質的なcontributionの大きさについての評価で
更にもめそう
347: 2019/06/09(日)05:29 ID:d7CIThdi(1) AAS
擁護派が希望的な感想を持つのは勝手だが世間や世界がこれまでの蛮行暴言を許す訳がなかろう
348: 2019/06/09(日)07:52 ID:ybFYJ1Q+(1) AAS
世間が許さないとか、久しぶりに聞いた
こんな昔ながらの小市民、令和の時代に生き残っていたのか
349: 2019/06/09(日)08:55 ID:B9OMZn1o(1) AAS
>>346
大なり小なりこのパターンはありうると思う
ワイルズにおけるテイラーは身内なので問題なかった
テイラーは謙虚だったし後で大きなお宝を手に入れられた
IUTにおける未来のテイラーがSSの身内だったら？？
350(1): 2019/06/09(日)10:49 ID:Gk2uGlqv(1) AAS
だったら、きたら、なったら
351: 2019/06/09(日)12:20 ID:k1wHuVjT(1) AAS
Quanta magazine
September 20, 2018
Scholze said, “I think this should not
be considered a proof until Mochizuki does
some very substantial revisions
and explains this key step much better.”
Personally, he said, “I didn’t really see
a key idea that would get us closer to
the proof of the abc conjecture.”
352: 2019/06/09(日)12:23 ID:qA7aKiXQ(1/2) AAS
>>350
「理解者」がSSの指摘に1年間沈黙しているのは
仮定の話ではないね
「SSはただの勘違いだから答える必要なし」らしいが
新しい発展も7年間全くない
353(1): 2019/06/09(日)19:44 ID:n8y5kut9(1/7) AAS
>>342
非可換性というのは究極的には全ての宇宙を同一視できないという理論内容に対応するもので、
安直リンクの説明に関係しますね。また、これの処理は充満多重同型にも関わりますが、等価な理由としては
log-schemeと同じで、対数写像が単解と両立する性質を用いて、抽象的にまとめて考えています
これが剛性とroots of unityによって制御されているという部分にはかなり感心します
この辺は個人的には宇宙の区別を系列として構成する点が明確になれば問題ないと思います
もちろんショルツが何を問題にしていたかはわかりませんが
log-schemeのような一般化とホモトピー的な写像は矛盾せず扱う事はできますが、不定性のようなものは
ホモトピーをトポス理論によって特殊に処理しなければ理解できないでしょう
しかしながら、群の作用により引き起こされる宇宙間の不定性はやはりホモトピー射の一種として
省2
354(1): 2019/06/09(日)19:57 ID:n8y5kut9(2/7) AAS
ちょっと微妙な言い方になるが、IUTの記述が正しいかどうかに関わらず、その数学的内容に大体対応する、
つまり等価な理論は可能だと思います
これはまさしく以前に書いた「私の理論を応用する余地がある」と仰った某人とも一致した見解です
もちろん見解に過ぎません
重要なのは、仮にIUTが誤りであるならば、では整数に対応する遠アーベル幾何学とは何なのかという点にある
これはもちろんもっと一般的に、代数幾何学の問題として考えてもよい
通常の遠アーベル幾何学を超えた遠アーベル幾何学はあるだろうが、それがIUTとどういう関係にあるのか
これは非常に重要で意味のある問題になる
355: 2019/06/09(日)20:26 ID:TeewNOIA(1) AAS
模索中なのね
356: 2019/06/09(日)20:34 ID:qA7aKiXQ(2/2) AAS
ペレルマンのポアンカレ予想も難解とされ発表された論文（2002年）には詳細がなかった
複数の検証チームが穴を埋めて正しいと確認され（遅くとも2006年）
ペレルマンの業績になった
IUTとどこが違ったのか
357: 2019/06/09(日)21:08 ID:afnRMQVH(1) AAS
新奇性でいったらペレルマンと比較にならんだろう
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
359: 2019/06/09(日)21:33 ID:SK1LzJnQ(1) AAS
危なっかしいやり方を貫いてるのに、擁護者はこれを口をそろえて「自然だ」と言う。なぜか？
360(2): 2019/06/09(日)21:40 ID:XNG4QO4R(5/9) AAS
>>354
私は数論でも代数幾何の人間でもないので、某氏の論文等は詳しくは分かりませんが、彼の研究内容から察するに
IUTと某氏の理論を絡めてもすぐにABC予想を証明できるといった類のものではありませんよね？
言わばまだまだ「土方の仕事」の段階だと思います
このスレで「土方の仕事」をバカにする人たちがいますが、数学に限らずあらゆる物事は「土方の仕事」の積み重ねです
それが頂点に達した時にブレイク・スルーが起きる。ワイルズやペレルマンだってそうだったでしょう？
妄想をしながら走ってドブに落ちて泥まみれになるのとはわけが違います
そういうのは「数学のポルノ」と呼んで差し支えない
（学生がラノベばかり読んでいるので文学部の教授連にラノベについて聞いたら「あれは精神のポルノだ」と言っていました）
361: 2019/06/09(日)21:41 ID:shqOrQPt(2/4) AAS
ダメとも良いとも結論しないってのは
数学という学問分野の限界を露呈しているね
先に行けば行くほど理解できる人は少なくなり
ということは正しいとも正しくないとも分からない人がほとんどで
誰かが正しいといったことを以て正しいとするしか無くなる
数学の死
362: 2019/06/09(日)21:58 ID:w1XPf7kN(1) AAS
レスに関して言えば否定派と擁護派の入れ子宇宙は存在している。
363(1): 2019/06/09(日)22:13 ID:XNG4QO4R(6/9) AAS
私の相手をしてくれている人は擁護派でも否定派でもないんですけどね
ちゃんと時間をかけてIUTを読み、自分の頭と手で考えている人だと思います
だから、彼のIUTに対する評価が二転三転しても私は気にしません。それは彼がちゃんと自分で考えている証拠ですから
数学の正否に関しては朝令暮改は当たり前です。正しいなら正しい、間違いなら間違い、それでいい（同義反復的解決w）
私はと言えば、IUTに関してはほとんど一貫して「限りなく黒に近いグレー」で、
百歩譲っても現状では「従えない」という見解です
364(1): 2019/06/09(日)22:17 ID:n8y5kut9(3/7) AAS
>>358
このalien論文もよくまとまってそうですね。夏の内には読んでみます
Slimな設定で考えれば高階圏として考える必要はないと。まあ単純に二次元の圏としてひとまず
イメージするのは普通だとは思いますが、確かに明らかに理論は高階圏として書かれてませんね
本来は二次元圏だけど単純化できるということですね
365(1): 2019/06/09(日)22:23 ID:S71tvxV3(1) AAS
へいへい査読まだ終わらんの？
もしくはIUTeich理論からABC予想以外の面白い結果出たか？
上下前次1-新書関写板覧索設栞歴
あと 637 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s