20/04/05 23:28:22.36 cTzpxuVq.net
>>450
どうも、レスありがとう
ついでに
今年の京都の国際会議を成功させて、IUTを多くの海外数学者に認めてもらう
そして
ICM2022で、IUTを取り上げてもらえるようになると、理想的だと思うんだ
URLリンク(icm2022.org)
The 2022 ICM will meet July 6-14 in Saint Petersburg, Russia.
484:132人目の素数さん
20/04/05 23:29:27.02 Ck6SbutY.net
2017年(H29)11月
自己点検 評価報告書
京大数理解析研究所
・第2期中期目標期間(平成22年~
平成27事業年度) p6
注目すべき質の向上
○ 「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果としての ABC 予想に関する
論文は,国内外の主要メディアで
取り上げられている
・8-4 次世代幾何学研究準備センターp104
数論幾何学,特に宇宙際タイヒ
ミューラー理論を中心に広く次世代
の幾何学 の研究を推進するため,
研究および研究プロジェクトの
方向性や内容を検討・準 備する
目的で,数理解析研究所教授 3 名を
併任教員として平成 29 年 12 月 1 日 に設置した.
今後,研究プロジェクトの進展と
共に,研究センターとして特任
教 員も含めての運用を予定している.
(次世代幾何学研究センター
柏原正樹特任教授
森重文特任教授)
URLリンク(www.kurims.kyoto-u.ac.jp)
485:132人目の素数さん
20/04/05 23:34:24 Ck6SbutY.net
文科省所管の独立行政法人 大学
改革支援・学位授与機構
京都大学数理解析研究所
第2期中期目標期間(平成22年~
平成27事業年度)
平成28年6月
1 現況調査表
p 28-3 資料 2. 発表論文数 所員の
発表論文数 査読付き論文のみ
p28-10 事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆 すべき出来事である。」
「当該論文は現在査読中であるが、 」
「望月新一が同理論の概要を解説した
業績番号1― (2)(2014)が、講究録別冊
として刊行されている」
URLリンク(www.niad.ac.jp)
2 現況分析結果 平成29年6月
注目すべき質の向上 p28-4
○「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果と しての ABC 予想に
関する論文は、国内外の主要メディアで取り上げられている
(現況調査表の「IUT理論の構築とその結果abc予想が解決した」は削除された)
平成29年6月
URLリンク(www.niad.ac.jp)
486:132人目の素数さん
20/04/05 23:43:18 cTzpxuVq.net
とにかく、今回のプレス発表でハッキリしたことは
・IUTの論文の証明自身は、ちゃんと成立しているってこと
・但し、理解されていない(特に海外)
・そのための、今年の4本の国際会議で、これを成功させることが大事
・そして、その後のICM2022でIUTを取り上げてもらうべく、活動する必要があるね
487:132人目の素数さん
20/04/06 00:36:10 KYrofeY3.net
>>436
こういうのって素人でも気持ち悪いわ
ユルッユ
488:ルのレッテル貼りで色眼鏡かけで意見封殺するんでしょ 言い加減やめなよこういうの。誰も得しねえよ
489:132人目の素数さん
20/04/06 02:47:37 VgrrnK4p.net
文科省の報告書がなんとか言ってるやつと同一人物だろ?
糖質粘着だからスルー推奨
490:132人目の素数さん
20/04/06 07:20:12.36 n8nAmtxW.net
>>456
同意!
>>457
同意!
491:粋蕎
20/04/06 08:27:17.75 i0MVTXkI.net
IUTを肯定贔屓も否定贔屓もするな、傍観しろ
492:132人目の素数さん
20/04/06 08:33:29.75 vT+33tPe.net
>>455
そんなものは全然はっきりしていない。
国際ワークショップなら2015年に失敗に終わっているのだから、
今後の4回の国際会議で成功する見込みはない。内容が変わってないんだから。
493:132人目の素数さん
20/04/06 09:28:43.73 lGyqBSxX.net
そりゃそうだ。
494:132人目の素数さん
20/04/06 10:17:31 3K67Ozym.net
その4回の国際会議、コロナでも開かれるの?
あと不謹慎だけど、モッチーがコロナにかかってしまう危険性だってある。もう50代なら、かかるとヤバい。
495:132人目の素数さん
20/04/06 10:19:36 YKJjGp9s.net
優秀な研究者のキャリアに影を落とし
歴史ある研究所の権威をも失墜させた今回の出来事は
ABC予想に手を出してはいけないという伝説的教訓として語り継がれるだろうね。
496:132人目の素数さん
20/04/06 10:54:55.85 vl1NP+/7.net
>>463
権威は失墜していない
影を落としたのはどうでもよい
影は移動するし消え去ることも可能
終わり良ければ全て良しなんで影なんて後から見れば幻みたいなもんだ
そうなるように鋭意努力することさ
その準備は進んでいるようだ
497:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/06 11:09:40 Vi++uUTK.net
>>459
粋蕎さんか
面倒だから、コテ付けるけど(余談だが、縁あってこのスレも私が立てた(>>1です))
IUTは、傍観者というか、ヤジウマ観戦者なのだが
楽しんでいるんだよ
かつ、望月先生を応援している
オリンピックで金メダルみたいなものですよ
大人の数学オリンピックでしょ ICM2022って 4年に一度w(^^
RIMS 望月チームが 好成績&高評価を得られるよう応援しています
その方が、2022年のRIMS成果報告書も書きやすいじゃない?w
ガンバレRIMS!
498:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/06 11:13:06 Vi++uUTK.net
>>464
同意同意
全面同意です!!
499:132人目の素数さん
20/04/06 12:41:39.07 sdbLvUkF.net
>>463
それ前提としてIUTが間違ってればだよね
500:132人目の素数さん
20/04/06 12:44:24.86 kPyRLIKL.net
京都大学のサイト軽いな。数百ページのPDFがさくっとダウンロードされる。
501:132人目の素数さん
20/04/06 12:45:14.46 kPyRLIKL.net
それに引き換えUCLのOrbiterのサイトの重さと言ったら・・・。
502:132人目の素数さん
20/04/06 12:47:05.97 rr0wkvM1.net
いろんな憶測や肯定否定論があぶくのように現れては消える様がおもしろいね
少なくとも多くの人の目に留まったことは確かで、こういう議論がもっと増える(そしてその中に本腰を入れてやってみようという人が数人いるだろうね(その中に天才的な人が現れればなおいいね))
503:132人目の素数さん
20/04/06 12:55:47.14 kPyRLIKL.net
OrbiterはUCLを世界5位に押し上げたツールなのに冷遇されてるな。
504:132人目の素数さん
20/04/06 12:59:21.27 kPyRLIKL.net
京都大学は世界大学ランキングでまだ65位とかだからな。
URLリンク(japanuniversityrankings.jp)
UCLとかなんで5位とかだったんだよ?このランキングじゃないけどな。
505:粋蕎 ◆C2UdlLHDRI
20/04/06 13:37:58 i0MVTXkI.net
IUTって漢字一文字二文字で書けないん?際とか縁とか
あ、人名由来のタイヒミュラーが入らんか
506:132人目の素数さん
20/04/06 14:34:47 oxE/DelY.net
>>470
問題点は一度も消えてないし問題になっている部分も一貫してるんだよなあ。
507:132人目の素数さん
20/04/06 14:53:52 rr0wkvM1.net
>>474
まぁ正しいかどうかとか問題があるかどうかは置いといて、
その一貫した結果を数人だけが見つけるんじゃなくてまとまった人数の人がいくつかのルートで検証するきっかけができたわけだ
(その代わり眉唾者の論調も強くなることになるが。例えばIUTパワーで幸運の数字を見つけようとか、宇宙と宇宙を繋いでスピリチュアルなオーラがとか)
508:132人目の素数さん
20/04/06 15:18:00 kPyRLIKL.net
京都大学はWikipediaでこれだけ書かれているのに世界65位w
URLリンク(en.wikipedia.org)
なんでやねん。英語版でももっと書けという事か?
509:132人目の素数さん
20/04/06 15:21:10 kPyRLIKL.net
日本語版みたいにちゃんと英語版でも書かないと。
だから世界順位低いんだろうな。
URLリンク(ja.wikipedia.org)
学部学科も研究科もいっぱいあるのにな。
510:132人目の素数さん
20/04/06 15:41:24 kPyRLIKL.net
京都大学数理解析研究所
URLリンク(ja.wikipedia.org)
URLリンク(en.wikipedia.org)
あんまり書いてないな。京大生はがんばって書けよ。
世界順位が予算に直結するかどうかは謎だけどな。
511:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/06 16:47:54 Vi++uUTK.net
>>474
>問題点は一度も消えてないし問題になっている部分も一貫してるんだよなあ。
あなたの脳内ではね
しかし、柏原&玉川&査読者たちの脳内では、「問題点は解消できたから、査読OK」という結論でしょ
(問題があるのに、査読OKは矛盾。背理法でQEDだなw)
で、「柏原&玉川&査読者たち」より、数学上だと言いたいの?
512:132人目の素数さん
20/04/06 16:53:05 c0BnPZji.net
がははは
513:132人目の素数さん
20/04/06 17:06:28 r5jE88EN.net
真面目にITU理論を勉強スレって無いの?
514:132人目の素数さん
20/04/06 17:29:28 i01eOAur.net
無いし新規スレ立てしても
荒らしやトンデモ語りが止まずに潰れる
515:132人目の素数さん
20/04/06 19:48:22 kPyRLIKL.net
ここ重複スレだよ。何気にITU理論って書いてる。
516:132人目の素数さん
20/04/06 21:42:53.16 n8nAmtxW.net
>>483
>ここ重複スレだよ。何気にITU理論って書いてる。
良い質問ですね(^^;
1.実は、このスレ ”ABC予想 43 ”が最初で正統スレで、あっちの ”ABC 予想 46”スレは、”大荒れ”のスレ
∵ このスレが43としては一番最初で、>>1 "2019/12/27(金) 08:01:42.19"で、私が頼まれて立てたのです (下記 2.URLリンク(rio2016.2ch.sc) な)
2.次に、今の”ABC 予想 46”の後継で、”ABC予想 43 ”スレが立ったのだ "2019/12/27(金) 21:13:22.87"な (下記 1.URLリンク(rio2016.2ch.sc) )
3.さらに、もう一つの ”ABC予想 43 ”スレが、だれかに後立てられた ”2019/12/28(土) 16:
517:33:09.22” (下記 3.https://rio2016.5ch.net/test/read.cgi/math/1577518389 な) (多分、三番目を立てたのは、スレの棲み分けのつもりだったみたいだけど、いま空き家状態です) 4.で、上記1のように ”大荒れ”スレとは 棲み分けを考えている 要するに、あっちの”ABC 予想 46”は、進行早すぎで、重要な情報が埋もれ、流れて消えていく傾向がある(もうすぐ、次のスレ47になるし) ここは、じっくり”また~り”スレだよw お解りかな? (^^ (参考) https://www.oricon.co.jp/news/82608/full/ 2010-12-01 17:25 ORICON NEWS 【2010流行語トップテン】「いい質問ですねぇ」池上彰 喜びのコメント (抜粋) “新語”“流行語”を選ぶ『2010 ユーキャン新語・流行語大賞』(現代用語の基礎知識 選)が1日、発表され、トップテンにジャーナリスト・池上彰氏の「いい質問ですねぇ」が選出された。 Inter-universal geometry と ABC 予想 46 https://rio2016.5ch.net/test/read.cgi/math/1585967607/5 <テンプレ>(抜粋) 前スレ一覧 Inter-universal geometry と ABC予想 43 1.https://rio2016.5ch.net/test/read.cgi/math/1577448802 (いまのスレ46の系譜で、”大荒れ”のスレ) 2.https://rio2016.5ch.net/test/read.cgi/math/1577401302 (このスレ。スレ立ては ここが一番早かった) 3.https://rio2016.5ch.net/test/read.cgi/math/1577518389 (最後に立ったスレ)
518:現代数学の系譜 雑談
20/04/06 21:49:38.99 n8nAmtxW.net
>>481-482
ああ、コテ抜けたな(^^;
>真面目にITU理論を勉強スレって無いの?
ないでしょ
私も、真面目くさって勉強とか、そんなつもりはない
勉強するつもりなら、SNSで自分でやる方が良いでしょ
ちゃんとした、数学のできる仲間をつのって
>無いし新規スレ立てしても
>荒らしやトンデモ語りが止まずに潰れる
潰れはしないが
”荒らしやトンデモ語り”で、スレが埋まってしまう
それが スレ46 スレリンク(math板:1番)- ですね (^^;
519:132人目の素数さん
20/04/06 22:13:01 kPyRLIKL.net
こっちのスレの方が>>1乙だったみたい。失礼。
論文ページに近いところのリンク貼ってあるし。
520:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/06 22:54:07 n8nAmtxW.net
>>486
ありがとう、分かってくれたかな
ついでに、経緯が”BC予想 42”にあるから、コピー貼っとくよ(^^
975が私です。ずっと、ほとんどIUTスレはROMだったんだ
で、スレ43もROMのつもりだった
でも、スレ46が荒れて荒れて、いまどうにもならんよね
(参考)
Inter-universal geometry と ABC予想 42
スレリンク(math板:970番)-992
970 名前:132人目の素数さん[] 投稿日:2019/12/27(金) 00:09:47.14 ID:lCQgnL2C
>>1です
誰か次スレの立ち上げをお願いします。
975 自分:132人目の素数さん[sage] 投稿日:2019/12/27(金) 08:02:42.01 ID:DGQc6wD0
>>970
はい
あと、よろしく
Inter-universal geometry と ABC予想 43
スレリンク(math板)
989 返信:132人目の素数さん[sage] 投稿日:2019/12/28(土) 16:03:14.26 ID:lcynnV4v [1/4]
以前に自分が勝手に呼んでいた詳しい人(親切な人)と物理屋さんへ
次スレは2つ出来ていますが自分は>>975では一切書くつもりはありません。テンプレを踏襲した、
スレリンク(math板)
↑で書きます
まあ、これ以上書くことあるか分かりませんが、気になることがあれば上記で書きます
私はIUTには否定的ですが、望月が書いているように「それなりに高級な理論」を駆使しているのは事実です
問題は着想と組み立てです(一番肝心な部分なんですが)
オカルトマニアや学部レベルのオカルト好き、ガロアスレ主と共依存している人は>>975で書いてください。ゴミと荒らしはいりません
992 名前:132人目の素数さん[sage] 投稿日:2019/12/28(土) 17:08:25.56 ID:lcynnV4v [3/4]
スレ乱立するやつが出てきたな。どうせIUTや関連論文・レポを読んだ人はこのスレで
521:は2~3人しかいないのだし。 数学板には管理人はいないようだし、棲み分けすればいいと思う 私は宣言通り https://rio2016.5ch.net/test/read.cgi/math/1577448802/ で書く。他では書かない。オカルトマニアも、学部レベルのオカルト好きも、ガロアスレ主と共依存している人もスルーする ま、過疎って誰もいなくなればそれでもいいよ。ゴミや5ch廃人の相手をしたくないだけ
522:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/06 22:58:30 n8nAmtxW.net
>>487
>でも、スレ46が荒れて荒れて、いまどうにもならんよね
(補足)
1.柏原先生と玉川先生がそろって、「IUT審査OK! 証明されたと思ってOK」という
2.それを、5Chの”名無し”が否定するって、それどうなの? 具体的におかしいというなら、直接京都へ乗り込んで議論するなりしろってこと
3.もちろん、海外勢で 否定派の大数学者もいるにはいるけど、それは今年の4回の国際会議の議題じゃないですか?(^^;
523:現代数学の系譜 雑談
20/04/07 07:58:11.76 88eWIsK9.net
いやー、ヤジウマとしては、面白い展開になってきたな(^^;
シュルツ氏は、IUTを真っ向否定(下記引用ご参照)
否定派代表 シュルツ vs RIMSの数学巨匠達
という対立構造か
雲の上議論で、ついて行けないが、面白過ぎる・・
数学でこんなことが・・
果たして、決着や如何に?(゜ロ゜;
(参考)
Inter-universal geometry と ABC 予想 46
スレリンク(math板:774番)-
774 名前:132人目の素数さん[] 投稿日:2020/04/06(月) 23:08:00.46 ID:G65ucpr0 [1/2]
シュルツのコメント !!
URLリンク(www.math.columbia.edu)
776 名前:132人目の素数さん[] 投稿日:2020/04/06(月) 23:14:56.87 ID:G65ucpr0 [2/2]
長いので、最後のところだけ。
I’m really frustrated with the current situation. What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart.
I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.
777 名前:132人目の素数さん[] 投稿日:2020/04/06(月) 23:16:35.52 ID:NrrlPguQ
ショルツのコメント見ると、andとorの勘違いとかそういう初歩的な勘違いとかいう次元の話ではなさそうだな
つづく
524:現代数学の系譜 雑談
20/04/07 07:58:41.60 88eWIsK9.net
つづき
(以下 機械翻訳引用)
779 名前:132人目の素数さん[] 投稿日:2020/04/06(月) 23:20:07.40 ID:bcZv7ojS [1/8]
>>774
私は、この問題について再びコメントするかどうか、何度も迷っていました。しかし、David J. Li
ttleboyの最後のコメントのニュースを見て、無駄だとしても、もう一度何かを言うのは良いことかもし
れないと確信しました。
私はスティックスとの原稿の中で、このことを十分に明確に表現していなかったかもしれませんが、望月さんの
ようなことがうまくいくはずがありません。以下の点は極めて基本的なことであり、望月はその一週間の間に、
その点が一点でも間違っていることを私に納得させることができなかったのである。純数学の名の下に,このよ
うな問題を研究するための研究所が設立されることを考えると,胸が痛むのですが,これが純数学に二度と訪れ
ないことを切に願っています.
なぜうまくいかないかというと、望月自身の定理があります。これは、-adic場上の双曲曲�
525:�(いくつかの 仮定があるかもしれないが、IUTに関連するすべてのケースで常に満たされている)は、その基本群によって 同形性まで決定され、実際には、ofの自動定形はofの外側の自動定形と双形性であるということを示してい る。 したがって、ofのデータは、共役化までのプロフィニティ群としてのofのデータと完全に等価なので ある。IUTでは、望月は常に後者のデータを考慮しているが、もちろん、群体の等価性までは、これは何の違 いもない。望月のもう一つの結果によって、このような行き来は建設的でさえある。 つづく
526:現代数学の系譜 雑談
20/04/07 07:58:58.87 88eWIsK9.net
つづき
780 名前:132人目の素数さん[] 投稿日:2020/04/06(月) 23:20:28.84 ID:bcZv7ojS [2/8]
望月は、置き換えによって、他の方法では起こりえないことが起こることができると主張しています。例として
、ある種の関連するモノイド上での作用が挙げられています。私たちは京都でこのことを非常に長く議論したが
、これらの例はどれも実際の内容を持っていなかった。sの同型を介して'sを特定することから生じる、ある
図の潜在的な非可換性は、'sの他の同型を使用することによって解決される可能性がないことに注意してくだ
さい - それらはすべて'sの同型から来ているのです! 望月は、'sの同型を無限に考慮しています。望
月は'sの無限に多くの別個の同型コピーを考えているが、それらのすべてを単純にお互いに、そしていくつか
の固定のために識別した場合に何が問題になるのかを私たちに教えることができなかった - 彼の状況では、
彼の状況では、このさらに識別の下では、同調するが、同調しない図はありません。(Stixとの原稿では、
何が問題になるのかをピンポイントで指摘しながら、単純にこのさらなる同一化で望月の議論を進めていった。
もし、この更なる同定が問題になるのであれば、明示的に'sを同定しないことで、どの図の共役性が救済され
るのかを教えてください)。
しかし、私がこのコメントで本当にしたいことは、上記の'sと'sについての指摘だけでは、かなりの混乱が
あるように思われることを指摘したいのです。最近、arXiv:2003.01890v1という論文が出ま
したが、その中で著者(Kirti Joshi)は望月の研究に関連した結果を調査しています。序論では,
7ページの「非同型'sが同じものを生むことがある」と明示的に主張しており,さらに14ページの備考2.
1では,私の読み方が一般的な誤解であることを説明しています.さらに、47ページのcorollary
21.2で、彼は「RIMSの誰もがよく知っている」ことを述べ、非同型'sが同じものを生み出すというこ
の現象の明示的な例を示しています。
つづく
527:現代数学の系譜 雑談
20/04/07 07:59:15.41 88eWIsK9.net
つづき
781 名前:132人目の素数さん[] 投稿日:2020/04/06(月) 23:20:43.66 ID:bcZv7ojS [3/8]
これがarXivに掲載されたことで、私はかなり混乱しました-私は今までずっとこの基本的な点を誤解して
いたのでしょうか?もし上記の主張が本当ならば、望月さんの戦略が成功する可能性はゼロではないかもしれま
せん。しかし、京都での議論では、望月さんはこの基本的な点で私に同意されていたことは確かであり、その調
査での定理21.1の証明(そのうちの21.2は確かに正則である)は間違っていたのです。いずれにしても
、私はJoshiにメールで混乱していることを伝えたところ、彼は望月に確認して、これらの主張をすべて撤
回してくれました(彼は新しいバージョンが近々arXivに掲載されると言っていました)。特に、「RIM
Sの誰もが知っている」という事実は間違っていて、望月のこの以前の正しいアナベル定理と矛盾しています。
今の状況には本当に悔しいです。また、朝日新聞の EricB さんの報告も、国を超えた議論をしているよ
うに聞こ
528:え、これもまた心に響くものがあります。望月さんがRIMSの多くの著名人(私の尊敬する人たち) から強い支持を得ていることには、本当に驚いています。 少しでもお役に立てれば幸いです。 www.DeepL.com/Translator(無料版)で翻訳しました。 (引用終り) 以上
529:132人目の素数さん
20/04/07 08:03:37.89 JDudcgge.net
だにえるLittさんとか言う人がツイッターで連投。おおよその内容
論文やサーベイはほぼ読んだ
基本的に正しいと思うけど(一番議論の部分は保留としても)
もっちーの書き方はクソ
8割削れたはず
数年前にさっさと書き直していればこんな問題にならなかった
530:現代数学の系譜 雑談
20/04/07 08:16:16.32 88eWIsK9.net
>>489
>シュルツ氏は、IUTを真っ向否定(下記引用ご参照)
>否定派代表 シュルツ vs RIMSの数学巨匠達
>という対立構造か
>>492
>今の状況には本当に悔しいです。また、朝日新聞の EricB さんの報告も、国を超えた議論をしているよ
>うに聞こえ、これもまた心に響くものがあります。望月さんがRIMSの多くの著名人(私の尊敬する人たち)
>から強い支持を得ていることには、本当に驚いています。
これではっきりしたこと
RIMS側も、プロ数学者向けに、IUT審査でなぜ通したのかの、きちんとした説明
もっと言えば、説明責任が求められるってことだね
別に、審査過程などいらない
ただ、シュルツ氏の批判に対して
数学を持って答えるべし!
531:現代数学の系譜 雑談
20/04/07 08:19:55.68 88eWIsK9.net
>>494 誤変換訂正
数学を持って答えるべし!
↓
数学を以て答えるべし!
だな(^^;
532:現代数学の系譜 雑談
20/04/07 08:24:44.43 88eWIsK9.net
>>493
どうも、コメントありがとう
(引用開始)
だにえるLittさんとか言う人がツイッターで連投。おおよその内容
論文やサーベイはほぼ読んだ
基本的に正しいと思うけど(一番議論の部分は保留としても)
もっちーの書き方はクソ
8割削れたはず
数年前にさっさと書き直していればこんな問題にならなかった
(引用終り)
いま、問題は、保留の一番議論の部分が、致命傷かどうかなんだよね
致命傷でなければ、単なる書き方の問題
致命傷のとき、救命手段があるのかが問題
果たして、結末は如何に?
533:132人目の素数さん
20/04/07 11:35:55.25 9KomTawK.net
ざっとIUTTの論文全部眺めてみたけど、すごい数式の数w
致命傷じゃないだろ。些細な事だよ。
534:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/07 11:47:38 ugf72WQf.net
>>489
関連
Peter Scholzeの発言2回
Taylor Dupuy 1回
面白ね(^^;
URLリンク(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
Peter Scholze says:
April 6, 2020 at 9:28 am
Taylor Dupuy says:
April 6, 2020 at 1:00 pm
Peter Scholze says:
April 6, 2020 at 4:54 pm
535:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/07 11:55:26 ugf72WQf.net
転載
ちなみに、763は私です(^^;
(参考)
Inter-universal geometry と ABC 予想 46
スレリンク(math板)
195 名前:132人目の素数さん[] 投稿日:2020/04/05(日) 09:01:30.50 ID:mvTzvaLi [2/2]
海外の反応を見ると
Cor3.12に対するコミュニティを納得させる説明を加えるだけで
この理論を受け入れさせた功労者として数学史に永遠に名を残すという巨大な報酬を得る機会に恵まれているにも関わらず
望月が正しいと主張する人々はこの8年間誰もそれに取りくもうとしなかった。
その事実はそれ(証明)がそこには存在しない事をほぼ確信させます。という意見が多いな。
もはや完全に裸の王様扱いされてるわ。
763 名前:132人目の素数さん[sage] 投稿日:2020/04/06(月) 21:59:33.00 ID:n8nAmtxW [6/6]
>>756
>ケドラヤにせよSSにせよ、1000ページくらい読んでも未だ首を縦に振らない専門家がいるというのが
>とにかく事実。名前は出さないが他にも(数論の)有名どころがいる
>タオについてはコストかける気がないだけ
>まあともかく、確かにこれは凄いことだ。三年以上かかる
そうそう
同感同感
いま、俺たち、いままでにない数学史の歴史的事象のまっただ中にいると思う
普通、本当に証明にギャップがあるなら、指摘されれば、「そうか」と証明出した方が理解するはずだ
ところが、SSという大物が議論して指摘して、何年も平行線
こんな事例は、いままで、見たことも聞いたことも無かった
そして、先週4月3日(金)の見切り発車というか、「査読通します~!」という記者会見
いやはや、面白いよね
おれたち、歴史の生き証人だよ!
536:現代数学の系譜 雑談
20/04/07 14:34:08.30 ugf72WQf.net
>>499
>普通、本当に証明にギャップがあるなら、指摘されれば、「そうか」と証明出した方が理解するはずだ
>ところが、SSという大物が議論して指摘して、何年も平行線
>こんな事例は、いままで、見たことも聞いたことも無かった
>そして、先週4月3日(金)の見切り発車というか、「査読通します~!」という記者会見
>いやはや、面白いよね
1.前代未聞で、いま起こっていることがさっぱり理解できない
2.柏原&玉川という両巨頭が開いた記者会見で、「IUTは正しいので、査読を通した」という
ならば、相当慎重に審査して、絶対の自信があるはず
だから、Peter Scholzeの発言にぐらつくはずがないよね
3.ところが、海外勢は全く反対で、「なんで査読通した?」と by woit、 Peter Scholze
4.一体どうなっているのか?w(゜ロ゜;
5.言いたいことは一つ、「早くプロ向けの説明責任を果たしてくれ」ってこと
6.「国際会議でやるから、来てね」でもいいじゃん、何か言ったらどう?(^^;
537:132人目の素数さん
20/04/07 16:08:32 e9tQ8lgx.net
もう予算を取ってしまったし、研究員も採用しちゃったから、
間違っていたら困るでしょう。
だから、正しいに決まっているんだよ。
538:現代数学の系譜 雑談
20/04/07 17:00:05.76 ugf72WQf.net
>>501
>間違っていたら困るでしょう。
>だから、正しいに決まっているんだよ。
一般論としては正しい!!
が
数学の証明としては、ちょっとだけ厳密性に欠ける(^^
つまり、「当事者たちは自分たちが正しいと信じて行動している」が正しいと思うよ(^^;
539:現代数学の系譜 雑談
20/04/07 18:13:44.92 ugf72WQf.net
>>502
いまさらの
後知恵だけれど
なんで、Peter Scholzeともっとコミュニケーション取らなかったのかね?
別に望月先生は、喧嘩別れのしこりが残っているかもしれないが
査読者で、「おれIUT見てるんだけれど、∧と∨とを取り違えているという説があるけどどうなん?」
とかさ、Woit先生のブログでやっているようなやり取りを、プレス前にやっておくべきだったんじゃね?(^^;
Peter Scholzeと知り合いの日本人とか間に入れてもいいしさ
それでもって、議論したうえで、「見切り発車だけれど、査読通すことにしたよ」てね
それくらいは、やっても良かった気がするよな(゜ロ゜;
査読云々は、もっとエライ人(記者会見の人たち)から言ってもらって良いと思うけどね
(そこでまた、Peter Scholze先生の意見が貰えるし、「ここが理解のすれ違いか」なんて分かると思うんだがね)
540:132人目の素数さん
20/04/07 19:29:32.84 tD7LJixS.net
Taylor Dupuyは再反論出来なかった
541:132人目の素数さん
20/04/07 19:35:04.51 lr6i35AM.net
>>504
出来なかった
ではなく
まだ していないだな
正確には
542:132人目の素数さん
20/04/07 19:36:53.49 lr6i35AM.net
>>504
出来なかった
ではなく
まだ していないだな
正確には
543:132人目の素数さん
20/04/07 19:38:32.93 lr6i35AM.net
連投すまん
544:132人目の素数さん
20/04/07 19:39:04.65 tD7LJixS.net
まだしていないだけや
証拠があるが見せられないは認められない事だ
545:132人目の素数さん
20/04/07 19:49:12.97 Uefy4rL2.net
>>504
宇宙人から教えてもらった望月理論が自明なこととして
証明してるからぽか~んとしてる
たま出版みたいなもの
546:132人目の素数さん
20/04/07 19:49:49.76 tD7LJixS.net
Taylor DupuyはPeter Scholzeより浅い知見しか持ってない事が丸裸にされた
Dupuyの代わりにScholzeの破綻を論証出来る奴は居るか?
居るなら掲示板に今すぐ参戦して来い
望月氏でも良いぞ
説明責任とはそういう事だ
547:132人目の素数さん
20/04/07 19:51:21.63 QqsJeOEG.net
素人で申し訳ないけど
IU�
548:sってあまりに専門的でその上オリジナルすぎて、お弟子さんたち以外、誰も真面目に読み解いてない印象 詳細で明快な解説は、お弟子さんたちの仕事でしょうかね それが出来ただけで、世界から称賛される業績になりそうだけど
549:132人目の素数さん
20/04/07 19:58:19.98 +9tSKI6/.net
ぶんげそに連絡して反論させよう。
アイツは散々SSを人格攻撃してきたんだから反論が出たからには受ける責任がある。
550:132人目の素数さん
20/04/07 20:14:33.96 tD7LJixS.net
隅から隅まで真面目に読んでいたのはPeter Scholzeであって、ジャンク弟子やオトモダチではないな
551:132人目の素数さん
20/04/07 20:34:13.76 vdBmxikH.net
>>512
それだな
552:132人目の素数さん
20/04/07 20:36:40.63 x8U8s7Uy.net
加藤さんは2年留年しているそうですが、そんな人にも、望月さんの理論は分かるんですね。
553:現代数学の系譜 雑談
20/04/07 21:00:54.81 88eWIsK9.net
>>508
>証拠があるが見せられないは認められない事だ
下記の [ Taylor Dupuy's Homepage]の1
”The Statement of Mochizuki's Corollary 3.12, unstable preprint available on request, (with A. Hilado)”
を出せ ってこと (^^;
この1があっての、2でしょ
(A. Hilado氏は、Taylor DupuyのところのDR生だから、1と2がこけたら、DR論文やばいぜw)
あと、Kirti Joshiのarxivにある ”[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.”も期待しているんだ(^^;
(参考)
URLリンク(www.uvm.edu)
[ Taylor Dupuy's Homepage]
(抜粋)
1.The Statement of Mochizuki's Corollary 3.12, unstable preprint available on request, (with A. Hilado)
2.Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)
URLリンク(www.dropbox.com)
3.Isogeny classes of Abelian Varieties over Finite Fields in the LMFDB, (with K. Kedlaya, D. Roe, and C. Vincent)
URLリンク(arxiv.org)
4.Counterexamples to a Conjecture of Ahmadi and Shparlinski (with K. Kedlaya, D. Roe, and C. Vincent)
URLリンク(arxiv.org)
URLリンク(arxiv.org)
On Mochizuki’s idea of Anabelomorphy and its applications
Kirti Joshi
March 5, 2020
(抜粋)
26 Perfectoid algebraic geometry as an example of anabelomorphy 61
Now let me record the following observation which I made in the course of writing [Jos19a] and [Jos19b].
A detailed treatment of assertions of this section will be provided in [DJ] where we establish many results in parallel with classical anabelian geometry.
References
[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.
554:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/07 21:03:22 88eWIsK9.net
>>510
>居るなら掲示板に今すぐ参戦して来い
>望月氏でも良いぞ
>説明責任とはそういう事だ
同意
ちゃんと、3.12に関する論文 出して、それをネタに議論してほしいな(^^
555:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/07 21:16:19 88eWIsK9.net
>>511-515
>IUTってあまりに専門的でその上オリジナルすぎて、お弟子さんたち以外、誰も真面目に読み解いてない印象
>隅から隅まで真面目に読んでいたのはPeter Scholzeであって
確かに、Peter ScholzeはしっかりIUT読んでいる印象だね Woitのブログでのカキコ
さすがだと思った (しっかり読み込んで 理解している印象を受けた)
>加藤さんは2年留年しているそうですが、そんな人にも、望月さんの理論は分かるんですね。
2年留年か
彼女ができたんじゃね?
それは冗談として、留年とは関係ないでしょ
つーか、”オリジナルすぎて”のところ、”斬新すぎる”と言い換えると
既存の数学にどっぷり漬かりすぎると、それが邪魔して ”斬新すぎる”理論が頭に入らないということはあるかも
その点、IUT理論の創成期に”焼き肉を一緒に食べて議論した”加藤先生は理解していると思うけど
ただそれより、Peter Scholzeの指摘している真意が理解できているかどうか?
「∧と∨とを取り違えている」という話じゃない気がする WoitのブログでのPeter Scholzeのカキコを見た印象だけど
556:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/07 21:27:15 88eWIsK9.net
>>518
あと、あまり指摘されていないが
下記のVesselin Dimitrov氏は、中間から若干IUT成立側の立場に見えるな(^^
URLリンク(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Vesselin Dimitrov says:
April 5, 2020 at 1:37 am
All of this is confusing. Let me at least try to clarify something about effectivity and the external reduction.
@David Roberts: One can certainly be more explicit by spelling out ? if not bypassing ? what exactly those restrictive standing hypotheses mean.
This paper by Dupuy and Hilado actually involves all of Mochizuki’s special assumptions (from I Def. 3.1) occurring in his already explicit claim IV 1.10, and even more: [D-H] furthermore require the elliptic curve to have a good reduction at all prime ideals of residue characteristic 2.
The latter is not assumed by Mochizuki (he rather states an explicit bound on the prime-to-2 part of the minimal discriminant, under his other assumptions in I Def. 3.1);
and the Belyi maps argument does not allow a reduction to the case of good reduction above 2 (it only reduces to a situation of bounded contributions at 2).
Besides, the true exponent is a “6” (as in IV 1.10) rather than the lossful “24” in [D-H]. My understanding is they rather want to make the statement more conventionally readable.
Vesselin says:
April 6, 2020 at 2:28 pm
@W, just to fix your precise reference for the convenience of others following along: You mean either Corollary 2.3 on page 500 of that paper (Absolute anabelian cuspidalization of proper hyperbolic curves); or Corollary 1.10, part (iii) on page 43 of the subsequent paper (Topics in absolute anabelian geometry III).
Those disprove Corollary 21.2 of Joshi’s preprint.
557:132人目の素数さん
20/04/07 21:27:18 Uefy4rL2.net
反論とか言うけど面と向かって
というのではないのだろうなってのは
わかってしまう
558:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/07 21:39:59 88eWIsK9.net
>>520
>反論とか言うけど面と向かって
>というのではないのだろうなってのは
>わかってしまう
まあ そうだな
ちゃんと、3.12の補強論文を書いて
世に問えば良い
今年、国際会議があるのだし
そこには出すべき (別に望月に限らず )
Peter Scholzeの指摘にちゃんと答える形でね
559:132人目の素数さん
20/04/08 00:02:11 J363veKh.net
とりあえず証明正しくなかったら、文元本を返品するだけです。
560:132人目の素数さん
20/04/08 03:16:19 3O35gjhn.net
とりあえずいまScholzeの書き込みよんだ
まちがいの指摘になってないじゃないか
しかも実は論文をあんまり読んでないことがわかった
99年のもっちーの論文の主定理だけ手に入れて
こんな風に定式化するんでしょとかいいだしたけど京都で話が
かみあわんかったということらしい
それをいまでもいってるという
561:132人目の素数さん
20/04/08 03:32:46 3O35gjhn.net
ちょっと外見の齟齬がわかってきた気がする
Scholze
full-poly? なんだそれ。俺の知っている圏論だけつかえや
こうやったらIDバージョンで俺の知ってるの圏論でかけるやろ
ほらみ、これにグロタン予想つかうんだろ、書いてみるとおかしいじゃないか
そんな勘違いもよしてやー
URLリンク(www.kurims.kyoto-u.ac.jp)
間違いの指摘というか自分の使いなれた言葉で単純化しようとしたら
意味不明になったってことだろうな
562:132人目の素数さん
20/04/08 07:33:02.70 qND6ydgN.net
少し古いけど、玉川さんの「代数曲線の数論的基本群に関するGrothendieck予想,その後」
URLリンク(mathsoc.jp)
流れが分かり易かったので、ご参考まで。
絶対版と、望月さんのDiophantus幾何(abc予想など)への全く新しい圏論的アプローチ」の間で、
ステップがあったのですね。 このような流れを踏まえてどう回答するのか。
563:132人目の素数さん
20/04/08 08:07:02.49 ItSlR8dZ.net
>>524
…凄い
564:現代数学の系譜 雑談
20/04/08 08:07:53.54 gzTTBDi7.net
>>522-525
>間違いの指摘というか自分の使いなれた言葉で単純化しようとしたら
>意味不明になったってことだろうな
うんうん
そうかも
正直、私は圏論もよく分かってないけど(当然IUTの中身も同じ)
でも、Peter Scholze氏がwoitのブログで書いたことは
確か記憶ではSSのレポートでも指摘が記述されていて
過去のIUTスレでも議論があったと思う
そういうことも含めて
査読して
RIMSのえら~い人がOKを出したと思いたいね
それが、いまの私の考えです(^^;
565:現代数学の系譜 雑談
20/04/08 08:27:07.43 gzTTBDi7.net
>>527
>確か記憶ではSSのレポートでも指摘が記述されていて
下記ですね、SSのレポートの指摘
そんなことは百も承知の柏原&玉川先生のOK宣言でしょ
当然
でも
”間違いの指摘というか自分の使いなれた言葉で単純化しようとしたら
意味不明になったってことだろうな”
のところは、いわゆる”躓きどころ”だから、お高くとまってないで
もっと、懇切丁寧な説明がいると思いますね(^^;
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.kurims.kyoto-u.ac.jp)
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 (および関連文書)
URLリンク(www.kurims.kyoto-u.ac.jp)
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX Date: May 14, 2018.
(抜粋)
P6
Note 5
Technically, Mochizuki does not choose any such isomorphism,
but works with what he calls the full poly-isomorphism, i.e. the set of all such isomorphisms. Although we spent a lot of time discussing the necessity of introducing full poly-isomorphisms over choosing one such isomorphism,
Mochizuki was not able to explain this.
On a related note, if one remembers that all Hodge theaters really come from our fixed curve X,
there is a completely natural isomorphism Π1 ~= Π2 given by Π1 = π1(X) = Π2 and K1 ~= K2 as K1 = k ̄ = K2,
and thus a natural Π1 ~= Π2-equivariant isomorphism log(K1) ~= K1 ~= K2 (and thus the same on o ). Choosing
these “obvious” isomorphisms did not result in any problem that would be solved by allowing some other (possibly indeterminate)
566: isomorphism.
567:粋蕎
20/04/08 08:47:48.68 wTQpTus/.net
ショルツェ氏の異論にデュプイ氏(発音の仕方、これで合ってるんか分からん)から反論が出たのう
出版決定を期に議論が活発化した様じゃな
568:粋蕎
20/04/08 08:57:57.92 wTQpTus/.net
ああ違った、反論じゃなくて追異論か
569:粋蕎 ◆C2UdlLHDRI
20/04/08 09:46:59 wTQpTus/.net
あら?やっぱり反論で良いのか?もういい加減ハッキリできる様にIUGTT整理整頓してくれんかな
其れにこんな誰からも難解で使い物に成らん儘じゃ、いかんじゃろ
570:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 11:03:16 XBUlkULR.net
>>531
粋蕎さん、おはようございます(^^
スレ違いですが、粋蕎さん マツダだったとか
マツダのエンジンシミュレーション技術はすごいらしいですね(下記)
なにか、関係していたのですか?(^^
(参考)
URLリンク(newswitch.jp)
ニュースイッチ
マツダの次世代エンジン、試作は2回だけ!?
モデルベース開発の適用拡大 日刊工業新聞2018年9月21日
2018年09月22日 清水信彦 広島総局 編集委員
(抜粋)
URLリンク(public-newswitch.s3.ap-northeast-1.amazonaws.com)
2019年に投入予定の次世代エンジン「スカイアクティブX」
マツダはシミュレーション技術を活用した自動車開発手法である「モデルベース開発(MBD)」の適用を広げる。
URLリンク(super.asurada.com)
マツダ、シミュレーション技術を駆使し試作車台数を四分の一に T's MEDIA 2018/9/21
(抜粋)
マツダは、シミュレーションを駆使する「モデルベース開発(MBD)」により車両開発での試作車台数を四分の一に減らしたそうです。
[アマゾン]MAZDA FANBOOK Vol.006 (ノスタルジックヒーロー別冊)
マツダは研究開発(R&D)部門の社員900人規模にMBDが扱えるようにするため、広島大学の教員らを講師に招いて研修や講座を自社単独で開いている。
これとは別に、2017年秋からはひろ自連が主導してCAE(コンピューターによるエンジニアリング)を身につける講座をMBDの入門編と位置づけて始めた。
最終的にMBDを取り扱うことのできる人材を200~300人、3~5年後に育てる。
マツダ、自動車開発で人材育成 5年間に200~300人 :日本経済新聞
571:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 11:22:12 XBUlkULR.net
>>531
>あら?やっぱり反論で良いのか?もういい加減ハッキリできる様にIUGTT整理整頓してくれんかな
>其れにこんな誰からも難解で使い物に成らん儘じゃ、いかんじゃろ
<本論>
1.そうそう、同意です。説明責任果せ ですね
2.理解してもらうことも大事
多分、今年の国際会議を成功させて、日本国内の数学会の「なんとか賞」をもらって
ICM 2022のプログラムで取り上げてもらって・・ というのが理想でしょう
補足
若手研究者にとって、IUTが回りから理解されるかどうかは大きな問題で
例えば、IUTの研究者が海外の大学や研究機関へいくときに、履歴書にIUT研究を書いても
相手から「IUTは海外では業績として認められない」と言われたら、せつないですよね
(もう、教授になっている人はいいかもしらんが)
RIMSとしても、IUTが海外で認められるように�
572:A説明責任を果たして努力しないといけない それは、RIMS自身のためでもある (参考) https://www.mathunion.org/icm/icm-2022 ICM 2022 The International Congress of Mathematicians 2022 (ICM 2022) will be held in St Petersburg, Russia, 6 - 14 July 2022.
573:粋蕎 ◆C2UdlLHDRI
20/04/08 11:29:16 wTQpTus/.net
>>532
関係してたが儂の意見とは真逆の道を進みよった。現実を見て貰えば分かるがゴミが出来上がった。
SPCCIことマツダ流SACIは失敗作。会社ってのは一皮剥けば暴力団。儂にもどうにも成らんかったわい。
574:132人目の素数さん
20/04/08 11:31:07 qND6ydgN.net
>>527、>>528
Woitのブログでシュルツが書いているコメントは、>>525の「今後」の記載と、
殆ど同じと思うのだが。
>The reason it cannot work is a theorem of Mochizuki himself.
⇒この場合の相対版は望月氏によって非常に強い形で解決されていますが,
絶対版は,p進局所体の絶対Galois群の非幾何的自己同型の存在により,
成否が不明になっています.これに関しては,望月氏の最近の研究[M4][M5][M6][M7]があります.
筆者は,比較的安直に絶対版の成立を信じているのですが,望月さんは,
近年の彼のDiophantus幾何(abc予想など)への全く新しい圏論的アプローチなどをへて,
どちらかというと不成立なのではないかと感じている
RIMSは、2年の査読で、どのような前提とアプローチでIUTが成立するか、
絶体版との違いも、確認したのでしょうが。
IUTのアプローチを、シュルツは絶体版に(意図的に?)書き換えて否定しているのだけど、
IUTのアプローチを「分からない」と言われて、単純化で絶対版に書き換える主張では、
ずっと、堂々めぐりになるのだよね。
575:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 11:47:24 XBUlkULR.net
>>535
コメントありがとう
すぐには、ついていけないので、勉強します(^^;
576:粋蕎 ◆C2UdlLHDRI
20/04/08 11:50:32 wTQpTus/.net
>>535
はい
577:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 12:00:37 XBUlkULR.net
>>534
>SPCCIことマツダ流SACIは失敗作。会社ってのは一皮剥けば暴力団。儂にもどうにも成らんかったわい。
SPCC:マツダ、独自燃焼方式「SPCCI(火花点火制御圧縮着火)」採用
SACI:SACI(火花補助圧縮着火)燃焼
か
略語が、難しいね(^^;
会社は、利益追求が中心にありますからね
でも、最近はいろいろ 企業の社会的責任 CSR とか、結構言われますよね(^^
(参考)
URLリンク(car.watch.impress.co.jp)
Car Watch
ニュース
マツダ、独自燃焼方式「SPCCI(火花点火制御圧縮着火)」採用の次世代エンジン「SKYACTIV-X」など長期ビジョン説明会
2018年に電動化、2019年に次世代ディーゼルとPHEV、2020年に自動運転技術について発表
編集部:小林 隆2017年8月9日 08:34
URLリンク(jglobal.jst.go.jp)
J-GLOBAL
自動車用小型過給エンジンにおける多モード燃焼に適したバルブ操作手法の比較-第二部:SACI燃焼領域における中負荷運転
資料名: Journal of Engineering for Gas Turbines and Power (Journal of Engineering for Gas Turbines and Power)
巻: 136 号: 10 ページ: 101508.1-101508.11 発行年: 2014年10月
抄録/ポイント: (抜粋)
可変バルブタイミング機構を有する自動車用小型過給エンジンの多モード燃焼における中負荷条件でのSACI(火花補助圧縮着火)燃焼に対して,熱力学モデルを用いたシミュレーションにより吸/排気バルブの最適操作条件を調べた。
URLリンク(ja.wikipedia.org)
企業の社会的責任(きぎょうのしゃかいてきせきにん、英: corporate social responsibility、略称:CSR)
578:132人目の素数さん
20/04/08 12:17:28 TZe12ggE.net
もういくらショルツが単純な間違いしてるんだって言い張っても無理だよ。
ショルツの批判点は明確で、ほかの数学者にも理解されている。
Dupuyの反論には理解者が出ないだけでなくLittが言ってるように、
具体的なダイアグラムが出せるはずなのに出せない。
579:132人目の素数さん
20/04/08 12:56:42 Wj6cVTmr.net
なぜ望月さんやその周辺の人は、ショルツさんの指摘を理解できないのでしょうか?
その程度の人たちということでしょうか?
580:132人目の素数さん
20/04/08 12:58:20 PTH32QW6.net
じゃあ玉川さんに直接聞いてみなよ
ショルツの誤りについてレクチャーしてくれるぜ
星さんでもいい。越川さんでもいいよ。
山下は(無口
581:132人目の素数さん
20/04/08 13:03:55 Wj6cVTmr.net
ショルツさんと、望月さんとその周辺人たちのどちらかが間違っているわけですが、一応プロと言われる数学者で
そのようなことがあるというのが信じられません。
どちらか一方の正しい説明を他方が理解できないということですよね。
恥ずかしいですね。
582:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 13:58:16 XBUlkULR.net
>>542
>ショルツさんと、望月さんとその周辺人たちのどちらかが間違っているわけですが、一応プロと言われる数学者で
>そのようなことがあるというのが信じられません。
私も信じられなかったが
どうも、ショルツが間違っている(誤解と)おもう
>どちらか一方の正しい説明を他方が理解できないということですよね。
>恥ずかしいですね。
そうでもない
類似のことは、歴史的にはなんどかあった
カントールの無限集合論が理解されなかったとか
要するに、ショルツがIUTを理解するには、もう少し時間が掛かるかも
例えば、中三に微分を理解させようと思うと、高校数IIまでの長い道程が必要みたいもの
「簡単に説明してくれ」と言われても、言われた方も困るってことかな?(^^;
でも、原論文嫁!ではね
グロタンディークの代数幾何はEGAからSGAを全部読めみたいなの
やっぱ、ちゃんと説明求めらたら、説明する努力をしないとね(^^;
583:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 14:00:49 XBUlkULR.net
>>541
ほぼ同意
>山下は(無口
山下先生は、しゃべりは無口でも
メールは結構書くんじゃない?
フェセンコ先生との場外バトルを思い出すと(^^;
584:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 14:01:42 XBUlkULR.net
>>539-540
これ、>>543だな(^^;
585:132人目の素数さん
20/04/08 14:03:10 TZe12ggE.net
そういえばここまでIUTサイドには数学基礎論バリバリしてましたっていうのがいないんだよな。
ある意味素人集団で作っちゃった理論。
586:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 14:49:10 XBUlkULR.net
>>546
>そういえばここまでIUTサイドには数学基礎論バリバリしてましたっていうのがいないんだよな。
>ある意味素人集団で作っちゃった理論。
それはそうかも
だが、”素人集団で作っちゃった理論”であっても、査読はそうはいかないよね
柏原先生と玉川先生、どちらも基礎論ではないけど
IUTを構築している部分部分についての成否を判断する力はある
あと、表に出ない査読者が複数名(おそら最低3名)
彼ら全員(5名以上)が、SSの指摘とか、世間の「識別の危機」とか、全部勘案したうえで
「査読OK」出したんでしょ?
そう思わないと、4月3日(金)のプレス発表の辻褄があわない
つまり、柏原先生と玉川先生らは、絶対の自信があって、IUTにお墨付きを与えたんだろう
587:粋蕎 ◆C2UdlLHDRI
20/04/08 14:54:04 wTQpTus/.net
ぬ?最早、芸出留と蛭ベルトの乱どころか缶トールと黒値っカーの乱の様相を呈していると言うのか?
其したら其んなん思想戦争、宗派戦争じゃろうが!誰かに仲立ちして貰わんと、どうにも成らん!
588:132人目の素数さん
20/04/08 15:02:01 w8evZrpy.net
絶対の自信という割にはプレス発表の時に
ショルツの反論に望月氏が反論をして終わったみたいな話をしていたよね。
その後のショルツのコメントを見る限りでは望月氏の反論は的外れで
ショルツの最初の反論を全く正確に汲み取れていなかったわけだ。
そうなると査読チーム方もショルツの指摘をズレた解釈をした上で
そのズレた解釈のなかで問題なしと判定したことになるよ。
589:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 15:31:24 XBUlkULR.net
>>549
>絶対の自信という割にはプレス発表の時に
>ショルツの反論に望月氏が反論をして終わったみたいな話をしていたよね。
へー、そうだったのか?
>その後のショルツのコメントを見る限りでは望月氏の反論は的外れで
>ショルツの最初の反論を全く正確に汲み取れていなかったわけだ。
多分
1.ショルツ側は反論を見たのかな? 多分見たのでしょうね、望月側がホームページにアップしたし
(それは多分親い人のだけか からも「見た?」とか言われただろうしね )
2.ショルツは、反論に反論は しなかった。多分、反論に時間掛ける理由がない(無駄)ってことだったと思う
下記、”convinced me that it might be good, even if futile, to say something again.”と書かれているからね
それは、「ショルツの最初の反論を全く正確に汲み取れていなかった」と、ショルツ自身も思ったんだわ、望月側の反論をみてね
3.で ”そうなると査読チーム方もショルツの指摘をズレた解釈をした上で
そのズレた解釈のなかで問題なしと判定したことになるよ。”
という点は、私からすれば、「もっとオープンに議論してくれよ!」ってことだと思う
多分、多くの数学界のプロたちも同じでしょ (^^;
(参考)
URLリンク(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Peter Scholze says:
April 6, 2020 at 9:28 am
I have been weighing back and forth commenting again on this matter. However, the news in that last comment by David J. Littleboy convinced me that it might be good, even if futile, to say something again.
590:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 15:35:34 XBUlkULR.net
>>548
粋蕎さん、どうも
>其したら其んなん思想戦争、宗派戦争じゃろうが!誰かに仲立ちして貰わんと、どうにも成らん!
1.もっと、論文を出すこと。今年国際会議あるしね
2.ショルツ氏ともっとコミュニケーション取ったら良いんじゃない? 犬のケンカみたいに、ワンワンキャンキャンやらないで(^^;
591:粋蕎 ◆C2UdlLHDRI
20/04/08 16:25:10 wTQpTus/.net
マスコミは加法と乗法の誤差を解消すべく其々を独立に定義と書いとるな。
独立に定義しといて誤差解消って、悪魔くん(水木しげる=著)の魔方陣魔法かいな?
そりゃショルツェとか言う人の既存帰着解釈と折衷が着かん罠。
何かもうちょっとマトモにプレゼンテーションしてくれる人は居ないんかいな?
って言うかマスコミと信者専とアンチ専の所為で誤解スパイラルじゃ!助けてくれ~
592:132人目の素数さん
20/04/08 16:57:11 aDTcglU6.net
Gr.(グロタンディーク)的にはIUTは離散と連続とを統合するものでそこが肝だから
そこを無視したABC予想談議には意味がない
加法は離散
乗法は連続
そう書かなければ計算テクニックの問題に過ぎなくなる
逆にこれが抑えられればABC予想も意味がある
593:粋蕎 ◆C2UdlLHDRI
20/04/08 17:03:37 wTQpTus/.net
>>551
×犬の喧嘩
△数学マフィアの抗争
○仁義なき戦い~覚悟しぃや~
◎F.R.B.~民の屍の上にこそ富は成される~数学戦争編2020
日本は欧米の餌です(´^A^`)、独逸さえ家畜!米英で始めて使用人。人類は皆、FRBの奴隷です(TДT)
594:132人目の素数さん
20/04/08 17:44:32.60 fvhHrvj9.net
ロバートはどっち側?
595:粋蕎 ◆C2UdlLHDRI
20/04/08 19:00:00 wTQpTus/.net
> 加法は離散
> 乗法は連続
何で此う成るんじゃろ?P進?
Qp3分クッキング
596:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/08 20:32:35 gzTTBDi7.net
>>556
>> 加法は離散
>> 乗法は連続
>何で此う成るんじゃろ?P進?
粋蕎さん、どうも
私もわからんw(^^
>>555
>ロバートはどっち側?
ロバート氏はIUT懐疑側ですね
>>554
人類は皆、�
597:_の下僕です(゜ロ゜; イエス キリスト、アーメン(^^; >>553 >Gr.(グロタンディーク)的にはIUTは離散と連続とを統合するものでそこが肝だから >そこを無視したABC予想談議には意味がない 文元さんは、未来の数学予言者かも >>552 >って言うかマスコミと信者専とアンチ専の所為で誤解スパイラルじゃ!助けてくれ~ 同意 RIMSは説明責任を果たすべし プロ数学者で、「RIMSって、なにやってんだ?」と思う人多数じゃ無い もちろん、柏原先生と玉川先生が会見したから、「こりゃ、ただ事じゃないぞ」とは思うだろうがねw
598:132人目の素数さん
20/04/08 22:08:28 02aEchhO.net
>>553
>加法は離散
>乗法は連続
なるほど
分かったような気がしました
599:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 00:00:22 peDzLyq8.net
kirti joshi 先生の書き込み来た
よし!(^^;
URLリンク(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
kirti joshi says:
April 8, 2020 at 10:15 am
Dear Professor Woit,
(抜粋)
This is to clarify the claims made about my paper in the context of your abc blog-post.
First of all let me say that my paper (referred to by Scholze in his comments) is not a survey of Mochizuki’s work (though it may initially appear so because I state a number of standard results without proofs) and contains a number of new and original results (Scholze agrees with me on this).
I start with one of Mochizuki’s ideas and I build upon it in my paper. This is the paper which is cited in Scholze’s comments and which can be found on the arxiv (though the update is not yet ready).
In our correspondence Scholze has agreed (mostly) with all the changes in the new version and we (i.e. Scholze, Hoshi and myself) continue to correspond to resolve any persisting issues (of which there are very few). These issues and changes, at any rate, do not pertain to main results of the paper but to how the contents relate to IUT.
Since comments about the retracted section of the paper may add to the confusion in a topic which is already quite complicated for many reasons, so all references to my paper (below) will be to the forthcoming version.
(7) The following way of remembering Mochizuki’s idea may be useful:
A p-adic field wiggles and moves around in the isomorphism class of its absolute Galois group. This wiggling is a (new) degree of freedom in number theory and in algebraic geometry.
(This is illustrated in my paper with explicit examples and also see Mochizuki’s paper and Hoshi’s work and other members of the Kyoto school).
600:132人目の素数さん
20/04/09 01:34:08 RlR9C8wh.net
中々事態が進展しなかったら今度はゴシップ誌なんかが予算取るためにアクセプトしたとかこのスレの主張垂れ流してくるのも時間の問題
601:132人目の素数さん
20/04/09 01:41:05 vLKxf+Qt.net
次スレここでいいか
602:132人目の素数さん
20/04/09 01:41:55 vLKxf+Qt.net
前スレ
Inter-universal geometry と ABC 予想 47
スレリンク(math板)
603:132人目の素数さん
20/04/09 01:46:33 6hnbIxKb.net
スレリンク(math板:809番)
全球技の一般論として一茂と良純の両人にマグナス効果マグナス効果連呼させる営みの方が数理科学一般論として適切なんやな。
604:132人目の素数さん
20/04/09 01:48:25 bdCgesbg.net
宇宙際タイヒミュラーのまえに、ふつうのタイヒミュラー理論を簡単に説明したペーパーを誰か教えて
605:粋蕎 ◆C2UdlLHDRI
20/04/09 02:13:36 VSYaPguG.net
何だかショルツだかシュルツだかスクルツだかスクルゼ
606:だか分からんな ダプイだかデュピュイだか発音分からん、本人らには申し訳無いが。 ジョシはジョシじゃろうな はて シュルツがoversimplification(簡略化過剰)なのか 或いはIUT支持者が「察してちゃん」(英訳分からんかった)なのか はたまた、両方から成る重複要因なのか 其れとも、双方とも個別に成立するのか 最後の独立線は議論隆盛的には無勢、要因重複線も無勢。前二者が今、ガチンコ論議交戦中。
607:132人目の素数さん
20/04/09 02:23:43.58 mkLkRbPk.net
なんでショルツ、再反論せえへんかったん? 8年もあったんちゃうの?
何しとったん? じぶん
608:132人目の素数さん
20/04/09 03:20:44 VSYaPguG.net
他の関心に時間を費やしてた上に呑んだ暮れとったんかのう?
新型コロ助騒動が無きゃ此んな短時間レスバトルせんかったかも知れん
フランス人は良く昼ワインに時間を裂く様じゃがショルツ?シュルツ?は?ビア?ウィスキー?
609:132人目の素数さん
20/04/09 06:37:56.82 vbAwJdyW.net
ショルツが斜め読みして理解できず、あろうことか証明は不完全まで言ったせいでIUTの理論の進展に障害与えた
コイツ人類の戦犯だろ
610:132人目の素数さん
20/04/09 06:44:12.61 bENzixP/.net
次々にIUTに対して突っ込みが入っているな
DupuyもJoshiもコメントしてしまった以上は逃げられないし
ここで納得いく回答を出せなければますます疑惑は濃くなっていくぞ。
611:132人目の素数さん
20/04/09 06:53:52.79 5CcRpZht.net
第二ソーカル事件だな
612:132人目の素数さん
20/04/09 07:22:52.86 LCKjbVzj.net
>>568
ショルツくらいの理解力じゃなかったら、人の斬新な研究を
「短時間で要約を掴む」~
「"勘違い"を含む"理解"」
に至るのさえ、ヤル気も起きない、無理だったんだろ
613:132人目の素数さん
20/04/09 07:22:53.15 bENzixP/.net
次スレ立ったぞ
Inter-universal geometry と ABC 予想 47
スレリンク(math板)
614:132人目の素数さん
20/04/09 07:33:53.21 vbAwJdyW.net
>>571
はじめからちゃんと長時間じっくり読めば勘違いしなくても済んだのでは
そしたらこんな論争する必要もなくかえって時間短かったろうね
全部はじめから望月先生が言ってたことだけど
615:粋蕎
20/04/09 07:38:36.94 VSYaPguG.net
ショルツはショルツで簡略化過剰なんじゃろうけど
其れに対してIUTT側は、どう考えとるんじゃろ?「此れ以上、要約化・簡略化してはいかん」か?なら
そう言えば良いし理由も述べれば良い。「読めば分かる」以前の問題。確かに、加法が離散、乗法が連続。
こんなん誰がどう見ても複雑化不可避と自明、じゃけぇ「単なる離散と連続の橋渡し一般化」に済まない。
「加法じゃ離散なのに、乗法じゃ連続。どうしろと?」言う話。世界最無知な儂でも複雑化不可避は自明。
じゃがIUTの支持派は支持派で「読みが足りん」で終了。こんなん「待てゴルァ!!」物。
儂が思うにIUTは必要十分ながら複雑で、簡略化は稀求じゃろ思う。しかし其の簡略化は
ショルツみたく「理論ボリュームコンパクト化」方向ではなく
むしろ「理論ボリューム拡大化」方向に簡略化せんと成らんと思っとる。
逆にページ数が減る拡大簡略化って、どんなんじゃろ?儂ゃ対数しか知らん。
まっさかIUTに留数の定理利用じゃーラプラスじゃー言う理論拡大方向簡略化は通用せんじゃろうし
拡張子って言えば良ぇんか?IUTを複雑さ低減し使い物にする拡張子とは?
其れは餅突き氏の弟子が発見してくれるんか、はたまた天才マンが発見してくれるんか…
616:132人目の素数さん
20/04/09 07:39:08.81 GKBpjcUD.net
この流れどうみてもScholze不利だな
望月大勝利へ
617:現代数学の系譜 雑談
20/04/09 07:54:22.97 peDzLyq8.net
>>572
次スレは、こっちが良いと思うよ
こちらの方が、番号が整合している
なお、基本 私は47、48には書かないよ
Inter-universal geometry と ABC 予想 48
スレリンク(math板)
618:132人目の素数さん
20/04/09 08:45:08.37 LCKjbVzj.net
>>574
「80%圧縮可能」
って言ってる人が
「理論の重要な部分は理解出来無い」
って認識に至っちゃってるみたいだから…
"大元理解"に至るのには必要なんじゃないかな
619:132人目の素数さん
20/04/09 08:48:01.25 l4jynVgA.net
「理解できない」というのは
「間違いを認めろ」をマイルドな表現にしただけだぞ
620:132人目の素数さん
20/04/09 08:52:44.50 nXqCLqL/.net
>>578
違うでしょう
間違いなら指摘出来ますよ
─間違いも見つけられず理解も出来ず─
誤りが無い可能性を残している
って事でしょ
621:132人目の素数さん
20/04/09 09:45:46.96 QURZzNgY.net
ショルツも若いうちからちやほやされて調子に乗っちゃったんだろうな~
622:現代数学の系譜 雑談
20/04/09 09:52:59.68 FoWtuM6e.net
>>565
>何だかショルツだかシュルツだかスクルツだかスクルゼだか分からんな
粋蕎さん、どうも
余談だが、私は ローマ字入力のブランドタッチなんで、ちょっとしたミスタッチと
いまどきのIMEは、過去入力の予測変換があったりしてね
それに、日本式発音により カタカナ表記の揺れとかも加わるし
ショルツだかシュルツだかに拘るなら、それこそ発音記号で書けってことになるけど
そこまで行くなら、アルファベット”Scholze”って話だけどね
アホが一匹いて、つまらんミスタッチや誤変換に拘る サルみたいなのがいるんだよねw(^^;
623:132人目の素数さん
20/04/09 10:13:14 WUUDtS3h.net
ショルツは京都で論破されたから嫉妬しているだけ。
肝の部分を簡略化しすぎて論理の飛躍で相手にされなかったのでは?
恐らくね。
論文と言わず最低でも公的な場での反論や書面を残さないと
延々と2ちゃんねるで荒らしするやつと一緒。
624:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 10:16:28 FoWtuM6e.net
>>574
粋蕎さん、どうも
>ショルツはショルツで簡略化過剰なんじゃろうけど
多分、ショルツは逆読みしているんだと思う
つまり、IUTを最初から読むのではなく
IUTを結論から、順に最初に戻るように読む
つまり、山の頂上から降りるみたいなもの
これは、(TARO-NISHINOの日記)>>1の中のショルツのインタビュー記事のどこかで読んだと思うが
ショルツが高校のときに、フェルマーの最終定理を解決したワイルズの論文を読むときに使った手法らしい
>其れに対してIUTT側は、どう考えとるんじゃろ?「此れ以上、要約化・簡略化してはいかん」か?なら
そうそう
それでね
すれ違いになっているみたい
ショルツ氏が逆順に読んで、山頂から命題3.12に来た時、これの証明が分からないとなったみたい
その後、2018年3月に、望月先生と集中討議して、平行線だったというのが顛末
で、問題は2020年4月3日の柏原先生と玉川先生同席の「IUT、OK! 査読通した」の記者会見
柏原先生と玉川先生の両先生、それに別にいる査読者複数人も、ショルツ氏の指摘とか全部知った上での
「IUT、OK! 査読通した」の結論のはず
さっぱり、辻褄が合わない状態が続いているのです
<これの私が考える唯一の可能な解釈>
・「IUT、OK! 査読通した」が正しくて
ショルツ先生の逆読み法とすれ違い
・ショルツ先生は、既存の圏論とか数論とか、自分の知識とは合わないで矛盾だという
一方、IUTは「既存の圏論とか数論とかとは違う理論で、これはこれで正しい」と、柏原先生と玉川先生の両先生、それに別にいる査読者複数人は、そう考えているってこと
なので、RIMSは査読を通したことの、プロ向けの説明責任を果たすべしだな(^^;
625:132人目の素数さん
20/04/09 10:25:48 Pdw5HYse.net
DupuyとJoshiの書き込みは、IUT側がなにを勘違いしているのかを教えてくれるから有益だね。
やはり望月がまともに説明をしなかったから問題点の把握が遅れただけにみえる。
626:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 10:34:44 FoWtuM6e.net
>>584
>DupuyとJoshiの書き込みは、IUT側がなにを勘違いしているのかを教えてくれるから有益だね。
>やはり望月がまともに説明をしなかったから問題点の把握が遅れただけにみえる。
ああ
そうかもね
(私は、あの議論をすぐにフォローできるほどのレベルではないのですが)
なので、繰り返しになりますが
RIMSがプレス発表(素人向け)をして手前、やはりプロ向けの情報発信いると思います
まあ「あのブログで、IUTの議論をつくすには余白が狭すぎる。今年予定の国際会議で議論しましょう」でもいいじゃない
なんか家!ってことですよね
627:132人目の素数さん
20/04/09 10:36:49 QURZzNgY.net
この人めっちゃ正論
これを読んでSSをはじめとしたアンチは反省するように
URLリンク(motls.blogspot.com)
628:132人目の素数さん
20/04/09 10:39:37 KpB3YpRL.net
DupuyもJoshiも望月と反論の仕方がおなじなんだよね。
具体例をあげずによくわからない抽象的な反論をしている。
だから自分たちでもなにを言っているのかよくわからなくなっている印象。
blogの中でふたりともScholzeたちの具体的な指摘に反論できてない。
629:132人目の素数さん
20/04/09 10:42:23 Gtu2eJqU.net
むしろフィールズ賞受賞・24歳で教授のスーパーマンだからこそ1000ページもの論文を
丹念に読み込むなんて地道な作業はできなかったんじゃ?想像だけど
630:132人目の素数さん
20/04/09 10:44:42 l4jynVgA.net
ショルツはIUTの論文が出てすぐ読み始めてる
弟子より読んでるかもしれん
631:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 10:45:00 FoWtuM6e.net
>>585
>なんか家!ってことですよね
黙っているのは最悪ですよ
話が飛ぶけど、下記Alexander Pruss 氏の
”Intuitively this seems a really dumb strategy. ”
で、”dumb”という単語は、”4((主に米略式))ばかな,まぬけな”という意味ですが
原義は、”1((やや古・時に軽蔑的))言語能力を失った,口のきけない(((PC))speech-impaired)”なのです
ディベートでも、反論しなければ、負けです
それが、欧米ルールです
日本式では、「言わないでも分かるだろ? 察してくれよ!」なのですが(^^;
(参考)
URLリンク(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
(抜粋)
answered Dec 11 '13 at 21:07
Alexander Pruss
Intuitively this seems a really dumb strategy.
URLリンク(dictionary.goo.ne.jp)
dumbの意味 - 小学館 プログレッシブ英和中辞�
632:T goo辞書 (抜粋) 1((やや古・時に軽蔑的))言語能力を失った,口のきけない(((PC))speech-impaired) dumb animals もの言えぬ動物たち 1a〔限定〕〈行為が〉言葉を伴わない,無言の;〈芝居が〉無言で演じられる,パントマイムの;〈ピアノなどが〉音の出ない 2〔叙述〕(驚き・恐怖・悲しみなどで)ものも言えない,唖然あぜんとした I was struck dumb by the news. その知らせに驚いてものも言えなかった 3押し黙っている;無口な 4((主に米略式))ばかな,まぬけな a dumb question 愚問
633:132人目の素数さん
20/04/09 10:52:42 MCw7THMn.net
理解したという弟子は誰もこの理論を使った論文を出すわけでも無く、総説論文書くわけでもなく、完全放置
どうしたいの?
634:132人目の素数さん
20/04/09 11:00:05 l4jynVgA.net
実際、自分のポストの世話までしてくれた研究者が
IUT的な論文を出しちゃった場合ってどう立ち回れば良いんだ?
しかも提出当初にはノリノリで乗っかってしまったとして。
635:132人目の素数さん
20/04/09 11:05:20.85 GKBpjcUD.net
弟子はサーベイも応用も論文書いてるよ
サーベイはGo以外にTanのもあるし、Lepageも書いてる
応用はJoshiやDupuy、あとFesenkoとPowloskiとMinamideとHoshiが共著書いてる
636:現代数学の系譜 雑談
20/04/09 11:05:49.52 FoWtuM6e.net
>>591
>理解したという弟子は誰もこの理論を使った論文を出すわけでも無く、総説論文書くわけでもなく、完全放置
>どうしたいの?
うーん、
1)まず、今年4回の国際会議予定あり は理解していますよね?
そこで、当然なにか出るでしょ (つーか、出なければ国際会議にならん)
2)”この理論を使った論文”の例では、南出先生のが予告されている
3)総説論文は、G先生のがある (どうも、推察fだがフェセンコ先生に酷評されて場外バトルになったらしい。望月先生のホームページにもこれは出ない。G先生のページにのみある)
4)星先生は、IUT入門とIUT入門続編を、RIMSの別冊として出版してもらっています
(IUT入門が日本語版なんだよね。「国際会議やるんだからさ、英訳しとけ!」って、だれか言ってやれよ、RIMSのエライ人)
なので、完全放置ではないですね
なお、上記に加えて、何回か海外のIUT国際会議があって、使徒として御大の代理でスピーカー役を務めています
(十分成功したとは言えないけれど)
637:現代数学の系譜 雑談
20/04/09 11:06:59.14 FoWtuM6e.net
>>593
完全同意 (>>594かぶった)
638:132人目の素数さん
20/04/09 11:18:37 CczNHcTy.net
>>592
ドリーニュみたいに師匠に尻尾を降ってひっそりヴェイユ予想みたいな予想を解決すればいいと思う
639:132人目の素数さん
20/04/09 11:20:49 Yp+xKmC5.net
とっくに終わったと思っていたよ
640:132人目の素数さん
20/04/09 11:41:24 mkLkRbPk.net
宇宙際タイヒミューラー理論の拡がり
URLリンク(www.kurims.kyoto-u.ac.jp)
Foundations and Perspectives of Anabelian Geometry
部屋:420号室 期間:2020-05-18〜2020-05-22
組織委員:Ivan Fesenko (英・ノッティンガム大学)
南出新(英・ノッティンガム大学)
譚福成(京都大学数理解析研究所)
641:132人目の素数さん
20/04/09 11:41:50 mkLkRbPk.net
↑
Foundations and perspectives of anabelian geometry, May 18-22 2020
URLリンク(www.maths.nottingham.ac.uk)
Organisers: Ivan Fesenko (Univ. Nottingham), Arata Minamide (RIMS), Fucheng Tan (RIMS)
This workshop
642: is one of four workshops of special RIMS year "Expanding Horizons of Inter-universal Teichmüller Theory". The workshop will review fundamental developments in anabelian geometry and report on numerous recent developments. Anabelian geometry, together with higher class field theory and Langlands correspondences, is one of three fundamental generalisations of class field theory. Invited speakers: Fedor Bogomolov (Courant Inst., NYU, USA), Kazumi Higashiyama (RIMS, Kyoto Univ., Japan), Yuichiro Hoshi (RIMS, Kyoto Univ., Japan), Kirti Joshi (Univ. Arizona, USA), Emmanuel Lepage (Sorbonne Univ., Paris, France), Arata Minamide (RIMS, Kyoto Univ., Japan), Shinichi Mochizuki (RIMS, Kyoto Univ., Japan), Takahiro Murotani (RIMS, Kyoto Univ., Japan), Hiroaki Nakamura (Osaka Univ., Japan), Wojciech Porowski (Univ. Nottingham, UK), Koichiro Sawada (RIMS, Kyoto Univ., Japan), Georgy Shabat (Moscow Univ., Russia), Akio Tamagawa (RIMS, Kyoto Univ., Japan), Shota Tsujimura (RIMS, Kyoto Univ., Japan), Yu Yang (RIMS, Kyoto Univ., Japan)
643:132人目の素数さん
20/04/09 11:41:58 mkLkRbPk.net
Confirmed participants include:
Denis Benois (Univ. Bordeaux, France),
James Borger (Australian Nation. Univ.),
Remy van Dobben de Bruyn (Univ. Princeton, USA),
Jakub Byszewski (Univ. Krakow, Poland),
Magnus Carlson (Hebrew Univ., Israel),
David Corwin (Univ. California Berkeley, USA),
Weronika Czerniawska (Univ. Geneve, Switzerland),
Daniele Di Tullio (Univ. Rome 3, Italy),
Paolo Dolce (Univ. Udine, Italy),
Taylor Dupuy (Univ. Vermont, USA),
Andrea Fanelli (Univ. Bordeaux, France),
Ivan Fesenko (Univ. Nottingham, UK),
Machiel van Frankenhuijsen (Utah Valley Univ., USA),
Sylvain Gaulhiac (Sorbonne Univ., France),
Thomas Geisser (Rikkyo Univ., Japan),
Nadav Gropper (Univ. Oxford, UK),
Anton Hilado (Univ. Vermont, USA),
Tim Holzschuh (RIMS, Kyoto Univ., Japan),
Zhi Hu (Univ. Mainz, Germany),
Su-ion Ih (Univ. Colorado, USA),
Ilia Itenberg (Sorbonne Univ., France),
Zhi Jiang (Fudan Univ., China),
Kirti Joshi (Univ. Arizona, USA),
Kiran Kedlaya (UCSD, USA),
Masato Kurihara (Keio Univ., Japan),
Qing Liu (Univ. Bordeaux, France),
Katharina Müller (Univ. Göttingen, Germany),
Shusuke Otabe (IPMU, Japan),
Yi Ouyang (USTC, China),
Hourong Qin (Nanjing Univ. China),
Mao Sheng (USTC, China),
Atsushi Shiho (Univ. Tokyo, Japan),
Ruiran Sun (Univ. Mainz, Germany),
Shenghao Sun (Tsinghua Univ., China),
Yuichiro Taguchi (Tokyo Inst. Technology, Japan),
Fucheng Tan (RIMS, Kyoto Univ., Japan),
Dajano Tossici (Univ. Bordeaux, France),
Jifu Xiao (Huazhong ST Univ., China),
Fei Xu (Capital Normal Univ., China)
644:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 11:45:11 FoWtuM6e.net
>>592
>IUT的な論文を出しちゃった場合ってどう立ち回れば良いんだ?
>しかも提出当初にはノリノリで乗っかってしまったとして。
「IUT的な論文」の評価で違うでしょ
1)「IUT的な論文」の評価:現時点ではRIMS内では 柏原先生と玉川先生とその他複数人がOKで、海外でも多くないが理解者いる。ショルツ先生たちは、反対らしいが
2)ことが数学なんだから、自分で判断しなさいよ。「IUT的な論文」の評価を
それできないなら、数学者辞めた方が良い
645:132人目の素数さん
20/04/09 11:50:59 GKBpjcUD.net
南出のはこれな
URLリンク(educ.titech.ac.jp)
東工大 数論・幾何学セミナー: 南出 新 氏
日程2018年11月02日(金)時間16:15~17:15場所本館2階H220セミナー室講師南出 新 氏(京都大学 数理研)
講演タイトル宇宙際タイヒミューラー理論における明示的評価について(in progress)
アブストラクト
今回の講演では、望月新一氏によって創始された、宇宙際タイヒミューラー 理論の最近の進展について報告する。
646:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 11:58:32 FoWtuM6e.net
>>602
そうそう、それです
で、その中身が下記で、多分これの論文版が今年の国際会議に合わせて出てくる予想をしています
URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
・南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライドを掲載
647:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 12:00:34 FoWtuM6e.net
>>596
>ドリーニュみたいに師匠に尻尾を降ってひっそりヴェイユ予想みたいな予想を解決すればいいと思う
うんうん
ドリーニュ先生は、師を超えたのでしょ
出藍の誉れです(^^;
648:132人目の素数さん
20/04/09 12:05:22 WLhXfZqD.net
参加者に山下Go!はいないのか
649:132人目の素数さん
20/04/09 12:05:45 WLhXfZqD.net
参加者に山下Go!はいないのか
650:132人目の素数さん
20/04/09 12:18:42.69 mkLkRbPk.net
ショルツが >>598 に来ればいいのにw
651:132人目の素数さん
20/04/09 12:28:03 GKBpjcUD.net
宇宙際サミットは延期になったよ
652:132人目の素数さん
20/04/09 12:35:47 mkLkRbPk.net
>>598
延期になりますた
URLリンク(www.kurims.kyoto-u.ac.jp)
653:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 13:00:25 FoWtuM6e.net
>>607
>ショルツが >>598 に来ればいいのにw
同意だが
その前に、RIMSが情報発信をすべき
国際会議が実りあるものになるということを示す情報発信を
ショルツの指摘に、真正面から回答をだすべき
読んでないとか、自明とか、もうその段階は過ぎたと思うよ
今年の国際会議を成功させて
春の学会か秋の学会のIUT受賞を狙う時期(本当にIUT成立なら受賞の価値があるはず)
そして、2022ICMのプログラムに入れてもらうべく動くべし
(参考)
URLリンク(www.mathunion.org)
ICM 2022
The International Congress of Mathematicians 2022 (ICM 2022) will be held in St Petersburg, Russia, 6 - 14 July 2022.
654:132人目の素数さん
20/04/09 13:28:43 6j3y5KzX.net
何で査読通る前に4つも国際会議計画してるんだよ
査読状況漏らしてるのか?
655:132人目の素数さん
20/04/09 14:17:07 mkLkRbPk.net
モッチーはとっくに反論済み。再反論してないのがショルツ。
掲載決まってからなぜかブログのコメント欄でしこしこ主張中
656:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 14:21:59 FoWtuM6e.net
>>612
ショルツは、再反論というより、woitに呼ばれたのか あるいは だれか知り合いに、woit見ろと言われたのかしらないが
見たらびっくり玉手箱、一言コメントをば ってことでしょ
で、ショルツ一人なら無視できるけど
woit読めば分かるように、ショルツさんの意見は多数派
というか、ショルツ先生の発言の影響力の大きさよ
これは無視できない、無視してはいけないのです
∵ ICM2022に影響するから
なので、RIMSはしっかり情報発信する必要があるのですね(^^
657:132人目の素数さん
20/04/09 14:25:26 mkLkRbPk.net
>>613
うんうん、わかったわかったw
ショルツがちゃんとオフィシャルに再反論するまで待とうか?w
再反論すれば前回同様、モッチーがそれへの反論とHPへのアップしてくれるよ
つ 2018年3月の議論
March 2018 Discussions on IUTeich
URLリンク(www.kurims.kyoto-u.ac.jp)
[SS2018-05], [SS2018-08]
URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.kurims.kyoto-u.ac.jp)
658:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 14:25:
659:35 ID:FoWtuM6e.net
660:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 14:33:18 FoWtuM6e.net
>>614
>ショルツがちゃんとオフィシャルに再反論するまで待とうか?w
>再反論すれば前回同様、モッチーがそれへの反論とHPへのアップしてくれるよ
それ面白いけど
ショルツ先生の脳内では、「IUTだめ」という結論だしたし、望月先生側の反論は反論になっていないので、いまのまま議論するのは時間の無駄ってことでしょ
では、なぜwoitブログの書き込みかというと
その理由も、woitブログにショルツ先生自身が書いているけど、RIMSのえら~い先生方が、IUT審査通したっていうから、「信じられな~い!」ということを
ディベート的には、何か言っておかないと、”Intuitively this seems a really dumb strategy. ”(>>590)
と思われても、いやだからってことでしょうね。言いたいこと言えば、あんまし woitブログに深入りするつもりないと
で、私は、RIMSの星先生辺りが、woitブログで
「ショルツ先生、今年国際会議があるので、それ終わったら、その成果をご説明に上がりたい。あるいは、京都でまた議論したい」とか言って欲しいね~!(^^;
661:132人目の素数さん
20/04/09 14:40:58 mkLkRbPk.net
>>616
>ショルツ先生の脳内では、「IUTだめ」という結論だしたし、望月先生側の反論は反論になっていないので
玉川教授
「望月教授自身が反論もしており、(ショルツ教授からの)再反論もない」
ダメとか反論がどうのとか四の五の言わずに、再反論のpdfをショルツもネットに上げて
公開すればいいだけなのに・・・ 時間の無駄だなぁ
662:132人目の素数さん
20/04/09 14:41:57 QURZzNgY.net
>>617
それは全くその通り
ショルツの言う事は筋が通ってない
663:132人目の素数さん
20/04/09 14:42:28 mkLkRbPk.net
ショルツがここまでこじれてる原因が逆に知りたいわ
京都のワンウィークで何があったんだろう?
664:132人目の素数さん
20/04/09 14:44:47 mkLkRbPk.net
ショルツの「心の一票」ってブログつくって、そこに再反論pdfをアップするだけの
簡単なことじゃまいか
665:粋蕎 ◆C2UdlLHDRI
20/04/09 14:48:48 VSYaPguG.net
>>581
実は思い当たる節が有る
>>583
結論先行読みかー。Hackenbushとか理解できなくなるじゃろうにな
まぁ流石Hackenbushは理解してるじゃろうし話題違いじゃが
>>584-585
やはり重複要因か
ショルツネッガーの簡略化過剰解釈、IUTT万歳派の理解未完、餅突き教祖の舌足らず。こりゃあ
アインシュタインやゲーデルら天才役とは対のボーアやヒルベルトみたいな舵取りリーダー役が足りん?
666:132人目の素数さん
20/04/09 14:52:01 mkLkRbPk.net
ぶっちゃけいろんな背景が絡まってどっちもこじらせてる感じはあるんだよねw
当人同士の対面の討論番組つくって、別室で数学者たちが一般向けに解説する
そんな動画があれば10万払っても観てみたいわw
667:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 14:53:04 FoWtuM6e.net
>>620
>ショルツの「心の一票」ってブログつくって、そこに再反論pdfをアップするだけの
>簡単なことじゃまいか
ワロタ
けど、ショルツ先生には、そこまで面倒見る気ないのよ
「おれ、フィールズ賞もらったし、IUTなんてどうなろうと自分の義務の範囲外」でしょ
だけど、IUT側にしてみたら、今年の国際会議を成功させて
繰り返すけど、春か秋の日本の数学会の賞を取って、ICM2022で取り上げてもらって・・というのが最良戦略
で、それに向けて、情報発信することが、結局ショルツ先生の説得にも役立つし
RIMS自身のためでもあるのよ
668:132人目の素数さん
20/04/09 14:55:17 gp9MaIzb.net
これでIUT正しかったらショルツ先生バカみたいやん
いかんでしょ
669:粋蕎 ◆C2UdlLHDRI
20/04/09 15:12:34 VSYaPguG.net
仁義なき戦い状況仮説一覧
1説. 任侠団体
670:ショルツェ一家による簡略化過剰[oversimplification]解釈状態 2説. IUT組長の舌足らず&構成員と関連団体の理解未完無自覚による上から下まで察してちゃん状態 3説. 両説重複状態 4説. 両説依然欠陥状態 5説. IUT支持組織後戻り可能威信維持余地喪失 6説. ショルちゃん高く掲げた拳の降ろし所喪失状態 7説. 両説別個独立 8説. IUT-ZFC別個独立 9説. 成果無力化改善奪取陰謀論 収拾がつくわけが無い。 10説. 取り敢えず KingOfUniverse ◆667la1PjK2 の所為にして和解すれば丸く収まる
671:132人目の素数さん
20/04/09 15:25:04.18 mkLkRbPk.net
>>623
神輿担いでるRIMSの情報発信は当然だが弟子の布教活動も弱い印象は否めないなぁ
672:132人目の素数さん
20/04/09 15:30:54.02 Q/wqau9+.net
何度もいいますが、遠アーベル幾何学を専門とする伊原グループとその弟子、玉川、加藤Kの弟子。すべて今回のショルツの指摘は、根本的な理解不足によるものという結論だから。
事実は、ここで妄想批判どれだけしようが変えられないよ。
673:132人目の素数さん
20/04/09 15:31:31.13 mkLkRbPk.net
>>627
その結論を懇切丁寧にショルツ君に「君のここが根本的に理解不足なんやで?」
ってみんなで教えてあげるのがこのブラックホール状態の解決になるのでは?
相手がフィールズメダル持ってようがそれくらいやってあげるべき
674:132人目の素数さん
20/04/09 15:32:23.04 mkLkRbPk.net
モッチーが語り手、ガッキーが聞き手、そんな番組を作ればいいんだよクソNHK
675:132人目の素数さん
20/04/09 16:01:31 PgxQ6+l6.net
Stixはノーコメントなのだね。
676:132人目の素数さん
20/04/09 16:02:23 YVkB65QY.net
学術の巨大掲示板群 - アルファ・ラボ
URLリンク(x0000.net)<)
677:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 16:06:35 FoWtuM6e.net
>>627-628
同意
つーか、だれか上の方で
標準の圏論での話なら、ショルツが正しいが
IUTでは違うみたいな話を書いていたでしょ
圏論は全く詳しくないので、外しているかも知れないが
・IUT流圏論の理論を本一冊かくくらいで出して
・そこで、「IUT流圏論と標準の圏論とはこうちがう」みたいな理論展開がいる気がする
・たしか、ヴェルディエの導来圏がそんな話でしょ
・望月先生のIUTを、望月圏みたいな圏論にまとめるのどうよ? ヴェルディエに相当する弟子おらんの?
(参考)
URLリンク(ja.wikipedia.org)
導来圏
(抜粋)
導来圏の発展は、アレクサンドル・グロタンディークと彼の学生のジャン・ルイ・ヴェルディエ(英語版)により1960年代初頭になされ、ホモロジー代数が長足の進歩を遂げた1950年代における爆発的な展開の一つの到達点であると現在ではみなされている。
ヴェルディエによる理論の基本部分は博士論文に纏められたが、1996年になってようやくAsterisque(要約はずっと早くにSGA 4?(英語版)に収録されていた)に出版された[1]。
その定式化には革新的な発想である三角圏(英語版)の概念が必要であり、その構成は環の�
678:ヌ所化を一般化した圏の局所化(英語版)に基づく。
679:132人目の素数さん
20/04/09 16:11:18 mkLkRbPk.net
>>630
モッチーの反論で納得したのかどうなんだろうね? 沈黙もまた答えではあるけど
680:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 16:15:47 FoWtuM6e.net
>>624
>これでIUT正しかったらショルツ先生バカみたいやん
>いかんでしょ
・「いかん」ことはないでしょ
・つーか、ショルツ先生は真摯で真面目な性格で、純数学者ぽい人で、「IUTが正しいなら、それでOKだ」と言ってもらえるでしょ
・でも、現時点では「おれを納得させる説明がないぞ」ってこと
・それで、困るのはRIMS側でしょ?
・ショルツ先生に対する欧米の信頼度抜群だから、RIMSのプレス発表白眼視されている現状と思うよ
・それを解消する努力は、RIMS側がすべき
・その努力は決して無駄にはならないと思う
681:現代数学の系譜 雑談
20/04/09 16:17:33.57 FoWtuM6e.net
>>633
>モッチーの反論で納得したのかどうなんだろうね? 沈黙もまた答えではあるけど
woitブログのショルツ先生の書き込みを見ると
納得していないし
「あんな反論、相手にするだけ時間の無駄」という雰囲気に読んだけど
どう?
682:現代数学の系譜 雑談
20/04/09 16:20:10.17 FoWtuM6e.net
>>635
>納得していないし
>「あんな反論、相手にするだけ時間の無駄」という雰囲気に読んだけど
補足すれば
「反論すれば、また相手の反論が来て、無限ループじゃんか!?」
と思っているんじゃない?
おれ、そんなヒマじゃないぞ
ってこと でしょ
683:132人目の素数さん
20/04/09 16:20:47.75 mkLkRbPk.net
natureや欧米メディアはショルツの懐疑的態度を記事の最後に必ず持ってきてるからな
684:132人目の素数さん
20/04/09 16:24:56 mkLkRbPk.net
>>635
ブログのコメントで主張しちゃってる時点でちょっとどうなのってのはあるね
>>636
反論と再反論を繰り返して答えににじり寄るのが学者のあるべき姿勢じゃないかな
685:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 16:41:46 FoWtuM6e.net
>>637
>natureや欧米メディアはショルツの懐疑的態度を記事の最後に必ず持ってきてるからな
それはしようがないよね
日本でも、ノーベル賞もらう後と前とでは、マスコミの扱いも一般大衆の受けも、全く違うんだもの
>反論と再反論を繰り返して答えににじり寄るのが学者のあるべき姿勢じゃないかな
数学はディベートそのものではない
ディベート的要素はあるけどね
で、望月先生とか教授クラスは、学会賞なんてどうでも良いだろうが
若い人はね
履歴書に「IUTの研究で論文書きました」ってあって
海外にいくと「IUT? ショルツ先生がくそみそに行っているあれか? あ、ショルツ先生以外もみんなくそみそだよ」
といわれるか
あるいは
「IUT? ショルツ先生が賞賛していたあのテーマか!」
と言われるか
これは、大きな違いでしょ(^^
いや、ショルツ先生が一人だけ頑固で、他皆海外でも認めてもらえるなら、それでいいけど
いま、そうではないから、大問題だと思うよ
なので、今年のIUT関連の国際会議は注目していますよ
686:132人目の素数さん
20/04/09 16:47:21 mkLkRbPk.net
>>639
国際会議でもっと多くの数学者が関わり
モッチーの表現するところの悲惨なブラックホール状態が解消されれば
それが一番いいねー ショルツも当然参加するだろうし
687:132人目の素数さん
20/04/09 17:21:07 Hg/73Uw/.net
>>591
出してるが?
688:132人目の素数さん
20/04/09 17:22:22 mkLkRbPk.net
なまじ整数論が専門ゆえに旧来の捉え方しかできずIUTの本質を見誤ること
IUTの以後の世では初心者が陥りがちなミスとして
それを「ショルツの躓き」と呼ぶことになるかも
689:132人目の素数さん
20/04/09 18:06:05 x1ev/NgO.net
>>641
アンチのデマは酷いね
恥ずかしい
690:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/09 18:23:23 FoWtuM6e.net
>>640
>それが一番いいねー ショルツも当然参加するだろうし
ショルツ氏は来ないでしょ
つーか、いまのところ、リストにないし
Stixさんは、入っていたけど、新型コロナ騒動の前に、キャンセルになっているし
>>642
>それを「ショルツの躓き」と呼ぶことになるかも
それはないでしょ
説明・説得できないIUT側が悪いと思うよ
説明責任を果たしなさい!!(^^;
691:132人目の素数さん
20/04/09 18:26:30 mkLkRbPk.net
>>644
説明責任というなら、再反論してないのはショルツだし
そりゃ折伏するのは戦略的に政治的意味合いはあるだろうけど
要求水準に達してない理解度のフェイールズ賞受賞者に拘る価値がどれだけあるのかと
掲載決まっちゃったしね