19/06/09 01:04:00.97 XNG4QO4R.net
>>339
あなたが以前書いていたように、ケドラヤ辺りが考えていそうなHoTTで補ってはどうかということですね
仮に遠い未来に結果的に（事後的に）正しいとされても、途中の説明が抜けているとは言えますね
現状では種の言語と突然変異で厳密に定式化できているぞ～、と言っているだけで
（その割にはその部分は強調しないで、多輻的アルゴリズムで分かってもらえるはずだという不可解な態度）
あと対数テータリンクの非可換性についてもどうなんですかね？ショルツも最初はそれを質問していたそうですし、
星の入門でも「非可換性の解消」とか書いていますし、よく分かりません・・・
>>340
確かに本人も同義反復的な解決については、「数論幾何、いや数学の常套手段である！」とは書いていますね
ただIUTは環・スキーム論を部分的に解体しているので、歪みの計算までしなければいけなくなる
一見、新奇な発想には見えませんが、やはり単遠アーベル的な復元/構成による充満多重同型とラベルの使用の問題に行きつく
結局、話は振り出しに戻りますね（笑）
367:１３２人目の素数さん
19/06/09 01:05:54.98 XNG4QO4R.net
訂正します。失礼しました
（誤）対数テータリンク → （正）対数テータ格子
368:１３２人目の素数さん
19/06/09 01:26:36.99 XNG4QO4R.net
>>341
SSのように普通に考えて、単遠アーベル的復元/構成による充満多重同型と、ラベルの使用を却下したら、
どうしようもない内部矛盾、壮大な茶番となります
IUTに忠実に従っても（これは何を意味するのだろう？素読か読経か？）、いろいろ行間を埋めなければならないと思います
正直言って、私も理解者たちがどういう理解をしているのか分からないのです
理解できているのなら納得のいく説明ができるはずですし、引き籠る必要などないわけです
369:１３２人目の素数さん
19/06/09 03:42:04.21 D08Y05W0.net
>>337
晩年のゲルファントととって今度の高木レクチャーの人ぐらいしか思いつかない
370:１３２人目の素数さん
19/06/09 04:04:47.35 Du8fpnv/.net
> 仮に遠い未来に結果的に（事後的に）正しいとされても、途中の説明が抜けているとは言えますね
このシナリオだったとした場合
望月の実質的なcontributionの大きさについての評価で
更にもめそう
371:１３２人目の素数さん
19/06/09 05:29:40.18 d7CIThdi.net
擁護派が希望的な感想を持つのは勝手だが世間や世界がこれまでの蛮行暴言を許す訳がなかろう
372:１３２人目の素数さん
19/06/09 07:52:20.01 ybFYJ1Q+.net
世間が許さないとか、久しぶりに聞いた
こんな昔ながらの小市民、令和の時代に生き残っていたのか
373:１３２人目の素数さん
19/06/09 08:55:59.24 B9OMZn1o.net
>>346
大なり小なりこのパターンはありうると思う
ワイルズにおけるテイラーは身内なので問題なかった
テイラーは謙虚だったし
374:後で大きなお宝を手に入れられた IUTにおける未来のテイラーがSSの身内だったら？？
375:１３２人目の素数さん
19/06/09 10:49:53.62 Gk2uGlqv.net
だったら、きたら、なったら
376:１３２人目の素数さん
19/06/09 12:20:32.07 k1wHuVjT.net
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.”
377:１３２人目の素数さん
19/06/09 12:23:40.96 qA7aKiXQ.net
>>350
「理解者」がSSの指摘に1年間沈黙しているのは
仮定の話ではないね
「SSはただの勘違いだから答える必要なし」らしいが
新しい発展も7年間全くない
378:１３２人目の素数さん
19/06/09 19:44:17.37 n8y5kut9.net
>>342
非可換性というのは究極的には全ての宇宙を同一視できないという理論内容に対応するもので、
安直リンクの説明に関係しますね。また、これの処理は充満多重同型にも関わりますが、等価な理由としては
log-schemeと同じで、対数写像が単解と両立する性質を用いて、抽象的にまとめて考えています
これが剛性とroots of unityによって制御されているという部分にはかなり感心します
この辺は個人的には宇宙の区別を系列として構成する点が明確になれば問題ないと思います
もちろんショルツが何を問題にしていたかはわかりませんが
log-schemeのような一般化とホモトピー的な写像は矛盾せず扱う事はできますが、不定性のようなものは
ホモトピーをトポス理論によって特殊に処理しなければ理解できないでしょう
しかしながら、群の作用により引き起こされる宇宙間の不定性はやはりホモトピー射の一種として
理解は可能です。Kedlaya氏は自分で解明する気はあまりないかもしれないが、ホモトピー的なモデルを
ひとまず再構成することはいくらかの示唆から可能でしょう
379:１３２人目の素数さん
19/06/09 19:57:40.66 n8y5kut9.net
ちょっと微妙な言い方になるが、IUTの記述が正しいかどうかに関わらず、その数学的内容に大体対応する、
つまり等価な理論は可能だと思います
これはまさしく以前に書いた「私の理論を応用する余地がある」と仰った某人とも一致した見解です
もちろん見解に過ぎません
重要なのは、仮にIUTが誤りであるならば、では整数に対応する遠アーベル幾何学とは何なのかという点にある
これはもちろんもっと一般的に、代数幾何学の問題として考えてもよい
通常の遠アーベル幾何学を超えた遠アーベル幾何学はあるだろうが、それがIUTとどういう関係にあるのか
これは非常に重要で意味のある問題になる
380:１３２人目の素数さん
19/06/09 20:26:56.61 TeewNOIA.net
模索中なのね
381:１３２人目の素数さん
19/06/09 20:34:32.54 qA7aKiXQ.net
ペレルマンのポアンカレ予想も難解とされ発表された論文（2002年）には詳細がなかった
複数の検証チームが穴を埋めて正しいと確認され（遅くとも2006年）
ペレルマンの業績になった
IUTとどこが違ったのか
382:１３２人目の素数さん
19/06/09 21:08:06.84 afnRMQVH.net
新奇性でいったらペレルマンと比較にならんだろう
383:１３２人目の素数さん
19/06/09 21:19:25.12 XNG4QO4R.net
>>353
星の入門１に関しては本人が「無数の不正確な記述
384:」と述べている通りですね 例えば、単遠アーベル的復元についても双遠アーベル的な復元のような説明をしています 対数テータ格子の非可換性に関しても上記と同様、視覚的に分かりやすい説明を選んだということでしょうか まあ、本人が英訳してUPしない気持もよく分かります で、実際IUTでは何が起こっているかというと、ロバーツだけでなく望月本人が書いているのですが（エイリアン・コピー論文）、 “categories of categories”と言っても2-categoriesではないんですよ（ルーリーなら何と言うか分かりませんが） はっきりと“various "general nonsense" techniques”と書いています（同上p.121） つまり、グロタンディーク宇宙をラッセルのパラドックスから始めているわけです（本来は真のクラスを回避するためのものだったのですが） ループ状入れ子式宇宙を構成するために単遠アーベルを用い、各宇宙を操作するためには区別が必要で、ラベルが必要となる 今のところ、種の言語と突然変異をもってラッセルのパラドックスを回避しつつ、ループ状入れ子式宇宙を定式化できているつもりでしょうけど・・・ 少なくともロバーツの言うように「圏論でやってないし、圏論の精神にも基づいていない」ですね 結論を言うと、危なっかしいところから始めて、危なっかしいやり方を貫いている（笑）
385:１３２人目の素数さん
19/06/09 21:33:12.28 SK1LzJnQ.net
危なっかしいやり方を貫いてるのに、擁護者はこれを口をそろえて「自然だ」と言う。なぜか？
386:１３２人目の素数さん
19/06/09 21:40:12.39 XNG4QO4R.net
>>354
私は数論でも代数幾何の人間でもないので、某氏の論文等は詳しくは分かりませんが、彼の研究内容から察するに
IUTと某氏の理論を絡めてもすぐにABC予想を証明できるといった類のものではありませんよね？
言わばまだまだ「土方の仕事」の段階だと思います
このスレで「土方の仕事」をバカにする人たちがいますが、数学に限らずあらゆる物事は「土方の仕事」の積み重ねです
それが頂点に達した時にブレイク・スルーが起きる。ワイルズやペレルマンだってそうだったでしょう？
妄想をしながら走ってドブに落ちて泥まみれになるのとはわけが違います
そういうのは「数学のポルノ」と呼んで差し支えない
（学生がラノベばかり読んでいるので文学部の教授連にラノベについて聞いたら「あれは精神のポルノだ」と言っていました）
387:１３２人目の素数さん
19/06/09 21:41:17.12 shqOrQPt.net
ダメとも良いとも結論しないってのは
数学という学問分野の限界を露呈しているね
先に行けば行くほど理解できる人は少なくなり
ということは正しいとも正しくないとも分からない人がほとんどで
誰かが正しいといったことを以て正しいとするしか無くなる
数学の死
388:１３２人目の素数さん
19/06/09 21:58:38.14 w1XPf7kN.net
レスに関して言えば否定派と擁護派の入れ子宇宙は存在している。
389:１３２人目の素数さん
19/06/09 22:13:59.43 XNG4QO4R.net
私の相手をしてくれている人は擁護派でも否定派でもないんですけどね
ちゃんと時間をかけてIUTを読み、自分の頭と手で考えている人だと思います
だから、彼のIUTに対する評価が二転三転しても私は気にしません。それは彼がちゃんと自分で考えている証拠ですから
数学の正否に関しては朝令暮改は当たり前です。正しいなら正しい、間違いなら間違い、それでいい（同義反復的解決w）
私はと言えば、IUTに関してはほとんど一貫して「限りなく黒に近いグレー」で、
百歩譲っても現状では「従えない」という見解です
390:１３２人目の素数さん
19/06/09 22:17:22.94 n8y5kut9.net
>>358
このalien論文もよくまとまってそうですね。夏の内には読んでみます
Slimな設定で考えれば高階圏として考える必要はないと。まあ単純に二次元の圏としてひとまず
イメージするのは普通だとは思いますが、確かに明らかに理論は高階圏として書かれてませんね
本来は二次元
391:圏だけど単純化できるということですね
392:１３２人目の素数さん
19/06/09 22:23:02.94 S71tvxV3.net
へいへい査読まだ終わらんの？
もしくはIUTeich理論からABC予想以外の面白い結果出たか？
393:１３２人目の素数さん
19/06/09 22:24:29.92 h18ZJv2o.net
代数幾何でも数論でもない人が偉そうに「SS読んでない奴は相手にしない」とか言ってたのか
ところで「IUTを認めても明示的数値は出ない」ってデマ流したことは、ちゃんと反省しましたか？もうしちゃダメよ🙅♀
394:１３２人目の素数さん
19/06/09 22:26:37.73 shqOrQPt.net
>>363
>数学の正否に関しては朝令暮改は当たり前です
朝令暮改はいけないだろ
正しいなら正しい
間違いなら間違い
どちらかのみ
揺らぐことは無い
395:１３２人目の素数さん
19/06/09 22:28:08.34 shqOrQPt.net
>>365
>へいへい査読まだ終わらんの？
てゆーか
査読者が分からないんなら突っ返せば良いだけではなくて？
分かるように書き直せって言わないの？
396:１３２人目の素数さん
19/06/09 22:28:46.69 ZDTLzRQo.net
このスレには、敵は全て左翼だと決めつける右翼のババアみたいな奴がいて
少しでもIUTを肯定する書き込みをしたら擁護派だと決めつけられちゃいます
ご注意を。
397:１３２人目の素数さん
19/06/09 22:34:12.30 XNG4QO4R.net
>>366
専門としてはいませんが関連はあるので当然重要な論文は読んだり考えたりします。数学はつながっているのですから
あなたこそ私を「数論幾何？数学者でもない人？」とか言っていた人ですよね
あなたはフェセンコのシークレットなセミナーに参加して理解できたのでしょう？
なら、このスレで多くのことが書けるはずです。私に対する詳細な指摘はもちろん、私を相手にしてくれる人にも書けるはずです
このスレでどんどん書いてください。あなたが数論幾何に精通している数学者であることを証明してみせて下さい
ぜひお願いします
398:１３２人目の素数さん
19/06/09 22:44:20.55 55wLsLt7.net
>>366 不等式評価しかできないのに明示的定数かけてどうするの
399:１３２人目の素数さん
19/06/09 22:57:40.78 XNG4QO4R.net
まさかjin-pilot objectの類で、IUTの内容についてはほとんど知らず、ただセミナー、
それもシークレットなセミナーに参加して、結論だけ聞いてそれを信じているだけではないでしょうね？
数論や代数幾何を専門に教えていなくても、IUTはサーベイや多くの解説の類がUPされているし、
概要はつかめます。さらにIUTは数式よりも説明文の方が圧倒的に多いので、少なくともやっていることは分かるはずですよ
400:１３２人目の素数さん
19/06/09 23:16:34.94 n8y5kut9.net
>>360
その点なんですけど、多分イメージされてるのとは別人じゃないかなとw
ただ推察するに、ある観点で見たら研究対象はかなり近いので外れてるわけでもないです
あと自分も狭義の数論幾何学の人間ではなくて、誰かが言っていたと思いますが、本来の広い意味での
数論幾何学にしか興味がありません。ゲルファントなどはまさにポスト多様体の幾何学の祖ですし
どちらかというと>>337にある方向のほうが「現実的」な印象を受けますね
実際、この三者はまとめて見ればポスト多様体論やラングランズ理論の起源にも近いけども、
グロタンディークードリーニュのラインとは異なる数論幾何学は荒野ですね
自分が知る限りたった一名だけ突出しているだけで、Sarnak門下すら及ばない印象の世界です
401:１３２人目の素数さん
19/06/09 23:18:17.12 n8y5kut9.net
補足だが誰かが言っていた、というのはこのスレではないです
402:１３２人目の素数さん
19/06/09 23:27:19.48 n8y5kut9.net
散々言われてることだが、自分がプロであることを仄めかしながら他人を貶すばかりのレスは
一体何がしたいのかさっぱりわか�
403:轤ﾈい 何故IUTが正しいと言えるのか、ご自由に演説したらいいんだけど、できないとしか思えない
404:１３２人目の素数さん
19/06/09 23:32:30.51 n8y5kut9.net
本当にEffectiveな理論であるとすると、尚更テレンスタオが言っていたように
様々なsmall resultsを示すべきだね
やるやる詐欺にならないように心から期待している
405:１３２人目の素数さん
19/06/09 23:58:11.51 XNG4QO4R.net
>>373
ああ、簡単に人物を特定できてしまう書き方をして申しわけありませんでした。実は書いてすぐ反省していました orz
別人ということでホッとしました
406:１３２人目の素数さん
19/06/10 10:16:50.25 lr0GeBsA.net
>>360
いいこと言ってるように見せかけてむちゃくちゃ。
数学で土方仕事がブレイクスルーに結びつくなんてない。
ワイルズやペレルマンのどこにそんな要素があるんだ。
二流以下は学問的には無。
二流以下はその事実を受け入れるか、詭弁でごまかすか、だけ。
407:１３２人目の素数さん
19/06/10 10:48:03.59 DJkztI1+.net
gaussとか、keplerとかが生涯にやった計算量とかみるとまさに土方って感じがするけどな
408:１３２人目の素数さん
19/06/10 11:03:40.18 jiDyY9ub.net
擁護派が悔し紛れに適当なこと言ってるなあ
大きなこと成し遂げたみたいに言うなよ
なんの成果もでてないじゃないか
409:１３２人目の素数さん
19/06/10 12:20:48.38 ZoqGMuSo.net
>>379
そんなん今はパソコンでできるじゃん
410:１３２人目の素数さん
19/06/10 12:25:49.55 uzcT3Sw2.net
一方、佐藤幹夫は土方計算にポケットコンピュータを使ったw
411:１３２人目の素数さん
19/06/10 13:51:05.71 UPJ8EAD0.net
>>378
腕力軽視のひ弱な数学観だな
412:１３２人目の素数さん
19/06/10 17:34:02.96 /xnMyLGN.net
成果が出てない？知らんからそう言えるのであって、現場では次の進展が始まってるけど(ABC予想以外)、おまえ等が知らんだけやで。
413:１３２人目の素数さん
19/06/10 17:55:50.61 g0TJ7XNG.net
遠アーベルとかガウス積分の再構成やってるだけなんじゃないの
いい加減に諦めれば
414:１３２人目の素数さん
19/06/10 18:01:12.75 EgoR1H80.net
毎回毎回進展だのアクセプトだの言ってるけど出た試しがない
フェセンコのＢＳＤ予想の証明とかどうなったのか
415:１３２人目の素数さん
19/06/10 18:28:26.46 zthDj1gE.net
>>358
ガウス積分の再構成とは？
416:１３２人目の素数さん
19/06/10 18:55:18.60 PKXQZwn+.net
せっかくもっちーが例の系3.12を加筆したというのにお前らときたら
417:１３２人目の素数さん
19/06/10 19:46:53.89 x31f2MoR.net
>>388
未だに 主論文を改変しているんだろ
>>34を説明して
418:１３２人目の素数さん
19/06/10 20:59:15.56 okjEVrtn.net
昨日の深夜に軽くエイリアンの奴に目を通してみたけど、ワイルズへの妙なライバル意識が
結構はっきり出ていて面白いなと思った
モチーフとかラングランズプログラムを、意訳としてはある種の惰性だと批判しているな
でも広く認められたわけではない今の段階で言うことかなあw
419:１３２人目の素数さん
19/06/10 21:09:03.34 okjEVrtn.net
>>385
ガウス積分とは言っても、トポロジストが言う「取っ手付きコップとドーナツは同じ」レベルで
別のものに変わり果ててるけどね
420:１３２人目の素数さん
19/06/10 21:13:48.33 98jkw8Hd.net
実際今日本のプロの数学者にアンケート取ったら、
９９％が望月の結果に懐疑的だろうな。
NHKの特番がポシャッタのもそのせいだろう。
ブンゲンや星や山下は、査読で「本質的に正しい」と意見表面してしまった張本人だから、
行きがかり上望月と心中せざるを得ないので強弁してるだけだし。
421:１３２人目の素数さん
19/06/10 21:25:01.72 Kp2kMhcR.net
99.8はいくだろ
422:１３２人目の素数さん
19/06/10 21:35:32.27 65ce+f0k.net
バカかよw 99％なんて行かない
分からないし理解してないんだから懐疑以前の問題だ
態度保留が大勢になる
そんなことも分からない392や393みたいなバカがどうしてここにいる？
423:１３２人目の素数さん
19/06/10 21:37:29.58 tt4CBh1N.net
いくら外野が懐疑的に思ってても、専門家でない以上それに対して口を出すのが憚れるのが問題なんだよね
彼らが「自分達は正しく、SSは単なるいちゃもんに過ぎない」と強弁すればいくらそれを懐疑的に思っても専門家であるわけでも理解してる訳でもない以上受け入れるしかない
424:１３２人目の素数さん
19/06/10 21:39:01.84 eloI1V4F.net
バカ一派キターっっっ
425:１３２人目の素数さん
19/06/10 21:42:24.70 okjEVrtn.net
流れに関係なくて悪いけど、エイリアンで他に面白かったのは類体論との対比ね
クロネッカー青春の夢への一定の答えをIUTは出している。類体論にはできないぞ、と
総じてご本人にはかなり自信と自負があり、もちろん本気でやってるんだなと改めてよくわかる
426:１３２人目の素数さん
19/06/10 21:42:44.25 5XXHurP2.net
やっぱＢやＭ周辺てアタマおかしいわ
自分で責任取ることになるだろうけど
427:１３２人目の素数さん
19/06/10 21:51:54.86 ID/NdkA+.net
オボカタの教訓生かされず
428:１３２人目の素数さん
19/06/10 22:01:02.33 Z+Mr5k19.net
擁護一派
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
429:１３２人目の素数さん
19/06/10 22:02:58.28 VofSRedL.net
この時代に7年経っても受け入れられない理論なんてありえんて
学部一年生がそろそろ博士号取っててもおかしくないくらいになってるぞ
430:sage
19/06/10 22:05:49.29 98jkw8Hd.net
>>394
馬鹿はお前だよ。
邪馬台国だどこにあるかは誰だって確信を持たないが、
考古学者にアンケートで大和と九州とどちらにあると思うかと聞かれたら、
たいていの人間はどちらかにこたえるだろう。
（ちなみに事情通なら誰でも知っているが、考古学の専門訓練を受けた人の間では、
大和説が圧倒的に多い）
数学者だって、望月は証明できたかと思うかと聞かれれば答えられるよ。
特定のアンケートならねｗ
間違いなく９９％は懐疑的だｗ
証明できてないんだから当たり前だろｗ
裁判官が特許の技術的詳細がわからなくても判決が下せるのと同じだよｗ
431:１３２人目の素数さん
19/06/10 22:09:50.85 okjEVrtn.net
>>401
当時修士だったDimitrovが最終的に批判してるのは興味深い
432:１３２人目の素数さん
19/06/10 22:19:46.55 98jkw8Hd.net
>>395
＞彼らが「自分達は正しく、SSは単なるいちゃもんに過ぎない」と強弁すれば
いくらそれを懐疑的に思っても専門家であるわけでも理解してる訳でもない以上受け入れるしかない
受け入れてないよ？ 受け入れる理由などないし。
実際数学界は受け入れていない。海外に至っては全く受け入れていない。
受け入れているのは擁護派だけだろ
彼らは理解できないのに受け入れてるｗ
433:１３２人目の素数さん
19/06/10 22:27:26.33 tt4CBh1N.net
>>404
自分が言いたいのはRIMS内部の意思決定の話な
434:１３２人目の素数さん
19/06/10 22:57:08.07 ouID0Y3e.net
雑誌の編集者は投稿された論文の専門家とは限らない
だから査読に回して査読者と著者とを仲介する
査読者と著者とが対立した場合は専門家でない編集者が決断する
「強弁すればいくらそれを懐疑的に思っても受け入れるしかない」なんてことはない
435:１３２人目の素数さん
19/06/10 23:02:35.44 tt4CBh1N.net
>>406
雑誌の査読の話なんかしてないんだが
アホか
436:１３２人目の素数さん
19/06/10 23:22:23.57 o32moOcM.net
まわりの人間が当たり障りのないように接してるだけ�
437:ﾈのに調子こくとかアホか
438:１３２人目の素数さん
19/06/10 23:24:37.33 rzc9kGYt.net
>>391
IUTのガウス積分って面白いですよね。単遠アーベルとラベルの使用が宇宙際の骨格なら、
宇宙際ガウス積分というのはその計算の中身です。しかもループ状入れ子式宇宙なのですべてつながっている
これは言わばIUTにおける「土方の仕事」の部分ですね（笑）
IUTの計算とは局所の総計ではなく大域的なものなので、歯車がひとつでも欠けたら（否定されたら）全て瓦解します
宇宙際ガウス積分というのもややこしいことやってるなあと思うのですが、リンクによるアプローチを採用した時点で
必然的とは言えます
要するに散々方々で言われているように、IUTというのはall or nothingということです
エイリアン論文も副題が“FROM GAUSSIAN INTEGRALS TO INTER-UNIVERSAL TEICHMULLER THEORY”となっており、
この論文とSSへの反論レポートが今のところIUTの最良のサーベイになっています。一体、理解者とは何者なのか・・・
439:１３２人目の素数さん
19/06/10 23:40:23.90 rzc9kGYt.net
>>397
これ、なぜ望月が絶対遠アーベルを考えたのかということと対になっているんですよね
つまり、「そもそも復元とは何か？」という問題意識ですね
ノイキルヒ・内田のような双遠アーベル的な復元ではなく、単遠アーベル的復元/構成を考えることが復元の醍醐味だと
絶対遠アーベルを理論の中核に据えたIUTは、遠アーベル研究者にとってもメルクマールになる（はずだった）と思うんですけどね
440:１３２人目の素数さん
19/06/10 23:40:35.40 mm7bMQ5+.net
> この論文とSSへの反論レポートが今のところIUTの最良のサーベイ
こんなこと言っているのおまえだけだがな
441:１３２人目の素数さん
19/06/10 23:54:47.79 JVoogw/o.net
仕事干されたゴーくんネットでは元気だね
442:１３２人目の素数さん
19/06/11 00:11:52.32 wBzYBGmc.net
ゴーを採用した人事はRIMS史上の大失敗
RIMSであそこまでのくそ人事は可換環論のNの息子のトポロジーの人以来だろ
お勉強だけの秀才はいらんとNで懲りてたはずだが
443:１３２人目の素数さん
19/06/11 00:12:02.01 VM7G9Pk9.net
>>385>>390>>409
「ユビキタス熱核」な関心ならば俺もあるわ。
444:１３２人目の素数さん
19/06/11 04:48:03.87 2trxDvEm.net
M+B+K+雑魚連＝2.5流
多少はがんばったがそれぐらい
445:１３２人目の素数さん
19/06/11 06:55:11.74 VTSVjFE/.net
IUTはくそだ。
トホーフトは超一流の物理学者だ
446:１３２人目の素数さん
19/06/11 07:18:07.62 e6BJ5tlF.net
>>401
どんな時代でも有り得る。おまえは歴史観が基礎にないからその辺が腑に落ちないんだろうな
447:１３２人目の素数さん
19/06/11 09:03:30.41 BRr28MU3.net
>>417
陳腐な歴史観だな
君の方が歴史の勉強足りてないんじゃない？
448:１３２人目の素数さん
19/06/11 09:50:04.30 c4boSvYh.net
>>397
横ですみません、
>クロネッカー青春の夢への一定の答えを
IUTは出している
前から preprintのお話と思っています
Sさんの仕事の方が興味深いです。
449:１３２人目の素数さん
19/06/11 10:13:14.97 uJxGIKnB.net
>>418
注目されてない論文なら数十年たってからその真価が明らかになるのは珍しくない。
450:１３２人目の素数さん
19/06/11 10:23:13.10 Rhdig5J8.net
数十年注目されてて決着がつかないなんてどこの邪馬台国ですか
ほんとjinレベルのトンチンカンな擁護が多い
451:１３２人目の素数さん
19/06/11 12:05:20.34 t7QB6Mxv.net
要するにこれは望月conjectureなの？
452:１３２人目の素数さん
19/06/11 13:36:31.23 ilTC1zcm.net
3.12の leap step を30年後に誰かが多数の数学者が理解できる形で説明した。望月さんは「だから言ったでしょう？」と言った。
刺激惹起性多能性獲得現象の再現可能なプロトコルが30年後に発見された。小保方さんは「だから言ったでしょう？」と言った。
「あした富士山が噴火する」と僕は言い、翌日実際に富士山が噴火した。僕は「だから言ったでしょう？」と言った。
453:１３２人目の素数さん
19/06/11 13:58:12.23 uJxGIKnB.net
>>423
君、例えが下手だねってよく言われるでしょ？
454:１３２人目の素数さん
19/06/11 14:06:42.14 JeiP7Xj2.net
Bとどっこい
455:１３２人目の素数さん
19/06/11 14:23:06.68 nbVXZ9LQ.net
長文じじいが消えて静かになったか。
ギャーギャー騒ぐ段階じゃないんだよな。
456:１３２人目の素数さん
19/06/11 15:02:39.76 yXVLLANx.net
アホか。どうみても終わりだろ。
457:１３２人目の素数さん
19/06/11 15:07:38.59 BIcPX4PZ.net
中○派なんかとほんとに変わらんな
証明が本当に正しいなら日本も世界も自然に認めるだろう
そうでないってことはだな
458:１３２人目の素数さん
19/06/11 15:18:01.80 +nUX03iy.net
度を過ぎた擁護派のフーリガンが大きな顔できる状態じゃないだろ
内輪で盛り上がるのは結構だかそのままゴールできると思ってんのかな
騒げば騒ぐほどダメージが大きくなるんじゃないの
459:１３２人目の素数さん
19/06/11 15:23:14.34 9u0BG348.net
本の翻訳なんか簡単だろうにやらないことが全てを物語ってる
バッシング受けるのを承知してるからだろう
国内で延命させて飯の種にしたいだけ
460:１３２人目の素数さん
19/06/11 17:11:41.33 NA04wlr0.net
>>430
簡単ってw
流石に馬鹿らしいわ
461:１３２人目の素数さん
19/06/11 17:44:18.78 EDIODKni.net
そういわれると困る人がいるんですね、なるほどなるほど
462:１３２人目の素数さん
19/06/11 20:11:54.39 sKjXSR6o.net
>>409
例えばcoric loopy（looping）nested、これは題目通りなら数珠系列、擬高次スキーム系列と
名付けても良いでしょうが、確か深谷氏と斎藤氏の対談だったと思うが最も原始的な幾何学…
「絶対絶対ガロア群」から大域関手性と無限小変形により構成された環の系列があり、それは前者に依存した
系列または格子である、という考え自体は理に敵っています。それで重要なのはhistories of operationsと
いうのが不可逆になっていて、しかし全体で見たら対称性を有する、というものですね
この理屈を認めた場合、Stixの言うパラドックスという解釈と相違します。宇宙は局所的にしか繋がっておらず
また根源的には同じ構造からできているが、全体だと同一というか整合的だという主張です
正否はさておき、そこで見解が違っています。そして不定性自体は理論では群や写像を使ってまとめて
抑えられるので、B本の序文のようにこれがアレルギーを引き起こす、というのは違うでしょう
やはりラベル、宇宙の区別やリンクというのが理解されないということだと思います
それについて一つの問題は、ただの非数論的なデータを数論的に非自明なように見せかけているのではないか
という疑問です
しかし、これはFrobenioid、絶対ガロア群、エタール基本群の数論的データから取り出された解析部分を
更に剛性的な系列として切り離し見て計算するので、数論的なデータを一応考えているのも事実です
463:１３２人目の素数さん
19/06/11 20:19:53.45 sKjXSR6o.net
それはともかく、エイリアン論文の非技術的な部分で面白いのは、宇宙際という考えが既に1960年代の
グロタンディークスクールに現れていた、という認識ですね
それでどうしてモチーフプログラムを批判したりやたら自信が気負いに満ちているのかが納得される
つまり、望月氏はご自身をグロタンディークの遠アーベル幾何学、ガロア圏やリーマンーロッホに見られる
宇宙際的な視点
464:、トポスなどを深めた、異端の後継者であると位置付けている とまあこう前向きに見ても、やっぱり肝心の部分にあまり堅固さや自然さを感じないのは確かです 悪く言われているよりは理論として内容があるとは思っています
465:１３２人目の素数さん
19/06/11 21:04:56.43 kszm9cjw.net
なあなあ、主論文でまだ加筆捕捉されたってことは少なくともそれ以前は誤りだったかアクセプトされてないわけだろ
本書いた人や擁護派は誰もわかってなかったってことだろ
466:１３２人目の素数さん
19/06/11 21:32:16.96 Q4G9F3FP.net
・Modified the first paragraph of the proof of Corollary 3.12, and added a reference to this first paragraph to the discussion
immediately following the first display of Step (xi-b), as well as to the discussion immediately following the second display
of Step (xi-d)
重大な修正ではなさそう
467:１３２人目の素数さん
19/06/11 22:01:08.77 99vrtxyh.net
>>423
それ自力では見つけてないし証明もしてないだろww
これがJIN?
468:１３２人目の素数さん
19/06/11 22:35:53.52 vR1Mnhbu.net
>>433
ちょっと遠回りな言い方をすると、先日の「ヒルベルトの第12問題」に関する類体論とIUTの件とも関係するのですが、
望月はクンマー理論は遠アーベル幾何学に非常に適していると書いています
単遠アーベル的復元/構成を含んだ円分剛性同型ですね。ただ、そこでIUTが独特なのは忘却関手を強調し、
forgetting“histories of operations”となり、初期化されるので前のobjectにアクセスできないということです（不可逆性）
まあでも、いくら充満多重同型と言っても、これを同型と言って良いのかという（笑）
SSが単遠アーベルを無視したのはもう一つ大事な根拠がありますが(Remark9の１段落目、脚注8)、
やはり充満多重同型の論理（ほとんどレトリック）に呑みこまれたくない、というのもあったのではないかと思います
469:１３２人目の素数さん
19/06/11 22:52:17.85 vR1Mnhbu.net
>>434
「宇宙際」という言葉にはいくつかの指摘や批判がありますね。単純なのはOesterleのネイチャー誌でのコメント、
URLﾘﾝｸ(www.nature.com)
“Generally, mathematicians are very humble,
not claiming that what they are doing is a revolution of the whole Universe,”
というものですね（OesterleはIUTをほとんどチェックしていないそうですが）
他は、ほとんどの数論幾何研究者の言うような、Szpiro予想を示すためには不必要な議論であり、また、
グロタンディークが宇宙を導入したのは、トポスの一般論を構築するためであり、さらにそれはエタール・コホモロジーを
導入するためだったというものですね
470:１３２人目の素数さん
19/06/11 23:11:23.63 vR1Mnhbu.net
あと、第4論文(p.62～63)に書かれていますが、IUTは19世紀後半～20世紀初頭の数学と非常によく似ており、
（Gauss,Jacobi,Kummer,Kronecker,Weber,Frobenius,Hilbert,and Teichmullerなど）
20世紀中葉から20世紀末の数学よりもそちらの方に似ている、と。さらに後者はユニークでも不可避でもなく、
可能な選択肢の一つにすぎなかった、とまで言っていますね
要するに、IUTは時流に逆らってユニークで必然的な方法でやっているのだ、という驚くべき自負です
まあ、「19世紀後半～20世紀初頭の数学」+グロタンディークの夢を、さらに変形�
471:ｵて複雑怪奇なものになっていますが・・・
472:１３２人目の素数さん
19/06/12 01:01:15.29 0qzaVJsh.net
>>440
それは数学の発展としては普通の事だよ。
小平のエッセイにもあったけど最先端より根元に近い方から新しい発展の芽が出てくる。
473:１３２人目の素数さん
19/06/12 05:07:18.03 VDdFEhfK.net
IUTとトポスって何か関係あるの？
474:１３２人目の素数さん
19/06/12 06:50:20.06 7OhAMq45.net
>>442
関係あるというか、明確に書かれてないだけで、基本的にはトポスで書かれてる理論と言って良い
スキームの枠組みに対応してガロア理論を圏として考えたのがガロア圏だからその時点でトポスなんだけど、
それを更に純化してモノイドだけ仮定して、つまり具体的なスキームすら仮定しない設定でガロア圏を
一般化したのがIUTの舞台
ただ舞台がトポスという終対象でまとまった空間というだけで、連続写像による純幾何学的な議論で
閉じてないのがIUTの特色
475:１３２人目の素数さん
19/06/12 08:34:58.87 VDdFEhfK.net
なるほどありがとうございます
そうやって説明してもらえるとわかりやすいです
476:１３２人目の素数さん
19/06/12 09:24:59.41 oyRtbYQU.net
M氏本人はそのような説明をどう思うのだろう
批判とかじゃなく純粋に
477:１３２人目の素数さん
19/06/12 09:40:48.91 QYVpdRjc.net
>>433
>深谷氏と斎藤氏の対談だったと思うが
最も原始的な幾何学
2013年2月 IPMUで深谷賢治氏と斎藤恭司氏が対談した時点での感想と思います。
abc予想は確かに重要な予想です。
対話の後 、IUTの構築による
abc予想の「証明」はSSレポなどでも
否定的な疑問を指摘されています。
対話で 測度距離空間と最適輸送問題に
触れてるが幾何 リーマン多様体周辺の話。
後、
物理分野の場の量子論と相対論まで対話が
あります。
場の量子論では、
数学の公理論的「相対論的場の量子論」は
Haagの否定的定理より散乱でユニタリー
同値より相互作用が自由場になってしまう。
数学の構成的場の量子論でも強い相互作用
の「質量ギャップ問題」があります。
相対論では、
一般相対論は最終的にアインシュタインの
重力場方程式でニュートンの万有引力の
法則の発展です。
曲率=エネルギー運動量テンソル、
つまり 幾何=物質 で 物理の力学方程式
です。
物理から見ると やはり「根源的な定義」は
無理と感じますね。
↓
>超越的な、 もっと全く別の言葉を作ってし まって、その場の理論とは何か を根源的に
書くという定義があ り得ます。
後者の方が確かに望 ましい。
しかし、場の量子論な り、量子力学なり、
ストリング セオリーなりやるためには
新し い幾何学が必要だというのは、
もう30年くらい聞いている話 で、
しかし一向にできそうにな い(笑い)。
つまり後者の定義 は一向にできない。
URLﾘﾝｸ(www.ipmu.jp)
478:１３２人目の素数さん
19/06/12 14:17:32.93 J3jV12g7.net
>>446
なんだこの糞レスは
479:１３２人目の素数さん
19/06/12 15:35:33.32 3pb6m9vs.net
SS reportは no go theorem 否定的定理
のHaag's theoremに似ています。
480:１３２人目の素数さん
19/06/12 21:18:50.35 8HeaGxCs.net
Ｂとjinの妄想計画も大分足下から崩されたな
しかし奴らは短期記憶障害と認知障害の線が濃厚だから妄想計画はすすめるだろう
マスパワーに向けて多少盛り上げた上で例のアニメ動画で関心をひき来年のワークショップまで繋げる狙いだ
長文の先生や良識派はよくおわかりだろうが奴らは欠陥の指摘などどこ吹く風で
北○鮮の外交官のほうが適任なんじゃないかと思うわ
だから夏の間に良識派は団結して潰してしまいましょう
481:１３２人目の素数さん
19/06/12 21:35:20.59 i+naL85L.net
>>446
母語で書いて機械翻訳通してみたら？
これ2000文字までだけど、かなり精度高いと思うよ
URLﾘﾝｸ(miraitranslate.com)
482:１３２人目の素数さん
19/06/12 21:51:21.36 ORN7+Kh3.net
工作員乙
483:１３２人目の素数さん
19/06/12 22:01:40.00 7OhAMq45.net
>>446
まあその新しい幾何学というのは、深谷氏も関わっているような正準量子化の変形幾何学ではない
可能性が高いでしょうね。無限次元の測度論とかでもないだろうし、多分作用素代数ですらないでしょう
484:１３２人目の素数さん
19/06/12 22:24:38.77 7OhAMq45.net
>>440
個人的には、宇宙の取り換えについての記述がバズワードに近いレベルで誤魔化されてる印象を受けます
尤も考えてみたらわからないことはありません。Anabelioidの理論にヒントがあるのですが、
問題なのは当時のSSにもそれが理解されているのか怪しい事です
例えば、その宇宙の理論がモデル理論から見て注意を惹く内容なのかといえば疑わしい
ある種の遠アーベル幾何学的な群のスイッチとかいうのは一応具体的なものなんで、これを双曲と非双曲、
双有理と非双有理、ネーター環と非ネーター環みたいに明確で大きい対象の区別の話とラベルにまつわる文脈で
ごちゃ混ぜにしているように見えるのが不可解です。勿論関連性はあるんですが、はっきり宇宙の議論を
やったら否定されるという後ろめたさがあるのか、と邪推せざるをえない
充満多重同型が本当に必要なのかという点は、それもa matter of tasteだと思います
理論の意図に照らして見れば、ひとまずその表現を受け入れても良い
尤も、仮に受け入れてもショルツ氏からしたらやはりa matter of tasteになるし
実際はただの解析的な写像があって非自明な、virtualな宇宙への埋め込みなど存在しないということになります
485:１３２人目の素数さん
19/06/12 23:58:12.65 Ngd1wLjK.net
>>453
スキーム論/環論的な基点に依らない、遠アーベル的/群論的なアナベリオイドによる「基点を動かす」ということですね
SSレポートの参考文献にはアナベリオイド論文は載っていませんが、当然、望月と星はSSに説明していると思いますよ
充満多重同型の導入を納得してもらうために散々説明したと思います
ですが、SSにとってクンマー理論による自然同型で十分だろう、なんで余計なことするの？という感じでしょうか（笑）
その余計なことが、IUTの中核であり、ケドラヤの言う「もっと微妙・微細な何か」であるわけです
これはループ式入れ子宇宙を作るために、グロタンディーク宇宙をラッセルのパラドックスから始め、種の言語と突然変異によって
同義反復的な矛盾を解決しようとしたこととつながりますね
矛盾を解決しようとした論理にまた矛盾を入れ、さらに突然変異で解決しようとした。なんともいかがわしい・・・
やはり、これって遺伝的アルゴリズムを模写したように思えるのですよ。交叉（組み換え）とか突然変異とかですね
486:１３２人目の素数さん
19/06/13 12:59:18.39 iETuPtKg.net
結局これは小保方案件だったの？
487:１３２人目の素数さん
19/06/13 15:34:51.69 eHtmX8ms.net
IUT細胞はありまつ
488:１３２人目の素数さん
19/06/13 18:42:38.10 kUOLQOR8.net
>>455
まったく違う。質的相違がデカい
489:１３２人目の素数さん
19/06/13 20:05:06.13 W8oSLYK
490:p.net
491:１３２人目の素数さん
19/06/13 21:02:11.51 9Ig1vPc3.net
M-B間の距離がわからない一般人にM-O間の距離がわかるだろうか
492:１３２人目の素数さん
19/06/13 21:12:51.89 SCfsDtB9.net
>>454
それがWikipediaのGA記事を見たら、理論の項目で「SGA」と「スキーマ理論」というのが並んでいて
噴飯ものでしたねw それみたら本当にそうかもしれないと…
まあある意味で代数幾何学を捨てて解析的な分解に進んだというのはかなり興味深いですよ
ただもし間違いだった場合、線形性を馬鹿にせずに保型表現でも研究したほうがマシだったんじゃないかとw
また、代数幾何を捨てたと言っても実際はエタールテータ関数が主役なのでそこは一応書いておきますが
更に言えば、堂々と新しい事をやろうとするメンタリティ、そして何よりモノイドを基盤にして
アラケロフ理論とガウス積分をヒントにしてABC予想に使う、という発想は完全に天才的ではある
この、数論的な分解と再編成をガウス積分をアナロジーにして試みたという点については評価されてよい
思ったよりも皆ドライというか、その意義がいまいちわかってないのかなとは感じますね。減点法ばかりで…
493:１３２人目の素数さん
19/06/13 22:02:37.51 W8oSLYKp.net
アナロジーにして試みた、結果
abcが証明されたのだろうか？？
494:１３２人目の素数さん
19/06/13 22:13:05.40 cQt24U32.net
>>460
まあ天才的というか奇術師ですよね。自分のやっているのは唯一無比で必然的なものだと書いていますが、
必然的かはともかく唯一無比ではありますね
あと、私は愛友亭文言のBL本とは全く違う意味で、もはやIUTによるABC予想の証明はどうでもいいと思っています
IUTで見るべきなのは本人が書いているようにvarious "general nonsense" techniquesですよ
abstract nonsenseと書かないところが本人もまたよく分かっているなあと思います
つまるところ、IUTというのは「various "general nonsense" techniques集」です（笑）
もはや数学というより読み物として、数学における『フィネガンズ・ウェイク』（ジョイス）や『イジチュール』（マラルメ）の劣化版
として、面白おかしく、時にはアイデアを参考にして読む本ではないでしょうか（いつになったら本になるのか分かりませんが）
ちなみに数学以外でIUTに一番よく似ているのは『差異と反復』（ドゥルーズ）ですね
数学板なんであまり書きたくはないですが、これがIUTの着想、思想とよく似ています
望月も愛友亭も少なくともドゥルーズの概説諸ぐらいは読んでいると思いますよ
495:１３２人目の素数さん
19/06/13 22:19:01.58 cQt24U32.net
大したことないのですが訂正です
（誤）愛友亭文言 → （正）愛友亭文元
BのツイッターでBL本発売日or令和初日に1日だけアカウント名を「愛友亭文元」としていました
読んで字のごとく、IUTと友愛ですね
496:１３２人目の素数さん
19/06/13 22:45:05.19 9Ig1vPc3.net
最初から笑い飛ばす路線だったのか
どこかの時点でそうなったのか
だとするとそれはいつの時点なのか
497:１３２人目の素数さん
19/06/13 22:53:40.92 biTZTq9v.net
>>462
自分にはユーモアのセンスが無いことを自覚した方がいい。
498:１３２人目の素数さん
19/06/14 00:46:32.87 yarkMdre.net
>>462ってどんだけ暇人なんだろうな
499:１３２人目の素数さん
19/06/14 16:04:46.86 bf2EakhM.net
>>455
Oとは違うがギャップを指摘されてからのMは
Oの「確認☆よかった」モードに入った感がある
本人も周囲も「Mは偉い」「IUTは凄い」と舞い上がっていたら
ギャップを突きつけられてパニックになってるのかもね
500:１３２人目の素数さん
19/06/14 16:11:18.28 CvNUUUZb.net
どっちかと言えばソーカル事件？
501:１３２人目の素数さん
19/06/14 17:15:42.69 GcMktz6f.net
死ぬときはみな一人もっち
502:１３２人目の素数さん
19/06/14 18:32:17.98 Rf5pLPTV.net
ソーカル事件もどきだけではすまない経緯も
あり、なんともお寂しいはなしです
503:１３２人目の素数さん
19/06/14 18:41:25.21 9D74ADof.net
擁護派が殆ど反論しなくなったな
これではスレとして成立しないからたたんでもいいくらい
504:１３２人目の素数さん
19/06/14 19:19:52.85 GcMktz6f.net
non-mathematician は大切な票田なのに彼らの姿さえ
505:１３２人目の素数さん
19/06/14 19:54:17.78 rYXv0idW.net
もっちー何歳？
このペースだと退官するまでに待ち合わない説あるよね
506:１３２人目の素数さん
19/06/14 20:00:31.39 bf2EakhM.net
>>473
1969年3月29日生まれで50歳になったばかりですね
柏原のように70過ぎても現役の人もいますしまだ20年は大丈夫でしょうw
研究者としては脂が乗っていた40代半ばの数年を無駄にしたかもしれませんが
基礎を固める時期の30歳前後を無駄にしたかもしれない自称・理解者たちよりマシでしょう
507:１３２人目の素数さん
19/06/14 21:13:34.99 Fjiaf5S1.net
愛友亭はリジッド幾何学の専門家だからグロタンディーク位相やトポスには詳しいはずだし、IU形式主義、つまり
宇宙際について最も詳しく説明できる理解者のはずなんだけどね。そういうことはやらないでBL本を書いてしまう・・・
望月、G、愛友亭、実は3人とも変な意味でショルツと相性が悪い（フラれていると言ってもいいかな）
望月はIUTで、Gはパーフェクトイド空間の遠アーベルへの応用で、愛友亭は↓のみっともないツイートで
URLﾘﾝｸ(twitter.com)
「宇宙際」が全く専門家にも理解されていないならば、それこそ愛友亭の出番のはず
友愛をもって盟友を支えてあげるべきなのにね。真の理解者ならば・・・
(deleted an unsolicited ad)
508:１３２人目の素数さん
19/06/14 21:28:06.15 EKg1hJqw.net
>>475
なんで文元のツイート内容貼らないの？
perfectoidはadic空間を使って定義されるから、perfectoidが流行るようになれば私の『リジッド幾何学入門』（岩波書店）も今よりは売れるようになるだろう。
古典的なリジッド幾何学の知識がまったくない状態でadic空間に飛び込むのはちょっと無謀だろうと思うし。
2:33 - 2017年6月18日
509:１３２人目の素数さん
19/06/14 21:44:35.92 yarkMdre.net
>>474のすごい上から目線にワラタ
どんだけだよ、こいつ
510:１３２人目の素数さん
19/06/14 22:33:58.50 KoCZgsi9.net
今まで調子こいてたから余計に腹が立つようです
511:１３２人目の素数さん
19/06/14 23:03:57.14 jc/4t+eM.net
そろそろお前らが小保方未満であることに気づこうぜｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
512:１３２人目の素数さん
19/06/14 23:07:26.62 0/8mzxak.net
>>462
それは同意です。あれは思想書です。これはある程度は尊敬の念を込めている
デタラメですら凡人にはあんな分量の数学的論文をかけないし、精神力は凄まじい
462さんの観点で見れば、スキーム論を脱構築し、スキーム宇宙のリゾーム空間（rosary filtration）を考察した
ただもう一度書きますが、ある程度は本物になりうる着想（ヒント）を含んではいる
実際には最近の数学の進展を取り込み、膨らませてnonsenseを回避する必要があるが
この点については、ABC予想にテータやタイヒミ�
513:�ラー空間は不可欠ではないでしょうね 望月氏が遠アーベル出身だからそういう戦略に傾いただけで
514:１３２人目の素数さん
19/06/14 23:10:04.25 lpfClWTN.net
わろた 理解してないやん
515:１３２人目の素数さん
19/06/14 23:19:24.75 rYXv0idW.net
>>480
これがソーカル事件で喝破されたポストモダン()やろ？
516:１３２人目の素数さん
19/06/14 23:48:38.39 Fjiaf5S1.net
>>480
まあ、数学板で現代思想を語るのもアレなんですが、IUTやSSレポートについて書いてくれる人が少ないので仕方ないですね
デリダとドゥルーズは対立していませんね。デリダには「脱構築→散種」という流れがあります
これはD-Gの思想とは矛盾しない。上のレスで自分が言いたかったのは『差異と反復』の件です
つまり、Dによると「反復」とは同一物の反復すなわち同一性の回帰ではなく、「差異による反復」による累乗とのことです
一見、同一視できるように見えても本質的に違う、正確に言えば本質をもたないものの反復ということです
これって、完全に充満多重同型であり、ループ状入れ子式宇宙、単解的構造です
私は昨年全く同じことを書いたのですが、最近ではますますIUTに対して同じ印象が強くなってきました
これは数学的には望月が書いているようにvarious "general nonsense" techniquesの産物ですね
でも、このvarious "general nonsense" techniquesを用い、勇敢にも（無謀にも？）ABC予想に立ち向かったのがIUTなわけで
ある意味「あっぱれ」ですね。神風特攻隊員を見送る心境とはこういうものだったのでしょうか
517:１３２人目の素数さん
19/06/15 00:14:41.42 fpZjMPu0.net
鎮魂歌
URLﾘﾝｸ(www.youtube.com)
518:１３２人目の素数さん
19/06/15 00:16:23.00 8cdkFtPs.net
>>483
ですよねw リゾームと絶対遠アーベルだとちょっと違うなと思って。確かにそっちのほうが遥かに近い
それ、分析哲学にもトロープっていう近い概念があるんですよ。種類のラベルを考える分そっちも近い
オントロジーとしてはある意味正しい話をしていて、それは第四論文の通り、スキームという概念が
色々な多様体に共通している、というのと同じことである
望月氏はちゃんと数学をやってると思ってるはずで、それはfunctoriality定理とか復元定理に表れている
哲学的には単遠アーベル理論とIU形式主義だけをみれば良い
加藤氏のリジッド幾何とIUTだと、やっぱり大分差があるとは思いますね
あまり近いってのが無いですよね。タイヒミュラー理論とかホッジ理論とかリジッドじゃちょっと遠い
結局遠アーベルしかない
519:１３２人目の素数さん
19/06/15 00:32:35.15 GWi/9z/6.net
ソーカル事件みたいなことを分野で名の通った研究者が
自分が得意とする技術的なところで試みたら止めるのが難しい
けっこうアヤシイ論文書いてる有名人は少なくない
520:１３２人目の素数さん
19/06/15 00:35:00.76 ppoPN9rO.net
>>475
京大出身のひも屋さんもB本はよい本と
推奨しているのですね。
トホーフト氏いわく、超弦理論は 起源の
強い相互作用で役立たずだから
数学的アプローチでしょう。
超弦理論は LHCでも新粒子の質量予測に
無力でした。
B本は知性や直感のテストとしては 面白い本
です。
「知」の欺瞞
だれが原子をみたか
を推奨します。
521:１３２人目の素数さん
19/06/15 00:40:07.76 /uTsMwbc.net
しかしもっちー、IUTを無かったことにして他分野に乗り出すとか無理そうだな
「IUTの続きどうなったの？」という話を避けて他の新規なこと言い出しても黙殺されそう
522:１３２人目の素数さん
19/06/15 03:50:53.78 gCInNB79.net
「いつか私の時代がくる」
523:１３２人目の素数さん
19/06/15 06:23:08.42 MxekyhES.net
>>487
お前の落書き帳はこっち
URLﾘﾝｸ(itest.5ch.net)
524:１３２人目の素数さん
19/06/15 07:09:50
525:.48 ID:Ji2FhV1n.net
526:１３２人目の素数さん
19/06/15 07:43:25.64 Ji2FhV1n.net
>IUTやSSレポートについて書いてくれる
人が少ない
0448 １３２人目の素数さん 2019/06/12
15:35:33SS
SS reportは no go theorem 否定的定理
のHaag's theoremに似ています。
返信 ID:3pb6m9vs
527:１３２人目の素数さん
19/06/15 14:35:00.67 zJPe7Wpc.net
>>488
その場合「論文を取り下げてRIMSから外に出る」
のが普通でしょうし新天地で新しい数学をやれば良い
名古屋のハゲは外に出なかったら問題がくすぶった
528:１３２人目の素数さん
19/06/15 16:36:04.93 4aAevCwk.net
もちろんそのつもりでしょう
潔さとはそういうものです
Bやk上が責任持って面倒をみるでしょう
529:１３２人目の素数さん
19/06/15 18:32:01.78 MjYOJXZf.net
擁護側の連中は見ての通り論理的におかしな連中が多い
失敗しても自己責任だから相手にしないのを推奨する
また同じことを繰り返すから
ついでにてん●るたんとかいうクサレまんこを葬ってくれ
530:１３２人目の素数さん
19/06/15 19:20:02.51 3Uclbc2C.net
>>488
そんなの関係ない
531:１３２人目の素数さん
19/06/15 22:09:41.81 KYc/Ed5K.net
>>495
論理というか性格悪いでしょ単純にw
532:１３２人目の素数さん
19/06/16 08:32:35.78 07pNmK0N.net
宇宙祭幾何と揶揄されてしまう
533:１３２人目の素数さん
19/06/16 09:19:25.44 n/br/8O6.net
宇宙祭期間
534:１３２人目の素数さん
19/06/16 10:03:40.84 TzQtuc7i.net
>>497
頭が悪く性悪で偽装 罵倒までかな
535:１３２人目の素数さん
19/06/16 15:55:14.48 b7aX2JUA.net
どうでもいいが自分で>>452見たらちょっと嘘になっちゃうと思ったので補足。自己満として補足
ここでいう作用素代数とは基本的にC*代数の事。リーマン予想はそれで書ける可能性はあるが、
量子論は解明できないと思っている
また、正準量子化ないしは交換関係が基本的なのか、それを含んだより一般的な原理を考えるべきかは
全く断言できるわけもない
ただヒルベルト空間の作用素代数を基準に幾何学的な概念を構成するだけでは多分不十分だろう
そういうすっきりした空間で量子論のよくわからない性質たちを説明できるとは思えないからね
536:１３２人目の素数さん
19/06/16 16:58:49.00 c+a91Z+E.net
アクセプトまだー？
Nスペまだー？
537:１３２人目の素数さん
19/06/16 21:19:01.15 f18yG0sP.net
ついに流れは数学から性格へと
538:１３２人目の素数さん
19/06/16 22:17:38.95 bW1X195j.net
ネットでは「人格攻撃するようになったら議論は負け」とはいうけれど
539:１３２人目の素数さん
19/06/16 22:40:23.29 Rj57AGeK.net
うだつのあがらない連中が格好の標的みつけて攻撃して悦に入っているだけ
NGTだのAKSだのを攻撃しているニートと同レベル
540:１３２人目の素数さん
19/06/16 23:09:13.79 7+eD5e6b.net
デター伝家の宝刀論点のすり替え
541:１３２人目の素数さん
19/06/16 23:29:11.94 c5Cepol0.net
>>505
末期の大日本帝国みたいな危うい認識だなあ
542:１３２人目の素数さん
19/06/16 23:32:11.03 PLqPePe9.net
鮮人の僻みだろ
543:１３２人目の素数さん
19/06/16 23:46:44.54 PLqPePe9.net
シナ人のIUT理解者、研究者はどんどん増えているが、鮮人は一人もいない。
544:１３２人目の素数さん
19/06/17 00:14:09.00 T9E7uysT.net
>>503
このスレで数学が議論されたことは一度もない
>>505の認識が正しい
545:１３２人目の素数さん
19/06/17 00:34:55.44 IfysTG44.net
>>510
そういう言い方をするからには判断力があるんだろうから、論点と弁護を書かないと
デタラメと見なしますね
546:１３２人目の素数さん
19/06/17 00:53:19.78 yRWcYjKx.net
擁護派の太鼓持ち連中は論理的な根拠なんかないのさ
単なるサポーターやフーリガン
547:１３２人目の素数さん
19/06/17 00:53:49.60 9csqCJXa.net
(�ω)
548:１３２人目の素数さん
19/06/17 03:18:39.66 UA3Gm5iA.net
大域的に近似でしかない宇宙と、IUTによる不定性を内包した宇宙は相性が良すぎる
549:１３２人目の素数さん
19/06/17 04:46:09.86 +25o2rsr.net
擁護派ですらない狂信者でしょ
擁護する理屈、屁理屈すらないんだから
数学の話はない、とか言ってるのも冷静にみたら
↑ここまでは素人の妄想
みたいな事言って逃げてるだけw
550:１３２人目の素数さん
19/06/17 07:21:13.90 1qYUn5hK.net
>>504
Fだろ
551:１３２人目の素数さん
19/06/17 10:10:51.23 9JA83AtC.net
・今後もreviseが続くのか
・IUTを使った新しい結果が周囲から出るのか
時間が経つにつれて擁護者というか自称「理解者」の立場が悪くなるだけなんだけどね
過去何度も「acceptが決まった」「理解者が増えた」「新結果がセミナーで発表された」
と書かれた割に結局は進展の続報がない
ああB本だけは本当に出てきた「進展」だなw
仮にやっぱり正しかったとしても今のままでは孤立した理論で消えるでしょ
B本褒めてる素粒子の人も後になってしまったと思わないのだろうか
分野外とはいえその分野のリーダーだから見識が問われる
彼は数物部門全体で大きな予算を決める委員になる可能性が高い人です
一般向け数学書として面白く書けている点は認めるが
Bの立ち位置でIUTの真偽には触れておらずIUTの現状をみると危うい本ですよ
552:１３２人目の素数さん
19/06/17 11:32:06.36 6WD5+teX.net
>>517
だからリーダーたる立場にいることを重々自覚した上での見解だよ
おまえのは余計なお世話であり失礼とも言えるものだ
ちなみに立場が悪くなるとか書いてるが立場なんてものは刹那的にコロコロ変わるもの
気にしてる時点で俗物すぎる
553:１３２人目の素数さん
19/06/17 11:36:45.71 9JA83AtC.net
>>518
＞おまえのは余計なお世話であり失礼とも言えるものだ
これはお見事なブーメランw
554:１３２人目の素数さん
19/06/17 12:41:36.72 0TQAyLDM.net
正しいとも間違いとも言ってない おもろい本でっせ 専門外の人々はそんなスタンスだよ
555:１３２人目の素数さん
19/06/17 12:57:26.14 sH95B/6o.net
お前らイカれてる
ＳＴＡＰ宣伝本が出たらどう思うのか
556:１３２人目の素数さん
19/06/17 13:09:47.88 wjFB2p/3.net
水から石油を作る
京大 今中教授
URLﾘﾝｸ(sensekyoto.com)
これの賞賛本も書かなきゃ不公平
557:１３２人目の素数さん
19/06/17 14:22:27.81 UA3Gm5iA.net
おっすおらオカルトマニア！
前に書いた無限の入れ子構造を抱える場合の空間の性質
あれを計量テンソルとして考えれば、リッチフロー方程式が使えそうだということに今更気付いたぜ
んで思ったわけだけど、ペレルマンおめぇ実はABC予想も解けてるだろ？
558:１３２人目の素数さん
19/06/17 14:30:28.36 8mqUQVJ9.net
ここは知的な良識派の皆さんに任せて君はリーマン地獄でもやってなさい
559:１３２人目の素数さん
19/06/17 15:15:27.74 9JA83AtC.net
>>521
2014年1月末にSTAP細胞が理研で発表され4月には本が出ていたな
『小保方晴子さん守護霊インタビュー それでも「STAP細胞」は存在する』
科学者の世界のしがらみや嫉妬を超えて。
夢の万能細胞研究をすすめる
環境と時間を彼女に与えるべき!
大川隆法もIUT本書くべき！
560:１３２人目の素数さん
19/06/17 22:14:44.18 6WD5+teX.net
>>522
書かれてしかるべきだがな
20世紀は石油の世紀で石油資源の争奪が戦争原因となった
そんなナンバーワンの戦略物質だから無限に生成できるとなったら大きな戦争誘発事由が消えることになる
ノーベル化学賞とノーベル平和賞のダブル受賞を受けるべき人物だね
561:１３２人目の素数さん
19/06/17 22:17:14.97 6WD5+teX.net
>>521
それは中身次第になる
アメリカで追試が成功したとこに深い突っ込みを入れた中身なら旋風を起こすだろうね
ちゃんと現地取材をできるやつじゃないと無意味だが
562:１３２人目の素数さん
19/06/17 23:10:07.59 vtPcMxjY.net
＞このスレで数学が議論されたことは一度もない
と書いている人がいるのだけど、良いネタを提供してあげます
Automorphisms of categories of schemes
URLﾘﾝｸ(arxiv.org)
望月のIUT構想初期に書かれたスキーム論と圏論についての論文を意識しながら書かれたものですが、
現行のIUTにも通用する議論です
さて、IUT擁護者なら簡単に論点を整理し、IUTの戦略を述べて擁護することができるはずです
ぜひ書いてみて下さい。フェセンコの「シークレット」なセミナーに参加した人もいるのでしょう？簡単ですよ
ところで、「シークレット」なセミナーって何なんですかね。プライベートなセミナーとか自主セミナーならまだ分かりますが
弟子のものにしてもスライドだけアップされても詳しく分からないし、論文の形にしてしかるべきジャーナルに
投稿してるのですかね？せめてどこかのHPにUPするとか、arXivなどに投稿すれば良いのにね
563:１３２人目の素数さん
19/06/17 23:14:14.83 rTfZDZFM.net
論文紹介が議論ならjinでもできるんだが
564:１３２人目の素数さん
19/06/17 23:19:59.34 vtPcMxjY.net
できればですが、私とよく長文のレス交換をされている方は、しばらく上記の論文についてコメントを避けてほしいです
読めばすぐに分かると思うし、IUT側からどういう弁解・擁護ができるかはすぐ分かるはずですから
jin-pilot objectたちがどの程度IUTを知っているのか判断したいのです
565:１３２人目の素数さん
19/06/17 23:48:56.13 NP+mZt+M.net
>>530
承知しました
にしても一般に、数学とか数学者っていうのをやたら大きく見せようとか見ようとする連中は基本的には
色々な意味で信用できないな、とは思う。もちろん誰もがプロになれるわけではないが、単純な抽象関係の
積み重ねから形式的真理を見いだすのが数学なので、いくらでも素人が考えてみる余地もあるのにな
566:１３２人目の素数さん
19/06/17 23:51:06.28 yU3NMpay.net
レミファンドッベンドゥブリュイン、って読むのかな？
567:１３２人目の素数さん
19/06/18 03:32:35.52 61QXuQO7.net
宇宙際幾何学
京都際幾何学
左京区際幾何学
百万遍際幾何学
568:１３２人目の素数さん
19/06/18 06:29:48.31 C51rVDME.net
>>531
> 単純な抽象関係の
> 積み重ねから形式的真理を見いだすのが数学なので、
いい加減な把握
569:１３２人目の素数さん
19/06/18 06:48:41.99 TGYt81xh.net
後追いのフェーズについては正しいだろ
つまりは「査読」
570:１３２人目の素数さん
19/06/18 07:16:58.68 khkN9IwA.net
>>534
全然いい加減じゃないでしょ
なら自分でもっと良い言い方してみなよ。できないのはわかってるけど
571:１３２人目の素数さん
19/06/18 07:24:54.13 khkN9IwA.net
>>535
というか、「書かれた数学」ね。グロタンディークも実は全然ブルバキタイプではなかったと
言われているし。形式主義と直観主義や帰納の関係とか言い出したらキリがないし、
572: 辞書にあるような数や空間の学問である、というより構造主義的に抽象関係と言ってしまったほうがいい
573:１３２人目の素数さん
19/06/18 11:34:29.49 C51rVDME.net
>>536
低次元トポロジーとかそんな風に概括したら間違いだろ？
上っ面だけ見ても駄目
574:１３２人目の素数さん
19/06/18 12:44:47.51 yMXzlVht.net
>>525
その本は本物だな、英知に満ち満ちてる。
IUTは、アンチがしょぼいから、社会的に取り上げても
それ何？状態で、守護霊本は出ないだろ
575:１３２人目の素数さん
19/06/18 12:48:37.90 TGYt81xh.net
マジな話、隆法さんクラスだと同時に二人召喚して脳内討論とかできないものか
M v. SS みたいな感じで
いや、マジじゃないな。ごめん。
576:１３２人目の素数さん
19/06/18 12:52:02.92 QmGUFnGQ.net
勝った
577:１３２人目の素数さん
19/06/18 13:01:06.23 yMXzlVht.net
IUTについては、霊言はB本程度でも無理だな。
スピリットは、霊媒の言語空間使うから
霊媒自身が現代数学の概要をざっと知ってないと、
守護霊が言葉を選べずいらついて帰ってしまうｗ
578:１３２人目の素数さん
19/06/18 17:07:23.83 P7ovWR5v.net
サポーターもアントニオとか高校の元教師だとか判断能力のい学生連中とか末期症状だな
579:１３２人目の素数さん
19/06/18 22:42:34.51 l1/JRHli.net
>>538
低次元トポロジーなんてピンポイントで言われてもなあw 具体的に何が言いたいのか
形式主義でひとまず括るのは今は普通だし、細かい物理や他分野のネットワーク的な関係とかそんなもん
全然別の話だろう、百科辞書的な括りとは
マクレーンなんかだったら解析以外はひとまず構造主義で括っちゃうんじゃないかと思うけど
580:１３２人目の素数さん
19/06/18 22:56:48.31 1yOuTwt6.net
解析系こそ何らかの分野での数理モデルから乖離しちゃったら何の意味もない分野筆頭だと思うんだけどねえ。
581:１３２人目の素数さん
19/06/18 23:05:06.42 xmD46zPN.net
>>501
URLﾘﾝｸ(arxiv.org)
582:１３２人目の素数さん
19/06/18 23:28:13.91 C51rVDME.net
>>544
>>531の私が引用した部分が見当外れだと言っている。
583:１３２人目の素数さん
19/06/19 00:34:05.12 YN0jjtcW.net
今時ブルバキの形式主義の信奉者なんてまともな数学者にはいない
いるとしたら科学哲学とかの落ちこぼれあたり
584:１３２人目の素数さん
19/06/19 03:30:06.76 jH2bI4VW.net
B本を立ち読みしたけど、オボのあの日みたいな位置付けかと思った。
Bのもっちーとの友達自慢という印象だった。
Bはもっちーとたくさんセミナーをしたから理解者だという印象を与えるが、実際に「理解者」かどうかは明言しないという卑怯っぷり。
もっちーの寄稿は、理解できない数学者たちは天動説の学者のようだと断じる傲慢さ。正直に疑問をぶつける欧米は嫌で、イエスマンの理解者が善みたいだね。
立ち読みして気分が悪くなって、今日は仕事にならなかったよ。
585:１３２人目の素数さん
19/06/19 07:23:30.42 43xdZCaN.net
>>547
ならば具体例と修正案を挙げないと何の役にも立たない
例えば物理的な発見法を指しているのか、複雑さを持った対象の調べ方（試行錯誤）を指しているのか
単純化やモジュール性は書かれた数学ないしは理論の基本的な特徴だと思うが
586:１３２人目の素数さん
19/06/19 07:35:31.51 43xdZCaN.net
そもそも本来の論点は基本的な対象やその理論的なモジュール性関係の単純性の話であって
個別の方法論の複雑さではないんだけどな
佐藤テイト予想とかやたら複雑だけど、まず説明するなら非可換類体論や志村多様体から話すしかない
大枠について述べていかないと効率が悪い
IUTの場合も、哲学や技術細部よりもまず遠アーベル幾何、タイヒミュラー理論の持ち上げ、Hodge filtration、
テータ関数の代数幾何学的枠組みから説明したほうが良い
見当外れとか批判はいいから何が547の主旨、主張なのか言わないとさっぱりわからん
587:１３２人目の素数さん
19/06/19 08:15:08.47 4vEu4hgZ.net
>>550
望月の論文は間違っている、という指摘に対して「じゃあABC予想を証明しろよ」と返すようなもの
588:１３２人目の素数さん
19/06/19 08:57:33.14 0v6Gh88S.net
>>550
加群やモジュライいいよね・・・。
589:１３２人目の素数さん
19/06/19 18:21:26.90 43xdZCaN.net
>>552
別に構わないけど、さすがにそれは無理があるなー
ABC予想なんかとは全く違う一般論の話だもん
訂正案もないのなら、ケチつけたいだけって風にしか見えない
590:１３２人目の素数さん
19/06/19 22:15:52.67 4vEu4hgZ.net
>>554
浅はかな単純化であるという指摘をしたわけで、それに対する答えは「簡単には言えない」としか言いようがない。
591:１３２人目の素数さん
19/06/19 23:27:54.76 eZBy4LhS.net
浅はかな返答
592:１３２人目の素数さん
19/06/19 23:37:53.14 WONwwQ3g.net
北白川大辞典 浅はかな指摘 = 反論できませーん
どんだけ手間でもやるよねー
593:１３２人目の素数さん
19/06/20 02:08:16.18 PizmXzVF.net
Kirti Joshi がなんか書いた、だと。
594:１３２人目の素数さん
19/06/20 03:53:50.05 X8V/Ik4Y.net
本年度最大の成果だから招聘セミナーやるんだろ藁
595:１３２人目の素数さん
19/06/20 04:10:42.15 W5GJaY0X.net
浅はかな存在
596:１３２人目の素数さん
19/06/20 04:34:13.92 1x5q0U7u.net
ゴーがサーベイ書けばもう完璧
597:１３２人目の素数さん
19/06/20 05:41:09.96 KlzXE5Eq.net
Mochizuki's anabelian variation of ring structures and formal groups
URLﾘﾝｸ(arxiv.org)
これ、2日前にロバーツのツイートにあってすぐ読んだのだけど、IUTを利用したというより、
絶対遠アーベルを形式群に適用したというだけの話なんだよね。それはそれで無価値ではないけど・・・
望月やその圧倒的な影響下にある星がやっているのは数体に関することで、数論的基本群を扱っているのであって、
難易度から言えば比較にならない。はっきり言って、星の劣化版(彼らに教えてもらったのだから無理もないか・・・)
ロバーツが“Fun stuff in Mochizuki-land”(モッチー・ランドの娯楽)と書くのも無理もない（笑）
もうロバーツは完全に望月やIUT、IUTコミュニティを見限った感じだね
ところで、>>528の論文の件はいつまで待とうかな。>>531氏にもコメントを控えてもらっているし・・・
ひょっとしてこのスレのIUT擁護者たちはスキーム、カテゴリー、自己同型という言葉の意味すら分からずIUT礼賛しているのだろうか？
598:１３２人目の素数さん
19/06/20 05:52:29.01 KlzXE5Eq.net
上の方のレスで、このスレのIUT擁護者たちのことを「サポーターやフーリガン」と書かれてたけど、
サポーターならルール（最低限の数学の知識）や戦略・戦術（IUTの狙い・方法）を知っているはずだし、
各選手の名前や特徴（IUTのジャーゴンや奇妙なテクニック）を知っているはずだよね
そんなことも知らずに擁護したり、セミナーに顔を出したり、批判的な指摘に対して根拠のない罵倒をするのはフーリガンと同じ
>>528の論文を読んでIUT擁護者として異論を述べられないようならフーリガン、つまり数学板では荒らしと同じ
599:１３２人目の素数さん
19/06/20 05:53:35.18 OAD6Xo4i.net
> このスレのIUT擁護者たち
こんな存在もしない敵を虚構して、それにむかって何かを言う様は、滑稽を通り越して物悲しいものがある
600:１３２人目の素数さん
19/06/20 06:13:08.34 KlzXE5Eq.net
あれっ？IUT擁護者（擁護派）っていなかったことにしたいんだ？
これまでのクダラナイ擁護の書き込みもなかったことにしたいんだ（爆笑）
そりゃそうだろうなあ、「多輻性がキー・ポイント」ぐらいしか書けなかったし、たんなるパパラッチ、フーリガンしかいなかったしね
ま、もう二度と数学板には顔を出さないことだ
「IUTは超一流の数学者でも理解できない」というマスゴミの誤解を真に受けて、だったら数学と無関係な者でも
何でも言っていいと勘違いして数学板で暴れていただけだからなあ。要するにゴミ、荒らし
601:１３２人目の素数さん
19/06/20 08:12:22.05 UpNPfIvm.net
>>565
こんこん こんこん 釘を打つ
藁の人形 釘を打つ
602:１３２人目の素数さん
19/06/20 11:34:11.61 LDW2GQDi.net
17ページと分量的にも良心的で面白そうな話なのに無反応なのかw
603:１３２人目の素数さん
19/06/20 12:07:45.89 cwVBI5yf.net
ディズニーシーにいかない人は悪人なのか
604:１３２人目の素数さん
19/06/20 18:39:04.78 IX6k2MjH.net
【実体験】ブログを1,000記事ほど書いたら、月300万くらい稼げた話
URLﾘﾝｸ(www.youtube.com)
【報告】ブログで「月収1,000万」を達成できました【方法を解説する】
URLﾘﾝｸ(www.youtube.com)
5年間ほど努力したら「年収3,000万」になったので、経験談を語る
URLﾘﾝｸ(www.youtube.com)
期間工ブログの収入は１５００万円でした。【フリーランスの現実&底辺からの復活編】
URLﾘﾝｸ(www.youtube.com)
年商1300万のプロブロガーの初心者時代から今までの軌跡
URLﾘﾝｸ(www.youtube.com)
【収益報告】実働月10hでも大金稼ぐ方法を解説【年収6,000万】
URLﾘﾝｸ(www.youtube.com)
無料ブログは稼げない。稼ぐならオススメはWordPress一択の理由
URLﾘﾝｸ(www.youtube.com)
605:１３２人目の素数さん
19/06/20 22:13:51.47 OAD6Xo4i.net
Joshiの新作のイントロ、jinの好きそうなゴシップに溢れててワラ
606:１３２人目の素数さん
19/06/21 12:42:12.44 l8+m4Qqw.net
>>564
563ではないが、なら何と言えばいいんだ
「物知り顔で他人のレスにケチつける癖に何も内容を発言しない知ったか卑怯者野郎」？
607:１３２人目の素数さん
19/06/21 12:56:54.64 l8+m4Qqw.net
>>528
What is the generalized counterpart logic of the case of equivalence between mono-anakytic approximated schemes?
これに回答するだけの簡単なお仕事だよ、上から目線の方々は
608:１３２人目の素数さん
19/06/21 19:08:36.83 FDWo8Z6f.net
>>572 = >>531氏ですよね？
「論文紹介が議論ならjinでもできるんだが」とか「IUT擁護者（擁護派）は存在しない」ということで逃げ恥晒してくれたので、
もう我々でRemy論文とIUTとの関係について書いちゃいましょうか（笑）
実はこれって我々がSSレポート、望月反論レポート公開直後から延々と「ああでもない、こうでもない」と書いていた話なんですよね
要するに、単遠アーベル的復元/再構成や充満多重同型をどうとらえるかという問題です（もう飽きてきましたが orz）
簡単そうに見えて突っ込めばややこしい話にもなるので、分けて考えてみましょう（IUTの
609:主張とRemy論文から読み取れるもの） まず、簡単にIUT側からの異論としては(Remy論文では直接IUTについては書かれていないので)、 Remy論文で書かれているのはGabriel?Rosenbergの復元定理やBondal?Orlovの復元定理など、(準)連接層の圏から スキームを復元する話であり、これは環構造を放棄しない、言わば「普通の」数論幾何の研究です また、ノイキルヒ・内田の定理などは遠アーベルだけども、望月流に言えば双遠アーベル、つまり2つのスキームの比較です IUTでやっているのは単遠アーベル的復元/再構成です。これは２つのスキームを比較して同型を論じる話ではありません つまり、単なる自然同型や、スキームの圏が（自然な）同型になるという話ではありません 忘却関手の強調や体としては非同型など、充満多重同型というのはある意味で情報に欠損があり、 部分的に壊れているスキーム、つまり部分的に壊れた局所環付き空間なのです 要約すると、Remy論文はSSレポートやロバーツのPDFと同じく、絶対遠アーベルを知らない者たちの論文ということになります これがIUT支持者（擁護者、擁護派）からできる異論となります
610:１３２人目の素数さん
19/06/21 19:14:59.71 FDWo8Z6f.net
長文失礼しました。以後はRemy論文はIUTに言及していないものの、実はSSレポートやロバーツPDFの見解を裏付けるもの
であるという視点で書くことになります。また、絶対遠アーベルとはどういうものか、という視点で書くことになります
まあ、ゆっくり、なるべく短く書くつもりです（笑）
611:１３２人目の素数さん
19/06/21 19:41:44.28 l8+m4Qqw.net
レスの前に>>572についてつまらない訂正なんだけども、普通はin the case～だがofでも良いだろうと
感覚的に書いたら、of the caseだと事件の話になってしまうw
安易に聞き慣れない言い方をするもんじゃない
あと、equivalence（or distinction） of mono-analytic schemesとしたほうが良い
まあ自分はグダグダとケチ言ってる人は擁護というかただの意地汚いひねくれ者だと思うんだけどもw
612:１３２人目の素数さん
19/06/21 19:45:46.64 tdghRNHD.net
まあ時折「M周辺の人」がここに書いてるけどね
その人が擁護派かどうか知らないw
613:１３２人目の素数さん
19/06/21 20:31:23.98 +Y2oWyx/.net
頑張って擁護しても匿名でビビリながら書いてるチキン野郎が妙にワロす
614:１３２人目の素数さん
19/06/21 20:38:39.79 x0HehHIS.net
またこういう香ばしいのがいたよ
どこで「証明された」のかはっきり書けよ
URLﾘﾝｸ(twitter.com)
見てて恥ずかしいわ
(deleted an unsolicited ad)
615:１３２人目の素数さん
19/06/21 20:44:39.36 l8+m4Qqw.net
抽象化と情報の欠損という点については一般論だけども、幾何学ないしは論理学的には
「ストーン双対性」の観点で、抽象化によって具体性が失われるという当然の事実がわかる
しかし他方で、確かに抽象化することである意味では情報量は増える。正確に言えば、ある集合をより
抽象的な設定で考えると、普通は元が増える。これは数学に限定せずとも単純な直感でわかる
つまり、抽象化するということはその上の対象の情報量自体は増えるが、具体的な情報は失われるのを意味する
また、具体性が失われる代わりに記述上の自由度は増えるというトレードオフがある
数学の理論は、とにかく何かを調べる、このスレで挙がった言い方なら一種の「土方作業」に、
それらを抽象化して自由度を得る代わりに、具体性が一旦忘れられるので、
新たに対象を上手く記述する概念や表現を再開発するという過程で発展する傾向にある
少なくとも狙いとしてはIUTも同じ流れにあるというわけだ
616:
617:１３２人目の素数さん
19/06/21 20:48:19.93 l8+m4Qqw.net
>>574
長さについては自分は前科だらけの極悪犯なので気にはしませんがw
ひとまず「スキーム論を一般化」するという文脈で余計な抽象論かもしれませんが579を書きました
618:１３２人目の素数さん
19/06/21 20:53:56.24 FDWo8Z6f.net
>>575
えっ？ひょっとして私が書くのを待っているのですか？他の人のレスを待ちながらゆっくり書こうと思っていたのですが（笑）
まあ、言いだしっぺなので私から書かなきゃいけませんね。メンドクサイですが誤解を恐れずできるだけ手短に書いていきます
【絶対遠アーベルについて】
まず分かり易い所で星のレポートから引用します
「絶対Galois群による数体の復元」
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
p.4の脚注3
-----------------
単遠アーベル的復元は、"所望の手続きの存在を証明する"ことが目的なのではなく、"所望の手続きを与える"ことが目的である。
特に、主張の中にその手続きを書くべきとされる。この考えから、ここを"関数体の単遠アーベル的復元"ではなく
"関数体の単遠アーベル的復元可能性"としている。例えば, [8],Corollary 1.10,は,その主張を述べるためにおよそ3ページが費やされ、
しかし、証明がたったの2行で終わってしまうという、従来の数学では比較的珍しい構成になっている。
このような状況が生じる背景には、この"主張の中にその手続きを書くべき"という考えがある。
-----------------
つまり、単遠アーベル的復元は存在定理ですらない、それどころか「手続きを与える」と言っているに過ぎません
エイリアン論文で書いているような唯一無二でも不可避な方法でもありません。その手に乗る必要はないのです
ここでSSレポート脚注8になるのですが、IUTで扱っている曲線は全て同型として扱える。したがって、単遠アーベルは必要なく、
充満多重同型も必要ない、当然ラベルも無意味ということになります
619:１３２人目の素数さん
19/06/21 21:08:02.17 tdghRNHD.net
>>578
ニュートン編集部だもの 質が悪いに決まってるさw
620:１３２人目の素数さん
19/06/21 21:08:54.99 FDWo8Z6f.net
あ、エイリアン論文ではありませんでしたね。>>440で書いたように、そのまんま第4論文(p.62～63)に書かれています（笑）
621:１３２人目の素数さん
19/06/21 21:11:55.51 l8+m4Qqw.net
>>581
いえ、行き違いですがさじ加減は勿論お任せしますよw 強いるつもりも裁量もありません
ただこれまでのデータからすると、上から目線の人（達）がある程度突っ込んだ話をする確率は0に近いとは
思いますがね。凄いレスが来たら確かに怖さを感じるでしょうが、今のところ無いですからね
大分前に有理ホッジ構造とかブローアップの話をしてきた人がいたが、あれは何の関係もないですからね
ブローアップなどは基本的に線形理論であり、望月さんの理論とは直接関係ないがディオファントス幾何学
には一つのアプローチに使われていますけどね
622:１３２人目の素数さん
19/06/21 21:23:26.71 iJOD4sC9.net
>>579
SSレポとRemy論文は普通の同型 圏 スキーム
からの結論ですね。
双対も 極限 余極限、接空間余接空間、
普通の数理構造です。
IUTは 普通の 局所環付き空間のスキーム論
や圏論の議論から逃れるため環構造を
部分的に解体した。
で 舞台を別々に置いたり
623:遠アーベル幾何を 用いている。 たしかに spiro予想に向けた「壮大な」 試論の計算でしょうが、仮説に仮説を 加えた計算に思います。 (「位相的場の理論」のAモデルとBモデル の双対性も 数学では 構造を抜き出して 圏同値となりますね。 IUTは「no go theorem」から逃れるに してもSUSYのような アイデア スマート さがないからガッカリしました)
624:１３２人目の素数さん
19/06/21 21:28:22.38 J8nOSyIs.net
>>585
落書き帳はこっち
URLﾘﾝｸ(itest.5ch.net)
625:１３２人目の素数さん
19/06/21 21:48:11.04 iJOD4sC9.net
>>586
>>528さんの問いに貴方の解答をどうぞよろしくお願いします
626:１３２人目の素数さん
19/06/21 21:53:03.86 l8+m4Qqw.net
ちょっと記憶が曖昧なんだけど、有理ホッジ構造じゃなくて混合ホッジ構造の方だった気もしてきたな
有理じゃなくて有理多様体か。どのみち大した話ではないけど
627:１３２人目の素数さん
19/06/21 22:02:51.15 eaMqVao1.net
擁護派革命防衛太鼓持ちにも一厘の理あり
628:１３２人目の素数さん
19/06/21 22:11:08.41 t52QXPsp.net
勿論カス金魚のフンのマッドサイエンティストは正式文書でショルツらに撤回と謝罪を要求するよな
629:１３２人目の素数さん
19/06/21 22:15:49.00 iJOD4sC9.net
>>582
>>11を見てください
既にRIMSがIUTの構築よりabc予想が解決
と公式にのべています。
630:１３２人目の素数さん
19/06/21 22:20:49.57 bfmdAqnT.net
アクセプトも掲載もされてないのに解決したっていうのはどんな解釈なの
631:１３２人目の素数さん
19/06/21 22:30:08.68 +515gfeg.net
>>591
公的な予算申請とか報告書の類だからむやみに撤回できないんだろうね
誤りであった場合にはだれかが告発すれば有印公文書偽造になるんだろうか
632:１３２人目の素数さん
19/06/21 22:52:51.33 +QtSrAAK.net
えっ犯罪者がいるの？
633:１３２人目の素数さん
19/06/21 23:12:41.52 MLEfliUb.net
>>593
駄目だったらそんなことだけでは済まないだろうが関係責任者は論旨免職とか退官はあるかもね
国際的な紛糾問題とかになると看過されないだろうから気をつけたほうがいいね
税金の無駄遣いを追及する市民団体「全国市民オンブズマン連絡会議」
URLﾘﾝｸ(www.ombudsman.jp)
634:１３２人目の素数さん
19/06/21 23:21:52.72 GvBuMQgU.net
数学をやる上で必要なのは、ID:l8+m4Qqwのような人間から「この質問に答えろ」と言われても逆らうこと。
635:１３２人目の素数さん
19/06/21 23:25:47.32 GvBuMQgU.net
>>579
抽象化と情報の欠損ってまだそんな阿呆なことを言っているのか。
何が「「ストーン双対性」の観点で、抽象化によって具体性が失われるという当然の事実がわかる 」だ
具体的な説明など出来やしないだろう。
636:１３２人目の素数さん
19/06/21 23:39:46.61 FDWo8Z6f.net
さて、Remy論文をダシにしてIUT側からどんな異論が出せるのか、絶対遠アーベルとは何なのかと述べてきましたが、
最後にRemy論文が暗に言わんとしているところを述べてみたいと思います（また長文になると思いますが）
Remy論文は一見、スキームの同型に関する解説書のようにしか見えませんが、実はロバーツのPDFを補強し
（ロバーツの充満多重同型に対する戸惑いを断ち切り）、SSレポートを支持する論文のように個人的には思えます
Remy論文 p.1より
------------------
A similar result for the category of locally Noetherian schemes with finite type morphisms was proven by Mochizuki [Moc04, Thm. 1.7].
Our result completely eliminates all Noetherian and finite type hypotheses.
Because
637: we do not have access to the same finite type techniques, the proof is almost entirely independent from Mochizuki’s. ------------------ 一見、望月の過去の論文による証明とは無関係だと謙虚なフリをしていますが、問題なのは、 “Our result completely eliminates all Noetherian and finite type hypotheses.”という文と、 “we do not have access to the same finite type techniques”という文です つまり、一般化してスキームの同型を論じることができるということと、望月の使った（後に絶対遠アーベルでも使った）テクニックは 必要ないし、そのようなもので一般的に同型を論じることはできない。また、充満多重同型というものは成立しないし、 それは単なる（自然）同型にしかならないということです 以上はRemy論文をダシにした私の個人的見解なので異論・反論はご自由にお願いします（めんどくさければスルーしますが） IUTスレなので、大雑把でもIUTの数学的内容に即した活発な議論を期待しています（私もかなり大雑把に書いていますw）
638:１３２人目の素数さん
19/06/21 23:51:41.38 FDWo8Z6f.net
IUTに関して言えば、実は私も抽象化による情報の欠損とは思えないんですよね
正確に言えば、forgetting“histories of operations”をしたいがために、
ゴリ押しで忘却関手による情報の欠損を強調しているだけのように見えます
だから、自己同型や充満、極限、余極限のIUTでの扱いが問題視されているわけで、
望月は圏論に詳しくない、或いは恣意的に使っているだけだと思われているわけです
IUTコミュニティからすれば、「新しい圏の幾何学」を創造したということになっているのでしょうけど・・・
639:１３２人目の素数さん
19/06/22 10:10:36.13 ZTY1E/5h.net
>>597
あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
レスの全体で話をしてるのに一部だけ抜き出して、しかも全体を全く理解していないよな
情報量は増えもするし具体性も無くなる、という意味が理解できないわけでしょ
具体例？自分がわからないだけだろ。代数幾何にすら典型例があるのに思いつけないからイライラとはw
とにかく馬鹿なのはわかったから話しかけないでくれ
640:１３２人目の素数さん
19/06/22 10:13:54.96 ZTY1E/5h.net
抽象化とは何かじゃあ説明してみろ、と言ったら>>596みたいな予防線張って逃げるしねw
粘着しないかちゃんと反論するかどっちかにしろよ
641:１３２人目の素数さん
19/06/22 10:22:39.08 gp4l6jKK.net
＞あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
そんなの当たり前じゃん何を今更
642:１３２人目の素数さん
19/06/22 10:26:11.09 pfGjiMe9.net
>>601
だから数学は論争には向いてない。
他人の出した問題を解くな、が正しい姿勢なのだから。
643:１３２人目の素数さん
19/06/22 10:37:02.01 tEi3uyRE.net
数学そのものの議論でも「分かりやすさのために厳密さは捨てました」「世間は知りませんが私はこう定義します」で大体回避できるからな
644:１３２人目の素数さん
19/06/22 10:54:49.08 oupCEudc.net
ストーン双対性は一般的な話だが、ある種の抽象と具象のトレードオフ関係は
幾何学のみならず論理学や他にも当然見いだせるよ
比較的新しい理論でも、対象の抽象化によってある構造や性質が消える、という典型例が複数ある
勿論だからといって適切な抽象化の価値が減じるという意味ではない
情報の欠損というのは「相対的」な話だと何度も言っている。同時に抽象化の効果も「相対化」にある
主題はある特殊な情報が一旦消え、再構成される、IUTはどうかという話なんだが全くわかってないねw 全くね