[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
338(1): 2019/06/08(土)23:29 ID:DJvDb/5g(4/4) AAS
結局、代数にしろ解析にしろ、表現論が重要になってくるわけです
IUTだってその中心は多輻的アルゴリズム表現（論）なんですよ。問題はそれが望月の言うように構成されているかどうかです
つまり、入れ子式宇宙ができているのかということです。同義反復的だけど僅かにズレた宇宙ですね
まあ、SSによれば入れ子式どころかたんに並列な同じ環構造ができているだけということになる
愛友亭文元が書いた本は、最初から入れ子式宇宙があるという前提で書かれています
IUTらしさというのは、この入れ子式宇宙が如何に作られるか、というところなんだと思うのですけどね
そこが問題or否定されているので、たぶん愛友亭はその問題をずる賢く避けたのでしょう
後からいくらでも言い訳できるように・・・。私が今まで読んだ数学関連本では最低最悪で目が腐る本ですね
339(1): 2019/06/09(日)00:14 ID:X46qkM9E(1/2) AAS
>>338
失礼ながら中途のレスは一旦飛ばすとして、レベルが高ければ間違いだと明白にわかるというアイデア
ではないのが難しいところです。Hodge filtration、lifting、ホモロジー代数のアイデアを非常に奇妙な形で
一般化している。表現論といってもG加群でなくリンクの離散性を使って非線形に計算している体になっている
しかし、Frobenius liftingの三角図式をある種の同型な基底構造を用いて「いわば」"loopy-nested"な図式に
一般化する、というのは非常に難しい。圏論的には同型性と分裂を使って対象区別された系列を構成するという
論理はかつて存在しない
これは圏論的にも写像論的にも基本的な無理な話ですから、簡単に理解しようがない
だが圏論も進歩するので、例えばmonadやoperaic homotopyの何らかの遠アーベル版みたいなものだ、
新しい数学なんだという可能性も検討せざるをえない
省1
340(1): 2019/06/09(日)00:25 ID:X46qkM9E(2/2) AAS
望月氏ご本人が注意されてますが、準同型としてはそういう雰囲気の理論は見慣れたものです
が、決定的な違いがあるので理解が難しい
単純に見れば見慣れた理論をmodule objects→mono-analytic ring objectsとして一般化しようとした事になる
341(1): 2019/06/09(日)01:01 ID:shqOrQPt(1/4) AAS
IUTってデタラメなのか
342(1): 2019/06/09(日)01:04 ID:XNG4QO4R(1/9) AAS
>>339
あなたが以前書いていたように、ケドラヤ辺りが考えていそうなHoTTで補ってはどうかということですね
仮に遠い未来に結果的に（事後的に）正しいとされても、途中の説明が抜けているとは言えますね
現状では種の言語と突然変異で厳密に定式化できているぞ〜、と言っているだけで
（その割にはその部分は強調しないで、多輻的アルゴリズムで分かってもらえるはずだという不可解な態度）
あと対数テータリンクの非可換性についてもどうなんですかね？ショルツも最初はそれを質問していたそうですし、
星の入門でも「非可換性の解消」とか書いていますし、よく分かりません・・・
>>340
確かに本人も同義反復的な解決については、「数論幾何、いや数学の常套手段である！」とは書いていますね
ただIUTは環・スキーム論を部分的に解体しているので、歪みの計算までしなければいけなくなる
省2
343: 2019/06/09(日)01:05 ID:XNG4QO4R(2/9) AAS
訂正します。失礼しました
（誤）対数テータリンク → （正）対数テータ格子
344: 2019/06/09(日)01:26 ID:XNG4QO4R(3/9) AAS
>>341
SSのように普通に考えて、単遠アーベル的復元/構成による充満多重同型と、ラベルの使用を却下したら、
どうしようもない内部矛盾、壮大な茶番となります
IUTに忠実に従っても（これは何を意味するのだろう？素読か読経か？）、いろいろ行間を埋めなければならないと思います
正直言って、私も理解者たちがどういう理解をしているのか分からないのです
理解できているのなら納得のいく説明ができるはずですし、引き籠る必要などないわけです
345: 2019/06/09(日)03:42 ID:D08Y05W0(1) AAS
>>337
晩年のゲルファントととって今度の高木レクチャーの人ぐらいしか思いつかない
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
新奇性でいったらペレルマンと比較にならんだろう
上下前次1-新書関写板覧索設栞歴
あと 645 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s