[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
666(2): 2021/02/18(木)10:03 ID:qnnVeZy1(1/14) AAS
>>644
(引用開始)
＞Cor3.12の証明がない？ だったら、なんで査読が通ったの
それはこっちが聞きたいよ
Cor3.12の証明が、同業者に理解されない？ だったら、なんで査読が通ったの
やっぱり編集長権限？
・
・
＞Lille大の人たち、>>3 Debes, Fresse (Lille)たちはわかってんだろうよ
わかってないよ
省15
667: 2021/02/18(木)10:05 ID:qnnVeZy1(2/14) AAS
>>665
＞ごめん、
＞キチガイ理論のスレだった。
パチパチパチ
同意です
また〜りしていってね
668(1): 2021/02/18(木)10:10 ID:qnnVeZy1(3/14) AAS
>>659-660
(引用開始)
２．ホモロジーS^3球面（S^3とホモロジーが同じだが同相でない3次元多様体）
の多さを示すホモロジー同境群が有限生成でない（つまり生成元が無限個）
ちなみに１は外国人の成果だけど、２は日本人の成果（古田幹雄氏）
(引用終り)
おう
そういえば、あったね
前世紀のおわりから21世紀の初めだったかな？
＞しかもどっちもゲージ理論で証明・・・わけわかんねぇ・・・ＯＴＬ
省3
671: 2021/02/18(木)10:57 ID:qnnVeZy1(4/14) AAS
>>666 訂正と補足
維新さんの疑問は、ある一つの仮定を置けば全文解決するよ
「望月とショルツ氏との対立では、ショルツ氏の勘違いで望月が正しい」
これで、査読の問題から、Dupuy氏、Promenade in Inter-Universal Teichmuller Theory（含む Lille）
↓
維新さんの疑問は、ある一つの仮定を置けば全部解決するよ
「望月とショルツ氏との対立では、ショルツ氏の勘違いで望月が正しい」
これで、査読の問題から、Dupuy氏、Promenade in Inter-Universal Teichmuller Theory（含む Lille）まで全部解決する
（＾＾；
672(2): 2021/02/18(木)11:09 ID:qnnVeZy1(5/14) AAS
>>670
>確かに1000p以上あるが、ショルツはそれを読み、Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘してる
>その上で、Cor3.12のProofを読み、途中からついていけなくなったと述べている
その話、どっかのインタビュー記事だったよね
「2018年3月、数理研で行なわれたIUTeichに関する議論」以前の話だったよね
で、下記URL内のSS文書が出たけど、SS文書には（公式には）
「Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘」は、書かれてない
でな、”Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく”というところが、天才だが優等生のS氏の早とちりじゃね？
そもそもが、”そこまでは自明な結果しかなく”というのを、「なんで、数百ページも、何年もかけて書く」？ 書き手は、非自明だと思っているはずだろ？
そっから、ボタンの掛け違いだと思うぜ
省3
675(1): 2021/02/18(木)14:44 ID:qnnVeZy1(6/14) AAS
>>673
>それだけの時間をかけても、誰もCor 3.12の証明を追記できなかったということだな
Cor 3.12の証明は、大幅にリバイズされているよ
ファイルの変更履歴を見てください。確か、A4で１頁くらい増えたと思うよ
＞そして証明が変わってないのだから、理解できないことも変わらない
証明の本質は変わってないだろうが、分かり易くしたらしい
加藤文元先生が、IUTの証明はだいぶ分かり易くなったとか、どこかで発言していたよ
＞Cor 3.12の証明の論理的な飛躍が指摘されているのに誰も埋められない、これが全て
省16
676(1): 2021/02/18(木)14:49 ID:qnnVeZy1(7/14) AAS
>>674
＞ショルツがギャップを指摘しても受け入れられないんじゃ
＞もう誰が言っても受け入れられないんじゃないの
場合分けをすると
１）ショルツのギャップ指摘がハズレの場合：望月が正しいので、受け入れるもクソもないよね
２）ショルツのギャップ指摘がアタリの場合：この場合のみ、「ギャップを指摘しても受け入れられない」（受け入れない）と言えるけど、それだと「査読でOK」の説明がつかないよ。SSとの論争のあと、本来終わっている査読を２年延長してやり直して「査読OK」としたのだから
話は逆で、ショルツ氏は思い込みが激しくて、Dupuy氏の話を聞こうとしなかった、woitブログの論争でね
678: 2021/02/18(木)15:06 ID:qnnVeZy1(8/14) AAS
>>676
余談だけど、Promenade in Inter-Universal Teichmuller Theory（含む Lille）（>>3）
が始まった時点で、プロ的には大勢は決したってことじゃね？
Promenade in Inter-Universal Teichmuller Theoryに集う30数名の数学者たち
プロなら、顔見知りも多いだろう
そういう人たちが、実名出して「Inter-Universal Teichmuller Theory」に集う
「IUTって、そういう理論だったんだぁ〜！」と思うだろうよ
プロ的には大勢は決したってことじゃね？
679(3): 2021/02/18(木)15:25 ID:qnnVeZy1(9/14) AAS
>>677
うーん、あなたは誠実だね
＞確かにショルツが初めてCor 3.12の証明を指摘してからは若干追記されてるが、査読が終わりブログで取り上げられた2020年4月ごろにショルツがまだ証明されたと思っていないと明言してから追記されていない
細かくフォローできていないが、それ昨年4月の査読完了のプレス発表を受けて、woitブログにショルツ氏が登場したときだよね
で、彼はIUT論文の改訂など細かい話には、首を突っ込んでいないみたいだよ
>その前にまずCor 3.12が証明されてないという指摘があって、
>その上でCor 3.12は成り立たないだろうと指摘してる
その話は、woitブログでの最後、Dupuy氏に対するコメントで分かるけど
”Cor 3.12が証明されてない”と”Cor 3.12は成り立たないだろう”とは、表裏一体と見ました
省7
680(1): 2021/02/18(木)15:26 ID:qnnVeZy1(10/14) AAS
>>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).
省8
682(1): 2021/02/18(木)16:22 ID:qnnVeZy1(11/14) AAS
>>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 外部ﾘﾝｸ:en.wikipedia.org 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.”
だって。ショルツ氏から議論を打ち切ったから、もうショルツ氏は良いんじゃない？
683(1): 2021/02/18(木)16:26 ID:qnnVeZy1(12/14) AAS
>>681
＞このコメントの議論を読んでも、Cor 3.12が証明できないと明言していたりブラックボックスとして扱っていたりと、別にCor 3.12の証明の要請はショルツだけではないんだよね
＞にも関わらず理解者の人たちは誰も補強しようとはしないという
？？
それを補強するのが、>>3の Promenade in Inter-Universal Teichmuller Theory
であり、
今年予定の４回の国際会議でしょ？
そう慌てずに、しばし待て
今年中には、はっきりするんじゃないですか？
IUTに対するプロ数学者たちの意見はどうかが
688(1): 2021/02/18(木)18:05 ID:qnnVeZy1(13/14) AAS
>>684-685
>読めば書いてあるけどホッジ劇場を数学的に解釈するのが困難だという話
>デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないっていうことだろう
>つまり現時点ではCor 3.12は証明されておらずCorではなく予想だが、この会議で証明する予定ということ？
論点ずれているよね
つまり
１．最初ショルツ氏は、Cor3.12までは自明だと言った（らしい）
だが、ホッジ劇場は、Cor3.12よりずっと前に出ている概念だよね。確か、IUT論文の Iあたりだったろう
２．Cor3.12までは自明だと言っておきながら、いまさら「ホッジ劇場を数学的に解釈するのが困難」とか
Dupuy氏との議論で言い逃れでしょ
省9
689: 2021/02/18(木)18:17 ID:qnnVeZy1(14/14) AAS
>>686-687
どうもありがとう
>・「お勉強」がめちゃくちゃ得意な人が、IUTは正しいとお墨付きを与えている。
> その人の経歴から言って、その人が正しいと言うなら実際に正しそうな気がする。
イニシャル、G、H、Mですね（全員日本人）
記者会見での、TやKもいる
>・「お勉強」がめちゃくちゃ得意な別の人(名前は書かないが、ショルツのことを指してるわけではない)が、
> IUTは正しくないと切り捨てている。その人の経歴から言って、
>その人が間違いと言うなら実際に間違ってそうな気がする。
浮かばないね
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s