[過去ログ]
Interーuniversal geometryとABC予想(応用スレ)51 (1002レス)
Interーuniversal geometryとABC予想(応用スレ)51 http://rio2016.5ch.net/test/read.cgi/math/1610452199/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
667: 132人目の素数さん [] 2021/02/18(木) 10:05:10.03 ID:qnnVeZy1 >>665 >ごめん、 >キチガイ理論のスレだった。 パチパチパチ 同意です また〜りしていってね http://rio2016.5ch.net/test/read.cgi/math/1610452199/667
668: 132人目の素数さん [] 2021/02/18(木) 10:10:22.20 ID:qnnVeZy1 >>659-660 (引用開始) 2.ホモロジーS^3球面(S^3とホモロジーが同じだが同相でない3次元多様体) の多さを示すホモロジー同境群が有限生成でない(つまり生成元が無限個) ちなみに1は外国人の成果だけど、2は日本人の成果(古田幹雄氏) (引用終り) おう そういえば、あったね 前世紀のおわりから21世紀の初めだったかな? >しかもどっちもゲージ理論で証明・・・わけわかんねぇ・・・OTL 不思議だけど、超弦理論からみとか、物理と数学の交流というか そういう事例の一つとみれば、結構普遍的にあるんじゃない? ニュートンの昔から http://rio2016.5ch.net/test/read.cgi/math/1610452199/668
669: 132人目の素数さん [sage] 2021/02/18(木) 10:13:11.86 ID:yMZvubyN >>655 >> 数学じゃないのかい? まさか数学の証明を証明プログラミング言語で可能なことや、かつ海の向こうでいくつもプロジェクト始めているされていること知らんはずはないよな? 老害も程々にしてくれ。 (紙と鉛筆は重要だという点に同意するが、実際ましんの設計にいる。それに固執した論点ずらしのないように) http://rio2016.5ch.net/test/read.cgi/math/1610452199/669
670: 132人目の素数さん [] 2021/02/18(木) 10:20:03.73 ID:NzeyxT1l >>636 確かに1000p以上あるが、ショルツはそれを読み、Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘してる その上で、Cor3.12のProofを読み、途中からついていけなくなったと述べている 分からない相手が悪いんだという風潮が(数学に限らず)一般的にあるが、証明というのはよほど細分化しない限り絶対に詳述できる だから相手が勘違いしてようが見落としてようが理解者はCor3.12の証明をより詳しく書けばいいだけ もちろんショルツが掲げた「Cor 3.12は成り立たないだろう」という予想自体は思い込みに過ぎない可能性があるが、 別にショルツの予想が疑わしいからといってIUTが成立することにはならず、依然としてこのレスの第一段落の問題が残る http://rio2016.5ch.net/test/read.cgi/math/1610452199/670
671: 132人目の素数さん [] 2021/02/18(木) 10:57:54.90 ID:qnnVeZy1 >>666 訂正と補足 維新さんの疑問は、ある一つの仮定を置けば全文解決するよ 「望月とショルツ氏との対立では、ショルツ氏の勘違いで望月が正しい」 これで、査読の問題から、Dupuy氏、Promenade in Inter-Universal Teichmuller Theory(含む Lille) ↓ 維新さんの疑問は、ある一つの仮定を置けば全部解決するよ 「望月とショルツ氏との対立では、ショルツ氏の勘違いで望月が正しい」 これで、査読の問題から、Dupuy氏、Promenade in Inter-Universal Teichmuller Theory(含む Lille)まで全部解決する (^^; http://rio2016.5ch.net/test/read.cgi/math/1610452199/671
672: 132人目の素数さん [] 2021/02/18(木) 11:09:07.15 ID:qnnVeZy1 >>670 >確かに1000p以上あるが、ショルツはそれを読み、Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘してる >その上で、Cor3.12のProofを読み、途中からついていけなくなったと述べている その話、どっかのインタビュー記事だったよね 「2018年3月、数理研で行なわれたIUTeichに関する議論」以前の話だったよね で、下記URL内のSS文書が出たけど、SS文書には(公式には) 「Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘」は、書かれてない でな、”Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく”というところが、天才だが優等生のS氏の早とちりじゃね? そもそもが、”そこまでは自明な結果しかなく”というのを、「なんで、数百ページも、何年もかけて書く」? 書き手は、非自明だと思っているはずだろ? そっから、ボタンの掛け違いだと思うぜ (参考) http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html 2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 (および関連文書) http://rio2016.5ch.net/test/read.cgi/math/1610452199/672
673: 132人目の素数さん [] 2021/02/18(木) 11:23:34.31 ID:NzeyxT1l >>672 >その話、どっかのインタビュー記事だったよね 「2018年3月、数理研で行なわれたIUTeichに関する議論」以前の話だったよね それだけの時間をかけても、誰もCor 3.12の証明を追記できなかったということだな そして証明が変わってないのだから、理解できないことも変わらない >ボタンの掛け違いだと思うぜ 自明か否かの掛け違いは論点ではない Cor 3.12の証明の論理的な飛躍が指摘されているのに誰も埋められない、これが全て http://rio2016.5ch.net/test/read.cgi/math/1610452199/673
674: 132人目の素数さん [sage] 2021/02/18(木) 11:37:16.41 ID:NXEXMBAA ショルツがギャップを指摘しても受け入れられないんじゃ もう誰が言っても受け入れられないんじゃないの http://rio2016.5ch.net/test/read.cgi/math/1610452199/674
675: 132人目の素数さん [] 2021/02/18(木) 14:44:23.44 ID:qnnVeZy1 >>673 >それだけの時間をかけても、誰もCor 3.12の証明を追記できなかったということだな Cor 3.12の証明は、大幅にリバイズされているよ ファイルの変更履歴を見てください。確か、A4で1頁くらい増えたと思うよ >そして証明が変わってないのだから、理解できないことも変わらない 証明の本質は変わってないだろうが、分かり易くしたらしい 加藤文元先生が、IUTの証明はだいぶ分かり易くなったとか、どこかで発言していたよ >Cor 3.12の証明の論理的な飛躍が指摘されているのに誰も埋められない、これが全て 「論理的な飛躍が指摘されている」の部分が、違うよ ショルツ氏の指摘は、「IUTで、こういうモノドロミーを考えると、矛盾が起きる」という指摘だよね で、Dupuy氏の見解は、「そのモノドロミー(の反例?)は、IUTとは関係ない」という説明です(彼のwoitブログ発言、及びarXive投稿論文) 望月先生「根本的に、学部生か院生なみの勘違いがある」という説明です (>>672再録) http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html 2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 (および関連文書) http://www.kurims.kyoto-u.ac.jp/~motizuki/protectedpdf-2018-08/SS2018-08.pdf Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX Date: August 23, 2018. P10 Thus, Mochizuki wanted to introduce scalars of j2 somewhere on the left part of this diagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of the diagram alone, which arguably can be overcome by using averages). However, it is clear that this will result in the whole diagram having monodromy j2, i.e., being inconsistent. The conclusion of this discussion is that with consistent identifications of copies of real numbers, one must in (1.5) omit the scalars j2 that appear, which leads to an empty inequality. http://rio2016.5ch.net/test/read.cgi/math/1610452199/675
676: 132人目の素数さん [] 2021/02/18(木) 14:49:55.00 ID:qnnVeZy1 >>674 >ショルツがギャップを指摘しても受け入れられないんじゃ >もう誰が言っても受け入れられないんじゃないの 場合分けをすると 1)ショルツのギャップ指摘がハズレの場合:望月が正しいので、受け入れるもクソもないよね 2)ショルツのギャップ指摘がアタリの場合:この場合のみ、「ギャップを指摘しても受け入れられない」(受け入れない)と言えるけど、それだと「査読でOK」の説明がつかないよ。SSとの論争のあと、本来終わっている査読を2年延長してやり直して「査読OK」としたのだから 話は逆で、ショルツ氏は思い込みが激しくて、Dupuy氏の話を聞こうとしなかった、woitブログの論争でね http://rio2016.5ch.net/test/read.cgi/math/1610452199/676
677: 132人目の素数さん [] 2021/02/18(木) 14:55:32.48 ID:NzeyxT1l >>675 言い方が悪かった、ごめん 確かにショルツが初めてCor 3.12の証明を指摘してからは若干追記されてるが、査読が終わりブログで取り上げられた2020年4月ごろにショルツがまだ証明されたと思っていないと明言してから追記されていない >ショルツ氏の指摘は、「IUTで、こういうモノドロミーを考えると、矛盾が起きる」という指摘だよね その前にまずCor 3.12が証明されてないという指摘があって、 その上でCor 3.12は成り立たないだろうと指摘してる http://rio2016.5ch.net/test/read.cgi/math/1610452199/677
678: 132人目の素数さん [] 2021/02/18(木) 15:06:30.33 ID:qnnVeZy1 >>676 余談だけど、Promenade in Inter-Universal Teichmuller Theory(含む Lille)(>>3) が始まった時点で、プロ的には大勢は決したってことじゃね? Promenade in Inter-Universal Teichmuller Theoryに集う30数名の数学者たち プロなら、顔見知りも多いだろう そういう人たちが、実名出して「Inter-Universal Teichmuller Theory」に集う 「IUTって、そういう理論だったんだぁ〜!」と思うだろうよ プロ的には大勢は決したってことじゃね? http://rio2016.5ch.net/test/read.cgi/math/1610452199/678
679: 132人目の素数さん [] 2021/02/18(木) 15:25:43.14 ID:qnnVeZy1 >>677 うーん、あなたは誠実だね >確かにショルツが初めてCor 3.12の証明を指摘してからは若干追記されてるが、査読が終わりブログで取り上げられた2020年4月ごろにショルツがまだ証明されたと思っていないと明言してから追記されていない 細かくフォローできていないが、それ昨年4月の査読完了のプレス発表を受けて、woitブログにショルツ氏が登場したときだよね で、彼はIUT論文の改訂など細かい話には、首を突っ込んでいないみたいだよ >その前にまずCor 3.12が証明されてないという指摘があって、 >その上でCor 3.12は成り立たないだろうと指摘してる その話は、woitブログでの最後、Dupuy氏に対するコメントで分かるけど ”Cor 3.12が証明されてない”と”Cor 3.12は成り立たないだろう”とは、表裏一体と見ました (参考) https://www.math.columbia.edu/~woit/wordpress/?p=11709 Not Even Wrong Latest on abc April 3, 2020 by woit Peter Scholze April 30, 2020 Dear Taylor, 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: Isomorphisms do not preserve nearly as much structure as you would expect them to, and this is by design as Mochizuki points out. 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 https://en.wikipedia.org/wiki/Interpretation_(model_theory) you linked to, nor the topos-theoretic framework of Caramello. (Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set. 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.) つづく http://rio2016.5ch.net/test/read.cgi/math/1610452199/679
680: 132人目の素数さん [] 2021/02/18(木) 15:26:38.29 ID:qnnVeZy1 >>679 つづき However, these long discussions are all about interpretations. Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above. Best wishes! Peter Peter Scholze says: May 1, 2020 at 4:42 pm Dear Taylor, thanks for your further comments. I think W said it all. Let me just make the following clarification regarding (1). 略 Actually, in the context of the current thread, it would have been a good question whether, given that a Hodge theater is a collection of certain topological groups isomorphic to ’s for certain different ’s, plus other data, with lots of relations, can you actually interpret all those things as some convenient structure on the side of schemes again? This is not a priori clear, and Mochizuki’s central claim is that by passing to ’s, he can do interesting new things. So he cooks up a Hodge theater. And … you can beautifully interpret it in good old schemes, it “is” just a curve over your original number field . The same happens for everything else I’ve seen in IUT or your comments. I’m happy to continue any further discussions by e-mail. Best wishes! Peter http://rio2016.5ch.net/test/read.cgi/math/1610452199/680
681: 132人目の素数さん [] 2021/02/18(木) 16:05:57.18 ID:NzeyxT1l >>679 ネットですぐ見られるからわざわざ言わないだけ もし仮に見てなかったとしても、その改訂版証明がクリティカルなものなら、このブログの議論で知らないことを即ツッコまれる このコメントの議論を読んでも、Cor 3.12が証明できないと明言していたりブラックボックスとして扱っていたりと、別にCor 3.12の証明の要請はショルツだけではないんだよね にも関わらず理解者の人たちは誰も補強しようとはしないという http://rio2016.5ch.net/test/read.cgi/math/1610452199/681
682: 132人目の素数さん [] 2021/02/18(木) 16:22:28.11 ID:qnnVeZy1 >>679-680 >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: Isomorphisms do not preserve nearly as much structure as you would expect them to, and this is by design as Mochizuki points out. 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 https://en.wikipedia.org/wiki/Interpretation_(model_theory) you linked to, nor the topos-theoretic framework of Caramello. (Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set. 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.) >However, these long discussions are all about interpretations. Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above. これ読むと、 IUTは難しいこと一杯書いてあって、その解釈も難しい ”some extremely difficult notion of a Hodge theate”とか、「あれあれ??」ってこと書いてあるよね でも、要するに、「おれ(ショルツ氏)は、主張を変えないよ!」ってことでしょ で、”The same happens for everything else I’ve seen in IUT or your comments. I’m happy to continue any further discussions by e-mail.” だって。ショルツ氏から議論を打ち切ったから、もうショルツ氏は良いんじゃない? http://rio2016.5ch.net/test/read.cgi/math/1610452199/682
683: 132人目の素数さん [] 2021/02/18(木) 16:26:55.99 ID:qnnVeZy1 >>681 >このコメントの議論を読んでも、Cor 3.12が証明できないと明言していたりブラックボックスとして扱っていたりと、別にCor 3.12の証明の要請はショルツだけではないんだよね >にも関わらず理解者の人たちは誰も補強しようとはしないという ?? それを補強するのが、>>3の Promenade in Inter-Universal Teichmuller Theory であり、 今年予定の4回の国際会議でしょ? そう慌てずに、しばし待て 今年中には、はっきりするんじゃないですか? IUTに対するプロ数学者たちの意見はどうかが http://rio2016.5ch.net/test/read.cgi/math/1610452199/683
684: 132人目の素数さん [] 2021/02/18(木) 16:30:13.75 ID:NzeyxT1l >>682 読めば書いてあるけどホッジ劇場を数学的に解釈するのが困難だという話 デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないっていうことだろう http://rio2016.5ch.net/test/read.cgi/math/1610452199/684
685: 132人目の素数さん [] 2021/02/18(木) 16:32:55.64 ID:NzeyxT1l デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないって説明してるということだろう >>683 つまり現時点ではCor 3.12は証明されておらずCorではなく予想だが、この会議で証明する予定ということ? http://rio2016.5ch.net/test/read.cgi/math/1610452199/685
686: 132人目の素数さん [sage] 2021/02/18(木) 17:23:49.62 ID:0gqsRm7v 野次馬から見たIUT騒動 ・「お勉強」がめちゃくちゃ得意な人が、IUTは正しいとお墨付きを与えている。 その人の経歴から言って、その人が正しいと言うなら実際に正しそうな気がする。 ・「お勉強」がめちゃくちゃ得意な別の人(名前は書かないが、ショルツのことを指してるわけではない)が、 IUTは正しくないと切り捨てている。その人の経歴から言って、 その人が間違いと言うなら実際に間違ってそうな気がする。 ・ 基礎論に近い立場の人はだいたいIUTに怪訝な顔をしているように見える。 ・ ショルツは否定派。 ・ だがIUTの査読結果はアクセプト。 ・ どちらが正しいのか全く分からない。 http://rio2016.5ch.net/test/read.cgi/math/1610452199/686
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 316 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s