21/03/01 15:32:26.73 v7ayOauM.net
導来圏は、局所化して関数空間をみるなど、コホモロジーなどではするやろうが、
無限圏はただのホモロジーやから、一元体上の導来圏として、局所化されている。
463:Schlecht
21/03/01 15:34:42.06 Rz6p2V3E.net
言葉の羅列は要らない
具体的に計算を示してくれ
464:１３２人目の素数さん
21/03/01 15:35:55.97 v7ayOauM.net
は？ただ同値関係定義して割るだけ。
465:Schlecht
21/03/01 15:37:49.26 Rz6p2V3E.net
は、じゃなく具体的に計算をここでやってみせてくれ
そうしないと理解できないから
466:Schlecht
21/03/01 15:39:37.00 Rz6p2V3E.net
球面の安定ホモトピー群の計算には
スペクトル系列を使うんだろう？
HoTTでも当然出てくるんだよな？
さあここでやってみせてくれ
467:１３２人目の素数さん
21/03/01 15:40:49.50 v7ayOauM.net
コホモロジーで消耗しすぎじゃないのおっさん（お疲れ様です）
悪いが、Cisinki の1.5 か1.6 を参照してくれ。
導来圏は、Cisinski 2.3。
URLﾘﾝｸ(www.mathematik.uni-regensburg.de)
468:１３２人目の素数さん
21/03/01 15:47:35.81 v7ayOauM.net
>>432
いやスペクトル系列は使わんでしょ。
469:Schlecht
21/03/01 15:48:08.57 Rz6p2V3E.net
>>433
君、全部読み切って理解した上で安定ホモトピーといってるんだろう？
悪いがここで、その計算をやり切ってみせてくれ
簡単だろう？
470:Schlecht
21/03/01 15:50:20.31 Rz6p2V3E.net
>>434
使わない？
それは新しいな
スペクトル系列は知ってるかい？
知った上で要らないと言い切ってる？
じゃ、ここで計算しきってみせてくれ
それが一番簡単だろう
471:１３２人目の素数さん
21/03/01 15:53:11.92 v7ayOauM.net
know of ではあるが、know ではない。
全部理解した上で安定ホモトピーとまで言ってない。
IUT と異なり、HoTT に欠陥が見当たらないからべんきょうしているだけ。
472:Schlecht
21/03/01 15:53:36.98 Rz6p2V3E.net
まさか安定ホモトピーが何なのかも全く知らずに
ただ安定ホモトピーって云いたかったから云っただけ
なんていわないよな
それってタイヒミュラーの業績も知らずに
IUT完全勝利って言ってる人とどこが違うんだ？
473:１３２人目の素数さん
21/03/01 15:55:14.06 v7ayOauM.net
>>436
かんたんとは、よく言ったものやな、おっさん。
計算可能性の話とか、コンパイラの理論とか全部すっ飛ばしたら、理解するのはかんたんやろけど、
あとは想像しろ下さい
474:１３２人目の素数さん
21/03/01 15:56:30.67 v7ayOauM.net
>>438
おまえ壁の内側がなんでできてるのか知って家に住んでるんか？
飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
475:Schlecht
21/03/01 15:57:12.98 Rz6p2V3E.net
>>437
know ofとは
URLﾘﾝｸ(eow.alc.co.jp)
つまり
「安定ホモトピーという言葉は知ってるが
それがどういうものかは知らない」
ってこと？
それ
「ＩＵＴって言葉は知ってるが
それがどういうものかは知らない」
っていうのと、どこが違うんだ？
476:１３２人目の素数さん
21/03/01 15:57:16.31 v7ayOauM.net
信用、という言葉シランなら、ちょっと2ちゃんねるやめたほうがええで。
477:１３２人目の素数さん
21/03/01 15:59:06.06 v7ayOauM.net
>>441
んッ？程度の差はあれど、相手が納得できるかできんかでしょう。あんたを納得させるほど俺は知らんとなんべんも言うてる。
478:Schlecht
21/03/01 16:01:36.96 Rz6p2V3E.net
>>439
HoTTで計算可能性とかコンパイラとか出てくるの？
479:>>440 >壁の内側がなんでできてるのか知って家に住んでるんか？ >飛行機の材料と設計図列挙して飛行機乗ってるんかいな。 IUT完全勝利君と同じようなこと言い出したなぁ… IUT君に「分かってないんなら黙れ」っていうんなら 君も安定ホモトピーなんていわないほうがよかったんじゃないか？ まるで自分は旧姓使ってるのに「夫婦別姓反対」っていってる人みたい https://news.yahoo.co.jp/articles/f026225e8d56018d604338b7a0f751ea36000b16
480:１３２人目の素数さん
21/03/01 16:02:45.67 v7ayOauM.net
>>444
HoTT ってプログラミング言語だよ。
481:１３２人目の素数さん
21/03/01 16:04:42.70 v7ayOauM.net
>>444
いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。
言うてることが一つ同じなら、同類とはならん。
482:Schlecht
21/03/01 16:05:59.91 Rz6p2V3E.net
>>443
HoTTがIUTより信頼できるかどうかは全く関係なく
君がHoTTの中身を知らんのならやっぱり
口にしないほうがよかったんじゃないかい？
ところで君は独学？
もしいっしょに学習してる友達がいるならその人に聞いてみて
どんどん手繰っていけばそのうち球面の安定ホモトピー群を
知ってる人に行きつく筈だから
483:Schlecht
21/03/01 16:07:19.15 Rz6p2V3E.net
>>445
HoTTってHomotopy Type Theoryの略じゃないの？理論じゃないの？
484:Schlecht
21/03/01 16:09:30.07 Rz6p2V3E.net
>>446
んー、IUT君とは違うといいたいみたいだけど、
具体的な違いって何？
IUT君が知らないだろうけど自分は知ってるってこと、例えば何？
485:１３２人目の素数さん
21/03/01 16:10:24.37 v7ayOauM.net
>>448
型理論。
MLTT 型理論にUnivalence Axiom を足したもん。
何が嬉しいかって、プログラミング言語なの。この理論。
486:１３２人目の素数さん
21/03/01 16:11:08.77 v7ayOauM.net
>>449
頭大丈夫？
「無知」って言ってるけど。
487:Schlecht
21/03/01 16:11:25.26 Rz6p2V3E.net
HoTTがプログラミング言語だというならそれでいいので
球面の安定ホモトピー群の計算を行うプログラムを書いてみせて
できるんでしょう？
488:１３２人目の素数さん
21/03/01 16:11:54.58 v7ayOauM.net
>>450
あとHIT もやけど。
489:Schlecht
21/03/01 16:12:58.72 Rz6p2V3E.net
>>451
いや、数学的な知見でなにかIUT君より余計に知ってること、ないの？
ないんなら…同類だよね
490:１３２人目の素数さん
21/03/01 16:13:25.70 v7ayOauM.net
>>452
そんなに気になるんなら、ちょっと数年待ってて。
というか、coq/ hott で検索したら出来たやつがある。
491:１３２人目の素数さん
21/03/01 16:15:25.91 v7ayOauM.net
>>454
お前と違って何でも知ってるとは思っていないんで。
こっちこそ、
全く質問に答えられてないんやけど。
導来圏もしらんアホは黙っといたほうがええんちゃうか？
492:Schlecht
21/03/01 16:15:59.57 Rz6p2V3E.net
情報科学的なハッタリは興味ないんで
数学的な結果（例えば球面の安定ホモトピー群）
を出せるプログラム、書いてみて
493:１３２人目の素数さん
21/03/01 16:16:59.90 v7ayOauM.net
コホモロジーいうてて恥ずかしないんか？
494:Schlecht
21/03/01 16:18:24.86 Rz6p2V3E.net
>>456
導来圏でもなんでもいいから
球面の安定ホモトピー群
計算してみて
で、その計算でBernoulli数がどこに出てくるのか教えて
495:１３２人目の素数さん
21/03/01 16:19:09.74 v7ayOauM.net
自分で調べて自分でかけ。coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
悪いが、機械より上のことは、
そこまで興味ない。
496:１３２人目の素数さん
21/03/01 16:20:21.58 v7ayOauM.net
お前こそ、IUT みたいに同じこと言うてるな。IUT 君と同じこと言ってて恥ずかしくないの？
497:Schlecht
21/03/01 16:20:34.88 Rz6p2V3E.net
＞ちょっと数年待ってて。
「安定ホモトピー」って言葉、理解しきってから言うべきだったね
とくに、IUT君に黙れっていうんだったらさ
498:Schlecht
21/03/01 16:22:22.16 Rz6p2V3E.net
>>460
>coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
中身の仕組み知らんでプログラミングしてるの？
いったいどんなプログラム書いてきたの？なんか怖いな･･･
499:１３２人目の素数さん
21/03/01 16:22:30.89 v7ayOauM.net
>>462
んっだから日本語よめてる？
IUT はこっちが矛盾に指摘してるのに対して、あんたはなんの矛盾を指摘して�
500:ﾅすか？
501:１３２人目の素数さん
21/03/01 16:23:20.04 v7ayOauM.net
>>463
俺が、いつcoq/hott 書いたって言ったの？
馬鹿なの？
言葉よめないの？
502:１３２人目の素数さん
21/03/01 16:23:45.14 v7ayOauM.net
知りたきゃ勝手にしろ。
お前は何も矛盾指摘できてない。
503:Schlecht
21/03/01 16:24:15.42 Rz6p2V3E.net
>>461
いやぁ、あなたのほうがIUT君そっくりだよ
特に中身知らなくてもOK、みたいな発言はそっくり
実はあなた、IUT君じゃないの？
504:１３２人目の素数さん
21/03/01 16:25:48.05 v7ayOauM.net
中身知らなくても OK なんていうてないけど。
そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
505:１３２人目の素数さん
21/03/01 16:26:34.37 v7ayOauM.net
バカなの？墓穴掘りたいの？だから棺桶用意しておけとあれほど口酸っぱく言ったのに。
506:Schlecht
21/03/01 16:58:29.12 Rz6p2V3E.net
>>468
＞そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
え？コホモロジーに導来圏って必須なの？
それは初耳なんだけど…
いつだれがどこでそんなこといったんですか？
とても興味があるので教えてください
507:Schlecht
21/03/01 17:06:16.95 Rz6p2V3E.net
なんか ID:v7ayOauM のいうことはちぐはぐだなあ
wikiには導来圏の導入でスペクトル系列を用いていたところは
劇的に簡素化されるなんて書いてあるから
球面の安定ホモトピー群の計算なんてまさにその典型例として
ドヤ顔で紹介できそうなもんだけど
URLﾘﾝｸ(ja.wikipedia.org)
中身を知らずに書き込みしちゃダメだね うん
508:１３２人目の素数さん
21/03/01 17:12:10.27 v7ayOauM.net
>>470
日本語読め。
必要とは言ってない。
導来圏なしで、コホモロジー論語ってればいいんじゃないの？
509:１３２人目の素数さん
21/03/01 17:13:03.54 v7ayOauM.net
「なんかちぐはぐだなあ」は草
お前が日本語読めてないだけ。
510:Schlecht
21/03/01 17:14:47.04 Rz6p2V3E.net
なんかグラグラだなぁ
単に「安定ホモトピー」とか「導来圏」とかいいたいだけなのかな？
それってＩＵＴ君とどこが違うのかな？
511:１３２人目の素数さん
21/03/01 17:16:58.53 v7ayOauM.net
>>474
質問したのお前だろ。バカなの？
512:Schlecht
21/03/01 17:17:41.52 Rz6p2V3E.net
>>473
何いらいらしてるんだろう？
やっぱりハッタリが通用しなかったからかな？
513:１３２人目の素数さん
21/03/01 17:18:44.58 v7ayOauM.net
>>476
笑
お前イライラしてるんやな。
514:１３２人目の素数さん
21/03/01 17:19:10.78 15xwKeEW.net
>>393
ド素人が
なにをガタガタ言っているの？
みっともないよ
515:１３２人目の素数さん
21/03/01 17:19:39.05 15xwKeEW.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
516:Schlecht
21/03/01 17:19:55.78 Rz6p2V3E.net
何怒ってるんだろう？
知らないなら知らないって言えばいいだけなのに
知らないって言いたくないのかな？
でもそれじゃＩＵＴ君と同じだよね…
517:１３２人目の素数さん
21/03/01 17:21:52.65 capdN0d4.net
補数表現がまずグロタンディーク構成
518:Schlecht
21/03/01 17:22:09.87 Rz6p2V3E.net
>>477
あ、イライラしてる
今日はもう書き込みやめときなよ
明日になればID変わるから
ああ、そうそう、安定ホモトピーの話はもうしないほうがいいよ
同じことやると「またおまえか」っていわれるからさ
今度は違うネタで書いたほうがいいね
519:１３２人目の素数さん
21/03/01 17:25:32.31 v7ayOauM.net
>>482
いや、今お前がイライラしてる間に HoTT 読んでるから、またマウントよろ。
520:１３２人目の素数さん
21/03/01 17:26:02.88 v7ayOauM.net
お前のカスみたいなマウントでも気づきがあるんでね。
521:Schlecht
21/03/01 17:28:14.15 Rz6p2V3E.net
>>483
＞HoTT 読んでるから
早く球面の安定ホモトピー群の計算プログラムが書けるといいね
待ってるからさ
522:Schlecht
21/03/01 17:30:14.08 Rz6p2V3E.net
マウントじゃないんだけどな
むしろ花を持たせようとおもったら
肝心の花がなかった、という…
523:１３２人目の素数さん
21/03/01 17:31:48.77 15xwKeEW.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
524:１３２人目の素数さん
21/03/01 18:44:58.52 capdN0d4.net
なんか二人とも飽きちゃったの？
安定ホモトピーでイチャイチャやってくださいよ。
525:Schlecht
21/03/01 18:58:46.33 Rz6p2V3E.net
ちょっとHoTT君をこすりすぎました
526:１３２人目の素数さん
21/03/01 19:11:33.86 15xwKeEW.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
527:１３２人目の素数さん
21/03/01 19:15:52.07 v7ayOauM.net
>>489
シコンナ、キモチワルイ
528:Schlecht
21/03/01 19:25:48.00 Rz6p2V3E.net
ゴメン、●虚だって気づかなくて
URLﾘﾝｸ(ja.wikipedia.org)
529:１３２人目の素数さん
21/03/01 19:26:51.83 v7ayOauM.net
ww
530:１３２人目の素数さん
21/03/01 23:25:40.43 bnXR1ess.net
>>2
追加
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in IUT List of Participants
(抜粋)
Yu Yasufuku, Nihon University, JP;
Shigetoshi Yokoyama, Gunma University, JP;
URLﾘﾝｸ(researchmap.jp)
Yu Yasufuku
(安福 悠)
研究キーワード 16
数論的力学系
ボイタ予想
学位
最優秀学士(ハーバード大学)
A.B. summa cum laude(Harvard University)
理学博士(ブラウン大学)
Ph.D. in Mathematics(Brown University)
博士 (数理科学)(東京大学)
Ph.D. in Mathematical Sciences(The University of Tokyo)
受賞 4
2018年11月日本大学理工学部 日本大学理工学部学術賞 Vojta予想と数論的力学系の研究
2008年5月学位論文賞 (ブラウン大学) ボイタ予想とブローアップについて
学歴 3
2005年9月 - 2008年5月ブラウン大学 数学研究科 数学
2000年9月 - 2004年6月マサチューセッツ工科大学 数学研究科 数学
1996年9月 - 2000年6月ハーバード大学 ＊＊ 数学科
URLﾘﾝｸ(researchmap.jp)
横山 重俊
ヨコヤマ シゲトシ (Shigetoshi Yokoyama)
所属群馬大学 総合情報メディアセンター 教授
国立情報学研究所 客員教授
学歴 3
2005年4月 - 2011年3月総合研究大学院大学 複合科学研究科 情報学専攻
1979年4月 - 1981年3月大阪大学 理学研究科 数学専攻
1975年4月 - 1979年3月大阪大学 理学部 数学科
531:Schlecht
21/03/02 07:03:03.80 ozN2NqQb.net
球面の安定ホモトピー群の計算は今でも大変難しそうだ
URLﾘﾝｸ(en.wikipedia.org)
532:１３２人目の素数さん
21/03/02 07:45:10.58 8q8Y/BcG.net
>>421-423
>ベルヌーイ数の記述どこよ。
ベルヌーイ数
関孝和も研究したのか（下記）
元々は、べき乗和の計算のためだったんだ
古代ギリシャ、Pythagoras、Archimedes も登場するんだね、へー
知らなかったね
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Bernoulli number
Contents
1 Notation
2 History
2.1 Early history
2.2 Reconstruction of "Summae Potestatum"
Early history
The Bernoulli numbers are rooted in the early history of the computation of sums of integer powers, which have been of interest to mathematicians since antiquity.
Among the great mathematicians of antiquity to consider this problem were Pythagoras (c. 572–497 BCE, Greece), Archimedes (287–212 BCE, Italy), Aryabhata (b. 476, India),
URLﾘﾝｸ(upload.wikimedia.org)
A page from Seki Takakazu's Katsuyō Sanpō (1712), tabulati
533:ng binomial coefficients and Bernoulli numbers
534:１３２人目の素数さん
21/03/02 07:59:11.76 8q8Y/BcG.net
>>444
>>壁の内側がなんでできてるのか知って家に住んでるんか？
>>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
>IUT完全勝利君と同じようなこと言い出したなぁ…
>IUT君に「分かってないんなら黙れ」っていうんなら
>君も安定ホモトピーなんていわないほうがよかったんじゃないか？
維新さん、完全にノックアウトだな
この人は、”安定ホモトピー”について
維新さんが、「答えられない」って見抜いて、追求しているんだね。すごい眼力だな
まあ、おれは、自分で飛行機の安全性を確かめたわけじゃないけど、経験則をもとに飛行機乗りますけどね
自分の乗る飛行機に、「安全証明」がついていても、それって多分意味ない
飛行機の機体自身は、安全としても、アクシデント（離陸or着陸のときとか、操縦士の腕前とか）の可能性はゼロではないからね
日常、証明以外の判断を求められること多いよね
そういう意味で、IUTはOKと思いますけどね
IUTは、墜落しないだろうってｗｗ（＾＾；
535:Schlecht
21/03/02 08:01:50.53 ozN2NqQb.net
>>496
＞知らなかったね
以前も全く同じ書き込みしてなかった？ 覚えてない？
536:Schlecht
21/03/02 08:04:10.37 ozN2NqQb.net
>>497
ID:v7ayOauMさんて維新さんって名前なんだ…
倒幕志士好きなのかな？
537:Schlecht
21/03/02 08:06:03.24 ozN2NqQb.net
>>497
>おれは、自分で飛行機の安全性を確かめたわけじゃないけど、
>経験則をもとに飛行機乗りますけどね
何の話？
538:１３２人目の素数さん
21/03/02 08:08:32.75 XFYUadOB.net
>>497
アタマ…
539:Schlecht
21/03/02 08:08:37.88 ozN2NqQb.net
>>497
>日常、証明以外の判断を求められること多いよね
「IUTを正当化したい」というあなたの行為は
論理的判断でなく感情的衝動によるものですけどね
540:１３２人目の素数さん
21/03/02 08:10:13.23 XFYUadOB.net
アタマなんかちょっとやばいやついつもあとから湧いてくるけど、蛆虫かなんかなのかな…？
541:Schlecht
21/03/02 08:11:15.15 ozN2NqQb.net
>>501
IUT氏は頭より心に問題を抱えてますね
国家を誇りたくなる人って不遇な人なんですね
幸せな人はそういうことはしませんからね
542:Schlecht
21/03/02 08:13:44.37 ozN2NqQb.net
>>503
＞なんかちょっとやばいやつ
そういう人をいじりに来る人もいますね
543:１３２人目の素数さん
21/03/02 08:15:26.46 8q8Y/BcG.net
>>496
>元々は、べき乗和の計算のためだったんだ
余談だが、下記の「ベルヌーイ数 Bn は下に示すマクローリン展開 (テイラー展開) の展開係数として定義される」
という現代的な定義から入ると
いろんなところに、”ベルヌーイ数 Bn ”が登場することが不思議だけど
”元々は、べき乗和の計算のため”という視点にたつと、同じような組み合わせ計算の場面では、これが出てきても不思議はないのかもね
URLﾘﾝｸ(ja.wikipedia.org)
ベルヌーイ数
定義
ベルヌーイ数 Bn は下に示すマクローリン展開 (テイラー展開) の展開係数として定義される。
f(x)=x/(e^x-1)=Σ{n=0}～{∞} {B_{n}}/（{n!}}x^{n}）
544:Schlecht
21/03/02 08:17:01.70 ozN2NqQb.net
そういえばIUT氏が別のスレッドで
「射影幾何は無限大無限小の理論」
としたり顔で語ってるのを見ましたが
何か根本的に勘違いしてますね
545:Schlecht
21/03/02 08:19:36.86 ozN2NqQb.net
>>506
>･･･という視点にたつと、
>同じような組み合わせ計算の場面では、
>これが出てきても不思議はないのかもね
中身を全く見ずに「同じような」と言い切る粗雑な感覚の人にとっては、
世の中には何一つ不思議なことは無いんでしょうね
546:１３２人目の素数さん
21/03/02 08:23:11.05 8q8Y/BcG.net
>>499
>ID:v7ayOauMさんて維新さんって名前なんだ…
>倒幕志士好きなのかな？
維新さんの由来は下記
（>>4より）
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然"維新～！"と絶叫したりするからです
(引用終り)
この維新は、「大阪維新」です
維新さんは、大阪というとすぐ「維新支持者！！」と�
547:�めつけるので こう揶揄されますｗｗ
548:Schlecht
21/03/02 08:23:56.79 ozN2NqQb.net
射影直線の無限遠点は１／０にあたるものでしかありません
「平面上の原点を通る直線を点とみなす」という定義なら
無限遠すら出てきません
あくまで座標系において出てくるだけです
（正確にいえば、座標系にない点が「無限遠点」とされる）
つまり、恒久的な無限遠点があるわけではなく、
あくまで座標系に依存したものです
さらにいえば、０でない「無限小」は出てきません
549:Schlecht
21/03/02 08:26:55.65 ozN2NqQb.net
>>509
＞この維新は、「大阪維新」です
ふーん、
じゃ、あなたは「IUTファースト」君？
550:１３２人目の素数さん
21/03/02 08:27:00.09 XFYUadOB.net
>>509
あなた維新さんなんだね…
551:Schlecht
21/03/02 08:28:49.58 ozN2NqQb.net
>>512
ファーストさんだそうですよ
552:１３２人目の素数さん
21/03/02 08:29:19.96 XFYUadOB.net
なんか脈絡のない文書書く蛆虫って見てて気持ち悪い…
553:１３２人目の素数さん
21/03/02 08:29:59.39 8q8Y/BcG.net
>>508
>中身を全く見ずに「同じような」と言い切る粗雑な感覚の人にとっては、
>世の中には何一つ不思議なことは無いんでしょうね
殿！、下記（”なんら不思議はない”）のご説明を
ｗｗｗ
(>>424 より）
>>415
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。
(引用終り)
554:Schlecht
21/03/02 08:32:36.32 ozN2NqQb.net
>>515
＞スピンは四元数やから、関わっとってもなんら不思議はない。
確かにこれもよくわからないね
わからないことをわかったと嘘つくのって何か意味あるのかな？
555:１３２人目の素数さん
21/03/02 08:33:35.17 XFYUadOB.net
蛆虫…がまた変なこといってる…
556:１３２人目の素数さん
21/03/02 08:36:44.29 XFYUadOB.net
昨日の人また来ないかな…
557:Schlecht
21/03/02 08:37:53.33 ozN2NqQb.net
ファースト氏はあまりにもひねりがないからちょっと変えようかな
「フュルスト氏」 これってどうかな？
で、どうも昨日からいるっぽいID:XFYUadOB氏は
「ヘルツォーク氏」でどうですか？
え？私？私はキ族じゃない、只の平民ですから…
558:Schlecht
21/03/02 08:38:59.32 ozN2NqQb.net
HoTTの人はもう来ないんじゃないかな？
昨日こすられ過ぎたから
559:１３２人目の素数さん
21/03/02 08:41:06.97 AjExZI9o.net
>>497
…
560:Schlecht
21/03/02 08:41:39.81 ozN2NqQb.net
どこでもそうだけど
知らないことを知ってると云って
いいことって一つもないよね
561:Schlecht
21/03/02 08:45:58.13 ozN2NqQb.net
子供が真っ先に学ぶのって
「知らないことを知ってるというと炎上する」
ってことだと思う
562:Schlecht
21/03/02 08:49:31.79 ozN2NqQb.net
みんな塹壕掘って隠れてるから
飛び出したら一斉掃射されるよ
563:Schlecht
21/03/02 08:58:30.22 ozN2NqQb.net
もう何年も数学板で書いてるんなら
そんな初歩的なこといい加減覚えたほういいよ
564:１３２人目の素数さん
21/03/02 10:50:31.66 brRFu6nO.net
>>523
（>>516より）
>わからないことをわかったと嘘つくのって何か意味あるのかな？
（>>522より）
>どこでもそうだけど
>知らないことを知ってると云って
>いいことって一つもないよね
IUTに同じ
まったく同じですね
１）出来ていない証明を”出来た”と言っても、いいことって一つもない
一流数学者の望月先生が、そんかことをするわけない
２）出来ていない証明を”出来た”とウソの記者会見をしても、いいことって一つもない
一流数学者の柏原、玉川が、嘘つくわけない
３）出来ていない証明の研究集会に参加しても、いいことって一つもない
Promenade in IUTに参加している数学者たちは、当然IUTの証明にそれなりに納得している（つまりは、ショルツェ氏はアウト）
（>>523より）
>子供が真っ先に学ぶのって
>「知らないことを知ってるというと炎上する」
ショルツェ氏は、最初は「Cor3.12までは自明で、Cor3.12の証明（だけが）分からない」といった
だが、woitブログでのDupuy氏との討論では、「ホッジシアターが超難しい」と言った（前言と矛盾）
結果的に（前言は）ウソであり、”炎上”になりましたとさ
565:１３２人目の素数さん
21/03/02 10:58:05.93 dcDWWgNW.net
>>526
>woitブログでのDupuy氏との討論では、「ホッジシアターが超難しい」と言った（前言と矛盾）
これはトポス理論的フレームワーク
566:などで解釈するのが難しいという話で、ホッジ劇場そのものが難しいという話ではない
567:Schlecht
21/03/02 11:19:57.97 ozN2NqQb.net
>>526
>出来ていない証明を”出来た”と…
>一流数学者の望月先生が、そんなことをするわけない
それはフュルスト君の願望ですよね？
>出来ていない証明を”出来た”とウソの記者会見…
>一流数学者の柏原、玉川が、嘘つくわけない
それもフュルスト君の願望ですよね？
玉川氏が、つい
「査読過程は墓場まで持っていく」
と喋ったらしいけど
これがきっと本音
>Promenade in IUTに参加している数学者たちは、
>当然IUTの証明にそれなりに納得している
全然当然じゃないですけどね
納得なんて参加の条件じゃないですけどね
むしろ納得というか理解すらできてないから参加する、
という人もたくさんいるんじゃないですか？
568:Schlecht
21/03/02 11:22:51.84 ozN2NqQb.net
>ショルツェ氏は、最初は
>「Cor3.12までは自明で、Cor3.12の証明（だけが）分からない」
>といった
>だが、woitブログでのDupuy氏との討論では、
>「ホッジシアターが超難しい」
>と言った（前言と矛盾）
Thm3.11までの中でホッジシアターが出てくる場所を全部挙げてくれます？
当然あるから「前言と矛盾」と言い切ってみせたんですよね？
まさか、まったく読みもせずに、口先だけで脅してるわけじゃないですよね？
569:Schlecht
21/03/02 11:25:10.00 ozN2NqQb.net
フュルストさん
Thm3.11から簡単に証明できるといいはるなら
証明を示してくれますか？
理解しきったから正しいと言い切ったんですよね
まさかに理解もせずに正しいと博打うったわけじゃないですよね？
570:Schlecht
21/03/02 11:32:48.25 ozN2NqQb.net
フュルストさんのやってることって、BIGを買って
「これが６億円だ！」
と言っちゃう人みたいな感じかな
「２等」くらい当たってるといいんですけどね・・・
571:１３２人目の素数さん
21/03/02 12:27:39.47 brRFu6nO.net
>>515
（>>415）
ベルヌーイ数って、スピンの行列計算（ルジャンドル多項式かなんかで出てこんかったっけ？）こんなとこでも出てくるかこら？下さい
（>>424）
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。
あれあれ？
ベルヌーイ数、ルジャンドル多項式、スピンの行列計算、スピンは四元数（＝多分スピノール行列のことか？）
これらは、下記を読む限り、ベルヌーイ数とは関係ないみたいだね
（参考）
URLﾘﾝｸ(www.wannyan.net)
Scientific Doggie 数理の楽しみ
URLﾘﾝｸ(www.wannyan.net)
特殊関数
全文PDFファイル
URLﾘﾝｸ(www.wannyan.net)
Nov 26, 2018 特殊関数の更新。訪問者からの質問に基づき第3.8.1項の数式変形の 説明を補足しました。
URLﾘﾝｸ(ja.wikipedia.org)
スピノール
一般のスピノルは、1913年にエリ・カルタン[4]によって発見され、後に電子や他のフェルミ粒子の内在する角運動量、即ちスピン角運動量の性質を研究するために、量子力学に適用された。量子力学においてスピノルは、半整数スピンを持つフェルミ粒子の波動関数を記述する際に不可欠な量であり、今日では物理学の様々な分野で用いられている。例を挙げると、古典論では三次元のスピノル（英語版）が非相対論的な電子のスピンを記述する際に、相対論的量子力学ではディラック・スピノルが相対論的な電子の量子状態を数学的に記述する際に、場の量子論では相対論的な多粒子系の状態を記述する際に、それぞれ必須の概念としてスピノルが活用されている。
572:１３２人目の素数さん
21/03/02 13:18:56.05 brRFu6nO.net
>>532
＜メモ＞
余談ですが
下記のBernoulli number ”6.5 Use in topology”
によれば、「ES_n ＝ 2^{2n-2} - 2^{4n-3}) Numerator (B_{4n}/{4n}).」という式があるらしいね
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Bernoulli number
Contents
6 Applications of the Bernoulli numbers
6.5 Use in topology
Use in topology
The Kervaire–Milnor's formula for the order of the cyclic group of diffeomorphism classes of exotic (4n － 1)-spheres which bound parallelizable manifolds involves Bernoulli numbers. Let ESn be the number of such exotic spheres for n ＞＝ 2, then
ES_n ＝ 2^{2n-2} - 2^{4n-3}) Numerator (B_{4n}/{4n}).
The Hirzebruch signature theorem for the L genus of a smooth oriented closed manifold of dimension 4n also involves Bernoulli numbers.
573:１３２人目の素数さん
21/03/02 13:35:15.51 brRFu6nO.net
>>528
>玉川氏が、つい
>「査読過程は墓場まで持っていく」
>と喋ったらしいけど
>これがきっと本音
自分は、論文投稿の経験ないんか？
だれが査読したとかさ
査読過程とかさ
それ、基本的に公開しないぜ
そんなこともしらんのかな？
維新さんは、落ちこぼれて
査読のある論文書いたことないんでしょ？
そっから、
スカタンな議論になっているよね
（参考）
URLﾘﾝｸ(kotobank.jp)
コトバンク
すかたん（読み）スカタン
デジタル大辞泉の解説
１ 予想や期待を裏切られること。当てはずれ。「すかたんを食わされる」
２ 見当違いなこと、間の抜けたことをする人をののしっていう語。とんま。まぬけ。すこたん。「このすかたんめ」「すかたん野郎」
574:１３２人目の素数さん
21/03/02 13:54:20.80 brRFu6nO.net
>>530
>理解しきったから正しいと言い切ったんですよね
>まさかに理解もせずに正しいと博打うったわけじゃないですよね？
それ、正しい論文か、正しくない論文か？
その判断は、論文読む前にするのが、普通でしょ？ 大論文の場合は特に
いま、眼前に600ページの大部の論文がある
読むに値するかどうか？ せめて、チラ見はするよね。（正しくても、自分の仕事に無関係な場合もあり
「正しくない（と思われる あるいは 言われている）論文」など、読んでも、あまり意味ないでしょ
だから、正しい論文か、怪しそうか、その判断は、読む前にすべき
プロ数学者たちにとっては、当然でしょ
G先生の言では、IUTはプロ数学者でも数百時間というから、読んだ挙句にゴミ論文じゃねぇ、あなた
だから、「査読が終わった」って情報が必要になるのです
575:１３２人目の素数さん
21/03/02 15:39:31.78 T8orG7Ij.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
576:Schlecht
21/03/02 17:51:22.87 ozN2NqQb.net
>>533
異種球面より球面の安定ホモトピー群の方が本質的だよ
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(en.wikipedia.org)
Image of the J-homomorphism
If r=4n-1 is 3 mod 4 and positive the image is a cyclic group of order equal to the denominator of B_{2n}/4n, where B_{2n}} is a Bernoulli number.
577:Schlecht
21/03/02 17:56:22.46 ozN2NqQb.net
>>534
上ずってるね 落ち着こう
同じ分野の人が誰一人として理解できないのに、
査読が通ってるっておかしくないかい？
それこそ「すかたん」だよ
見事に期待を裏切ってる。当てはずれ。
そんなものを日本の誇りっていうのは恥ずかしいよね？
>>535
せっかくプレプリント出したんだから、
皆が理解したところで査読を通せばいいのになぜそうしないんだい？
何を焦っているんだい？落ち着こうよ
578:１３２人目の素数さん
21/03/02 20:50:05.76 1Nnlc+Ad.net
>>538
皆が理解するのを待っていたら俺は寿命が来るなw
皆が理解するなんて前提条件はいらないしナンセンスだ
579:１３２人目の素数さん
21/03/02 20:57:04.49 dcDWWgNW.net
人が理解することを前提にしないのであれば、リーマン予想は解決している
580:１３２人目の素数さん
21/03/02 21:09:22.52 2QlGlFWH.net
誰が解いたんですか？
581:１３２人目の素数さん
21/03/02 21:11:08.48 2QlGlFWH.net
dcWWgNW氏が…？
582:１３２人目の素数さん
21/03/02 21:1
583:2:09.45 ID:2QlGlFWH.net
584:１３２人目の素数さん
21/03/02 21:13:08.45 2QlGlFWH.net
誰が解決したんですか…？
ま、さ、か、、、？、、、
585:１３２人目の素数さん
21/03/02 21:20:59.87 6/6rJGrD.net
高木様…?…
586:１３２人目の素数さん
21/03/03 08:18:47.39 IHjOYfy9.net
>>538
>同じ分野の人が誰一人として理解できないのに、
>査読が通ってるっておかしくないかい？
・同じ分野をどう定義するかの問題はあるも
・反例が、多数あるよね
・同じ分野の人で、理解できたという人多数、具体名は揚げないけど
・もし、査読者が、同じ分野の人だとしたら？ｗｗｗ
・普通は査読者は同じ分野の人ｗｗｗ。矛盾！QEDｗｗｗ
587:Schlecht
21/03/03 09:04:12.19 IBGui4qx.net
>>546
>同じ分野をどう定義するかの問題はあるも
同じ分野＝数論幾何
同じ分野＝「ＩＵＴを理解できる人」では同語反復なので無意味
588:Schlecht
21/03/03 09:04:42.42 IBGui4qx.net
>>546
>反例が、多数あるよね
>同じ分野の人で、理解できたという人多数、具体名は揚げないけど
他人を理解させられない時点で無意味
星氏はショルツに何もいえませんでした
山下氏もフェセンコ氏も同じ
まったく理解してないから何もいえないんでしょう
589:Schlecht
21/03/03 09:05:53.74 IBGui4qx.net
>>546
>もし、査読者が、同じ分野の人だとしたら？
>普通は査読者は同じ分野の人
「査読者」が自分の理解を他人に説明できない時点で
まったく理解できていない
そもそも「査読者」がいたかどうかわからない
編集者自身の「自己査読」の可能性すら否定できない
>ｗｗｗ
World Wide Webがどうかしましたか？
590:Schlecht
21/03/03 09:07:22.67 IBGui4qx.net
>>546
>矛盾！QED
なぜ、そんなにむきになるんですか？
IUTが間違ってると、
日本が滅びるんですか？
貴方が滅びるんですか？
もしかして…「セカイ系」ですか？
591:Schlecht
21/03/03 09:08:32.33 IBGui4qx.net
フュルスト氏がなぜむきになるのかいまだにわからない
592:Schlecht
21/03/03 09:10:08.56 IBGui4qx.net
フュルスト氏がジャパンファーストに固執する理由も全然わからない
URLﾘﾝｸ(ja.wikipedia.org)
593:Schlecht
21/03/03 09:12:19.73 IBGui4qx.net
なんかやってることがこの人そっくり
URLﾘﾝｸ(ja.wikipedia.org)(%E6%B4%BB%E5%8B%95%E5%AE%B6)
594:Schlecht
21/03/03 09:39:40.71 IBGui4qx.net
そもそも根本的な問題を解決せずに、外国人攻撃しても意味ないよね…
595:Schlecht
21/03/03 09:41:54.86 IBGui4qx.net
ジャパンファースト党の人もフュルスト氏も自分を見つめなおしたほうがいいと思う
596:１３２人目の素数さん
21/03/03 09:50:02.87 +hWYKxQM.net
>>540
皆が、と
人が、は決定的に違う
皆が理解する必要は無いよ
そんな必要は永遠に無い
597:１３２人目の素数さん
21/03/03 10:24:54.71 lWynEZ55.net
>>556
同意です
数学的に「すべての人」なんて状態は、
現実の世界では実現できないよね
598:１３２人目の素数さん
21/03/03 10:27:51.95 lWynEZ55.net
>>550
IUTアンチの人
なにがなんでも、IUTは成立しないと言いたいみたいね
日本および日本人に恨みでもあるようにねｗｗ
極左アナーキストさん
現実にプロ数学界で起きていることが
全く見えない、見ようとしない。あなたの脳内妄想が根拠のすべてでしょ
(>>5より)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
これで
１．いま、南出論文で、ABCの明示公式が導けるようになった
２．その応用も示されている。例えば、P53
Corollary 5.9. (Application to a generalized version of “Fermat’s Last Theorem”)
「rx^l + sy^m + tz^n = 0.」(拡張フェルマーのディオファントス)
（これはP5で ”We also obtain an application of the ABC inequality of Theorem B to
a generalized version of Fermat’s Last Theorem [cf. Corollary 5.9], which
does not appear to be accessible via the techniques involving modularity of
elliptic curves over Q and deformations of Galois representations that play
a central role in [Wls].”とアピールしています）
３．南出論文を読むと、elliptic curve ”Legendre form “y2 = x(x－1)(x－λ)””に
望月IUT理論を（ちょっと改良して）適用すると、定量評価ができて、いろいろなディオファントスの明示不等式がでる
４．だから、もし南出論文が本当なら（その可能性は非常に高い）ば、ディオファントスの分野に与える影響は大きい
かつ、望月IUT理論は、まだ改良の余地大と見ました
５．なので、プロ数学者の皆さん Promenade in IUT(>>2)とか、国際会議やって、メシのたね（論文ネタ）
みんなでIUTを突いて遊ぼうってことじゃんｗ
分かってないね。IUTを突いたらおいしいってね
まずいものを突いても仕方ないんだよ
599:１３２人目の素数さん
21/03/03 10:46:55.11 lWynEZ55.net
>>549
>そもそも「査読者」がいたかどうかわからない
>編集者自身の「自己査読」の可能性すら否定できない
１．妄想も、ここまで来たら病気でしょ
２．そのそも、「査読が通ってPRIMS掲載に決定」というのは、普通に考えて、RIMS内部の編集委員会とか会議で決めるもの
出席者は玉川先生以外にもいて、出席者の決をもって会議は進むもの
当然、議事録があるだろうし、望月IUTについて、だれが査読して（いつ頼んで、どんな査読結果だったか返信記録もあるはず）
内部には、全部記録があって、それが編集会議に出されて、出席者は査読結果を知って、OKを出すものですよ
３．いまどき、ゴマカシや隠し事はすぐばれる（余談ですが、どこかの国で首相の息子がお役人とメシ食ったって話も、隠し事すぐばれる時代
ブン春ですか？ 結構な値段で買ってくれるの？ｗ IUTスキャンダルねた？ さあ、いくらでしょうねｗ）
維新さん、良いネタ持っているなら、ブン春に持ち込みなさいよｗｗ
４．玉川先生の昨年４月の記者会見は、当然ちゃんと内部の会議の決定を経て、RIMSの長の（こんなプレス発表しますの）了解のもと
そんなん、社会人の常識ですよ。玉川先生の一存でもなんでもないよね
まあ、IUTアンチの妄想も、
やれやれですなｗｗｗ
600:Schlecht
21/03/03 10:51:56.05 IBGui4qx.net
>>558
>なにがなんでも、IUTは成立しないと言いたいみたいね
いえ そんなことは全くありませんよ
IUTについて専門家の理解が得られるなら、正しいと認めます
ただ何年たってもそういう状況にならないから、無理だろうと思ってるだけです
もちろん、ひっくり返る可能性はゼロではありませんが
601:Schlecht
21/03/03 10:55:06.13 IBGui4qx.net
>>588
>日本および日本人に恨みでもあるようにね
恨み？ないですよ
日本国政府には不信感はありますけどね
でもそれはどこの国でも同じでしょう
日本に来る中国人で
中国政府とその要人を良く言う人に
出会ったことがありませんから
602:Schlecht
21/03/03 10:58:46.55 IBGui4qx.net
>>558
＞現実にプロ数学界で起きていることが全く見えない、見ようとしない。
それはフュルストさん、あなたのほうではないですか？
数論幾何のコミュニティですらIUTは理解されず受け入れられていない
それが現実ですよ
RIMSの会議の参加者ですら、別にIUTを理解し受け入れてるわけではない
望月の不等式には関心があるが、IUTでそれが証明されたとは思っていない
それも現実ですよ
603:Schlecht
21/03/03 11:09:33.50 IBGui4qx.net
>>558
>いま、南出論文で、ABCの明示公式が導けるようになった
それはCor3.12を前提した上での結果なので、
その先の証明でIUT理論を使ったわけではないですよ
>その応用も示されている。
それもさらに先の話であって、Cor3.12の正当性とは無関係ですね
>望月IUT理論を（ちょっと改良して）適用すると、
>定量評価ができて、いろいろなディオファントスの明示不等式がでる
「望月IUT理論を（ちょっと改良して）適用すると」ではなく
「望月の不等式（Cor 3.12）を利用して、その先をちょっと改良すると」ですね
したがって、Cor3.12を導くまでのIUT理論についてはノータッチ
理解できてないものはいじれないですからね
南出氏だけでなく、星氏も山下氏も
>南出論文が本当ならば、（その可能性は非常に高い）
>ディオファントスの分野に与える影響は大きい
Cor3.12を前提した南出論文が正しくても、
肝心のCor3.12が不成立だと無意味ですけどね
つまり全ては「望月予想」である「望月の不等式」（Cor3.12）の正否にかかってる
また、仮に望月予想が正しいとしても、
その証明が望月とは別の人によってなされた場合
ABC予想の解決はその人によってなされたのであって
望月は単に有用な貢献としたという程度にしか見られないでしょうね
ABC予想をした人は、ABC予想を前提した上で解決される諸問題の
解決を行ったとは見られないのと全く同じく
それが評価として適切か否かは別の問題としてありますが
そういう難しいことはあなたは全く言及してないんでしょう？
604:Schlecht
21/03/03 11:11:56.68 IBGui4qx.net
>>558
>みんなでIUTを突いて遊ぼうってことじゃん
>分かってないね。IUTを突いたらおいしいってね
おいしいのは「IUT」ではなく「望月の不等式」です
皆さん「望月の不等式」を突いて遊んでるのであって
「IUT」についてはほったらかし、というのが現実です
605:Schlecht
21/03/03 11:18:20.30 IBGui4qx.net
>>559
>いまどき、ゴマカシや隠し事はすぐばれる
実際ばれてますね
この期に及んで、誰も理解できてないってことが
望月氏はいろいろと言い訳してますけど、無意味ですね
誰にも理解されない理論には価値がない
玉川氏が「査読過程は墓場まで持っていく」といったのは
暗に自分は本当は賛同していないといいたかったんじゃないかな
そうでなければわざわざいうことではないですから お気の毒です
606:Schlecht
21/03/03 11:33:17.51 IBGui4qx.net
もし、IUTの記載を全部すっ飛ばして
Cor3.12を「望月の不等式」として提示した上で
そこからABC予想が導ける、という論文を書いた
としても十分査読は通ったと思う
（有意義な予想の提示だから）
ただ、それではABC予想を解決したことにならない
望月氏はどうしてもABC予想を解決したといいたかったんでしょう
607:１３２人目の素数さん
21/03/03 12:09:09.05 ve5yflbx.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
608:１３２人目の素数さん
21/03/03 14:01:58.41 lWynEZ55.net
>>566
（引用開始）
もし、IUTの記載を全部すっ飛ばして
Cor3.12を「望月の不等式」として提示した上で
そこからABC予想が導ける、という論文を書いた
としても十分査読は通ったと思う
（有意義な予想の提示だから）
（引用終り）
おじさん、笑える
あんた、Cor3.12を読まずに、妄想書いたでしょ？
Cor3.12の記述は下記の通りです
Theorem 3.11.を前提にした記述だし、”Θ-Pilot”を使った不等式だから、Cor3.12はそれ以前を読まないとダメですよ
（なお、ショルツェ氏は、ホッジシアターが超難しいと、白状しましたね）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
P173
Corollary 3.12.
(Log-volume Estimates for Θ-Pilot Objects)
Suppose that we are in the situation of Theorem 3.11.
in the multiradial representation of Theorem 3.11, (i), which we regard as subject to
the indeterminacies (Ind1), (Ind2), (Ind3) described in Theorem 3.11, (i), (ii).
for the procession-normalized mono-analytic log-volume of the image of a
q-pilot object
- |log(Θ)| >= -|log(q)|
609:１３２人目の素数さん
21/03/03 14:18:29.89 du5lAlR5.net
>>556
俺の主張とは関係ないな
人が理解することを前提としないのであれば、リーマン予想はコンピュータで試したら正しかった、とか公理にしよう、とか何となく正しそうだから正しい、とか一個くらい外れてそうだから正しくない、とか、
個々人が思い思いの理由をつければ解決する
610:Schlecht
21/03/03 15:00:24.08 IBGui4qx.net
>>568
"予想"としてステートメントを語るだけなら、必要なのは"設定"だけ
つまりIUT理論の定理群は一切不要
611:Schlecht
21/03/03 15:01:37.51 IBGui4qx.net
IUT理論（宇宙際タイヒミューラー理論）ブームに沸く人たち
URLﾘﾝｸ(anond.hatelabo.jp)
実に興味深い
612:Schlecht
21/03/03 15:09:25.63 IBGui4qx.net
もう随分昔のことになるが
Adams予想の解決なんて
一般人は知りもしないだろう
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
613:Schlecht
21/03/03 15:25:31.86 IBGui4qx.net
数学に興味のない人が自慢だけのために数学の話をするのは空しいよね
614:Schlecht
21/03/03 15:26:14.27 IBGui4qx.net
そもそも自慢って空しいよね しかもそれが本当でないならなおさら
615:１３２人目の素数さん
21/03/03 15:30:14.89 IBGui4qx.net
数学と「日本」は無関係
616:１３２人目の素数さん
21/03/03 15:31:05.70 IBGui4qx.net
数学と「国家」も無関係
617:Schlecht
21/03/03 15:32:30.49 IBGui4qx.net
スポーツに「国家」を持ち込むなら、オリンピックは有害無益
618:Schlecht
21/03/03 15:33:30.92 IBGui4qx.net
ICMはオリンピックではないし、そうなってはならない
619:Schlecht
21/03/03 15:39:10.22 IBGui4qx.net
>>569
定理の証明とは感情的理由ではなく
公理∧￢定理が矛盾する証拠である
620:１３２人目の素数さん
21/03/03 15:53:47.17 lWynEZ55.net
>>575-576
>数学と「国家」も無関係
>スポーツに「国家」を持ち込むなら、オリンピックは有害無益
１．オリンピックがプロ化したのはいつからだったかな？
２．TVの放映権が絡んでいるとか。米TVが巨額のお金で放映権を払う。視聴率を上げるためにプロ化されたらしい
３．真夏の暑いときにマラソンとかやる。米国の夏休みの放映に合わせるため
４．プロ化したから、マラソン日本新に１億円の懸賞金出るそうな
５．数学の似たようなもの。いまどき牧歌的に、個人が研究してもね。それフェルマーの時代でしょ？
６．数学も、プロ化して、お金が出る方へ。ロシアの数学者、ソ連崩壊により、高額報酬の数学研究所などへ移ったよね
７．日本でも、国立大学などは法人化されて、予算獲得に「ひーひー」言っているそうな
要するに、維新さんの極左”アナーキズム”など
夢のまた夢
現実とは合いません
「IUTの現状認識」に同じ
621:Schlecht
21/03/03 16:27:37.18 IBGui4qx.net
>>580
フュルストさんの国家第一"ファシズム"って、誰が得するんですか？
622:Schlecht
21/03/03 16:29:36.66 IBGui4qx.net
>>580
>数学も、プロ化して、お金が出る方へ。
誤解でしょう
お金でいいアイデアが出るなら苦労しませんよ
必要なのはお金ではなく時間
お金は自分の代わりに考えてくれませんから
623:Schlecht
21/03/03 16:34:57.41 IBGui4qx.net
フュルストさんは東京オリンピック開催を望んでます？
624:Schlecht
21/03/03 16:36:10.96 IBGui4qx.net
私はコロナが蔓延してる現状では無理だと思いますね
625:Schlecht
21/03/03 16:37:44.01 IBGui4qx.net
もし政府が開催を強行しようとすれば崩壊するでしょうね
626:Schlecht
21/03/03 16:39:40.08 IBGui4qx.net
去年からのコロナに対する政府の対応で
政府が国民のためにあるのではないことが
明らかになったとおもいますよ
627:Schlecht
21/03/03 16:40:27.96 IBGui4qx.net
議会制では民主主義は実現できなかった、ということでしょう
628:Schlecht
21/03/03 16:44:27.33 IBGui4qx.net
日本人は「自分のみファースト」という戦略が
最低最悪だということを理解しましょう
629:Schlecht
21/03/03 16:46:57.73 IBGui4qx.net
そもそもただのスポーツ競技会にすぎないオリンピックで
国のチームを作るとか国旗を掲揚するとか国歌を演奏するとか
全く必要ないです
630:Schlecht
21/03/03 16:48:12.90 IBGui4qx.net
単純に全世界一律で成績だけで出場者を決めればいいし
個人のみを表彰すればいい
団体競技も国家と全く無関係にチーム編成すればいい
なんでそうしないんですか？
631:１３２人目の素数さん
21/03/03 18:06:48.17 lWynEZ55.net
>>582
>お金でいいアイデアが出るなら苦労しませんよ
>必要なのはお金ではなく時間
下記「大坂なおみが約40億円で1位」ちょっと古いですけど
TV見ていたら、プロコーチ雇ってトレーニングしているとか
複数人のチームを作っているそうですね。コーチングスタッフに数億払っても、おつり
南出先生が、英国フェセンコ先生のところに留学して、IUTの明示公式論文をまとめた
いまどきなら、zoomとかで代用できそうにの思うが、やっぱ留学の方が良いのでしょうねぇ～、人間だもの
じゃ、その留学費用はだれが？
飛行機代に、英国での宿代や生活費、給料とか、推定ですが１千万円は軽く超えるかも？
いまどきの数学も、やっぱお金ないとね
良い共同研究相手をゲットしないと、一人では不利でしょうね、違いますかね？
まあ、望月先生にはK先生という焼肉仲間が、
個人ゼミやってくれたそうですけどねｗ
（参考）
URLﾘﾝｸ(www.thetennisdaily.jp)
テニスデイリー
2020.08.20 17:00
大坂なおみが約40億円で1位。女子アスリート年収 テニス選手が上位独占
URLﾘﾝｸ(image.thetennisdaily.jp)
632:１３２人目の素数さん
21/03/03 18:19:16.70 lWynEZ55.net
>>568
>（なお、ショルツェ氏は、ホッジシアターが超難しいと、白状しましたね）
（追加）
"Hodge theater"は、Theorem 3.11にさんざん出てきますよ
「ホッジシアターが超難しい」なら、Theorem 3.11から無理じゃね？
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
P153
Theorem 3.11. (Multiradial Algorithms via LGP-Monoids/Frobenioids)
Fix a collection of initial Θ-data
be a collection of distinct Θ±ellNF-Hodge theaters [relative to the given initial
Θ-data] — which we think of as arising from an LGP-Gaussian log-theta-lattice
[cf. Definition 3.8, (iii)].
for the D-Θ±ellNF-Hodge theater determined, up to isomorphism, by the various
n,mHT Θ±ellNF, where m ∈ Z, via the vertical coricity of Theorem 1.5, (i) [cf.
Remark 3.8.2]
P155
as data which has not yet been subjected
to the indeterminacies (Ind1), (Ind2) discussed in (i)] and the corresponding data
arising from each Θ±ellNF-Hodge theater n,mHT Θ±ellNF, i.e.:
P159
Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also
the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below.
633:Schlecht
21/03/03 18:19:22.22 IBGui4qx.net
>>591
>留学費用はだれが？
自分で稼いでください
634:Schlecht
21/03/03 18:21:34.69 IBGui4qx.net
>>591
数学はスポーツではないですよ
635:Schlecht
21/03/03 18:22:16.83 IBGui4qx.net
お金で数学はできませんよ
636:Schlecht
21/03/03 18:24:22.57 IBGui4qx.net
アインシュタインは贅沢は嫌いで、質素な生活をとくに好んだ。
アインシュタインお気に入りの哲学者スピノザがレンズ職人として生活したように、
鉛管工にでもなって世�
637:翌驍ｱとが夢であった。
638:Schlecht
21/03/03 18:26:28.50 IBGui4qx.net
「（ガウスは）数学の教授になったことはなく、教師となることも嫌った」
数学は教わるものじゃない、と思っていたんだろう 間違ってない
639:１３２人目の素数さん
21/03/03 18:26:35.66 lWynEZ55.net
>>593
>>留学費用はだれが？
>自分で稼いでください
ご心配なく
数学エリートには、手厚い資金の保護があります
テニス同様にね（下記の通りです）
多分ショルツェ氏の同様でしょう
参考(>>5より)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
P8
Acknowledgements
The third author was supported by JSPS KAKENHI Grant Number 18K03239; the fourth author was supported by JSPS
KAKENHI Grant Number 20K14285. This research was supported by the
Research Institute for Mathematical Sciences, an International Joint Usage/Research Center located in Kyoto University, as well as by the Center
for Next Generation Geometry [a research center affiliated with the Research
Institute for Mathematical Sciences].
640:１３２人目の素数さん
21/03/03 18:27:27.97 nsvzTfKt.net
>>592
ホッジ劇場そのものが難しいとは言ってない
>>262を読めば分かる
641:Schlecht
21/03/03 19:05:15.23 IBGui4qx.net
Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater,
together with a highly non-obvious notion of isomorphisms of such
しかし、IUTの論文を読むと、ホッジ劇場の非常に難しい概念と、
そのような同型性についての非常に自明ではない概念が提示されます。
I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters,
the problem being the very lax notion of isomorphisms of Hodge theaters.
ホッジ劇場の同型性の概念が非常に甘いことが問題なのですが、
私はホッジ劇場の同型性の中でファンクショナルな面白い集合を作るのは難しいと思っています
---
フュルスト氏は数学だけでなく英語も苦手なので、
読める単語だけ拾って「ホッジ劇場は難しい」と誤読したが
正しく読めば、ショルツェは、
「ホッジ劇場の概念自体に根本的な問題がある」
と指摘してることが分かる
642:Schlecht
21/03/03 19:12:50.34 IBGui4qx.net
lax
意味
厳しくない、手ぬるい、だらしのない、ゆるい、目のつんでない、
力の弱い、正確でない、あいまいな、ゆるんでいる
つまり
”the problem being the very lax notion of isomorphisms of Hodge theaters.”
は、分かりやすくいえば
「問題は、ホッジ劇場の同型性の”実にいいかげんな考え”によるものだが」
ということ
643:１３２人目の素数さん
21/03/04 00:28:26.00 CBK1HCBx.net
結局set theoryをロクに理解してない人達が安易な操作を許容して破綻してるっていうオチなんだろうね。
ちなみにショルツさんはその手の話のプロでもあります。
644:１３２人目の素数さん
21/03/04 01:07:55.47 3dZXhybh.net
否定派の人、特に数学のプロの人は、
望月本人に何がだめなのか教えて差し上げて下さい。
望月ブログに
相手の誤解という肝心な「入力データ」
＝「誤解学の研究対象」
という表現があったように、
そもそも何がだめなのかの情報がないと、建設的な議論は見込めません。
忙しいとか、めんどくさいとかで、それすらしないのは学問の放棄ではないでしょうか。
でなければ、否定する根拠はないけどとりあえず否定しているということにほかなりません。
�
645:{来査読が通ったというは、学問的な決着がついたと見るとこですが、 ショルツというビッグネームの異議について表だって解決はしておらず、今回査読を通したのは、 単に明示的な記録に残すためであったという側面が否めないため、 IUTの正否はまだ保留された状態に見受けられます。 IUTは荒唐無稽の空論なのか、ブレークスルーになり得る革新的な理論なのか、 何かしらの決着がつくことを願います。
646:１３２人目の素数さん
21/03/04 04:24:42.49 mWCz6m4r.net
学問が解らないバカこそが査読査読と連呼する
査読論文撤回世界一は日本の理系研究者
647:１３２人目の素数さん
21/03/04 04:26:17.37 mWCz6m4r.net
査読者以外で論文の裏書きが出来る人間を呼んで下さい＾＾
648:Schlecht
21/03/04 07:31:09.79 Mt/3lOIw.net
>>603
>否定派の人
･･･ではなく非肯定派ですね
非肯定 「正しいとはいえない」
否定 「間違ってる」
全く違いますね
まず違いを理解しましょう
649:Schlecht
21/03/04 07:31:34.32 Mt/3lOIw.net
>>603
>望月本人に何がだめなのか教えて差し上げて下さい。
「だめ」＝「間違ってる」ではなく
「だめ」＝「分からない」とした場合
ショルツはモノドロミーと明確に教えた筈です
モノドロミー 望月には理解できませんか？
望月、数学者ですよね？
650:Schlecht
21/03/04 07:32:17.25 Mt/3lOIw.net
>>603
>望月ブログに
>相手の誤解という肝心な「入力データ」
> ＝「誤解学の研究対象」
>という表現があったように、
>そもそも何がだめなのかの情報がないと、
>建設的な議論は見込めません。
議論したいなら、まず望月がIUTを建設してくださいね
なにも建設できていない、というのが
望月以外の数学者の意見ですから
なにが「できていない」のか
ショルツはモノドロミーという言葉で
何のあいまいさもなく的確に指摘しました
デュピュイがなんかいってるようですが
モノドロミーは一切考えなくていい
と言い切るのならその証拠を何のあいまいさもなく
的確に示してくださいね
それが理論の建設です
651:Schlecht
21/03/04 07:32:58.33 Mt/3lOIw.net
>>603
>忙しいとか、めんどくさいとかで、
>それすらしないのは学問の放棄ではないでしょうか。
そうですね
望月はモノドロミーに対して何も対応していない
学問の放棄ですね
あなたから直接メールで望月にそういったらいかがですか？
652:Schlecht
21/03/04 07:33:43.45 Mt/3lOIw.net
>>603
>でなければ、否定する根拠はないけど
>とりあえず否定しているということにほかなりません。
フュルスト氏は、そもそも非肯定を否定と誤解してますね
肯定する根拠がなければ肯定しません
ただそれだけのことです
肯定してほしいなら望月自身が根拠を示してください
仕事する必要があるのは望月であってショルツではありません
653:Schlecht
21/03/04 07:34:17.89 Mt/3lOIw.net
>>603
>本来査読が通ったというは、学問的な決着がついたと見るとこですが、
査読＝学問的な決着、としたいのであれば
プレプリントの段階で、同業者の理解を取り付ける
根回しをしましょうね
根回しができない段階で、編集長の独断で査読を通しても
学問的な決着にはならないことを理解しましょうね
654:Schlecht
21/03/04 07:35:19.56 Mt/3lOIw.net
>>603
>ショルツというビッグネームの異議について
>表だって解決はしておらず、
ショルツを呼びだしたのは森重文ってことは理解してますか？
森重文は問題の解決にはショルツというビッグネームの理解が必要だ
と考えたからわざわざ呼び出したわけですね
で、結局、望月は、ショルツにIUTを理解させることに失敗した
誰のせいですか？ショルツのせいですか？
違いますよ 望月自身のせいですよ
都合の悪いことを他人に押し付ける「外部化」は
問題を全く解決しないのでやめてくださいね
サクライマコトの韓国・朝鮮人排撃と全く同じですから
655:Schlecht
21/03/04 07:35:56.27 Mt/3lOIw.net
>>603
>今回査読を通したのは、
>単に明示的な記録に残すためであった
>という側面が否めないため、
記録はすでにプレプリントとして残ってます
査読を通したのは、文科省に
「ABC予想は解決しました！」
といいたいためだけでしょう
つまりお金のためですよ
お金は人間を狂わせる麻薬ですね
656:Schlecht
21/03/04 07:36:58.90 Mt/3lOIw.net
>>603
>IUTの正否はまだ保留された状態に見受けられます。
保留＝「正しいとは認められていない」＝非肯定、という意味なら
全く正しいです
だれも「否定」＝「間違ってる」とはいってません
ショルツの指摘は
「ホッジ劇場の同型の考えが緩すぎて、なんでもありになってしまう
それではモノドロミーのせいで、望月の不等式は導けず
何の意味もない自明な不等式しかでない
望月の不等式を導くには考えを明確にする必要があるが
個人的には、まあ無理だと思うが、できるというならやってみて」
というものですね
挑発？かもしれませんね
で？だったら、逃げるの？
何も対抗する手段がないなら、逃げるしかないですね
逃げたら？
657:Schlecht
21/03/04 07:38:50.53 Mt/3lOIw.net
>>603
>IUTは荒唐無稽の空論なのか、
>ブレークスルーになり得る革新的な理論なのか、
>何かしらの決着がつくことを願います。
眞子様の件に関する天皇陛下の発言とそっくりですね
フュルスト氏が天皇陛下なら望月は小室圭ですか
じゃ、フュルスト氏は望月にメール書いたら如何ですか？
「日本の誇りを取り戻すために
ショルツからの疑義を晴らしてください
ドイツに勝利してください！！！」
実に上ずってますね
何時から数学はサッカーのワールドカップになったんですか？
658:１３２人目の素数さん
21/03/04 09:33:22.75 DY2TmcDc.net
否定でなく非肯定ということであれば、何も言うことはありません。
新しいレポートも執筆中ということなので、
望月側の布教活動とやらに期待します。
IUTの正否または意義は歴史が評価することになるでしょう。
それが、１年後なのか、100年後なのかは分かりませんが。
659:１３２人目の素数さん
21/03/04 10:11:55.56 GswT501p.net
>>616
>否定でなく非肯定ということであれば、何も言うことはありません。
同意です。私には、言うべきことはありますがｗ
>IUTの正否または意義は歴史が評価することになるでしょう。
>それが、１年後なのか、100年後なのかは分かりませんが。
同意です
個人的には１年と見ています
”望月側の布教活動”と書かれていますが、”望月側”の人数増加しています
660:１３２人目の素数さん
21/03/04 13:19:58.49 OT7AHCcR.net
>>602
それ以前に、そもそも「証明のギャップ」の問題性を分かっていない気もする
「定義は先に来るのではなく、後から来る」という96年前に亡くなったオリヴァー・ヘヴィサイドの発言のように、100年前までの「厳密性はおざなりだが分かった気になれる数学」を続けてるのではないだろうか
だから論理の飛躍があることが現代数学では問題になるということが認識できない
661:１３２人目の素数さん
21/03/04 15:46:28.40 GswT501p.net
>>614
維新さん、いやアンチIUTさん、（日常の）ロジックがメタメタですよね
＜論点を整理しましょう＞
論点1.査読はあったのか？
論点2.ショルツェ氏は、最初「Cor3.12までは自明で、Cor3.12の証明が分からない」と言っていた
がしかし、WoitブログでのDupuy氏との論争で、突然”extremely difficult notion of a Hodge theater”（「ホッジ劇場が超難しい」）とか言い出したよね(>>211)
論点3.ショルツェ氏の方が正しく、IUT側の多数の数学者たちは全員間違い？
論点4．望月IUTが特別扱い？
＜各論点について＞
１）論点1について、
・下記woitブログのOP氏が、初期にIUTレフェリーチームへの参加打診があったが断ったとあります。（なお、OP氏は多分外国人ではないかと思われます）
つまりは、「the referee team for the IUT papers」なるものが存在し、OP氏は辞退したけれども、査読は行われたであろうことは確かでしょう
（参考）
URLﾘﾝｸ(www.math.columbia.edu)
Why the Szpiro Conjecture is Still a Conjecture
Posted on April 18, 2020 by woit
OP says:
April 18, 2020 at 4:41 pm
I was asked early on to be on the referee team for the IUT papers. I have great respect for Mochizuki’s mathematical talent, and no doubt in the sincerity of his belief that he has a proof of the main result. But I could see that the referees would not only
662:have to check the details of an extremely long work written in a very obscure style (which didn’t provide insightful reasons for confidence in the approach being used). OP says: April 18, 2020 at 8:49 pm Just to clarify: I wasn’t a referee on the IUT papers, but rather was invited to serve as one, and I declined (giving the editorial board my recommendation for how I thought would be best to proceed). つづく
663:１３２人目の素数さん
21/03/04 15:47:36.15 GswT501p.net
>>619
つづき
２）論点2について
・「ホッジ劇場が超難しい」とかいまさら。「ホッジ劇場」はIUTの中心概念の一つでしょ？ それが理解できていないなら「Cor3.12までは自明」ではないよね
・最初から、「ホッジ劇場が変だぁ～！」って指摘すべきでしょ。それを、Dupuy氏との論争で、（難しいから）「解釈の問題」とか逃げたらまずいよね。徹底的に議論して欲しかったね
３）論点３について
・普通に考えて、人間だれしも勘違い間違いはあるもの。ショルツェ氏が、生来数学100点連発で、100点以外ないならばともかくも、100点未満があるなら、間違っている可能性ありでしょ
・一方で、数十人の人が全員間違う可能性は、極めて低いのです
４）論点４について
・IUTの査読については、上記の１）の事実から、「the referee team for the IUT papers」なるものが存在して、「査読OK」を出した
・もちろん、「査読OK」が即数学界全体の了解事項でないことはその通り
・その意味で、特別扱いでも例外扱いでもない
・「the referee team for the IUT papers」なるものが存在する以上、それを差し置いて、玉川氏の一存で「OK」を出せるはずもない
・IUTは、通常の作法通りです。査読が終わって、今年の国際会議で議論される。疑義があるなら、それに参加すれば良いのです
以上
664:１３２人目の素数さん
21/03/04 16:01:52.24 GswT501p.net
>>620
>・普通に考えて、人間だれしも勘違い間違いはあるもの。ショルツェ氏が、生来数学100点連発で、100点以外ないならばともかくも、100点未満があるなら、間違っている可能性ありでしょ
（補足）
数学オリンピックで、”3つの金メダルと1つの銀メダル”とあるから、
「銀メダル」では、満点ではなかったってことですね
ショルツェ氏ほどの天才でも、勘違い間違いはあるという例です
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ペーター・ショルツェ
経歴
学生時代に国際数学オリンピックに参加し、3つの金メダルと1つの銀メダルを獲得した[7]。
665:１３２人目の素数さん
21/03/04 17:29:46.31 GswT501p.net
>>619
>論点2.ショルツェ氏は、最初「Cor3.12までは自明で、Cor3.12の証明が分からない」と言っていた
補足
似たような意見が、下記woit氏のnaf氏発言
”it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved. (One might say that this shows my lack of understanding”
で、いまIUT IIIを見ると、組み（Theorem 3.11, Corollary 3.12）で、証明が分からんってことだと推察します
・つまり、定理3.11は証明ば実質１行”Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below.”
（一方定理3.11の中身は、延々P153～159まで7頁もある）
・Cor3.12は、命題はP173～174の1頁くらいで、証明はP174～186まで13頁ほど
・Cor3.12は、定理3.11が分からないと理解できないですよ。組み（Theorem 3.11, Corollary 3.12）で、ワケワカと推察します
・で、やっぱホッジ劇場から理解しないと、結局だめなのでしょうね（私には全部お経ですがｗ）
（参考）
URLﾘﾝｸ(www.math.columbia.edu)
Why the Szpiro Conjecture is Still a Conjecture
Posted on April 18, 2020 by woit
naf says:
April 18, 2020 at 2:44 pm
I myself devoted most of three months way back in 2013 to going through the papers and it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved. (One might say that this shows my lack of understanding, but the point is that Mochizuki himself says that this is the key part of his proof and if you see how the proof is written it is clear that there is something seriously wrong here.)
つづく
666:１３２人目の素数さん
21/03/04 17:30:33.12 GswT501p.net
>>622
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY III: ¨
CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
P153
Theorem 3.11. (Multiradial Algorithms via LGP-Monoids/Frobenioids)
Fix a collection of initial Θ-data
P159
Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also
the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below. QED
P173
Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose
that we are in the situation of Theorem 3.11. Write
P174
Proof. We begin by observing that, since |log(q)| > 0,
P186
This indeterminacy has the effect of rendering
meaningless any attempt to perform a precise log-volume computation as in (xi).QED
（引用終り）
以上
667:１３２人目の素数さん
21/03/04 17:45:15.67 GswT501p.net
>>622
>・で、やっぱホッジ劇場から理解しないと、結局だめなのでしょうね（私には全部お経ですがｗ）
余談ですが
私のお勧めは、まず南出論文を読むことです
約50頁です。やっていることは、結構具体的な数値計算です
私でも、多少数字だけは追えます
そこから、星先生のIUT入門（あと続編）を読んで
もっとやりたい人が、Ｇ先生サーベイと並行してIUT本論文という流れかと思います
（私には、南出先生の論文の数値の扱い以外は、全部お経ですけどねｗ）
668:１３２人目の素数さん
21/03/04 18:26:53.32 Mej7Z9wR.net
>>620
論点2は、定義を理解して定理を追うことが難しいと言ってるのではない
有用性を見出すのが難しいと言ってる
>you are presented with some extremely difficult notion of a Hodge theater, together with a highly non-obvious notion of isomorphisms of such:
この文で難しいと述べたあとに、コロンで続けて難しい理由を説明している
コロンの少し後の文を抜粋して
>So I find it very hard to “guess” what something like a surrounding “theory” might be. For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry URLﾘﾝｸ(en.wikipedia...ation_)(model_theory) you linked to, nor the topos-theoretic framework of Caramello.
ここで取り巻く理論のような何かを推測してあげるのが非常に困難で、見る限りDupuyが述べたモデル理論の構造やトポス理論のフレームワークに当てはまらないと説明している
これがホッジ劇場が難しいと言ってる意味であって、ホッジ劇場を定義してTh 3.11までの自明な結果を示すことが難しいという意味ではない
669:１３２人目の素数さん
21/03/04 18:40:02.76 HxNUakIv.net
>>612
違うよ。別にビッグネームじゃなかった
適任者だと森は考えたから呼んだ
670:Schlecht
21/03/04 21:15:40.67 Mt/3lOIw.net
>（日常の）ロジックがメタメタですよね
まあそうコーフンしないで
671:Schlecht
21/03/04 21:21:01.25 Mt/3lOIw.net
>>619
>＜論点を整理しましょう＞
といって、出たのがコレ？
>論点1.査読はあったのか？
違うなあ…まずこれでしょう
論点Ⅰ.査読者は論文を理解した上でアクセプトしたのか？
上記についていえば、ショルツ氏の指摘に対して
査読者がIUTを完全に理解しその正当性を認めたのならば
当然的確に回答できた筈であるがそのような人はついに現れなかった
つまり査読者はIUTを理解してないにもかかわらず
アクセプトしたといわざるを得ない
これはまったく恥ずかしい行為である
672:Schlecht
21/03/04 21:24:42.97 Mt/3lOIw.net
>>619
>論点2.ショルツェ氏は、最初「Cor3.12までは自明で、Cor3.12の証明が分からない」と言っていたが
>しかし、WoitブログでのDupuy氏との論争で、突然”extremely difficult notion of a Hodge theater”とか言い出したよね
これ、全然論点じゃないね
何をどう論じたいの？
673:Schlecht
21/03/04 21:28:22.46 Mt/3lOIw.net
>>619
>論点3.ショルツェ氏の方が正しく、IUT側の多数の数学者たちは全員間違い？
これも違うなあ…こうでしょう
論点Ⅲ.望月はショルツェの指摘に対して反論できたか？
できてないですよね
望月の他に、星もいたのに、彼は何も言えなかったくらいだから
実際は何にも分かってなかったんでしょうね
674:Schlecht
21/03/04 21:32:57.89 Mt/3lOIw.net
>>619
>論点4．望月IUTが特別扱い？
これも違うなあ…こうでしょう
論点Ⅳ.（論点Ⅰ
675:に関連して）査読者がIUTを理解してないとして それにもかかわらずアクセプトしたのはなぜか？ 上記の理由は不明ですがそこは数学と無関係なのでほっといてもいいですね
676:Schlecht
21/03/04 21:38:25.77 Mt/3lOIw.net
>>622
>やっぱホッジ劇場から理解しないと、結局だめなのでしょうね
「だめ」なのは理解できないショルツではなくて
理解させられない望月だと思うけど
で、なぜ望月がだめなのかといえば、
結局ロジックが全然出来上がってないからだと思う
>（私には全部お経ですがｗ）
じゃ何で望月が正しいってわめいてるの？
日本人だから？
なんで、日本人だと日本人が正しいといわなくてはいけないの？
677:Schlecht
21/03/04 21:41:40.91 Mt/3lOIw.net
>>624
>お勧めは、まず南出論文を読むことです
>やっていることは、結構具体的な数値計算です
>私でも、多少数字だけは追えます
>（私には、南出先生の論文の数値の扱い以外は、全部お経ですけどねｗ）
なら、やめたら？
全然意味ないよ
678:Schlecht
21/03/04 21:44:11.35 Mt/3lOIw.net
数学に興味ない素人の愛国自慢は
数学板以外でやってほしいな
679:１３２人目の素数さん
21/03/04 23:31:12.90 OVv6zPXZ.net
>>634
勝手に日本人を理由と決め付け、決め付けを前提に愛国自慢と決め付けの屋上屋を重ねる
一人でタコ踊りをしてるのに等しいよ
おまえみたいな恥ずかしいメンタルはどこから産まれたんだろうね
日本人に反感持ってる特異種族のようだが
まあ、誰であれ一人でタコ踊りはかっこ悪いw
680:Schlecht
21/03/05 06:12:25.68 4GB05QaC.net
>一人でタコ踊りをしてる
>一人でタコ踊りはかっこ悪い
分かります フュルスト氏のことですね
>恥ずかしいメンタルはどこから産まれたんだろうね
実生活では負けっぱなしなんでしょう 彼は
>日本人に反感持ってる特異種族のようだが
いや、日本人に反感はありません
誰にも理解されてないのに
無理やり査読をアクセプトさせる人には
反感がありますが
そういう人を自分と同じ国の人だというだけで
無闇に支持する人は哀れですね
681:Schlecht
21/03/05 06:21:35.84 4GB05QaC.net
オリンピックは要らないな
682:Schlecht
21/03/05 06:21:56.84 4GB05QaC.net
国家は要らない
683:Schlecht
21/03/05 06:22:22.72 4GB05QaC.net
軍隊も貨幣も要らない
684:Schlecht
21/03/05 06:23:04.18 4GB05QaC.net
結婚制度は要らない
685:Schlecht
21/03/05 06:25:19.35 4GB05QaC.net
権力者は要らない
686:Schlecht
21/03/05 06:26:33.74 4GB05QaC.net
全体主義は要らない
687:Schlecht
21/03/05 06:28:26.36 4GB05QaC.net
神も宗教も要らない
688:Schlecht
21/03/05 06:28:57.13 4GB05QaC.net
祭りは要らない
689:Schlecht
21/03/05 06:31:03.31 4GB05QaC.net
IUT”オリンピック”祭りは他所でやってくださいね
690:Schlecht
21/03/05 06:32:04.57 4GB05QaC.net
わけもわからずお経を唱え続けても 悟りはけっしてひらけませんよ
691:１３２人目の素数さん
21/03/05 07:55:04.38 +c36Qsr1.net
>>628-632
新論点1．査読者は、IUTを理解しているか
新論点2．査読者は、ショルツェ氏にIUTを理解させる必要があるか
新論点1について
・査読者は、客観的かどうかは別として、主観的には理解してOKを出した。これは言えるだろう
新論点2について
・査読者は、ショルツェ氏にIUTを理解させる必要がありません。査読にOKを出すかどうかは、あくまで査読者自身の判断で可です
なお、次の事実を指摘しておきたい
1）2017年の末ころ、朝日新聞に「IUT査読OKで出版予定」のような記事が出た
2）海外から、疑問の意見がRIMSに寄せられたらしい
3）推定だが、そのために森重文先生がショルツェ氏に声をかけたと思う
4）ショルツェ氏のRIMS訪問が2018年3月で、その後SS文書とそれへの望月氏の反論が、公開された
5）それを受けて、追加の査読が行われた。「SS文書とそれへの望月氏の反論」を受けてのこと
6）その上で、2020年2月に査読が完了したという。
7）2020年4月にRIMSの記者会見が行われた
経緯は、以上の通りで、
査読過程で、「SS文書とそれへの望月氏の反論」が考慮された上での、査読OKの判断です
692:１３２人目の素数さん
21/03/05 08:12:31.69 GIYorucv.net
URLﾘﾝｸ(www.ems-ph.org)
モッチーおめ
693:Schlecht
21/03/05 08:12:43.07 4GB05QaC.net
>>6
694:47 >新論点1．査読者は、IUTを理解しているか ショルツェに説明できない時点で、IUTを理解してるとはいえない >新論点2．査読者は、ショルツェ氏にIUTを理解させる必要があるか ショルツェに説明できない時点で、査読は不適切 査読が適切だといいたいなら、ショルツェの指摘に答えること それができないなら、査読は不適切 これ対偶
695:Schlecht
21/03/05 08:15:05.75 4GB05QaC.net
＞1）2017年の末ころ、朝日新聞に「IUT査読OKで出版予定」のような記事が出た
誰が朝日新聞のI記者にリークしたのか興味があるね
望月本人か、それともRIMSの他の研究者か？
何の目的でリークしたのか？
数学とは全く関係ありませんけどね
696:Schlecht
21/03/05 08:16:28.60 4GB05QaC.net
＞2）海外から、疑問の意見がRIMSに寄せられたらしい
このことを真摯に受け止められない人は数学に興味がなく
ただ自慢をしたいだけの”変質者”だと言わざるを得ないな
697:Schlecht
21/03/05 08:17:26.74 4GB05QaC.net
＞3）（疑念払拭のために）森重文先生がショルツェ氏に声をかけた…
当然ですね
698:Schlecht
21/03/05 08:18:49.33 4GB05QaC.net
＞4）ショルツェ氏のRIMS訪問が2018年3月で、
＞ その後SS文書とそれへの望月氏の反論が、公開された
公開も当然ですね
699:Schlecht
21/03/05 08:20:46.92 4GB05QaC.net
＞5）「SS文書とそれへの望月氏の反論」を受けて、追加の査読が行われた。
ご勝手にどうぞ
700:Schlecht
21/03/05 08:22:15.90 4GB05QaC.net
＞6）その上で、2020年2月に査読が完了したという。
リジェクトしなかったことで、
日本の京都大学数理解析研究所は世界全体に大恥晒したね
701:Schlecht
21/03/05 08:26:41.41 4GB05QaC.net
＞7）2020年4月にRIMSの記者会見が行われた
まるでお通夜のような実に陰気な雰囲気だった
玉川が「査読過程は墓場まで持っていく」といったとき
実に痛恨の極みという表情だった
702:Schlecht
21/03/05 08:28:25.87 4GB05QaC.net
IUT事件は日本数学界最大の黒歴史として永遠に語り継がれる不祥事
703:１３２人目の素数さん
21/03/05 09:58:19.21 51gq4beO.net
>>648
おお！ 情報ありがとう
これか！！！
URLﾘﾝｸ(twitter.com)
math_jin
1時間
【速報 2021.3.5】
欧州数学会出版からIUT論文掲載の学術誌が発行されました。(電子版)
PRIMS
Volume 57, Issue 1/2, 2021
Special issue
"INTER-UNIVERSAL TEICHMÜLLER THEORY I.-IV."
21分
Prefaceが興味深い。#IUTABC
URLﾘﾝｸ(ems-ph.org)
Preface to the Special Issue
It is our great pleasure to publish a special issue of Publications of the Research Institute for Mathematical Sciences (PRIMS) for Inter-universal Teichm¨uller Theory, I–IV by Shinichi Mochizuki.
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(www.ems-ph.org)
ems-ph.org
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES
Volume 57, Issue 1/2, 2021
Special Issue
Preface to the Special Issue
IUT I～IV
(deleted an unsolicited ad)